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,808
Downloads
6,185
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,854
Downloads
10,084
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,904
Downloads
3,761
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,369
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,710
Downloads
4,171
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,151
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
670
Downloads
1,390
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
758
Downloads
1,725
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
563
Downloads
1,751
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
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
101
Downloads
1,539
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
613
Downloads
1,491
Views
Citations
The Relationship between Stock Returns and Volatility in the Seventeen Largest International Stock Markets: A Semi-Parametric Approach
(Articles)
Dimitrios Dimitriou
,
Theodore Simos
Modern Economy
Vol.2 No.1
,February 24, 2011
DOI:
10.4236/me.2011.21001
7,456
Downloads
13,820
Views
Citations
The Sensitivity of Model Results to Specification of Network-Based Level of Service Attributes: An Application of a Mixed Logit Model to Trave Mode Choice
(Articles)
Bharat P. Bhatta
Journal of Transportation Technologies
Vol.1 No.3
,August 2, 2011
DOI:
10.4236/jtts.2011.13006
4,862
Downloads
9,763
Views
Citations
The influence of price on rice production in Sierra Leone
(Articles)
Alhaji Mohamed Hamza Conteh
,
Xiangbin Yan
,
Foday Pinka Sankoh
Agricultural Sciences
Vol.3 No.4
,June 22, 2012
DOI:
10.4236/as.2012.34054
17,218
Downloads
44,988
Views
Citations
Similarities of Model Predictive Control and Constrained Direct Inverse
(Articles)
László Richárd Tóth
,
Lajos Nagy
,
Ferenc Szeifert
Intelligent Control and Automation
Vol.3 No.3
,August 30, 2012
DOI:
10.4236/ica.2012.33032
3,783
Downloads
5,489
Views
Citations
<
...
5
6
7
...
>
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