Formal Method - Articles - Scientific Research Publishing

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 741 Downloads 9,636 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 149 Downloads 732 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 120 Downloads 358 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 61 Downloads 491 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 51 Downloads 272 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 8 Downloads 46 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 94 Downloads 353 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 163 Downloads 673 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 814 Downloads 1,469 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 129 Downloads 643 Views Citations
Formal Semantics of OWL-S with Rewrite Logic (Articles)

Ning Huang, Xiaojuan Wang, Camilo Rocha

Journal of Software Engineering and Applications Vol.2 No.1，April 16, 2009

DOI: 10.4236/jsea.2009.21004 5,403 Downloads 10,051 Views Citations
Forensic Investigation in Communication Networks Using Incomplete Digital Evidences (Articles)

Slim REKHIS, Jihene KRICHENE, Noureddine BOUDRIGA

Int'l J. of Communications, Network and System Sciences Vol.2 No.9，December 21, 2009

DOI: 10.4236/ijcns.2009.29100 6,657 Downloads 12,469 Views Citations
Caregiver Identity as a Useful Concept for Understanding the Linkage between Formal and Informal Care Systems: A Case Study (Articles)

Normand Carpentier

Sociology Mind Vol.2 No.1，January 9, 2012

DOI: 10.4236/sm.2012.21005 4,372 Downloads 8,747 Views Citations
Is There an Instructional Framework for 21st Century Learning? (Articles)

Shu-Shing Lee, David Hung

Creative Education Vol.3 No.4，August 13, 2012

DOI: 10.4236/ce.2012.34071 7,838 Downloads 14,298 Views Citations
Modeling Components and Services of LTE Mobile Communications System (Articles)

Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar

Int'l J. of Communications, Network and System Sciences Vol.5 No.12，December 20, 2012

DOI: 10.4236/ijcns.2012.512086 4,708 Downloads 7,649 Views Citations
Test Selection on Extended Finite State Machines with Provable Guarantees (Articles)

Bo Guo, Mahadevan Subramaniam

Journal of Software Engineering and Applications Vol.6 No.9，September 20, 2013

DOI: 10.4236/jsea.2013.69060 3,130 Downloads 4,706 Views Citations
A Simple Model for On-Sensor Phase-Detection Autofocusing Algorithm (Articles)

Przemysław Śliwiński, Paweł Wachel

Journal of Computer and Communications Vol.1 No.6，November 26, 2013

DOI: 10.4236/jcc.2013.16003 5,214 Downloads 8,753 Views Citations
A Logical Treatment of Non-Termination and Program Behaviour (Articles)

Martin Ward, Hussein Zedan

Journal of Software Engineering and Applications Vol.7 No.7，June 5, 2014

DOI: 10.4236/jsea.2014.77051 4,363 Downloads 5,236 Views Citations
This article belongs to the Special Issue on Programming Languages
Mapping AADL to Petri Net Tool-Sets Using PNML Framework (Articles)

Hassan Reza, Amrita Chatterjee

Journal of Software Engineering and Applications Vol.7 No.11，October 24, 2014

DOI: 10.4236/jsea.2014.711082 5,709 Downloads 7,059 Views Citations
The Factorizational Theory of Finite Asymptotic Expansions in the Real Domain: A Survey of the Main Results (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.1，January 12, 2015

DOI: 10.4236/apm.2015.51001 3,592 Downloads 4,355 Views Citations
This article belongs to the Special Issue on Asymptotic Methods

<...234 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies