Formal Method - Articles - Scientific Research Publishing

A Conceptual Model That Identifies Mathematical Models and Lean Techniques for Problem-Solving at the Different Decision-Making Levels of Service Companies (Articles)

Zaida E. Alarcón Bernal, Ricardo Aceves García, Arturo Fuentes Zenón

Journal of Service Science and Management Vol.14 No.2，April 19, 2021

DOI: 10.4236/jssm.2021.142011 540 Downloads 1,669 Views Citations
Effect of Motivational Strategies on Employee Performance in Nigerian Commercial Banks (Articles)

Taiwo Akinsola, Hadiza Abubakar Saidu, Taiwo Adewale Muritala, Akeem Adewale Bakare

Open Journal of Social Sciences Vol.11 No.9，September 19, 2023

DOI: 10.4236/jss.2023.119024 609 Downloads 4,672 Views Citations
Generalized Powers of Substitution with Pre-Function Operators (Articles)

Laurent Poinsot

Applied Mathematics Vol.4 No.7A，July 5, 2013

DOI: 10.4236/am.2013.47A004 3,065 Downloads 4,777 Views Citations
This article belongs to the Special Issue on Fractional Calculus Theory and Application
A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.3，March 25, 2021

DOI: 10.4236/jamp.2021.93031 364 Downloads 1,069 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2，July 15, 2009

DOI: 10.4236/jsea.2009.22012 4,989 Downloads 8,487 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1，January 13, 2010

DOI: 10.4236/wsn.2010.21008 7,842 Downloads 12,437 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5，May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,098 Downloads 8,603 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,003 Downloads 8,296 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

Int'l J. of Communications, Network and System Sciences Vol.5 No.3，March 21, 2012

DOI: 10.4236/ijcns.2012.53021 3,895 Downloads 6,382 Views Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism (Articles)

Evangelia P. Galanaki

Psychology Vol.3 No.6，June 18, 2012

DOI: 10.4236/psych.2012.36065 28,979 Downloads 49,916 Views Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal (Articles)

Imran Shaari, Shu-Shing Lee

Creative Education Vol.3 No.3，June 20, 2012

DOI: 10.4236/ce.2012.33057 5,122 Downloads 8,258 Views Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming (Articles)

Khalid Benlhachmi, Mohammed Benattou

Journal of Information Security Vol.4 No.2，April 23, 2013

DOI: 10.4236/jis.2013.42013 4,488 Downloads 7,128 Views Citations
Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis (Articles)

Huilai Zhi

International Journal of Intelligence Science Vol.4 No.3，July 4, 2014

DOI: 10.4236/ijis.2014.43008 2,909 Downloads 4,139 Views Citations
Diglossia in the Arab World
—Educational Implications and Future Perspectives (Articles)

Christopher Horn

Open Journal of Modern Linguistics Vol.5 No.1，February 17, 2015

DOI: 10.4236/ojml.2015.51009 7,720 Downloads 11,552 Views Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis (Articles)

Rakhi Banerjee, Ranjanendra Narayan Nag

Modern Economy Vol.6 No.8，August 20, 2015

DOI: 10.4236/me.2015.68086 4,021 Downloads 5,702 Views Citations
Fuzzy Semantics of Contract Language (Articles)

Hengyang Wu, Yixiang Chen

Applied Mathematics Vol.7 No.5，March 18, 2016

DOI: 10.4236/am.2016.75039 2,377 Downloads 3,446 Views Citations
This article belongs to the Special Issue on Fuzzy Mathematics and Its Applications
An Augmented Framework for Formal Analysis of Safety Critical Systems (Articles)

Monika Singh, V. K. Jain

Journal of Software Engineering and Applications Vol.10 No.8，July 11, 2017

DOI: 10.4236/jsea.2017.108039 1,281 Downloads 2,748 Views Citations
Architectural Composition: A Systematic Method to Define a List of Visual Attributes (Articles)

Seyed Farhad Tayyebi, Yüksel Demir

Art and Design Review Vol.7 No.3，June 11, 2019

DOI: 10.4236/adr.2019.73012 1,229 Downloads 10,251 Views Citations
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 730 Downloads 1,424 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 350 Downloads 1,062 Views Citations

<123 ...>

	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