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
Formal Verification of Secrecy in Group Key Protocols Using Event-B
(Articles)
Amjad Gawanmeh
,
Sofiène Tahar
,
Leila Jemni Ben Ayed
Int'l J. of Communications, Network and System Sciences
Vol.5 No.3
,March 21, 2012
DOI:
10.4236/ijcns.2012.53021
3,820
Downloads
6,131
Views
Citations
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,929
Downloads
17,580
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,468
Downloads
5,501
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,916
Downloads
3,656
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,788
Downloads
3,316
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
631
Downloads
1,104
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
676
Downloads
1,445
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
937
Downloads
2,133
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
769
Downloads
1,594
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
384
Downloads
939
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
598
Downloads
1,573
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
169
Downloads
722
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
62
Downloads
275
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
72
Downloads
360
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
109
Downloads
1,537
Views
Citations
Pyroelectric Plate with Magnetoelectric Effect
(Articles)
Pavel Grinfeld
,
Michael Grinfeld
Journal of Applied Mathematics and Physics
Vol.12 No.5
,May 10, 2024
DOI:
10.4236/jamp.2024.125100
29
Downloads
81
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
625
Downloads
1,434
Views
Citations
A Simple Statistical Estimation of One’s Performance in an MCQ Examination, Based Upon Mock Test Results, Using Binomial Distribution of Probability
(Articles)
Sudipto Roy
,
Priyadarshi Majumdar
Open Journal of Statistics
Vol.2 No.4
,October 30, 2012
DOI:
10.4236/ojs.2012.24057
5,816
Downloads
9,221
Views
Citations
Theoretical Optimization of the Production of Heating Layers Using Local Wool Fibers
(Articles)
Matluba Abdurashid Kizi Nazarova
,
Juramirza Abdiramatovich Kayumov
,
Axtam Akramovich Qosimov
,
Abdulrasul Abdumajitovich Mahmudov
Engineering
Vol.14 No.12
,December 30, 2022
DOI:
10.4236/eng.2022.1412043
82
Downloads
328
Views
Citations
Finger-vein image recognition combining modified hausdorff distance with minutiae feature matching
(Articles)
Cheng-Bo Yu
,
Hua-Feng Qin
,
Lian Zhang
,
Yan-Zhe Cui
Journal of Biomedical Science and Engineering
Vol.2 No.4
,August 17, 2009
DOI:
10.4236/jbise.2009.24040
12,705
Downloads
21,398
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