Computational Verification Methods - Articles - Scientific Research Publishing

From Econometrics to e.conometrics (Articles)

Antonio Simeone, Marco D’Ambra, Paolo Savona

Modern Economy Vol.17 No.3, March 13, 2026

DOI: 10.4236/me.2026.173025 58 Downloads 342 Views Citations
Practical Implementation of Safety Verification in LNG Production Facilities (Articles)

Achint Rastogi, Hossam A. Gabbar

Open Journal of Safety Science and Technology Vol.1 No.2, September 28, 2011

DOI: 10.4236/ojsst.2011.12005 5,717 Downloads 11,882 Views Citations
Seasonal Prediction of Tropical Cyclones and Storms over the Southwestern Indian Ocean Region Using the Generalized Linear Models (Articles)

Kombo Hamad Kai, Yohanna Wilson Shaghude, Christian Bs Uiso, Agnes Laurent Kijazi, Sarah Osima, Sara Abdalla Khamis, Asya Omar Hamad

Atmospheric and Climate Sciences Vol.13 No.2, March 13, 2023

DOI: 10.4236/acs.2023.132008 611 Downloads 1,903 Views Citations
Reinforcement Learning in Mechatronic Systems: A Case Study on DC Motor Control (Articles)

Alexander Nüßgen, Alexander Lerch, René Degen, Marcus Irmer, Martin de Fries, Fabian Richter, Cecilia Boström, Margot Ruschitzka

Circuits and Systems Vol.16 No.1, January 20, 2025

DOI: 10.4236/cs.2025.161001 300 Downloads 1,933 Views Citations
Triangular Number Matrix and Application in Cryptography: A Novel Pattern-Based Approach (Articles)

Nikoloz (Niko) Nadirashvili

American Journal of Computational Mathematics Vol.16 No.2, May 15, 2026

DOI: 10.4236/ajcm.2026.162004 21 Downloads 239 Views Citations
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,602 Downloads 12,705 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,657 Downloads 14,443 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,303 Downloads 13,646 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 4,975 Downloads 8,977 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,768 Downloads 9,484 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,509 Downloads 14,149 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,829 Downloads 14,089 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,510 Downloads 8,917 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,900 Downloads 13,455 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,446 Downloads 28,211 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,744 Downloads 7,176 Views Citations
Isobolographic Method and Invertebrate (Planarian) Model for Evaluating Combinations of Waterways Pollutants (Articles)

Robert B. Raffa, Deborah A. Gallo, Christopher S. Tallarida, Scott M. Rawls, Ronald J. Tallarida

Pharmacology & Pharmacy Vol.3 No.4, October 29, 2012

DOI: 10.4236/pp.2012.34051 5,730 Downloads 9,585 Views Citations
An Inexact Restoration Package for Bilevel Programming Problems (Articles)

Elvio A. Pilotta, Germán A. Torres

Applied Mathematics Vol.3 No.10A, November 1, 2012

DOI: 10.4236/am.2012.330181 5,592 Downloads 9,180 Views Citations
This article belongs to the Special Issue on Optimization
Recovery of Soil Test Phosphorus from an Acidic Soil Amended with Organic and Inorganic Phosphorus (Articles)

Farzana Rumi, Md. Abul Kashem, Khan Towhid Osman

Open Journal of Soil Science Vol.2 No.4, December 31, 2012

DOI: 10.4236/ojss.2012.24045 3,896 Downloads 7,135 Views Citations
Ovarian cancer in Kenyatta National Hospital in Kenya: Characteristics and management (Articles)

Eunice J. Cheserem, Anne-Beatrice Kihara, Rose J. Kosgei, David Gathara, Stephen Gichuhi

Open Journal of Obstetrics and Gynecology Vol.3 No.1A, February 5, 2013

DOI: 10.4236/ojog.2013.31A031 5,825 Downloads 9,445 Views Citations
This article belongs to the Special Issue on Human Pregnancy and Parturition Clinical Management

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