Formal Verification - Articles - Scientific Research Publishing

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,729 Downloads 11,902 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 661 Downloads 1,978 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 304 Downloads 1,965 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 29 Downloads 332 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,548 Downloads 18,644 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,475 Downloads 17,306 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 513 Downloads 1,840 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 457 Downloads 2,723 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 255 Downloads 1,380 Views Citations
This article belongs to the Special Issue on Field Theory
Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification (Articles)

Mehmet Beyaz

International Journal of Communications, Network and System Sciences Vol.16 No.5, May 31, 2023

DOI: 10.4236/ijcns.2023.165007 286 Downloads 1,091 Views Citations
Coupled maps serving the exchange processes on the environmental interfaces regarded as complex systems (Articles)

Dragutin T. Mihailovic, Mirko Budincevic, Igor Balaz, Sinisa Crvenkovic, Ilija Arsenic

Natural Science Vol.4 No.8, August 29, 2012

DOI: 10.4236/ns.2012.48076 3,258 Downloads 5,726 Views Citations
Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms (Articles)

J. Foukzon, E. R. Men’kova

Advances in Pure Mathematics Vol.3 No.3, May 17, 2013

DOI: 10.4236/apm.2013.33053 3,470 Downloads 6,329 Views Citations
Airy, Beltrami, Maxwell, Einstein and Lanczos Potentials Revisited (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.7 No.7, April 28, 2016

DOI: 10.4236/jmp.2016.77068 2,224 Downloads 3,665 Views Citations
This article belongs to the Special Issue on Research on Gravitation, Astrophysics and Cosmology
Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodinamics (Articles)

Vladimir O. Lobovikov

Open Journal of Philosophy Vol.11 No.1, February 5, 2021

DOI: 10.4236/ojpp.2021.111009 701 Downloads 2,205 Views Citations
An Introduction to the Theory of Field Extensions (Articles)

Saviour Chibeti, Iness Kyapwanyama, Henry M. Phiri, Jeromy Kalunga

Advances in Pure Mathematics Vol.13 No.2, February 28, 2023

DOI: 10.4236/apm.2023.132006 477 Downloads 3,096 Views Citations
“Fight Club”: Symptomatic Analysis (Articles)

Colin K. Touhy

Open Journal of Social Sciences Vol.12 No.2, February 6, 2024

DOI: 10.4236/jss.2024.122002 545 Downloads 7,119 Views Citations
This article belongs to the Special Issue on Arts and Entertainment
Lessons Learned from Practical Independent Verification and Validation Based on IEEE 1012 (Articles)

Joon Ku Lee, Yang Mo Kim

Journal of Software Engineering and Applications Vol.5 No.10, October 31, 2012

DOI: 10.4236/jsea.2012.510093 5,987 Downloads 9,483 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,293 Downloads 9,741 Views Citations

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