Informal and Formal Institutions - Articles - Scientific Research Publishing

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,460 Downloads 5,634 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,852 Downloads 7,562 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,708 Downloads 4,868 Views Citations
This article belongs to the Special Issue on Asymptotic Methods
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2, February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,262 Downloads 4,799 Views Citations
Formalization of Federated Schema Architectural Style Variability (Articles)

Wilhelm Hasselbring

Journal of Software Engineering and Applications Vol.8 No.2, February 15, 2015

DOI: 10.4236/jsea.2015.82009 3,430 Downloads 4,807 Views Citations
The Role of Asymptotic Mean in the Geometric Theory of Asymptotic Expansions in the Real Domain (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.2, February 26, 2015

DOI: 10.4236/apm.2015.52013 5,636 Downloads 6,763 Views Citations
Bone Formation in a Scaffold Composed of Cylindrical Hydroxyapatite and Tryptophan- or Lysine-Coated Sponge in Vivo (Articles)

Masataka Yoshikawa, Hideyuki Kakigi, Hiroshi Maeda, Ikuo Nishikawa, Hideaki Ikenaga, Takeshi Inamoto, Norimasa Tsuji

Journal of Biomedical Science and Engineering Vol.8 No.6, June 29, 2015

DOI: 10.4236/jbise.2015.86037 2,953 Downloads 4,312 Views Citations
Analytic Theory of Finite Asymptotic Expansions in the Real Domain. Part II-A: The Factorizational Theory for Chebyshev Asymptotic Scales (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.8, June 30, 2015

DOI: 10.4236/apm.2015.58045 5,023 Downloads 6,181 Views Citations
Analytic Theory of Finite Asymptotic Expansions in the Real Domain. Part II-B: Solutions of Differential Inequalities and Asymptotic Admissibility of Standard Derivatives (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.8, June 30, 2015

DOI: 10.4236/apm.2015.58046 5,354 Downloads 6,438 Views Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems (Articles)

Meenakshi Sridhar, Naseeb Singh Gill

Journal of Software Engineering and Applications Vol.8 No.9, September 25, 2015

DOI: 10.4236/jsea.2015.89047 5,227 Downloads 6,696 Views Citations
Game Analysis of Reputation Model on Cooperation of Employees in Probation Period and Formal Work Stage (Articles)

Jinyi Li, Jing Li

Open Journal of Social Sciences Vol.3 No.10, October 22, 2015

DOI: 10.4236/jss.2015.310011 6,286 Downloads 7,459 Views Citations
Multimedia Design and Transmedia Storytelling: Content Production for Microtrainings (Articles)

Tércia Zavaglia Torres, Marcia Izabel Fugisawa Souza, José Ruy Porto de Carvalho, Silvio Roberto Medeiros Evangelista

Creative Education Vol.6 No.23, December 30, 2015

DOI: 10.4236/ce.2015.623254 4,114 Downloads 7,006 Views Citations
This article belongs to the Special Issue on Vocational and Adult Education
Performance Improvement of Polyvinyl Formal Based Gel Polymer Electrolyte for Lithium-Ion Batteries by Coating Al₂O₃ (Articles)

Yan Wen, Gaofeng Li, Pingping Zhang, Guohong Xiong

Journal of Applied Mathematics and Physics Vol.4 No.2, February 17, 2016

DOI: 10.4236/jamp.2016.42023 4,530 Downloads 6,308 Views Citations
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata (Articles)

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Journal of Software Engineering and Applications Vol.9 No.9, September 30, 2016

DOI: 10.4236/jsea.2016.99030 1,732 Downloads 2,928 Views Citations
This article belongs to the Special Issue on Formal Methods
Mediatic, Informational and Digital Skills and Competencies in Students from Agricultural Family Schools and Rural Family Home, in the Amazon Biome, Brazil (Articles)

Tércia Zavaglia Torres, Marcia Izabel Fugisawa Souza, Luiz Manoel Silva Cunha, José Ruy Porto de Carvalho, Jaudete Daltio, João Alfredo Carvalho Mangabeira

Creative Education Vol.11 No.8, August 28, 2020

DOI: 10.4236/ce.2020.118107 460 Downloads 1,315 Views Citations
A Mathematical Comparison of the Schwarzschild and Kerr Metrics (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.11 No.10, October 26, 2020

DOI: 10.4236/jmp.2020.1110104 636 Downloads 1,692 Views Citations
Inequality in Imagination amongst Marginalised Learners: Teachers Pounding Away with a Hammer (Articles)

Wade Cafun, Labby Ramrathan

Open Journal of Social Sciences Vol.9 No.12, December 21, 2021

DOI: 10.4236/jss.2021.912024 269 Downloads 1,264 Views Citations
This article belongs to the Special Issue on Learning and Education
A Systematic Review of Perception of E-Learning Users in Formal Education during COVID-19 Pandemic (Articles)

Wendy Kulan Anak Igai, Melor Md. Yunus

Creative Education Vol.13 No.6, June 27, 2022

DOI: 10.4236/ce.2022.136123 509 Downloads 2,298 Views Citations
Application and Popularization of Formal Calculation (Articles)

Ji Peng

Open Access Library Journal Vol.9 No.11, November 28, 2022

DOI: 10.4236/oalib.1109483 73 Downloads 891 Views Citations
Relative Ding Projective Modules over Formal Triangular Matrix Rings (Articles)

Hongyan Fan, Xi Tang

Journal of Applied Mathematics and Physics Vol.11 No.6, June 28, 2023

DOI: 10.4236/jamp.2023.116105 201 Downloads 747 Views Citations

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