Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Machine Learning Methods in Competitive Swimming Analysis: Paradigm Evolution, Architectural Framework, and Future Prospects (Articles)

Sujing Su, Houwei Zhu

Open Access Library Journal Vol.13 No.1, January 14, 2026

DOI: 10.4236/oalib.1114824 45 Downloads 335 Views Citations
Linear Design Technology of a Subgrade Prefabricated Interlocking Structure (Articles)

Yu Sun, Linyi Pan, Luo Ji, Yue Yuan, Guomin Deng

Open Journal of Civil Engineering Vol.16 No.1, February 26, 2026

DOI: 10.4236/ojce.2026.161004 58 Downloads 279 Views Citations
Cyber Deception and Theft: A Critical Review (Articles)

Paul Danquah, Stephen Bekoe

Journal of Information Security Vol.17 No.2, April 20, 2026

DOI: 10.4236/jis.2026.172008 36 Downloads 256 Views Citations
Geotechnical Characterization and Stability Analysis of Excavation Slopes in Road Works: Case of the Works of the Seguela-Touba/Biankouma-Sipilou Road Development and Asphalt Project (Articles)

Djomo Agre Seraphin, Augou Ovo Sandrine Flora, Thieblesson Lydie Marcelle, Seri Douko Joelle

Geomaterials Vol.16 No.2, April 22, 2026

DOI: 10.4236/gm.2026.162004 15 Downloads 139 Views Citations
Enzymatic Biorecycling of Polyethylene Terephthalate (PET): Mechanisms, Microbial Resources, and Protein Engineering Strategies (Articles)

Ricardo Noé Meza-Puebla, Jorge Mulia-Rodríguez, Alma Velázquez-Rodríguez, Daniel Osorio-González

Open Journal of Applied Sciences Vol.16 No.5, May 27, 2026

DOI: 10.4236/ojapps.2026.165106 14 Downloads 114 Views Citations
Coupled maps serving the exchange processes on the environmental interfaces regarded as complex systems (Articles)

Dragutin T. Mihailovic, Mirko Budincevic, Igor Balaz, Sinisa Crvenkovic, Ilija Arsenic

Natural Science Vol.4 No.8, August 29, 2012

DOI: 10.4236/ns.2012.48076 3,253 Downloads 5,713 Views Citations
Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms (Articles)

J. Foukzon, E. R. Men’kova

Advances in Pure Mathematics Vol.3 No.3, May 17, 2013

DOI: 10.4236/apm.2013.33053 3,463 Downloads 6,313 Views Citations
Airy, Beltrami, Maxwell, Einstein and Lanczos Potentials Revisited (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.7 No.7, April 28, 2016

DOI: 10.4236/jmp.2016.77068 2,218 Downloads 3,650 Views Citations
This article belongs to the Special Issue on Research on Gravitation, Astrophysics and Cosmology
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 699 Downloads 2,192 Views Citations
An Introduction to the Theory of Field Extensions (Articles)

Saviour Chibeti, Iness Kyapwanyama, Henry M. Phiri, Jeromy Kalunga

Advances in Pure Mathematics Vol.13 No.2, February 28, 2023

DOI: 10.4236/apm.2023.132006 472 Downloads 3,078 Views Citations
“Fight Club”: Symptomatic Analysis (Articles)

Colin K. Touhy

Open Journal of Social Sciences Vol.12 No.2, February 6, 2024

DOI: 10.4236/jss.2024.122002 527 Downloads 7,031 Views Citations
This article belongs to the Special Issue on Arts and Entertainment
Approaches in Developing Undergraduate IT Engineering Curriculum for the Fourth Industrial Revolution in Malaysia and Vietnam (Articles)

Tran Thi Bich Lieu, Nguyen Huu Duc, Nancy Webster Gleason, Duong Trong Hai, Nguyen Duy Tam

Creative Education Vol.9 No.16, December 14, 2018

DOI: 10.4236/ce.2018.916207 1,560 Downloads 4,850 Views Citations
Mathematical Instruments Commonly Used among the Ottomans (Articles)

Irem Aslan Seyhan

Advances in Historical Studies Vol.8 No.1, March 8, 2019

DOI: 10.4236/ahs.2019.81003 1,904 Downloads 4,127 Views Citations
This article belongs to the Special Issue on History of Machines and Mechanisms
A Systems Approach to Assessing Sustainability Capacity in Kalobeyei Refugee Settlement in Turkana County, Kenya (Articles)

Anicet Adjahossou

Open Journal of Applied Sciences Vol.14 No.4, April 10, 2024

DOI: 10.4236/ojapps.2024.144056 150 Downloads 630 Views Citations
A Triple Nexus Water-Energy-Housing (WEH) Framework Modelling towards Improved Decision-Making in Humanitarian Operations (Articles)

Anicet Adjahossou

Open Journal of Applied Sciences Vol.14 No.4, April 16, 2024

DOI: 10.4236/ojapps.2024.144061 183 Downloads 762 Views Citations
Exploring the Promises and Challenges of Urban Air Mobility (UAM) (Articles)

Yusuf Karimli, Aniello Daniele Marano

Advances in Aerospace Science and Technology Vol.9 No.3, August 23, 2024

DOI: 10.4236/aast.2024.93006 228 Downloads 1,539 Views Citations
Impact of Safety-Maintenance Practices on the Overall Performance of an Industry (Articles)

Kwame Dubik, Cletus Akasika, Nicholas Naawie, Francis Dery, Francis Azum Abunkudugu

World Journal of Engineering and Technology Vol.12 No.3, August 26, 2024

DOI: 10.4236/wjet.2024.123047 151 Downloads 1,197 Views Citations
Assessing Key Performance Factors in Final-Year Civil Engineering Students at Mbeya University of Science and Technology, Tanzania by Using Principal Component Analysis (Articles)

Zacharia Katambara, Matungwa William

Creative Education Vol.16 No.3, March 10, 2025

DOI: 10.4236/ce.2025.163016 148 Downloads 1,058 Views Citations
Enhancing Employability of Technical University Students: A Study of Mechanical Engineering Skill Needs and Generic Skills in Ghana (Articles)

Kwame Dubik, Jonah Adombila Adongo, Nicholas Naawe, Francis Dery, Francis Azum Abunkudugu, Fidelis Balle

World Journal of Engineering and Technology Vol.13 No.4, November 11, 2025

DOI: 10.4236/wjet.2025.134058 87 Downloads 560 Views Citations
Engineering the Quantum Future: Impact of Electrical Engineering in the Field of Quantum Mechanics (Articles)

Sree Veda Mahanita Kaza, Omar Ali Beg

World Journal of Engineering and Technology Vol.14 No.1, February 10, 2026

DOI: 10.4236/wjet.2026.141012 83 Downloads 633 Views Citations

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