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

Slope Stability Considering the Top Building Load (Articles)

Micke Didit, Xiwen Zhang, Weidong Zhu

Open Journal of Civil Engineering Vol.12 No.3, July 29, 2022

DOI: 10.4236/ojce.2022.123017 849 Downloads 2,834 Views Citations
A Bootstrapping Approach for Software Reliability Measurement Based on a Discretized NHPP Model (Articles)

Shinji Inoue, Shigeru Yamada

Journal of Software Engineering and Applications Vol.6 No.4A, April 23, 2013

DOI: 10.4236/jsea.2013.64A001 5,704 Downloads 8,522 Views Citations
This article belongs to the Special Issue on Software Dependability
Software Effort Prediction Using Ensemble Learning Methods (Articles)

Omar H. Alhazmi, Mohammed Zubair Khan

Journal of Software Engineering and Applications Vol.13 No.7, July 17, 2020

DOI: 10.4236/jsea.2020.137010 1,120 Downloads 4,208 Views Citations
Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes (Articles)

Ednah Olubunmi Aliyu

Journal of Software Engineering and Applications Vol.16 No.6, June 28, 2023

DOI: 10.4236/jsea.2023.166010 392 Downloads 1,880 Views Citations
Application for Superconvergence of Finite Element Approximations for the Elliptic Problem by Global and Local L²-Projection Methods (Articles)

Rabeea H. Jari, Lin Mu

American Journal of Computational Mathematics Vol.2 No.4, December 18, 2012

DOI: 10.4236/ajcm.2012.24034 4,714 Downloads 9,509 Views Citations
The Calculation of Stress-Strain State of Anisotropic Composite Finite-Element Area with Different Boundary Conditions on the Surface (Articles)

Bergulyov Anton

World Journal of Mechanics Vol.4 No.1, January 23, 2014

DOI: 10.4236/wjm.2014.41004 4,582 Downloads 9,567 Views Citations
Derivative of a Determinant with Respect to an Eigenvalue in the Modified Cholesky Decomposition of a Symmetric Matrix, with Applications to Nonlinear Analysis (Articles)

Mitsuhiro Kashiwagi

American Journal of Computational Mathematics Vol.4 No.2, March 25, 2014

DOI: 10.4236/ajcm.2014.42009 4,138 Downloads 6,159 Views Citations
The Life-World and Its Multiple Realities: Alfred Schütz’s Contribution to the Understanding of the Experience of Illness (Articles)

Marie Santiago-Delefosse, María del Río Carral

Psychology Vol.6 No.10, August 11, 2015

DOI: 10.4236/psych.2015.610124 5,096 Downloads 8,704 Views Citations
Alternating Group Explicit Iterative Methods for One-Dimensional Advection-Diffusion Equation (Articles)

Ning Chen, Haiming Gu

American Journal of Computational Mathematics Vol.5 No.3, August 31, 2015

DOI: 10.4236/ajcm.2015.53025 5,343 Downloads 6,673 Views Citations
Numerical Simulation of Asymmetric Merging Flow in a Rectangular Channel (Articles)

Abuzar Abid Siddiqui

World Journal of Mechanics Vol.6 No.4, April 22, 2016

DOI: 10.4236/wjm.2016.64010 2,656 Downloads 3,804 Views Citations
This article belongs to the Special Issue on Fluid Mechanics
3D Radiative Transfer Equation Coupled with Heat Conduction Equation with Realistic Boundary Conditions Applied on Complex Geometries (Articles)

D. Le Hardy, Y. Favennec, G. Domingues, B. Rousseau

Journal of Applied Mathematics and Physics Vol.4 No.8, August 15, 2016

DOI: 10.4236/jamp.2016.48155 1,844 Downloads 3,427 Views Citations
Solving Stiff Reaction-Diffusion Equations Using Exponential Time Differences Methods (Articles)

H. A. Ashi

American Journal of Computational Mathematics Vol.8 No.1, March 16, 2018

DOI: 10.4236/ajcm.2018.81005 1,475 Downloads 3,642 Views Citations
Solution of a One-Dimension Heat Equation Using Higher-Order Finite Difference Methods and Their Stability (Articles)

M. Emran Ali, Wahida Zaman Loskor, Samia Taher, Farjana Bilkis

Journal of Applied Mathematics and Physics Vol.10 No.3, March 24, 2022

DOI: 10.4236/jamp.2022.103060 416 Downloads 3,143 Views Citations
Modeling One Dimensional Two-Cell Model with Tumor Interaction Using Krylov Subspace Methods (Articles)

Ibtisam Alqahtani, Sharefa Eisa Ali Alhazmi

Applied Mathematics Vol.14 No.1, January 16, 2023

DOI: 10.4236/am.2023.141002 279 Downloads 1,011 Views Citations
A Posteriori Error Estimate of Two Grid Mixed Finite Element Methods for Semilinear Elliptic Equations (Articles)

Yiming Wen, Luoping Chen, Jiajia Dai

Journal of Applied Mathematics and Physics Vol.11 No.2, February 7, 2023

DOI: 10.4236/jamp.2023.112020 218 Downloads 897 Views Citations
Determinants of infant mortality in rural India: A three-level model (Articles)

Sada Nand Dwivedi, Shahina Begum, Alok Kumar Dwivedi, Arvind Pandey

Health Vol.5 No.11, November 12, 2013

DOI: 10.4236/health.2013.511235 6,273 Downloads 9,580 Views Citations
Modeling the Drilling Process of Aluminum Composites Using Multiple Regression Analysis and Artificial Neural Networks (Articles)

Ahmad Mayyas, Awni Qasaimeh, Khalid Alzoubi, Susan Lu, Mohammed T. Hayajneh, Adel M. Hassan

Journal of Minerals and Materials Characterization and Engineering Vol.11 No.10, October 31, 2012

DOI: 10.4236/jmmce.2012.1110108 7,052 Downloads 9,659 Views Citations
Landslide Susceptibility Assessment Using Conditional Analysis and Rare Events Logistics Regression: A Case-Study in the Antrodoco Area (Rieti, Italy) (Articles)

Vittorio Chiessi, Simona Toti, Valerio Vitale

Journal of Geoscience and Environment Protection Vol.4 No.12, November 30, 2016

DOI: 10.4236/gep.2016.412001 2,199 Downloads 4,431 Views Citations
Medium Term Load Forecasting for Jordan Electric Power System Using Particle Swarm Optimization Algorithm Based on Least Square Regression Methods (Articles)

Mohammed Hattab, Mohammed Ma’itah, Tha’er Sweidan, Mohammed Rifai, Mohammad Momani

Journal of Power and Energy Engineering Vol.5 No.2, February 23, 2017

DOI: 10.4236/jpee.2017.52005 1,646 Downloads 3,641 Views Citations
Stochastic Modeling of Flow and Sediment of the Rivers at Delta Head, East Coast of India (Articles)

Siba Prasad Mishra

American Journal of Operations Research Vol.7 No.6, October 18, 2017

DOI: 10.4236/ajor.2017.76025 1,595 Downloads 3,693 Views Citations

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