Formal Derivation - Articles - Scientific Research Publishing

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,326 Downloads 4,733 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,921 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 615 Downloads 2,046 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,381 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,975 Views Citations
On the Insignificant Cross-Sectional Risk-Return Relationship (Articles)

Gerald H. L. Cheang, Joseph C. S. Kang, Michael Z. F. Li

Journal of Mathematical Finance Vol.2 No.1, February 28, 2012

DOI: 10.4236/jmf.2012.21004 5,011 Downloads 9,121 Views Citations
Discovering Complex Incomplete Periodic Patterns through Logical Derivations (Articles)

Janusz R. Getta, Marcin Zimniak

Open Journal of Social Sciences Vol.3 No.11, November 20, 2015

DOI: 10.4236/jss.2015.311002 2,693 Downloads 3,593 Views Citations
Jordan Γ*-Derivation on Semiprime Γ-Ring M with Involution (Articles)

Ali Kareem, Hajar Sulaiman, Abdul-Rahman Hameed Majeed

Advances in Linear Algebra & Matrix Theory Vol.6 No.2, June 2, 2016

DOI: 10.4236/alamt.2016.62006 2,329 Downloads 3,679 Views Citations
A Fusion of the School Arithmetic and the School Algebra (Articles)

Milosav M. Marjanović

Open Access Library Journal Vol.5 No.9, September 28, 2018

DOI: 10.4236/oalib.1104889 515 Downloads 1,328 Views Citations
Learning to Support Derivation of Adaptable Products in Software Product Lines (Articles)

Anissa Benlarabi, Amal Khtira, Bouchra El Asri

Journal of Computer and Communications Vol.8 No.4, April 30, 2020

DOI: 10.4236/jcc.2020.84009 542 Downloads 1,567 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,353 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 491 Downloads 1,555 Views Citations
Discussion on Theoretical Structure between Quantum Physics and Newtonian Mechanics (Articles)

Takahisa Okino

Journal of Modern Physics Vol.16 No.8, August 4, 2025

DOI: 10.4236/jmp.2025.168055 115 Downloads 679 Views Citations
This article belongs to the Special Issue on Quantum Physics
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2, July 15, 2009

DOI: 10.4236/jsea.2009.22012 5,235 Downloads 9,048 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1, January 13, 2010

DOI: 10.4236/wsn.2010.21008 8,121 Downloads 13,053 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5, May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,345 Downloads 9,204 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8, August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,308 Downloads 8,958 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11, November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,644 Downloads 17,009 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

International Journal of Communications, Network and System Sciences Vol.5 No.3, March 21, 2012

DOI: 10.4236/ijcns.2012.53021 4,066 Downloads 6,900 Views Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism (Articles)

Evangelia P. Galanaki

Psychology Vol.3 No.6, June 18, 2012

DOI: 10.4236/psych.2012.36065 30,274 Downloads 53,098 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