Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
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
195
Downloads
623
Views
Citations
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
287
Downloads
840
Views
Citations
Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions
(Articles)
Vladimir Olegovich Lobovikov
Journal of Applied Mathematics and Physics
Vol.10 No.8
,August 19, 2022
DOI:
10.4236/jamp.2022.108167
108
Downloads
494
Views
Citations
Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodinamics
(Articles)
Vladimir O. Lobovikov
Open Journal of Philosophy
Vol.11 No.1
,February 5, 2021
DOI:
10.4236/ojpp.2021.111009
409
Downloads
1,392
Views
Citations
Formal Methods for Commercial Applications Issues vs. Solutions
(Articles)
Saiqa Bibi
,
Saira Mazhar
,
Nasir Mehmood Minhas
,
Irfan Ahmed
Journal of Software Engineering and Applications
Vol.7 No.8
,July 22, 2014
DOI:
10.4236/jsea.2014.78062
8,162
Downloads
10,629
Views
Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
(Articles)
Nasir Mehmood Minhas
,
Asad Masood Qazi
,
Sidra Shahzadi
,
Shumaila Ghafoor
Journal of Software Engineering and Applications
Vol.8 No.8
,August 19, 2015
DOI:
10.4236/jsea.2015.88037
6,051
Downloads
8,069
Views
Citations
Integrated Model of Effective Adult and Continuing Vocational Education and Training
(Articles)
Kaethe Schneider
Psychology
Vol.10 No.15
,December 9, 2019
DOI:
10.4236/psych.2019.1015127
524
Downloads
1,384
Views
Citations
The Impact of Knowledge Management on Institutional Performance through the Balanced Scorecard—An Applied Study on Ports Training Institution
(Articles)
Rania Mustafa
,
Mohamed Wahaba
,
Alaa El-Gharabawi
,
Mohamed A. Ragheb
Open Access Library Journal
Vol.8 No.1
,January 20, 2021
DOI:
10.4236/oalib.1106997
570
Downloads
2,137
Views
Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania
(Articles)
Jane J. Mbilinyi
,
Abiud L. Kaswamila
,
Emiliana A. Assenga
Current Urban Studies
Vol.10 No.4
,November 9, 2022
DOI:
10.4236/cus.2022.104032
154
Downloads
912
Views
Citations
A Comparative Analysis of Tools for Verification of Security Protocols
(Articles)
Nitish Dalal
,
Jenny Shah
,
Khushboo Hisaria
,
Devesh Jinwala
Int'l J. of Communications, Network and System Sciences
Vol.3 No.10
,October 27, 2010
DOI:
10.4236/ijcns.2010.310104
7,673
Downloads
15,830
Views
Citations
Combining Internal Data with Scenario Analysis
(Articles)
Elias Karam
,
Frédéric Planchet
Modern Economy
Vol.6 No.5
,May 22, 2015
DOI:
10.4236/me.2015.65055
4,409
Downloads
5,129
Views
Citations
Sample Size Affect Ethnobotanical Index Values: Bootstrap as a Remedial Approach
(Articles)
Gbemavo Dossou Sèblodo Judes Charlemagne
,
Cachon Fresnel Boris
,
Lokonon Bruno
Open Journal of Applied Sciences
Vol.12 No.11
,November 7, 2022
DOI:
10.4236/ojapps.2022.1211121
102
Downloads
370
Views
Citations
Didactic Transposition for Inferential and Analogical Thinking, Reasoning and Transfer of School Knowledge for Societal Context-of-Use
(Articles)
George N. Nditafon
,
Emmanuel Noumi
Open Access Library Journal
Vol.5 No.8
,August 14, 2018
DOI:
10.4236/oalib.1104785
543
Downloads
1,463
Views
Citations
Thinking and Scientific Language in the Primary Classes
(Articles)
Saleh Y. Abo-Romi
Creative Education
Vol.11 No.5
,May 27, 2020
DOI:
10.4236/ce.2020.115059
442
Downloads
1,198
Views
Citations
Reasoning with the THOG Problem: A Forty-Year Retrospective
(Articles)
María Dolores Valiña#
,
Montserrat Martín
Psychology
Vol.12 No.12
,December 31, 2021
DOI:
10.4236/psych.2021.1212124
229
Downloads
1,213
Views
Citations
This article belongs to the Special Issue on
Cognitive Psychology
A Study of the Structure of Evolutionary Theory
(Articles)
Wei Wei
Open Journal of Social Sciences
Vol.12 No.6
,June 20, 2024
DOI:
10.4236/jss.2024.126011
8
Downloads
64
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,162
Downloads
10,568
Views
Citations
The Impact of First Language Intonational Clue Selection on Second Language Comprehension
(Articles)
Leila Barati
,
Reza Biria
Open Journal of Modern Linguistics
Vol.1 No.2
,December 16, 2011
DOI:
10.4236/ojml.2011.12005
6,329
Downloads
11,464
Views
Citations
A Universal Object Oriented Expert System Frame Work for Fault Diagnosis
(Articles)
Dattatraya Vishnu Kodavade
,
Shaila Dinakar Apte
International Journal of Intelligence Science
Vol.2 No.3
,July 27, 2012
DOI:
10.4236/ijis.2012.23009
4,810
Downloads
11,479
Views
Citations
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
5,378
Downloads
7,474
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top