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
Syntax-Tree Regular Expression Based DFA FormalConstruction
(Articles)
Nazir Ahmad Zafar
,
Fawaz Alsaade
Intelligent Information Management
Vol.4 No.4
,July 27, 2012
DOI:
10.4236/iim.2012.44021
11,876
Downloads
21,041
Views
Citations
Behavior of the Numerical Integration Error
(Articles)
Tchavdar Marinov
,
Joe Omojola
,
Quintel Washington
,
LaQunia Banks
Applied Mathematics
Vol.5 No.10
,May 23, 2014
DOI:
10.4236/am.2014.510133
6,858
Downloads
10,092
Views
Citations
Applying DNA Computation to Error Detection Problem in Rule-Based Systems
(Articles)
Behrouz Madahian
,
Amin Salighehdar
,
Reza Amini
Journal of Intelligent Learning Systems and Applications
Vol.7 No.1
,February 13, 2015
DOI:
10.4236/jilsa.2015.71003
4,458
Downloads
5,552
Views
Citations
Empirical Analysis on the Practical Feasibility of Timber Legality Verification Work in China
(Articles)
Jianquan Li
,
Shaozhi Chen
Open Journal of Political Science
Vol.5 No.3
,April 2, 2015
DOI:
10.4236/ojps.2015.53018
2,907
Downloads
3,766
Views
Citations
Modeling and Simulation of Hydraulic Hammer for Sleeve Valve
(Articles)
Zishan Xu
,
Guoping Yang
Engineering
Vol.8 No.9
,September 29, 2016
DOI:
10.4236/eng.2016.89059
1,780
Downloads
3,371
Views
Citations
Data Processing of Fault Recorder in Power System
(Articles)
Yu Qin
,
Yu Bai
,
Minghao Wen
Energy and Power Engineering
Vol.9 No.4B
,April 6, 2017
DOI:
10.4236/epe.2017.94B006
2,717
Downloads
4,179
Views
Citations
Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems
(Articles)
Ming Zhu
,
Jing Li
Journal of Computer and Communications
Vol.6 No.11
,November 27, 2018
DOI:
10.4236/jcc.2018.611022
619
Downloads
1,153
Views
Citations
Determination AHP Analysis of the Virtual Stage-Gate Process in the Global Scale Automotive Design
(Articles)
Fuat Ali Paker
,
Cem Alppay
,
Begüm Sertyesilisik
World Journal of Engineering and Technology
Vol.6 No.4
,November 30, 2018
DOI:
10.4236/wjet.2018.64062
671
Downloads
1,391
Views
Citations
The “Static” and “Dynamic” Design Verification Stages of the Lean Development Process: Automotive Industry
(Articles)
F. Ali Paker
World Journal of Engineering and Technology
Vol.8 No.1
,February 17, 2020
DOI:
10.4236/wjet.2020.81008
901
Downloads
2,533
Views
Citations
A Message Length Verification of Modern Messaging Systems
(Articles)
Abdulaziz Altamimi
,
Faisal Shaman
,
Abdulrahman Alruban
Journal of Computer and Communications
Vol.8 No.3
,March 17, 2020
DOI:
10.4236/jcc.2020.83010
759
Downloads
1,729
Views
Citations
Imperfect Quality Certification in Lemons Markets
(Articles)
Birendra K. Mishra
,
Ashutosh Prasad
,
Vijay Mahajan
Theoretical Economics Letters
Vol.10 No.6
,December 15, 2020
DOI:
10.4236/tel.2020.106077
373
Downloads
1,030
Views
Citations
Simulation Analysis and Optimization of Rolling Process of Steel Rim
(Articles)
Wenhua Lv
,
Mao Pang
,
Shunping Li
,
Miaolong Cao
World Journal of Mechanics
Vol.11 No.3
,March 26, 2021
DOI:
10.4236/wjm.2021.113004
569
Downloads
1,759
Views
Citations
Delivered Dose Verification for Lung Cancer Stereotactic Body Radiotherapy Using Cone-Beam CT
(Articles)
Yechao Feng
,
Xi Liu
,
Xiang Pan
,
Chang Hu
,
Ning Zhan
,
Zongda Zhu
,
Zhenxiang Deng
Journal of Cancer Therapy
Vol.12 No.7
,July 26, 2021
DOI:
10.4236/jct.2021.127039
164
Downloads
741
Views
Citations
Simulation Analysis of CO Concentration Distribution in Beijing Yuntong Tunnel
(Articles)
Shilin Zheng
,
Qiong Li
,
Hongwang Xue
Open Journal of Civil Engineering
Vol.13 No.2
,May 18, 2023
DOI:
10.4236/ojce.2023.132016
58
Downloads
283
Views
Citations
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
(Articles)
Walid Ben Mesmia
,
Kamel Barkaoui
,
Mohamed Escheikh
Journal of Software Engineering and Applications
Vol.16 No.9
,September 14, 2023
DOI:
10.4236/jsea.2023.169022
62
Downloads
347
Views
Citations
Certification of a Multicomponent Reference Material from Natural Gas Mixture by Gravimetry and Dual GC-FID/TCD System
(Articles)
Adel Bassuoni Shehata
,
Abdulrahman Rashed AlAskar
,
Najjy Hamad AlYami
,
Abdullah Suleiman AlOwaysi
Green and Sustainable Chemistry
Vol.13 No.4
,November 22, 2023
DOI:
10.4236/gsc.2023.134015
102
Downloads
1,544
Views
Citations
Verification of Dosimetric and Positional Accuracy of Dynamic Tumor Tracking Intensity Modulated Radiation Therapy
(Articles)
Masaki Sueoka
,
Akira Sawada
,
Hiroaki Tanabe
,
Yuki Okada
,
Sho Taniuchi
,
Noboru Okuuchi
,
Masao Tanooka
,
Masaki Kokubo
,
Koichiro Yamakado
Int'l J. of Medical Physics, Clinical Eng. and Radiation Oncology
Vol.8 No.4
,October 11, 2019
DOI:
10.4236/ijmpcero.2019.84019
614
Downloads
1,492
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,878
Downloads
8,336
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,676
Downloads
12,331
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
4,978
Downloads
8,504
Views
Citations
<
...
2
3
4
...
>
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