Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Preparing All Girls to Change the World through STEMM (Articles)

Marcia Millet, Twianie Roberts

Open Journal of Social Sciences Vol.11 No.3, March 29, 2023

DOI: 10.4236/jss.2023.113020 166 Downloads 912 Views Citations
This article belongs to the Special Issue on Culture, Values, and Beliefs
Adaptive Seat Cover for Motorsports and Daily Driving Situations (Articles)

Huaizhuo Yang, Wayne Li

World Journal of Engineering and Technology Vol.11 No.3, August 29, 2023

DOI: 10.4236/wjet.2023.113041 203 Downloads 1,149 Views Citations
Impact of Data Engineering and Sales and Operations Planning on Supply Chain Efficiency in a FMCG: A Case Study of UAC Foods (Articles)

Uchenna Ogbonna, Akintunde Agbonde

Open Journal of Business and Management Vol.12 No.6, November 15, 2024

DOI: 10.4236/ojbm.2024.126211 171 Downloads 1,128 Views Citations
Reinforcement Learning in Mechatronic Systems: A Case Study on DC Motor Control (Articles)

Alexander Nüßgen, Alexander Lerch, René Degen, Marcus Irmer, Martin de Fries, Fabian Richter, Cecilia Boström, Margot Ruschitzka

Circuits and Systems Vol.16 No.1, January 20, 2025

DOI: 10.4236/cs.2025.161001 300 Downloads 1,932 Views Citations
Robust Sensitivity Design Optimization to Generalized Systems-Based Theoretical Kinematic Inverse/Regular Wedge Cam Theory for Three-Point Diametral Self-Centering Motion (Articles)

Shawn P. Guillory, Alan A. Barhorst, Jim Lee, Raju Gottumukkala, Jonathan R. Raush, Terrence L. Chambers

Journal of Applied Mathematics and Physics Vol.13 No.4, April 27, 2025

DOI: 10.4236/jamp.2025.134085 73 Downloads 493 Views Citations
C4 Framework for Healthcare Cybersecurity Defense: A Human-Centric, Socio-Technical Approach (Articles)

Mostafa Rahmany, Arunmozhi Selvi

E-Health Telecommunication Systems and Networks Vol.14 No.3, July 17, 2025

DOI: 10.4236/etsn.2025.143004 261 Downloads 14,417 Views Citations
Development of a Graphene-Axion System via the K-Shell Transition of Aluminum: A Stabilization Mechanism for Graviton Emission in the Higgs Fields (Articles)

Hung-Te Henry Su, Po-Han Lee

Journal of High Energy Physics, Gravitation and Cosmology Vol.11 No.3, July 25, 2025

DOI: 10.4236/jhepgc.2025.113068 114 Downloads 527 Views Citations
Prompt Engineering for Artificial Intelligence in Hospitality: A New Competency of the Modern Manager (Articles)

Irena Šimunić

Open Access Library Journal Vol.12 No.9, September 8, 2025

DOI: 10.4236/oalib.1113864 81 Downloads 692 Views Citations
Generative AI-Driven Business Value Insights in Industry Report Development: A Case Study of AI Education Sector Reports (Articles)

Junsong Chen

Modern Economy Vol.16 No.11, November 13, 2025

DOI: 10.4236/me.2025.1611084 101 Downloads 607 Views Citations
Hydrogels in Drug Delivery: Past Developments, Current Innovations, and Future Directions (Articles)

Mboko Pachelna Benicia, Anseguerema Bamia

Journal of Biomedical Science and Engineering Vol.19 No.1, January 19, 2026

DOI: 10.4236/jbise.2026.191005 132 Downloads 903 Views Citations
Investigating the Challenges in Structural Analysis and Design Practices in Somalia: A Path toward Safer Buildings (Articles)

Abdihalim Mohamed Hussein, Bashir Abdi Elmi, Abdirahim Abdulkadir Mohamed, Ismail Sadi Mohamud, Abdikarim Abdullahi Moallim

World Journal of Engineering and Technology Vol.13 No.2, March 27, 2025

DOI: 10.4236/wjet.2025.132013 142 Downloads 1,021 Views Citations
Evaluation of Feature Subset Selection, Feature Weighting, and Prototype Selection for Biomedical Applications (Articles)

Suzanne LITTLE, Sara COLANTONIO, Ovidio SALVETTI, Petra PERNER

Journal of Software Engineering and Applications Vol.3 No.1, January 28, 2010

DOI: 10.4236/jsea.2010.31005 6,433 Downloads 11,247 Views Citations
Analytic algorithms for Some Models of Nonlinear Age–Structured Population Dynamics and Epidemiology (Articles)

Vipul K. Baranwal, Ram K. Pandey, Manoj P. Tripathi, Om. P. Singh

Journal of Modern Physics Vol.2 No.4, April 22, 2011

DOI: 10.4236/jmp.2011.24033 5,422 Downloads 10,777 Views Citations
Operator Splitting Method for Coupled Problems:Transport and Maxwell Equations (Articles)

Jürgen Geiser

American Journal of Computational Mathematics Vol.1 No.3, September 19, 2011

DOI: 10.4236/ajcm.2011.13019 4,988 Downloads 10,143 Views Citations
LMI Approach to Suboptimal Guaranteed Cost Control for 2-D Discrete Uncertain Systems (Articles)

Amit Dhawan, Haranath Kar

Journal of Signal and Information Processing Vol.2 No.4, November 16, 2011

DOI: 10.4236/jsip.2011.24042 5,634 Downloads 9,665 Views Citations
Robust Non-Fragile Control of 2-D Discrete Uncertain Systems: An LMI Approach (Articles)

Paramanand Sharma, Amit Dhawan

Journal of Signal and Information Processing Vol.3 No.3, August 31, 2012

DOI: 10.4236/jsip.2012.33049 4,091 Downloads 6,297 Views Citations
Contribution to Development of Reliability and Optimization Methods Applied to Mechanical Structures (Articles)

Siham Ouhimmou, Abdelkhalak El Hami, Rachid Ellaia, Mohamed Tkiouat

Applied Mathematics Vol.4 No.1, January 25, 2013

DOI: 10.4236/am.2013.41005 4,414 Downloads 7,082 Views Citations
Teachers’ Transformation to Inquiry-Based Instructional Practice (Articles)

Jeff C. Marshall, Julie B. Smart

Creative Education Vol.4 No.2, February 7, 2013

DOI: 10.4236/ce.2013.42019 8,874 Downloads 16,986 Views Citations
Application of Optical Methods in Blood Studies upon Evaluation of Severity Rate of Diffuse Liver Pathology (Articles)

Margarita Kruchinina, Mikhail Voevoda, Sergey Peltek, Svetlana Kurilovich, Abdrey Gromov, Vladimir Kruchinin, Sergey Rykhlitsky, Vladimir Volodin, Vladimir Generalov

Journal of Analytical Sciences, Methods and Instrumentation Vol.3 No.2, June 11, 2013

DOI: 10.4236/jasmi.2013.32014 3,783 Downloads 6,603 Views Citations
Dissimilarities in Social Support as Described by Swedish- and Foreign-Born Persons Diagnosed with Type 2 Diabetes and Living in Sweden (Articles)

Katarina Hjelm, Carina Berterö

Open Journal of Nursing Vol.4 No.3, March 13, 2014

DOI: 10.4236/ojn.2014.43025 3,643 Downloads 5,846 Views Citations

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