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

Reduction of Cogging Torque in Permanent Magnet Flux-Switching Machines (Articles)

Yu Wang, Jianxin Shen, Zongxi Fang, Weizhong Fei

Journal of Electromagnetic Analysis and Applications Vol.1 No.1, March 12, 2009

DOI: 10.4236/jemaa.2009.11003 10,482 Downloads 19,824 Views Citations
On a Dynamic Optimization Technique for Resource Allocation Problems in a Production Company (Articles)

Chuma R. Nwozo, Charles I. Nkeki

American Journal of Operations Research Vol.2 No.3, September 19, 2012

DOI: 10.4236/ajor.2012.23043 4,351 Downloads 7,903 Views Citations
Practical Applications of Cosmology to Human Society (Articles)

Eric J. Chaisson

Natural Science Vol.6 No.10, June 20, 2014

DOI: 10.4236/ns.2014.610077 5,139 Downloads 10,291 Views Citations
Ordinal Semi On-Line Scheduling for Jobs with Arbitrary Release Times on Identical Parallel Machines (Articles)

Sai Ji, Rongheng Li, Yunxia Zhou

Intelligent Information Management Vol.9 No.6, November 15, 2017

DOI: 10.4236/iim.2017.96014 958 Downloads 1,945 Views Citations
Archimedes, Vitruvius and Leonardo: The Odometer Connection (Articles)

Massimo Callegari, Stefano Brillarelli, Cecilia Scoccia

Advances in Historical Studies Vol.9 No.5, December 8, 2020

DOI: 10.4236/ahs.2020.95025 1,823 Downloads 10,716 Views Citations
This article belongs to the Special Issue on ‘Findings on history of Italian mechanical Engineering’ from IFIT 2020, the Third International Conference of IFToMM ITALY
Finite-Time H_∞ Control of Switched Nonlinear Systems under State-Dependent Switching (Articles)

Xiaoyue Zhang, Yao Wang

Journal of Applied Mathematics and Physics Vol.11 No.7, July 26, 2023

DOI: 10.4236/jamp.2023.117130 187 Downloads 872 Views Citations
Software Reuse: Developers’ Experiences and Perceptions (Articles)

William W. Agresti

Journal of Software Engineering and Applications Vol.4 No.1, January 27, 2011

DOI: 10.4236/jsea.2011.41006 10,581 Downloads 19,472 Views Citations
Facts and Perceptions Regarding Software Measurement in Education and in Practice: Preliminary Results (Articles)

Mónica Villavicencio, Alain Abran

Journal of Software Engineering and Applications Vol.4 No.4, April 29, 2011

DOI: 10.4236/jsea.2011.44025 6,567 Downloads 11,515 Views Citations
On Ultra Extended Cyclic Prefix in Orthogonal Frequency Division Multiplexing (OFDM) Systems: The Case of LTE Downlink (Articles)

Abayomi M. Ajofoyinbo

Communications and Network Vol.5 No.4, November 14, 2013

DOI: 10.4236/cn.2013.54035 7,327 Downloads 10,733 Views Citations
Bioequivalence of 150 mg Extended-Release Ketoprofen from Laboratories LETI S.A.V. Test, vs ProfenidBI of Laboratories Sanofi-Aventis Pharmaceuticals LTDA, Prolonged Release, Reference, in Healthy Volunteers* (Articles)

María A. Annunziato, María González Yibirín, Inatti Alfredo, María M. Soler

Open Access Library Journal Vol.5 No.6, June 6, 2018

DOI: 10.4236/oalib.1104366 1,124 Downloads 3,689 Views Citations
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 380 Downloads 1,324 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,524 Downloads 11,468 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,735 Downloads 5,129 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13, October 19, 2015

DOI: 10.4236/psych.2015.613164 4,466 Downloads 7,018 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11, November 25, 2016

DOI: 10.4236/jss.2016.411007 1,583 Downloads 3,369 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12, December 11, 2017

DOI: 10.4236/me.2017.812098 876 Downloads 1,846 Views Citations
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,732 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,918 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 613 Downloads 2,035 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

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