Computational Verification Methods - Articles - Scientific Research Publishing

A Proof of a Conjecture and Twenty-Five Conjectures in Number Theory (Articles)

Zhongqi Zhou

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

DOI: 10.4236/oalib.1112171 67 Downloads 730 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4, April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,691 Downloads 8,415 Views Citations
Theoretical and Comparative Study of the Complex [RuCl₃(H₂O)₂(Gly)] by Density Functional Theory (Articles)

Kátia Meirelles D. de Sousa, Marcio Adriano S. Chagas, Jesyca Mayra F. D. dos Santos, Anderson D. Galvão, Fabrício Tarso de Moraes, Andressa Teixeira Barros Nunes Ribeiro, Dário Batista Fortaleza, Kelly Aparecida da Encarnação Amorim, Wagner B. dos Santos

Open Journal of Inorganic Chemistry Vol.8 No.1, January 31, 2018

DOI: 10.4236/ojic.2018.81004 1,465 Downloads 3,319 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8, August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,258 Downloads 8,870 Views Citations
Numerical Simulation of Saint-Venant Equations with Thermal Energy Dependency: Applications on Global Warming (Articles)

Raphael de O. Garcia, Graciele P. Silveira

Open Journal of Fluid Dynamics Vol.13 No.4, September 25, 2023

DOI: 10.4236/ojfd.2023.134014 493 Downloads 1,404 Views Citations
Preliminary Investigation of Copper(II) Ion Binding or Complex Coordination in Lysozeme Molecules (Articles)

Kou Takahashi, Ryotaro Miyazaki, Daisuke Nakane, Temitayo O. Aiyelabola, Takashiro Akitsu

Journal of Materials Science and Chemical Engineering Vol.12 No.4, April 30, 2024

DOI: 10.4236/msce.2024.124008 137 Downloads 807 Views Citations
A Back Propagation-Type Neural Network Architecture for Solving the Complete n × n Nonlinear Algebraic System of Equations (Articles)

Konstantinos Goulianas, Athanasios Margaris, Ioannis Refanidis, Konstantinos Diamantaras, Theofilos Papadimitriou

Advances in Pure Mathematics Vol.6 No.6, May 31, 2016

DOI: 10.4236/apm.2016.66033 2,651 Downloads 5,323 Views Citations
Numerical Solutions of the Classical and Modified Buckley-Leverett Equations Applied to Two-Phase Fluid Flow (Articles)

Raphael de O. Garcia, Graciele P. Silveira

Open Journal of Fluid Dynamics Vol.14 No.3, September 26, 2024

DOI: 10.4236/ojfd.2024.143009 198 Downloads 803 Views Citations
MVN Q-Test I: A Bootstrap-Based Implementation in R (Articles)

José Moral de la Rubia

Journal of Data Analysis and Information Processing Vol.13 No.4, September 23, 2025

DOI: 10.4236/jdaip.2025.134024 55 Downloads 301 Views Citations
Mapping Ab Initio Physical Theories to Computational Chemistry Methods: The Contributions of Classical Mechanics, Thermodynamics and Statistical Mechanics, Electromagnetism, Relativity, Quantum Mechanics, and Quantum Field Theory (Articles)

Chengze Yang

Open Access Library Journal Vol.13 No.1, January 27, 2026

DOI: 10.4236/oalib.1114709 88 Downloads 460 Views Citations
Implementation of HACCP Plan for the Production of Egyptian Kishk (A Traditional Fermented Cereal-Milk Mixture) (Articles)

Mohamed M. Abd El-Razik, Mohamed F. Y. Hassan, Mohamed G. E. Gadallah

Food and Nutrition Sciences Vol.7 No.13, November 15, 2016

DOI: 10.4236/fns.2016.713116 2,962 Downloads 6,930 Views Citations
This article belongs to the Special Issue on Food Safety
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,313 Views Citations
Integrate Liveness Detection with Iris Verification to Construct Support Biometric System (Articles)

Hanaa Mohsin Ahmad, Bushra Jabbar Abdulkareem

Journal of Computer and Communications Vol.4 No.1, January 26, 2016

DOI: 10.4236/jcc.2016.41003 5,190 Downloads 6,586 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,227 Downloads 17,148 Views Citations
Characteristics of Acute Flaccid Paralysis Reported by the Surveillance System and Verified by WHO Officer in Akwa Ibom State-Nigeria, 2006-2012 (Articles)

Bassey Enya Bassey, Vaz Gama Rui, Alex Ntale Gasasira, Mkanda Pascal, Goitom Weldegbriel, Ticha Johnson Mulum, Sylvester T. Maleghemi, Emem Abasi Bassey

Health Vol.6 No.19, November 12, 2014

DOI: 10.4236/health.2014.619299 4,373 Downloads 6,411 Views Citations
A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC (Articles)

Chong LI, Xiaotong ZHANG, Yadong WAN, Qin WANG

International Journal of Communications, Network and System Sciences Vol.1 No.2, July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,473 Downloads 9,953 Views Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models (Articles)

Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker

Journal of Software Engineering and Applications Vol.6 No.3, March 29, 2013

DOI: 10.4236/jsea.2013.63019 4,568 Downloads 8,776 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2, June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,672 Downloads 5,023 Views Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification (Articles)

Tim Warnecke

Engineering Vol.7 No.10, October 26, 2015

DOI: 10.4236/eng.2015.710056 2,974 Downloads 4,024 Views Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval (Articles)

Rajat Roy

Open Access Library Journal Vol.3 No.2, February 4, 2016

DOI: 10.4236/oalib.1102334 1,005 Downloads 2,076 Views Citations

First <12 3 ...>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