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
188
Downloads
612
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
284
Downloads
827
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
107
Downloads
478
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
403
Downloads
1,370
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
521
Downloads
1,369
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
556
Downloads
2,101
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,152
Downloads
10,616
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
5,989
Downloads
7,973
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
152
Downloads
889
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,660
Downloads
15,791
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,404
Downloads
5,114
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
96
Downloads
353
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
541
Downloads
1,441
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
429
Downloads
1,170
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
228
Downloads
1,182
Views
Citations
This article belongs to the Special Issue on
Cognitive Psychology
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,155
Downloads
10,556
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,325
Downloads
11,451
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,807
Downloads
11,462
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,364
Downloads
7,444
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,395
Downloads
4,306
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