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

Mathematical Modeling and Software Application of Blood Flow for Therapeutic Management of Stroke (Articles)

Babagana Gutti, Alfred A. Susu, Olufemi A. Fasanmade

Engineering Vol.4 No.4, April 26, 2012

DOI: 10.4236/eng.2012.44030 4,493 Downloads 7,644 Views Citations
Design of Software for Maintenance Workforce Scheduling (A Case Study of Afam Power Station, Nigeria) (Articles)

Ikuobase Emovon, Macaulay Thomas Lilly, Stephen Ogajiye Tamuno-Ojuemi Ogaji

Engineering Vol.4 No.5, May 24, 2012

DOI: 10.4236/eng.2012.45031 4,371 Downloads 8,043 Views Citations
Challenges for Software Engineering in Automation (Articles)

Birgit Vogel-Heuser, Christian Diedrich, Alexander Fay, Sabine Jeschke, Stefan Kowalewski, Martin Wollschlaeger, Peter Göhner

Journal of Software Engineering and Applications Vol.7 No.5, May 21, 2014

DOI: 10.4236/jsea.2014.75041 12,297 Downloads 17,260 Views Citations
Alternative Approach for Studying Contractility of the Isolated Muscle Preparations in Real-Time Mode (Articles)

Alexander Balakin, Ruslan Lisin, Alexey Smoluk, Yuri Protsenko

Journal of Biomedical Science and Engineering Vol.8 No.9, September 16, 2015

DOI: 10.4236/jbise.2015.89060 2,883 Downloads 3,868 Views Citations
Development of a Simulation Software for Plant Asset Depreciation Computation Using Modified Accelerated Cost Recovery System (Articles)

Basil Olufemi Akinnuli, Oluwole Timothy Ojo

Open Access Library Journal Vol.5 No.3, March 22, 2018

DOI: 10.4236/oalib.1104419 1,029 Downloads 2,555 Views Citations
Pirating in Lacuna (Articles)

D. S. Madhumitha

Beijing Law Review Vol.10 No.4, August 20, 2019

DOI: 10.4236/blr.2019.104045 734 Downloads 1,743 Views Citations
Effects of Individual Explanations by Midwives about the Process of Delivery, Using 3D Animation Software, on Parturient Females’ Understanding of and Satisfaction with Delivery (Articles)

Ayako Sasaki, Akemi Take, Tomotaro Dote, Masahide Ohmichi, Kumiko Nojima, Takako Tomita, Keiko Hatakeyama, Yasufumi Imoto, Noritane Imoto

Health Vol.13 No.4, April 30, 2021

DOI: 10.4236/health.2021.134038 659 Downloads 1,902 Views Citations
pysky: An Application for the Planning of Multi-Target Astronomical Observations (Articles)

Allen E. Rocha, William D. Parker

Journal of Applied Mathematics and Physics Vol.9 No.11, November 15, 2021

DOI: 10.4236/jamp.2021.911178 328 Downloads 1,606 Views Citations
Technological Innovation: An Assessment of Operational Practices of Small and Medium Textile Enterprises in Ghana (Articles)

Isaac Abraham, Ebenezer Kofi Howard, Richard Acquaye

Journal of Textile Science and Technology Vol.8 No.3, July 29, 2022

DOI: 10.4236/jtst.2022.83010 381 Downloads 1,666 Views Citations
Large Language Models (LLMs) for Software Security Analysis (Articles)

Brian Mata, Vijay Madisetti

Journal of Information Security Vol.16 No.2, April 29, 2025

DOI: 10.4236/jis.2025.162018 319 Downloads 1,384 Views Citations
Metadata Extended Model Based On Geological Domain Ontology (Articles)

Ying HUANG, Mingqiang GUO, Xiangang LUO, Zhong XIE

Journal of Geographic Information System Vol.1 No.1, September 8, 2009

DOI: 10.4236/jgis.2009.11003 4,964 Downloads 9,337 Views Citations
Optimal Risk-Sensitive Filtering for System Stochastic of Second and Third Degree (Articles)

Ma Aracelia Alcorta-Garcia, Sonia Gpe Anguiano Rostro, Mauricio Torres Torres

Intelligent Control and Automation Vol.2 No.1, March 4, 2011

DOI: 10.4236/ica.2011.21006 4,333 Downloads 7,047 Views Citations
Nonlinear Oscillations of a Magneto Static Spring-Mass (Articles)

Haiduke Sarafian

Journal of Electromagnetic Analysis and Applications Vol.3 No.5, May 23, 2011

DOI: 10.4236/jemaa.2011.35022 4,873 Downloads 9,560 Views Citations
Extended time improves reading comprehension test scores for adolescents with ADHD (Articles)

Thomas Edwards Brown, Philipp Christian Reichel, Donald Michael Quinlan

Open Journal of Psychiatry Vol.1 No.3, October 12, 2011

DOI: 10.4236/ojpsych.2011.13012 9,677 Downloads 19,235 Views Citations
Center-Based Child Extended Care: Implications for Young Children’s Development in a Five-Year Follow-Up (Articles)

Tokie Anme, Emiko Tanaka, Ryoji Shinohara, Yuka Sugisawa, Taeko Watanabe, Etsuko Tomisaki, Uma A. Segal

Sociology Mind Vol.2 No.4, November 1, 2012

DOI: 10.4236/sm.2012.24056 4,915 Downloads 8,132 Views Citations
Hierarchical Modeling by Recursive Unsupervised Spectral Clustering and Network Extended Importance Measures to Analyze the Reliability Characteristics of Complex Network Systems (Articles)

Yiping Fang, Enrico Zio

American Journal of Operations Research Vol.3 No.1A, January 30, 2013

DOI: 10.4236/ajor.2013.31A010 4,482 Downloads 7,663 Views Citations
This article belongs to the Special Issue on Complex System
Semi Numerical Solution for a Boundary Value Problem (Articles)

N.P. Pai, N. N. Katagi, Krishna B. Chavaraddi

American Journal of Computational Mathematics Vol.3 No.1, March 27, 2013

DOI: 10.4236/ajcm.2013.31006 4,731 Downloads 8,631 Views Citations
Application of Extended Multiplicative Signal Correction to Short-Wavelength near Infrared Spectra of Moisture in Marzipan (Articles)

Pedro dos Santos Panero, Francisco dos Santos Panero, João dos Santos Panero, Henrique Eduardo Bezerra da Silva

Journal of Data Analysis and Information Processing Vol.1 No.3, August 9, 2013

DOI: 10.4236/jdaip.2013.13005 7,133 Downloads 12,866 Views Citations
Antimicrobial Resistance and Genotype Analysis of Extended-Spectrum-β-Lactamase-Producing Proteus Mirabilis (Articles)

Ying Huang, Yuanhong Xu, Zhongxin Wang, Xianghong Lin

Open Journal of Clinical Diagnostics Vol.4 No.1, March 21, 2014

DOI: 10.4236/ojcd.2014.41011 3,782 Downloads 6,114 Views Citations
Extended (G'/G) Method Applied to the Modified Non-Linear Schrodinger Equation in the Case of Ocean Rogue Waves (Articles)

Atock A. Nwatchok Stéphane, Daika Augustin, Mbane Biouélé César

Open Journal of Marine Science Vol.4 No.4, October 15, 2014

DOI: 10.4236/ojms.2014.44023 5,153 Downloads 6,669 Views Citations

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