Formal Specification - Articles - Scientific Research Publishing

Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.5, May 26, 2021

DOI: 10.4236/jamp.2021.95070 379 Downloads 1,319 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3, October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,522 Downloads 11,459 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2, June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,733 Downloads 5,123 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13, October 19, 2015

DOI: 10.4236/psych.2015.613164 4,466 Downloads 7,014 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11, November 25, 2016

DOI: 10.4236/jss.2016.411007 1,583 Downloads 3,364 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12, December 11, 2017

DOI: 10.4236/me.2017.812098 875 Downloads 1,841 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5, November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,324 Downloads 4,725 Views Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability (Articles)

Francisco Arapiraca dos Santos, Elidinaldo da Silva Leite, Ricardo José Rocha Amorim, Dinani Gomes Amorim

Creative Education Vol.11 No.10, October 23, 2020

DOI: 10.4236/ce.2020.1110150 936 Downloads 2,915 Views Citations
Employment Access and Job Search Channels for Young People in Congo (Articles)

Michel Okiemy, Sylvaniste Etsiba

Theoretical Economics Letters Vol.11 No.2, April 15, 2021

DOI: 10.4236/tel.2021.112021 613 Downloads 2,032 Views Citations
A Conceptual Model That Identifies Mathematical Models and Lean Techniques for Problem-Solving at the Different Decision-Making Levels of Service Companies (Articles)

Zaida E. Alarcón Bernal, Ricardo Aceves García, Arturo Fuentes Zenón

Journal of Service Science and Management Vol.14 No.2, April 19, 2021

DOI: 10.4236/jssm.2021.142011 736 Downloads 2,378 Views Citations
Effect of Motivational Strategies on Employee Performance in Nigerian Commercial Banks (Articles)

Taiwo Akinsola, Hadiza Abubakar Saidu, Taiwo Adewale Muritala, Akeem Adewale Bakare

Open Journal of Social Sciences Vol.11 No.9, September 19, 2023

DOI: 10.4236/jss.2023.119024 855 Downloads 6,965 Views Citations
Generalized Powers of Substitution with Pre-Function Operators (Articles)

Laurent Poinsot

Applied Mathematics Vol.4 No.7A, July 5, 2013

DOI: 10.4236/am.2013.47A004 3,292 Downloads 5,350 Views Citations
This article belongs to the Special Issue on Fractional Calculus Theory and Application
A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.3, March 25, 2021

DOI: 10.4236/jamp.2021.93031 490 Downloads 1,548 Views Citations
The Relationship between Stock Returns and Volatility in the Seventeen Largest International Stock Markets: A Semi-Parametric Approach (Articles)

Dimitrios Dimitriou, Theodore Simos

Modern Economy Vol.2 No.1, February 24, 2011

DOI: 10.4236/me.2011.21001 7,856 Downloads 14,626 Views Citations
The Sensitivity of Model Results to Specification of Network-Based Level of Service Attributes: An Application of a Mixed Logit Model to Trave Mode Choice (Articles)

Bharat P. Bhatta

Journal of Transportation Technologies Vol.1 No.3, August 2, 2011

DOI: 10.4236/jtts.2011.13006 5,199 Downloads 10,448 Views Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis (Articles)

Nazir Ahmad Zafar

Journal of Software Engineering and Applications Vol.5 No.1, December 31, 2011

DOI: 10.4236/jsea.2012.51004 5,653 Downloads 9,433 Views Citations
The influence of price on rice production in Sierra Leone (Articles)

Alhaji Mohamed Hamza Conteh, Xiangbin Yan, Foday Pinka Sankoh

Agricultural Sciences Vol.3 No.4, June 22, 2012

DOI: 10.4236/as.2012.34054 17,983 Downloads 45,210 Views Citations
Similarities of Model Predictive Control and Constrained Direct Inverse (Articles)

László Richárd Tóth, Lajos Nagy, Ferenc Szeifert

Intelligent Control and Automation Vol.3 No.3, August 30, 2012

DOI: 10.4236/ica.2012.33032 4,092 Downloads 6,201 Views Citations
Enhancement Technique of Image Contrast using New Histogram Transformation (Articles)

Wanhyun Cho, Seongchae Seo, Jinho You, Soonja Kang

Journal of Computer and Communications Vol.2 No.2, January 10, 2014

DOI: 10.4236/jcc.2014.22010 4,352 Downloads 8,913 Views Citations
Conversion of Object Oriented System into Software Product Line with Delta Modeling Abstract Behavioral Specification (Articles)

Ricky Timothy Gultom, Maya Retno Ayu Setyautami, Iis Solichah

Journal of Computer and Communications Vol.2 No.2, January 10, 2014

DOI: 10.4236/jcc.2014.22015 3,318 Downloads 5,512 Views Citations

First <123 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies