Formal Methods in Software Engineering - Articles - Scientific Research Publishing

The Two Kinds of Gongcheng (Engineering) in Chinese: Both on the Basic Categories, Characteristics and Framework of Philosophy of Gongcheng (Articles)

Haoyao Liu, Zhiye Song

Open Journal of Philosophy Vol.14 No.1, February 1, 2024

DOI: 10.4236/ojpp.2024.141006 161 Downloads 803 Views Citations
Evaluating the Impact of Compost Blanket Thickness and Source Material on Vegetation Establishment Runoff Management and Erosion Control of Roadside Slopes (Articles)

Seyed Armin Motahari Tabari, Mohammed Rafid Al-Haider, Teres J. Cutright, Nariman Mahabadi

Journal of Water Resource and Protection Vol.17 No.4, April 27, 2025

DOI: 10.4236/jwarp.2025.174013 90 Downloads 584 Views Citations
On Implicit Algorithms for Solving Variational Inequalities (Articles)

Eman Al-Shemas

Applied Mathematics Vol.4 No.1, January 28, 2013

DOI: 10.4236/am.2013.41018 4,565 Downloads 7,021 Views Citations
Active Learning Methods—An Analysis of Applications and Experiences in Brazilian Accounting Teaching (Articles)

Adriana Maria Procópio de Araujo, Vilma Geni Slomski

Creative Education Vol.4 No.12B, December 30, 2013

DOI: 10.4236/ce.2013.412A2004 6,307 Downloads 9,271 Views Citations
This article belongs to the Special Issue on Curriculum Studies
A Remarkable Chord Iterative Method for Roots of Uncertain Multiplicity (Articles)

I. Fried

Applied Mathematics Vol.7 No.11, July 11, 2016

DOI: 10.4236/am.2016.711106 2,148 Downloads 3,513 Views Citations
This article belongs to the Special Issue on Applied Iterative Methods
Network Reliability Analysis as a Tool to Guide Investment Decisions in Distributed Generation (Articles)

Samson Ttondo Ssemakalu, Milton Edimu, Jonathan Serugunda, Patrick Kabanda

Journal of Power and Energy Engineering Vol.6 No.9, September 29, 2018

DOI: 10.4236/jpee.2018.69008 929 Downloads 2,533 Views Citations
Solving the Schrodinger Equation on the Basis of Finite-Difference and Monte-Carlo Approaches (Articles)

Konstantin Eduardovich Plokhotnikov

Journal of Applied Mathematics and Physics Vol.9 No.2, February 26, 2021

DOI: 10.4236/jamp.2021.92024 1,405 Downloads 5,511 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,592 Downloads 10,560 Views Citations
Forensic Investigation in Communication Networks Using Incomplete Digital Evidences (Articles)

Slim REKHIS, Jihene KRICHENE, Noureddine BOUDRIGA

International Journal of Communications, Network and System Sciences Vol.2 No.9, December 21, 2009

DOI: 10.4236/ijcns.2009.29100 6,991 Downloads 13,084 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,675 Downloads 9,761 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 8,133 Downloads 15,192 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,515 Downloads 9,543 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,866 Views Citations
This article belongs to the Special Issue on Asymptotic Methods
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,762 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
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,004 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,529 Downloads 6,306 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