Formal Methods - Articles - Scientific Research Publishing

Prevalence of Tuberculosis and Evolution in Diagnostic Methods over the Last 10 Years in Burkina Faso (Articles)

Wendbenedo Yasmine Astrid Sana, Tani Sagna, Ina Marie Angèle Traore, Absatou Ky Ba, Fatou Gueye Tall, Jacques Simpore

Advances in Infectious Diseases Vol.14 No.4, December 5, 2024

DOI: 10.4236/aid.2024.144057 127 Downloads 742 Views Citations
PRP-Type Direct Search Methods for Unconstrained Optimization (Articles)

Qunfeng Liu, Wanyou Cheng

Applied Mathematics Vol.2 No.6, June 22, 2011

DOI: 10.4236/am.2011.26096 7,244 Downloads 12,620 Views Citations
Use of Popular Traditional Contraceptive Methods among Women of Reproductive Age in the Yopougon District of Abidjan, Côte d’Ivoire (Articles)

Esme Marie Laure Essis, Ehoulé Kroa, Loukou Léandre Konan, Djedou Martin Amalaman, Kevin Yohou, Djouka Olga Denise Kpebo, Julie Sackou-Kouakou

Health Vol.18 No.6, June 24, 2026

DOI: 10.4236/health.2026.186036 21 Downloads 137 Views Citations
Post-Formal Thought in Gerontagogy or Beyond Piaget (Articles)

André Lemieux

Journal of Behavioral and Brain Science Vol.2 No.3, August 31, 2012

DOI: 10.4236/jbbs.2012.23046 9,589 Downloads 18,759 Views Citations
Beyond Spacetime Geometry—The Death of Philosophy and Its Quantum Reincarnation (Articles)

Wen-Ran Zhang

Journal of Modern Physics Vol.3 No.9A, September 28, 2012

DOI: 10.4236/jmp.2012.329164 8,499 Downloads 17,381 Views Citations
This article belongs to the Special Issue on Gravitation, Astrophysics and Cosmology
On the Formal Equivalence of Translating Classical Chinese Drama
—Centered on the English translations of the Northern Drama Han gong qiu of the Yuan Dynasty (Articles)

Tan Jing

Advances in Literary Study Vol.9 No.2, April 21, 2021

DOI: 10.4236/als.2021.92008 529 Downloads 1,915 Views Citations
Integrating the Informal Social Security Arrangements into the Formal Sector in Botswana (Articles)

Kholisani Solo

Beijing Law Review Vol.12 No.2, June 7, 2021

DOI: 10.4236/blr.2021.122031 474 Downloads 2,762 Views Citations
Minimum Resolution of the Minkowski, Schwarzschild and Kerr Differential Modules (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.13 No.4, April 29, 2022

DOI: 10.4236/jmp.2022.134036 265 Downloads 1,410 Views Citations
This article belongs to the Special Issue on Field Theory
A Lightweight Formal Framework for Behavioral Safety Auditing of Large Language Models in Cloud Infrastructures (Articles)

Austin Waffo Kouhoué, Thomas Bouetou Bouetou

Journal of Computer and Communications Vol.14 No.6, June 24, 2026

DOI: 10.4236/jcc.2026.146007 26 Downloads 200 Views Citations
This article belongs to the Special Issue on Web Technologies & Cloud Computing
Modified Efficient Families of Two and Three-Step Predictor-Corrector Iterative Methods for Solving Nonlinear Equations (Articles)

Sanjeev Kumar, Vinay Kanwar, Sukhjit Singh

Applied Mathematics Vol.1 No.3, September 29, 2010

DOI: 10.4236/am.2010.13020 6,645 Downloads 12,773 Views Citations
Synthesis and Characterization of LaNixCo1-xO3 Perovskites via Complex Precursor Methods (Articles)

Grace Rafaela Oliveira Silva, José Carlos Santos, Danielle M. H. Martinelli, Anne Michelle Garrido Pedrosa, Marcelo José Barros de Souza, Dulce Maria Araujo Melo

Materials Sciences and Applications Vol.1 No.2, June 30, 2010

DOI: 10.4236/msa.2010.12008 7,721 Downloads 14,550 Views Citations
What’s Wrong with Requirements Specification? An Analysis of the Fundamental Failings of Conventional Thinking about Software Requirements, and Some Suggestions for Getting it Right (Articles)

Tom Gilb

Journal of Software Engineering and Applications Vol.3 No.9, September 30, 2010

DOI: 10.4236/jsea.2010.39096 7,377 Downloads 13,762 Views Citations
Noise-Dependent Stability of the Synchronized State in a Coupled System of Active Rotators (Articles)

Sebastian F. Brandt, Axel Pelster, Ralf Wessel

World Journal of Condensed Matter Physics Vol.1 No.3, August 22, 2011

DOI: 10.4236/wjcmp.2011.13014 5,017 Downloads 9,042 Views Citations
A Nonmonotone Filter Method for Minimax Problems (Articles)

Qi Zhao, Nan Guo

Applied Mathematics Vol.2 No.11, November 30, 2011

DOI: 10.4236/am.2011.211193 5,810 Downloads 9,552 Views Citations
A Methodological Probe to Aeronautical English Vocabulary Instruction (Articles)

Aiguo Wang

Open Journal of Modern Linguistics Vol.1 No.2, December 16, 2011

DOI: 10.4236/ojml.2011.12007 7,568 Downloads 14,258 Views Citations
Comparison between Two FT-IR Spectroscopy Analytical Procedures for Micrograms Determination of Asbestos Species in Bulk Materials (Articles)

Luca De Stefano, Raffaele Cioffi, Francesco Colangelo

American Journal of Analytical Chemistry Vol.3 No.1, January 5, 2012

DOI: 10.4236/ajac.2012.31001 7,871 Downloads 14,161 Views Citations
Thermal Characterization of Se_80-xTe₂₀In_x Glasses Using Iso-Conversional Methods (Articles)

Renu Shukla, Pragya Agarwal, Ashok Kumar

Journal of Crystallization Process and Technology Vol.2 No.2, April 24, 2012

DOI: 10.4236/jcpt.2012.22009 4,574 Downloads 9,048 Views Citations
Comparative Effect of City Finished Compost and NPK Fertilizer on Growth and Availability of Phosphorus to Radish (Raphanus sativus L.) (Articles)

Ashoka Sarker, Md. Abul Kashem, Khan Towhid Osman

Open Journal of Soil Science Vol.2 No.2, June 22, 2012

DOI: 10.4236/ojss.2012.22020 7,948 Downloads 13,558 Views Citations
The Design of Cost Estimating Model of Construction Project: Application and Simulation (Articles)

Abdelhak Challal, Mohamed Tkiouat

Open Journal of Accounting Vol.1 No.1, July 24, 2012

DOI: 10.4236/ojacct.2012.11003 15,482 Downloads 28,353 Views Citations
On a New Method of N-Body Simulations (Articles)

Emmanuil Vilkoviskij

International Journal of Astronomy and Astrophysics Vol.2 No.3, September 28, 2012

DOI: 10.4236/ijaa.2012.23015 3,762 Downloads 7,222 Views Citations

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