Design Verification - Articles - Scientific Research Publishing

Verification of Session Initiation Protocol Using Timed Colored Petri Net (Articles)

Safiye Kızmaz, Mürvet Kırcı

International Journal of Communications, Network and System Sciences Vol.4 No.3, March 10, 2011

DOI: 10.4236/ijcns.2011.43021 4,297 Downloads 9,116 Views Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis (Articles)

Nazir Ahmad Zafar

Journal of Software Engineering and Applications Vol.5 No.1, December 31, 2011

DOI: 10.4236/jsea.2012.51004 5,654 Downloads 9,437 Views Citations
Human Identity Verification Using Multispectral Palmprint Fusion (Articles)

Dakshina Ranjan Kisku, Ajita Rattani, Phalguni Gupta, Jamuna Kanta Sing, C. Jinshong Hwang

Journal of Signal and Information Processing Vol.3 No.2, May 30, 2012

DOI: 10.4236/jsip.2012.32036 5,515 Downloads 10,125 Views Citations
ISO 50001: Are the Auditors Equipped Enough? (Articles)

Avijit Choudhury

Open Journal of Energy Efficiency Vol.1 No.3, December 31, 2012

DOI: 10.4236/ojee.2012.13006 4,760 Downloads 8,890 Views Citations
Max Weber’s Methodology: The Method of Falsification Applied to Text Interpretations (Articles)

Christian Etzrodt

Open Journal of Philosophy Vol.4 No.3, August 11, 2014

DOI: 10.4236/ojpp.2014.43038 9,092 Downloads 11,654 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2, February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,322 Downloads 4,901 Views Citations
Pedestrian Flow Simulation Validation and Verification Techniques (Articles)

Mohamed H. Dridi

Current Urban Studies Vol.3 No.2, June 16, 2015

DOI: 10.4236/cus.2015.32011 3,887 Downloads 5,855 Views Citations
Investigation and Application of High Megavoltage X-Ray Imaging Mode in Radiotherapy (Articles)

Quanshi Zhang, Xiwen Wang, Qiyin Sun, Yuehui Jin, Yun Li, Ziyu Li, Tao Sun, Liang Wang

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.5 No.1, February 17, 2016

DOI: 10.4236/ijmpcero.2016.51005 4,015 Downloads 6,182 Views Citations
Identity Verification of Individuals Based on Retinal Features Using Gabor Filters and SVM (Articles)

Mohamed A. El-Sayed, M. Hassaballah, Mohammed A. Abdel-Latif

Journal of Signal and Information Processing Vol.7 No.1, February 29, 2016

DOI: 10.4236/jsip.2016.71007 3,823 Downloads 5,834 Views Citations
Petri Nets—A Versatile Modeling Structure (Articles)

Miryam Barad

Applied Mathematics Vol.7 No.9, May 26, 2016

DOI: 10.4236/am.2016.79074 1,990 Downloads 4,276 Views Citations
Inter-Fraction and Intra-Fraction Variation in the Absorbed-Dose Delivery during Interstitial High Dose Rate Brachytherapy—A Study Using MicroMOSFET In-Vivo Dosimeter (Articles)

Seenisamy Ramapandian, Vivekanandan Nagarajan, Ashutosh Mukherji, Parthasarathy Vedasoundaram, K. S. Reddy, Vivekanandam Singhavajala, Vijayaprabhu Neelakandan

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.6 No.4, November 29, 2017

DOI: 10.4236/ijmpcero.2017.64040 1,166 Downloads 2,787 Views Citations
Oil Spill Model Operational Application in Damage Assessment and Case Study of Validation (Articles)

Bing Qiao, Feng Xiao, Ru Lan, Tao Li, Chunchao Li

Journal of Environmental Protection Vol.9 No.5, May 24, 2018

DOI: 10.4236/jep.2018.95033 1,019 Downloads 2,287 Views Citations
Theoretical Analysis and Experimental Verification of Crack Initiation Characteristics of Compression-Shear Plane Crack with Hydraulic Pressure (Articles)

Yajuan Xie, Song Yu, Bangxiang Li, Ziyao Xu, Weishen Zhu

World Journal of Mechanics Vol.8 No.9, September 29, 2018

DOI: 10.4236/wjm.2018.89028 1,106 Downloads 2,525 Views Citations
Locality Preserving Discriminant Projection for Speaker Verification (Articles)

Chunyan Liang, Wei Cao, Shuxin Cao

Journal of Computer and Communications Vol.8 No.11, November 11, 2020

DOI: 10.4236/jcc.2020.811002 417 Downloads 1,211 Views Citations
Speaker Verification Based on Log-Likelihood Score Normalization (Articles)

Wei Cao, Chunyan Liang, Shuxin Cao

Journal of Computer and Communications Vol.8 No.11, November 24, 2020

DOI: 10.4236/jcc.2020.811006 533 Downloads 2,128 Views Citations
Urban Stormwater and Sewerage Modelling: An Approach for Peak Runoff and Volume Assessment (Articles)

Berhanu F. Alemaw, Nata T. Tafesse

Journal of Water Resource and Protection Vol.13 No.11, November 26, 2021

DOI: 10.4236/jwarp.2021.1311046 713 Downloads 2,245 Views Citations
Weak Wavefront Solutions of Maxwell’s Equations in Conducting Media (Articles)

Michael Grinfeld, Pavel Grinfeld

Journal of Applied Mathematics and Physics Vol.10 No.1, January 24, 2022

DOI: 10.4236/jamp.2022.101014 241 Downloads 959 Views Citations
Application of Statistical Process Control for Setting Action Thresholds as Quality Assurance of Dose Verifications in External Beam Radiotherapy (Articles)

Philip Kioko Ndonye, Samuel Nii Adu Tagoe

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.11 No.1, January 27, 2022

DOI: 10.4236/ijmpcero.2022.111003 422 Downloads 1,612 Views Citations
Can Engineers Build AI/ML Systems? Analysis and an Alternative Approach (Articles)

Nikolaos Panagiotopoulos

Open Journal of Philosophy Vol.13 No.3, August 4, 2023

DOI: 10.4236/ojpp.2023.133034 327 Downloads 1,592 Views Citations
Composition Analysis and Identification of Ancient Glass Products Based on L1 Regularization Logistic Regression (Articles)

Yuqiao Zhou, Xinyang Xu, Wenjing Ma

Applied Mathematics Vol.15 No.1, January 30, 2024

DOI: 10.4236/am.2024.151006 248 Downloads 706 Views Citations

First <...345 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies