Formal Methods in Software Engineering - Articles - Scientific Research Publishing

PRP-Type Direct Search Methods for Unconstrained Optimization (Articles)

Qunfeng Liu, Wanyou Cheng

Applied Mathematics Vol.2 No.6，June 22, 2011

DOI: 10.4236/am.2011.26096 7,035 Downloads 12,085 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,656 Downloads 12,467 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,369 Downloads 8,735 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,294 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,212 Downloads 8,748 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
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,534 Downloads 6,347 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,803 Downloads 3,821 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 4,899 Downloads 5,698 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,195 Downloads 5,939 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,151 Downloads 6,995 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 3,903 Downloads 6,192 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,378 Downloads 5,836 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,621 Downloads 2,537 Views Citations
This article belongs to the Special Issue on Formal Methods
Tenure Security, Land Titles and Access to Formal Finance in Upgraded Informal Settlements: The Case of Dar es Salaam, Tanzania (Articles)

Shaaban A. Sheuya, Marco M. Burra

Current Urban Studies Vol.4 No.4，November 4, 2016

DOI: 10.4236/cus.2016.44029 2,006 Downloads 4,783 Views Citations
Collaborative Intelligence in Smart Cities: A Systematic Review (Articles)

Viviani Kwecko, Silvia S. da C. Botelho

Social Networking Vol.7 No.3，July 24, 2018

DOI: 10.4236/sn.2018.73015 951 Downloads 2,684 Views Citations
Formal Financial Credit Constraints and Solutions for Entrepreneurial Farmers (Articles)

Xiaoyan Zhang

Modern Economy Vol.9 No.12，December 27, 2018

DOI: 10.4236/me.2018.912140 792 Downloads 2,029 Views Citations
Concrete Formulation Study for Informal and Semi-Informal Construction Sectors (Articles)

Narcisse Malanda, Paul Louzolo-Kimbembe, Louis Ahouet, Jarlon Brunel Makela, Guy-Richard Mouengue

Open Journal of Civil Engineering Vol.9 No.1，March 29, 2019

DOI: 10.4236/ojce.2019.91005 1,489 Downloads 2,866 Views Citations
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 355 Downloads 935 Views Citations

<...131415 ...>

	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