Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
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,057
Downloads
3,962
Views
Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis
(Articles)
Nazir Ahmad Zafar
Journal of Software Engineering and Applications
Vol.5 No.1
,December 31, 2011
DOI:
10.4236/jsea.2012.51004
5,291
Downloads
8,465
Views
Citations
Analysis of Higher Order System with Impulse Exciting Functions in Z-Domain
(Articles)
Branislav Dobrucký
,
Pavol Štefanec
,
Mariana Beňová
,
Oleg V. Chernoyarov
,
Michal Pokorný
Circuits and Systems
Vol.7 No.11
,September 30, 2016
DOI:
10.4236/cs.2016.711328
1,353
Downloads
2,149
Views
Citations
Quantum Phase Transition for One-Dimensional Spin-1 XXZ Model with Uniaxial Single-Ion-Type Anisotropy
(Articles)
Chunhuan Xiang
,
Honglei Wang
Journal of Applied Mathematics and Physics
Vol.7 No.7
,July 22, 2019
DOI:
10.4236/jamp.2019.77102
673
Downloads
2,052
Views
Citations
Pedestrian Flow Simulation Validation and Verification Techniques
(Articles)
Mohamed H. Dridi
Current Urban Studies
Vol.3 No.2
,June 16, 2015
DOI:
10.4236/cus.2015.32011
3,604
Downloads
4,763
Views
Citations
Can Engineers Build AI/ML Systems? Analysis and an Alternative Approach
(Articles)
Nikolaos Panagiotopoulos
Open Journal of Philosophy
Vol.13 No.3
,August 4, 2023
DOI:
10.4236/ojpp.2023.133034
132
Downloads
668
Views
Citations
IEC 61850 SCL Validation Using UML Model in Modern Digital Substation
(Articles)
Byungtae Jang
,
Alidu Abubakari
,
Namdae Kim
Smart Grid and Renewable Energy
Vol.9 No.8
,August 30, 2018
DOI:
10.4236/sgre.2018.98009
2,832
Downloads
6,259
Views
Citations
A Hybrid Backward Euler Control Volume Method to Solve the Concentration-Dependent Solid-State Diffusion Problem in Battery Modeling
(Articles)
Kudakwashe Chayambuka
,
Grietus Mulder
,
Dmitri L. Danilov
,
Peter H. L. Notten
Journal of Applied Mathematics and Physics
Vol.8 No.6
,June 5, 2020
DOI:
10.4236/jamp.2020.86083
395
Downloads
1,254
Views
Citations
This article belongs to the Special Issue on
Mathematical Physical Model and Method
YOLOv8 for Fire and Smoke Recognition Algorithm Integrated with the Convolutional Block Attention Module
(Articles)
Zhangchi Liu
,
Risheng Zhang
,
Hao Zhong
,
Yingjie Sun
Open Journal of Applied Sciences
Vol.14 No.1
,January 31, 2024
DOI:
10.4236/ojapps.2024.141012
125
Downloads
716
Views
Citations
On Quantitative Approach to Parametric Identifiability of Dual HIV-Parasitoid Infectivity Model
(Articles)
Bassey E. Bassey
,
Lebedev K. Andreyevich
Open Access Library Journal
Vol.3 No.8
,August 19, 2016
DOI:
10.4236/oalib.1102931
1,073
Downloads
1,600
Views
Citations
Seasonal Prediction of Tropical Cyclones and Storms over the Southwestern Indian Ocean Region Using the Generalized Linear Models
(Articles)
Kombo Hamad Kai
,
Yohanna Wilson Shaghude
,
Christian Bs Uiso
,
Agnes Laurent Kijazi
,
Sarah Osima
,
Sara Abdalla Khamis
,
Asya Omar Hamad
Atmospheric and Climate Sciences
Vol.13 No.2
,March 13, 2023
DOI:
10.4236/acs.2023.132008
114
Downloads
597
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,302
Downloads
5,075
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,629
Downloads
6,835
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,023
Downloads
6,075
Views
Citations
Nonlinear Refraction of Peripheral-Substituted Zinc Phthalocyanines Investigated by Nanosecond and Picose-cond Z Scans
(Articles)
Yunjing Li
,
Timothy M Pritchett
,
Jiandong Huang
,
Meirong Ke
,
Wenfang Sun
Optics and Photonics Journal
Vol.1 No.2
,June 29, 2011
DOI:
10.4236/opj.2011.12011
4,154
Downloads
8,118
Views
Citations
Islay3D—A Programming Environment for Authoring Interactive 3D Animations in Terms of State-Transition Diagram
(Articles)
Dandy Ling Kwong
,
Michitoshi Niibori
,
Shusuke Okamoto
,
Masaru Kamada
,
Tatsuhiro Yonekura
Journal of Software Engineering and Applications
Vol.7 No.3
,March 27, 2014
DOI:
10.4236/jsea.2014.73019
3,178
Downloads
4,730
Views
Citations
Charged Colloidal Rods Out of Equilibrium
(Review)
Kyongok Kang
Advances in Chemical Engineering and Science
Vol.5 No.1
,January 7, 2015
DOI:
10.4236/aces.2015.51003
4,721
Downloads
5,352
Views
Citations
Explicit Determination of State Feedback Matrices
(Articles)
Omar Moh’d El-Basheer El-Ghezawi
Advances in Pure Mathematics
Vol.5 No.7
,June 2, 2015
DOI:
10.4236/apm.2015.57040
3,765
Downloads
4,363
Views
Citations
This article belongs to the Special Issue on
Eigenvalues and Eigenvectors
Socio-Demographic Determinants of Family Planning Service Utilization among Women of Reproductive Age in Urban Communities of Imo State, Nigeria
(Articles)
Chukwuma B. Duru
,
Obiageli F. Emelumadu
,
Anthony C. Iwu
,
Ikechi Ohanle
,
Chuka C. Agunwa
,
Ernest Nwaigbo
,
Emmanuel N. Ndukwu
Open Access Library Journal
Vol.5 No.5
,May 23, 2018
DOI:
10.4236/oalib.1104627
1,045
Downloads
4,435
Views
Citations
Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification
(Articles)
Mehmet Beyaz
Int'l J. of Communications, Network and System Sciences
Vol.16 No.5
,May 31, 2023
DOI:
10.4236/ijcns.2023.165007
91
Downloads
390
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top