Algorithm Verification - Articles - Scientific Research Publishing

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,246 Downloads 8,130 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 5,003 Downloads 8,296 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,364 Downloads 9,419 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,902 Downloads 9,876 Views Citations
Software Engineering Principles: Do They Meet Engineering Criteria? (Articles)

Kenza Meridji, Alain Abran

Journal of Software Engineering and Applications Vol.3 No.10，November 19, 2010

DOI: 10.4236/jsea.2010.310114 7,734 Downloads 13,648 Views Citations
Online Fingerprint Verification Algorithm and Distributed System (Articles)

Ping Zhang, Xi Guo, Jyotirmay Gadedadikar

Journal of Signal and Information Processing Vol.2 No.2，May 26, 2011

DOI: 10.4236/jsip.2011.22011 7,933 Downloads 14,549 Views Citations
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,895 Downloads 6,382 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 12,166 Downloads 18,163 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 7,068 Downloads 9,157 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,559 Downloads 5,752 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,996 Downloads 3,873 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,878 Downloads 3,624 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,829 Downloads 4,445 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 711 Downloads 1,316 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 742 Downloads 1,688 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 1,079 Downloads 2,593 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 911 Downloads 1,914 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 537 Downloads 1,254 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 742 Downloads 2,008 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 248 Downloads 965 Views Citations

<123 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies