Formal Verification - Articles - Scientific Research Publishing

Using a Low-Cost Playful Strategy to Present Sign Language on Non-Formal Educational Spaces (Articles)

Tathianna Prado Dawes, Gustavo Henrique Varela Saturnino Alves, Helena Carla Castro, Andréia Santos Silva, Lucianne Fragel-Madeira

Creative Education Vol.10 No.6, June 28, 2019

DOI: 10.4236/ce.2019.106092 824 Downloads 1,794 Views Citations
Can Graduating from a Key University Really Increase People’s Market Returns? Evidence from China’s Urban Formal Labor Market (1993-2010) (Articles)

Lan Zhang, Shengmin Pang

Open Journal of Social Sciences Vol.8 No.10, October 15, 2020

DOI: 10.4236/jss.2020.810007 486 Downloads 1,505 Views Citations
Survey of Smart Contract Technology and Application Based on Blockchain (Articles)

Somboun Tern

Open Journal of Applied Sciences Vol.11 No.10, October 29, 2021

DOI: 10.4236/ojapps.2021.1110085 865 Downloads 4,013 Views Citations
Expansion in the Retail Sector—Market Entry Strategies in Consideration of Formal and Informal Institutions: A Tesco Case Study (Articles)

Daniel Krummel

Open Access Library Journal Vol.9 No.2, February 14, 2022

DOI: 10.4236/oalib.1108377 888 Downloads 11,465 Views Citations
Emotion Work and Scale in Sociocultural Bicycle Advocacy and Transportation Literature (Articles)

Rebecca van Stokkum

Open Journal of Social Sciences Vol.10 No.12, November 29, 2022

DOI: 10.4236/jss.2022.1012039 253 Downloads 1,159 Views Citations
On Some Problems of Extracting the Root from a Given Finite Language (Articles)

Boris F. Melnikov, Aleksandra A. Melnikova

Journal of Applied Mathematics and Physics Vol.11 No.5, May 31, 2023

DOI: 10.4236/jamp.2023.115096 225 Downloads 692 Views Citations
Systematic Method for Constructing Lewis Representations (Articles)

Lahbib Abbas, Lahcen Bih, Khalid Yamni, Abderrahim Elyahyaouy, Abdelmalik El Attaoui, Zahra Ramzi

Open Journal of Inorganic Chemistry Vol.14 No.1, January 31, 2024

DOI: 10.4236/ojic.2024.141001 226 Downloads 906 Views Citations
Two Competing Views on Formal Principles (Articles)

Alexandre Travessoni Gomes Trivisonno, Júlio Aguiar de Oliveira

Beijing Law Review Vol.15 No.3, September 26, 2024

DOI: 10.4236/blr.2024.153091 119 Downloads 984 Views Citations
Formal Logical Arguments in Islamic Law (Articles)

Rehan Rafique

Open Journal of Philosophy Vol.15 No.1, February 13, 2025

DOI: 10.4236/ojpp.2025.151010 139 Downloads 936 Views Citations
Pathways to Formalization: Exploring Support Systems for Informal Micro-Entrepreneurs in the Metal Manufacturing Sector in Zimbabwe (Articles)

Onias Sanangura, Bupe Getrude Mutono-Mwanza

Open Journal of Business and Management Vol.13 No.3, May 14, 2025

DOI: 10.4236/ojbm.2025.133086 102 Downloads 603 Views Citations
Generativity of Self-Organizing Processes and Their Correlative Description in Terms of a Formal Language of Meta-Ordinal Generative Nature, in the Light of the Maximum Ordinality Principle and the Explicit Solution to the “Three-Body Problem” (Articles)

Corrado Giannantoni

Journal of Applied Mathematics and Physics Vol.11 No.10, October 31, 2023

DOI: 10.4236/jamp.2023.1110206 178 Downloads 681 Views Citations
Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions (Articles)

Vladimir Olegovich Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.8, August 19, 2022

DOI: 10.4236/jamp.2022.108167 248 Downloads 1,089 Views Citations
Generating Compatibility Conditions and General Relativity (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.10 No.3, March 14, 2019

DOI: 10.4236/jmp.2019.103025 945 Downloads 1,948 Views Citations
This article belongs to the Special Issue on Astrophysics, Cosmology and Gravitation
Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V” (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.5, May 18, 2022

DOI: 10.4236/jamp.2022.105109 198 Downloads 1,012 Views Citations
Finger-vein image recognition combining modified hausdorff distance with minutiae feature matching (Articles)

Cheng-Bo Yu, Hua-Feng Qin, Lian Zhang, Yan-Zhe Cui

Journal of Biomedical Science and Engineering Vol.2 No.4, August 17, 2009

DOI: 10.4236/jbise.2009.24040 13,343 Downloads 22,579 Views Citations
Building reliable genetic maps: different mapping strategies may result in different maps (Articles)

Yefim Ronin, David Mester, Dina Minkov, Abraham Korol

Natural Science Vol.2 No.6, July 1, 2010

DOI: 10.4236/ns.2010.26073 5,581 Downloads 11,639 Views Citations
Verification of Session Initiation Protocol Using Timed Colored Petri Net (Articles)

Safiye Kızmaz, Mürvet Kırcı

International Journal of Communications, Network and System Sciences Vol.4 No.3, March 10, 2011

DOI: 10.4236/ijcns.2011.43021 4,259 Downloads 9,056 Views Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis (Articles)

Nazir Ahmad Zafar

Journal of Software Engineering and Applications Vol.5 No.1, December 31, 2011

DOI: 10.4236/jsea.2012.51004 5,628 Downloads 9,366 Views Citations
Human Identity Verification Using Multispectral Palmprint Fusion (Articles)

Dakshina Ranjan Kisku, Ajita Rattani, Phalguni Gupta, Jamuna Kanta Sing, C. Jinshong Hwang

Journal of Signal and Information Processing Vol.3 No.2, May 30, 2012

DOI: 10.4236/jsip.2012.32036 5,483 Downloads 10,073 Views Citations
ISO 50001: Are the Auditors Equipped Enough? (Articles)

Avijit Choudhury

Open Journal of Energy Efficiency Vol.1 No.3, December 31, 2012

DOI: 10.4236/ojee.2012.13006 4,740 Downloads 8,851 Views Citations

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