UML; State Diagram; Formal Methods; Z Notation; Validation and Verification - Articles

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 246 Downloads 1,077 Views Citations
Generating Compatibility Conditions and General Relativity (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.10 No.3, March 14, 2019

DOI: 10.4236/jmp.2019.103025 936 Downloads 1,936 Views Citations
This article belongs to the Special Issue on Astrophysics, Cosmology and Gravitation
Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V” (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.5, May 18, 2022

DOI: 10.4236/jamp.2022.105109 196 Downloads 1,007 Views Citations
Applied Psychometrics: The 3-Faced Construct Validation Method, a Routine for Evaluating a Factor Structure (Articles)

Theodoros A. Kyriazos

Psychology Vol.9 No.8, August 8, 2018

DOI: 10.4236/psych.2018.98117 2,943 Downloads 9,559 Views Citations
This article belongs to the Special Issue on Applied Psychology
A Framework for Cloud Validation in Pharma (Articles)

Pravin Ullagaddi

Journal of Computer and Communications Vol.12 No.9, September 20, 2024

DOI: 10.4236/jcc.2024.129006 171 Downloads 1,447 Views Citations
The Use of Solid State NMR to Evaluate the Carbohydrates in Commercial Coffee Granules (Articles)

Regina Freitas Nogueira, Elisangela Fabiana Boffo, Maria Inês Bruno Tavares, Leonardo A. Moreira, Leila Aley Tavares, Antônio Gilberto Ferreira

Food and Nutrition Sciences Vol.2 No.4, June 27, 2011

DOI: 10.4236/fns.2011.24050 7,092 Downloads 12,093 Views Citations
Rapid Transport of Biomolecules along Frictionless Wavy-Rough Interfaces (Articles)

Kwang-Hua Chu

Open Journal of Biophysics Vol.3 No.2, April 23, 2013

DOI: 10.4236/ojbiphy.2013.32016 4,020 Downloads 7,124 Views Citations
Discussion of Function of Church and State in Public Education in the U.S. (Articles)

Fang Wang

Open Journal of Social Sciences Vol.2 No.9, September 17, 2014

DOI: 10.4236/jss.2014.29047 3,819 Downloads 5,036 Views Citations
Severe Labial Agglutination Release in a Postmenopausal Woman (Articles)

Rebecca James, Anne Sammarco, David Sheyn, Sangeeta Mahajan

Open Journal of Obstetrics and Gynecology Vol.4 No.14, September 29, 2014

DOI: 10.4236/ojog.2014.414114 7,608 Downloads 9,744 Views Citations
This article belongs to the Special Issue on Pelvic Floor Research
State of the Art Research in the Judicialization of Politics (Articles)

Ary Jorge Aguiar Nogueira

Beijing Law Review Vol.11 No.3, September 4, 2020

DOI: 10.4236/blr.2020.113041 851 Downloads 3,473 Views Citations
Does International Investment Law Constitute a Limit or a Treat to the Right of the States to Regulate? (Articles)

Eman Adel Eid Hassan

Modern Economy Vol.13 No.1, January 19, 2022

DOI: 10.4236/me.2022.131005 482 Downloads 3,619 Views Citations
Finger-vein image recognition combining modified hausdorff distance with minutiae feature matching (Articles)

Cheng-Bo Yu, Hua-Feng Qin, Lian Zhang, Yan-Zhe Cui

Journal of Biomedical Science and Engineering Vol.2 No.4, August 17, 2009

DOI: 10.4236/jbise.2009.24040 13,317 Downloads 22,543 Views Citations
Building reliable genetic maps: different mapping strategies may result in different maps (Articles)

Yefim Ronin, David Mester, Dina Minkov, Abraham Korol

Natural Science Vol.2 No.6, July 1, 2010

DOI: 10.4236/ns.2010.26073 5,567 Downloads 11,611 Views Citations
Verification of Session Initiation Protocol Using Timed Colored Petri Net (Articles)

Safiye Kızmaz, Mürvet Kırcı

International Journal of Communications, Network and System Sciences Vol.4 No.3, March 10, 2011

DOI: 10.4236/ijcns.2011.43021 4,247 Downloads 9,043 Views Citations
Human Identity Verification Using Multispectral Palmprint Fusion (Articles)

Dakshina Ranjan Kisku, Ajita Rattani, Phalguni Gupta, Jamuna Kanta Sing, C. Jinshong Hwang

Journal of Signal and Information Processing Vol.3 No.2, May 30, 2012

DOI: 10.4236/jsip.2012.32036 5,470 Downloads 10,056 Views Citations
ISO 50001: Are the Auditors Equipped Enough? (Articles)

Avijit Choudhury

Open Journal of Energy Efficiency Vol.1 No.3, December 31, 2012

DOI: 10.4236/ojee.2012.13006 4,740 Downloads 8,848 Views Citations
Max Weber’s Methodology: The Method of Falsification Applied to Text Interpretations (Articles)

Christian Etzrodt

Open Journal of Philosophy Vol.4 No.3, August 11, 2014

DOI: 10.4236/ojpp.2014.43038 9,077 Downloads 11,601 Views Citations
Investigation and Application of High Megavoltage X-Ray Imaging Mode in Radiotherapy (Articles)

Quanshi Zhang, Xiwen Wang, Qiyin Sun, Yuehui Jin, Yun Li, Ziyu Li, Tao Sun, Liang Wang

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.5 No.1, February 17, 2016

DOI: 10.4236/ijmpcero.2016.51005 3,968 Downloads 6,107 Views Citations
Identity Verification of Individuals Based on Retinal Features Using Gabor Filters and SVM (Articles)

Mohamed A. El-Sayed, M. Hassaballah, Mohammed A. Abdel-Latif

Journal of Signal and Information Processing Vol.7 No.1, February 29, 2016

DOI: 10.4236/jsip.2016.71007 3,788 Downloads 5,762 Views Citations
Petri Nets—A Versatile Modeling Structure (Articles)

Miryam Barad

Applied Mathematics Vol.7 No.9, May 26, 2016

DOI: 10.4236/am.2016.79074 1,960 Downloads 4,206 Views Citations

First <...181920 ...>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