Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Risk-Aware AI Models for Financial Fraud Detection: Scalable Inference from Big Transactional Data (Articles)

Utham Kumar Anugula Sethupathy

International Journal of Intelligence Science Vol.15 No.4, September 3, 2025

DOI: 10.4236/ijis.2025.154009 109 Downloads 1,078 Views Citations
Lie Symmetries and Exact Solutions of 2D Proper-Time Maxwell’s Equations (Articles)

Joshua Owolabi Adeleke

Open Access Library Journal Vol.12 No.10, October 20, 2025

DOI: 10.4236/oalib.1114285 52 Downloads 383 Views Citations
Stem Cells: From Fundamental Biology to Regenerative Medicine (Articles)

Tsz Chun Qiu

Open Journal of Regenerative Medicine Vol.14 No.2, June 30, 2025

DOI: 10.4236/ojrm.2025.142002 91 Downloads 630 Views Citations
Regenerative and Stem-Cell Based Approaches for Rhinitis: From Pathophysiology to Translational Models (Articles)

Chenyu Zheng

Journal of Biomedical Science and Engineering Vol.18 No.11, November 27, 2025

DOI: 10.4236/jbise.2025.1811034 54 Downloads 445 Views Citations
The Methods Suggested by Theory for a Shipowner to Become Industry’s Leader (Articles)

Alexandros M. Goulielmos

Modern Economy Vol.17 No.4, April 16, 2026

DOI: 10.4236/me.2026.174030 22 Downloads 159 Views Citations
The Cognitive Gap, Neural Darwinism & Linguistic Dualism —Russell, Husserl, Heidegger & Quine (Articles)

Hermann G. W. Burchard

Open Journal of Philosophy Vol.4 No.3, August 6, 2014

DOI: 10.4236/ojpp.2014.43032 8,288 Downloads 9,724 Views Citations
Face Recognition from Incomplete Measurements via l₁-Optimization (Articles)

Miguel Argaez, Reinaldo Sanchez, Carlos Ramirez

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

DOI: 10.4236/ajcm.2012.24039 4,691 Downloads 8,036 Views Citations
Computational Methods in the Theory of Synthesis of Radio and Acoustic Radiating Systems (Articles)

Petro Savenko

Applied Mathematics Vol.4 No.3, March 27, 2013

DOI: 10.4236/am.2013.43078 3,507 Downloads 6,641 Views Citations
Intelligent System for Parallel Fault-Tolerant Diagnostic Tests Construction (Articles)

Anna Yankovskaya, Sergei Kitler

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

DOI: 10.4236/jsea.2013.64A007 5,464 Downloads 7,511 Views Citations
This article belongs to the Special Issue on Software Dependability
Hidden Symmetries of Lax Integrable Nonlinear Systems (Articles)

Denis Blackmore, Yarema Prykarpatsky, Jolanta Golenia, Anatoli Prykapatski

Applied Mathematics Vol.4 No.10C, October 23, 2013

DOI: 10.4236/am.2013.410A3013 3,463 Downloads 5,670 Views Citations
This article belongs to the Special Issue on Advances in Mathematical Physics
Phosphorus and potassium fertilization in no till southern Brazilian soils (Articles)

Jairo André Schlindwein, Leandro Bortolon, Elaine Cosma Fioreli-Pereira, Elisandra Solange Oliveira Bortolon, Clesio Gianello

Agricultural Sciences Vol.4 No.12A, December 25, 2013

DOI: 10.4236/as.2013.412A004 4,969 Downloads 7,213 Views Citations
This article belongs to the Special Issue on Fertilizer
Discrepancies in Growth Measurement Methods of Mosses: An Example from Two Keystone Species Grown under Increased CO₂ and N Supply in a Restored Peatland (Articles)

Andy Siegenthaler, Alexandre Buttler, Philippe Grosvernier, Jean-Michel Gobat, Edward Mitchell

American Journal of Plant Sciences Vol.5 No.15, July 10, 2014

DOI: 10.4236/ajps.2014.515249 3,118 Downloads 4,760 Views Citations
Modeling Africa’s Demand for Iron and Steel Importation: An International Market Estimation Method Perspective (Articles)

Fidelys Ravelomanana, Liang Yan, Christophe Mahazomanana, Leoncine Paul Miarisoa

American Journal of Industrial and Business Management Vol.4 No.12, December 31, 2014

DOI: 10.4236/ajibm.2014.412086 3,638 Downloads 4,894 Views Citations
A Seismotectonic Zonation Map of Eastern Siberia: New Principles and Methods of Mapping (Articles)

L. P. Imaeva, V. S. Imaev, O. P. Smekalin, N. N. Grib

Open Journal of Earthquake Research Vol.4 No.4, November 13, 2015

DOI: 10.4236/ojer.2015.44011 3,835 Downloads 5,572 Views Citations
Chebyshev Polynomials with Applications to Two-Dimensional Operators (Articles)

Alfred Wünsche

Advances in Pure Mathematics Vol.9 No.12, December 24, 2019

DOI: 10.4236/apm.2019.912050 839 Downloads 3,332 Views Citations
Optimised Design and Analysis of Solar Water Pumping Systems for Pakistani Conditions (Articles)

Usman Ashraf, M. Tariq Iqbal

Energy and Power Engineering Vol.12 No.10, October 19, 2020

DOI: 10.4236/epe.2020.1210032 1,435 Downloads 5,159 Views Citations
Higher Order Strongly Biconvex Functions and Biequilibrium Problems (Articles)

Muhammad Aslam Noor, Khalida Inayat Noor

Advances in Linear Algebra & Matrix Theory Vol.11 No.2, June 4, 2021

DOI: 10.4236/alamt.2021.112004 447 Downloads 1,434 Views Citations
Non Ideal Schottky Barrier Diode’s Parameters Extraction and Materials Identification from Dark I-V-T Characteristics (Articles)

M. Bashahu, D. Ngendabanyikwa, P. Nyandwi

Journal of Modern Physics Vol.13 No.3, March 9, 2022

DOI: 10.4236/jmp.2022.133020 448 Downloads 1,795 Views Citations
Numerical Simulation of Blood Flow in Veins and Arteries: A Computational Approach (Articles)

Rogers Omboga Amenya, Dineshen Chuckravanen, Johana Kibet Sigey, Geoffrey Moriaso Ole Maloiy

Open Access Library Journal Vol.11 No.9, September 6, 2024

DOI: 10.4236/oalib.1111640 145 Downloads 1,314 Views Citations
The Impact of Leadership Styles on Organizational Commitment: A Study in the Trading and Logistics Company in Azerbaijan (Articles)

Samir Novruzov

Open Journal of Business and Management Vol.12 No.5, September 24, 2024

DOI: 10.4236/ojbm.2024.125179 423 Downloads 3,355 Views Citations

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