Formal Methods; Model-Based Software Testing; Regression Testing; Extended Finite State Machines - Articles

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 210 Downloads 1,061 Views Citations
Process of Security Assurance Technique for Application Functional Logic in E-Commerce Systems (Articles)

Faisal Nabi, Jianming Yong, Xiaohui Tao, Muhammad Saqib Malhi, Muhammad Farhan, Umar Mahmood

Journal of Information Security Vol.12 No.3, May 14, 2021

DOI: 10.4236/jis.2021.123010 620 Downloads 2,742 Views Citations
A Bayesian Regression Model and Applications (Articles)

Yijun Yu

Journal of Applied Mathematics and Physics Vol.8 No.9, September 22, 2020

DOI: 10.4236/jamp.2020.89141 900 Downloads 2,592 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,146 Downloads 12,187 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,045 Downloads 7,179 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,867 Downloads 5,115 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,650 Downloads 9,840 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 895 Downloads 3,583 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 523 Downloads 3,690 Views Citations
Structure of Essential Spectrum and Discrete Spectra of the Energy Operator of Five-Electron Systems in the Hubbard Model. Third and Fourth Doublet States (Articles)

S. M. Tashpulatov

Journal of Applied Mathematics and Physics Vol.8 No.12, December 18, 2020

DOI: 10.4236/jamp.2020.812214 383 Downloads 1,353 Views Citations
Nonstandard Unitary Transformations of Quantum States (Articles)

Gombojav O. Ariunbold

Journal of Applied Mathematics and Physics Vol.11 No.9, September 14, 2023

DOI: 10.4236/jamp.2023.119166 200 Downloads 885 Views Citations
This article belongs to the Special Issue on Mathematical Physical Model and Method
Four-Electron Systems in the Impurity Hubbard Model. Second Triplet State. Spectra of the System in the ν-Dimensional Lattice Z^ν (Articles)

S. M. Tashpulatov, R. T. Parmanova

Journal of Applied Mathematics and Physics Vol.11 No.11, November 10, 2023

DOI: 10.4236/jamp.2023.1111217 180 Downloads 804 Views Citations
Formal Semantics of OWL-S with Rewrite Logic (Articles)

Ning Huang, Xiaojuan Wang, Camilo Rocha

Journal of Software Engineering and Applications Vol.2 No.1, April 16, 2009

DOI: 10.4236/jsea.2009.21004 5,619 Downloads 10,622 Views Citations
Forensic Investigation in Communication Networks Using Incomplete Digital Evidences (Articles)

Slim REKHIS, Jihene KRICHENE, Noureddine BOUDRIGA

International Journal of Communications, Network and System Sciences Vol.2 No.9, December 21, 2009

DOI: 10.4236/ijcns.2009.29100 7,053 Downloads 13,171 Views Citations
Caregiver Identity as a Useful Concept for Understanding the Linkage between Formal and Informal Care Systems: A Case Study (Articles)

Normand Carpentier

Sociology Mind Vol.2 No.1, January 9, 2012

DOI: 10.4236/sm.2012.21005 4,735 Downloads 9,883 Views Citations
Is There an Instructional Framework for 21st Century Learning? (Articles)

Shu-Shing Lee, David Hung

Creative Education Vol.3 No.4, August 13, 2012

DOI: 10.4236/ce.2012.34071 8,177 Downloads 15,309 Views Citations
A Simple Model for On-Sensor Phase-Detection Autofocusing Algorithm (Articles)

Przemysław Śliwiński, Paweł Wachel

Journal of Computer and Communications Vol.1 No.6, November 26, 2013

DOI: 10.4236/jcc.2013.16003 5,581 Downloads 9,652 Views Citations
The Factorizational Theory of Finite Asymptotic Expansions in the Real Domain: A Survey of the Main Results (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.1, January 12, 2015

DOI: 10.4236/apm.2015.51001 3,751 Downloads 4,957 Views Citations
This article belongs to the Special Issue on Asymptotic Methods
The Role of Asymptotic Mean in the Geometric Theory of Asymptotic Expansions in the Real Domain (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.2, February 26, 2015

DOI: 10.4236/apm.2015.52013 5,695 Downloads 6,862 Views Citations
Bone Formation in a Scaffold Composed of Cylindrical Hydroxyapatite and Tryptophan- or Lysine-Coated Sponge in Vivo (Articles)

Masataka Yoshikawa, Hideyuki Kakigi, Hiroshi Maeda, Ikuo Nishikawa, Hideaki Ikenaga, Takeshi Inamoto, Norimasa Tsuji

Journal of Biomedical Science and Engineering Vol.8 No.6, June 29, 2015

DOI: 10.4236/jbise.2015.86037 2,996 Downloads 4,389 Views Citations

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