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
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
5,378
Downloads
7,474
Views
Citations
Formal Verification of Robertson-Type Uncertainty Relation
(Articles)
Takaaki Masuhara
,
Toru Kuriyama
,
Masakazu Yoshida
,
Jun Cheng
Journal of Quantum Information Science
Vol.5 No.2
,June 11, 2015
DOI:
10.4236/jqis.2015.52008
3,396
Downloads
4,316
Views
Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification
(Articles)
Tim Warnecke
Engineering
Vol.7 No.10
,October 26, 2015
DOI:
10.4236/eng.2015.710056
2,789
Downloads
3,394
Views
Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval
(Articles)
Rajat Roy
Open Access Library Journal
Vol.3 No.2
,February 4, 2016
DOI:
10.4236/oalib.1102334
898
Downloads
1,526
Views
Citations
Verification of Mongolian Cyclone-Induced Snowstorm Model Forecast in Jilin Province, China
(Articles)
Dongxue Fu
,
Xueyan Yang
,
Ning Wang
,
Yao Yao
Journal of Geoscience and Environment Protection
Vol.5 No.8
,July 21, 2017
DOI:
10.4236/gep.2017.58003
795
Downloads
1,347
Views
Citations
Accuracy Comparison of 4D Computed Tomography (4DCT) and 4D Cone Beam Computed Tomography (4DCBCT)
(Articles)
Tzu-Cheng Lee
,
Stephen R. Bowen
,
Sara St. James
,
George A. Sandison
,
Paul E. Kinahan
,
Matthew J. Nyflot
Int'l J. of Medical Physics, Clinical Eng. and Radiation Oncology
Vol.6 No.3
,August 30, 2017
DOI:
10.4236/ijmpcero.2017.63029
2,160
Downloads
4,430
Views
Citations
Research and Application of Supercapacitor Charging System
(Articles)
Minghai Duan
,
Xiaoxiao Cao
,
Qiyu Zhang
,
Xiaohui Chen
Open Access Library Journal
Vol.5 No.4
,April 20, 2018
DOI:
10.4236/oalib.1104544
852
Downloads
2,886
Views
Citations
A Matlab/Simulink Development and Verification Platform for a Frequency Estimation System
(Articles)
Yingtai Li
,
Lisheng Yang
,
Xin Lei
,
Rui Ma
,
Luncai Liu
,
Fan Liu
,
Yao Yao
Journal of Computer and Communications
Vol.6 No.11
,November 19, 2018
DOI:
10.4236/jcc.2018.611010
1,288
Downloads
3,362
Views
Citations
An Enhanced Web Base Certificate Verification System
(Articles)
Izuchukwu Chijioke Emele
,
Stanley Ikechukwu Oguoma
,
Kanayo Kizito Uka
,
Emeka Christian Nwaoha
Open Access Library Journal
Vol.7 No.7
,July 30, 2020
DOI:
10.4236/oalib.1106342
937
Downloads
5,229
Views
Citations
A Practical Solution for Location Estimation in Manually Deployed Wireless Sensor Networks
(Articles)
Om Prakash Sahu
,
Tarun Dubey
Wireless Sensor Network
Vol.3 No.4
,March 31, 2011
DOI:
10.4236/wsn.2011.34013
6,388
Downloads
11,992
Views
Citations
Key Incorporation Scheme for Cancelable Biometrics
(Articles)
Eliza Yingzi Du
,
Kai Yang
,
Zhi Zhou
Journal of Information Security
Vol.2 No.4
,October 24, 2011
DOI:
10.4236/jis.2011.24018
4,540
Downloads
8,701
Views
Citations
Biometric Signature of Private Key by Reliable Iris Recognition Based on Flexible-ICA Algorithm
(Articles)
Aissa Boukhari
,
Salim Chitroub
,
Imen Bouraoui
Int'l J. of Communications, Network and System Sciences
Vol.4 No.12A
,December 22, 2011
DOI:
10.4236/ijcns.2011.432096
5,005
Downloads
8,966
Views
Citations
This article belongs to the Special Issue on
Cloud Computing
Y-Shaped Intra-Scleral Fixated Lens versus Retro-Pupillary Iris Claw Lens in the Treatment of Aphakia
(Articles)
Ahmed Mohamed Morshed
,
Mahmoud Nasr Aldeeb
,
Adel Kamal Abdeen
,
Salah Mohamed Almosalamy
Open Journal of Ophthalmology
Vol.9 No.2
,May 30, 2019
DOI:
10.4236/ojoph.2019.92012
1,229
Downloads
2,368
Views
Citations
Anatomical Structure of Aboveground and Underground Organs of the Rare Endemic Species
Iris (Juno) magnifica
vved., Growing under Natural Conditions of the Zeravshan Ridge, Samarkand Mountains
(Articles)
Nargiza K. Rakhimova
,
Guljan M. Duschanova
,
Akida T. Abdullaeva
,
Eldor E. Temirov
American Journal of Plant Sciences
Vol.11 No.9
,September 27, 2020
DOI:
10.4236/ajps.2020.119105
364
Downloads
1,261
Views
Citations
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
(Articles)
Prabhu Kaliappan
,
Hartmut Koenig
Journal of Software Engineering and Applications
Vol.1 No.1
,December 9, 2008
DOI:
10.4236/jsea.2008.11003
6,189
Downloads
11,897
Views
Citations
Probabilistic Verification over GF(2m) Using Mod2-OBDDs
(Articles)
J.L. Imana
Intelligent Information Management
Vol.2 No.2
,March 16, 2010
DOI:
10.4236/iim.2010.22012
3,565
Downloads
6,635
Views
Citations
Eliminating Forgers Based on Intra Trial Variability in Online Signature Verification Using Handglove and Photometric Signals
(Articles)
Andrews Samraj
,
Shohel Sayeed
,
Loo Chu Kiong
,
Nikos E. Mastorokis
Journal of Information Security
Vol.1 No.1
,July 30, 2010
DOI:
10.4236/jis.2010.11003
4,178
Downloads
7,946
Views
Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.3 No.8
,August 26, 2010
DOI:
10.4236/jsea.2010.38093
4,879
Downloads
8,054
Views
Citations
Extending the Strand Space Method with Timestamps: Part I the Theory
(Articles)
Yongjian Li
,
Jun Pang
Journal of Information Security
Vol.1 No.2
,October 29, 2010
DOI:
10.4236/jis.2010.12006
5,258
Downloads
9,149
Views
Citations
Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V
(Articles)
Yongjian Li
,
Jun Pang
Journal of Information Security
Vol.1 No.2
,October 29, 2010
DOI:
10.4236/jis.2010.12007
5,800
Downloads
9,656
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