Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Generalized Hopf Bifurcation in a Delay Model of Neutrophil Cells Model (Articles)

Suqi Ma, S. J. Hogan

International Journal of Modern Nonlinear Theory and Application Vol.13 No.2, August 23, 2024

DOI: 10.4236/ijmnta.2024.132002 97 Downloads 610 Views Citations
Synthetic Analysis of the Methanol-Raphia-Sese Oil Interface with a View to Obtaining Biodiesel under Chemcad Software
—Case of Acid or Base Transesterification (Articles)

Biabongo N. Pamphile, Emmanuel Neva Okwes, Gedeon Ekulu

Open Access Library Journal Vol.11 No.10, October 30, 2024

DOI: 10.4236/oalib.1111461 66 Downloads 454 Views Citations
Influence of Geometric Parameters on the Radiation of a Microstrip Leaky-Wave Antenna for W-Band Applications (Articles)

Charmolavy Goslavy Lionel Nkouka Moukengue, Nzonzolo, Barol Mafouna Kiminou, Désiré Lilonga-Boyenga

Open Journal of Applied Sciences Vol.14 No.11, November 7, 2024

DOI: 10.4236/ojapps.2024.1411198 96 Downloads 480 Views Citations
Computer-Assisted Automatic Harmonization Processes: A Synchronic Analysis of the Main Musical Tools (Articles)

Roniere Leite Soares

Art and Design Review Vol.13 No.1, December 24, 2024

DOI: 10.4236/adr.2025.131001 97 Downloads 614 Views Citations
Research on the Diagnostic Efficacy of AI Software Combined with Thin-Slice CT in Occult Toe Fractures (Articles)

Dazhi Nong, Kangying Pang, Lijun Luo, Shiwen Luo, Xinjuan Deng, Yuhua Guo

Journal of Biomedical Science and Engineering Vol.18 No.4, April 22, 2025

DOI: 10.4236/jbise.2025.184007 80 Downloads 422 Views Citations
Structural Intelligence Machine Theory (Articles)

Dong H. Liu

Intelligent Control and Automation Vol.16 No.4, September 15, 2025

DOI: 10.4236/ica.2025.164006 106 Downloads 546 Views Citations
Theory of Structural Learning (Articles)

Dong H. Liu

Intelligent Control and Automation Vol.17 No.1, December 30, 2025

DOI: 10.4236/ica.2026.171002 62 Downloads 349 Views Citations
From Simple Apps to Systems: A Practical Framework for AI-Driven Software Development (Articles)

Eliel Mathe, Benedict Mukanirwa

Journal of Computer and Communications Vol.14 No.2, February 28, 2026

DOI: 10.4236/jcc.2026.142008 74 Downloads 623 Views Citations
Assessment of the Environmental Impact for Any Industrial or Nuclear Facility by Using Artificial Intelligence Software (Articles)

O.S. Ahmed

Open Access Library Journal Vol.13 No.4, April 20, 2026

DOI: 10.4236/oalib.1115224 25 Downloads 190 Views Citations
Design and Optimization of a Variable-Divergence Galilean Laser Optical System Using a Kerr-Based Nonlinear Aspherical Lens (Articles)

Pham Thanh Quang, Bui Xuan Kien

Journal of Electromagnetic Analysis and Applications Vol.18 No.4, April 30, 2026

DOI: 10.4236/jemaa.2026.184004 1 Downloads 33 Views Citations
Dynamic Two-phase Truncated Rayleigh Model for Release Date Prediction of Software (Articles)

Lianfen Qian, Qingchuan Yao, Taghi M. Khoshgoftaar

Journal of Software Engineering and Applications Vol.3 No.6, June 24, 2010

DOI: 10.4236/jsea.2010.36070 5,206 Downloads 9,720 Views Citations
CLUBAS: An Algorithm and Java Based Tool for Software Bug Classification Using Bug Attributes Similarities (Articles)

Naresh Kumar Nagwani, Shrish Verma

Journal of Software Engineering and Applications Vol.5 No.6, June 19, 2012

DOI: 10.4236/jsea.2012.56050 7,091 Downloads 12,197 Views Citations
ML-CLUBAS: A Multi Label Bug Classification Algorithm (Articles)

Naresh Kumar Nagwani, Shrish Verma

Journal of Software Engineering and Applications Vol.5 No.12, December 31, 2012

DOI: 10.4236/jsea.2012.512113 6,455 Downloads 8,815 Views Citations
Can We Predict the Change in Code in a Software Product Line Project? (Articles)

Yasser Ali Alshehri

Journal of Software Engineering and Applications Vol.13 No.6, May 28, 2020

DOI: 10.4236/jsea.2020.136007 801 Downloads 2,198 Views Citations
This article belongs to the Special Issue on Systems and Software Engineering
Improving Engineering Data Management with Semantic Web Techniques (Articles)

Kai Wang

Journal of Service Science and Management Vol.1 No.3, December 30, 2008

DOI: 10.4236/jssm.2008.13021 6,621 Downloads 11,539 Views Citations
Load Control for Overloaded MPLS/DiffServ Networks during SLA Negotiation (Articles)

Srecko KRILE, Dragan PERAKOVIC

International Journal of Communications, Network and System Sciences Vol.2 No.5, August 21, 2009

DOI: 10.4236/ijcns.2009.25047 4,772 Downloads 9,130 Views Citations
A Scalable Architecture Supporting QoS Guarantees Using Traffic Engineering and Policy Based Routing in the Internet (Articles)

Priyadarsi NANDA, Andrew SIMMONDS

International Journal of Communications, Network and System Sciences Vol.2 No.7, October 20, 2009

DOI: 10.4236/ijcns.2009.27065 6,424 Downloads 10,986 Views Citations
Applications of Data Mining Theory in Electrical Engineering (Articles)

Yagang ZHANG, Jing MA, Jinfang ZHANG, Zengping WANG

Engineering Vol.1 No.3, November 25, 2009

DOI: 10.4236/eng.2009.13025 8,961 Downloads 18,301 Views Citations
An Adaptive Differential Evolution Algorithm to Solve Constrained Optimization Problems in Engineering Design (Articles)

Y.Y. AO, H.Q. CHI

Engineering Vol.2 No.1, January 27, 2010

DOI: 10.4236/eng.2010.21009 7,795 Downloads 14,593 Views Citations
A method to fabricate small features on scaffolds for tissue engineering via selective laser sintering (Articles)

S. Lohfeld, M. A. Tyndyk, S. Cahill, N. Flaherty, V. Barron, P. E. McHugh

Journal of Biomedical Science and Engineering Vol.3 No.2, March 1, 2010

DOI: 10.4236/jbise.2010.32019 5,809 Downloads 11,488 Views Citations

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