Analytical Verification - Articles - Scientific Research Publishing

Analytical Calculation of the Energy in a Permanent Magnet (Articles)

Jean-Paul Yonnet, Christian Chillet, Hicham Allag, Lotfi Chouikhi

Journal of Modern Physics Vol.7 No.16，December 5, 2016

DOI: 10.4236/jmp.2016.716196 1,752 Downloads 3,954 Views Citations
This article belongs to the Special Issue on Magnetic Field and Magnetic Theory Research
Development of Analytical Method for the Detection of Nemacur Residues in Cucumber Fruits (Articles)

Said Al-Kurdi, Mohammed O. Alloh, Mohammed R. Al-Agha, Yasser El-Nahhal

American Journal of Analytical Chemistry Vol.9 No.1，January 25, 2018

DOI: 10.4236/ajac.2018.91006 1,163 Downloads 2,740 Views Citations
An Analysis of Modified Emden-Type Equation ẍ + αxẋ + βx³ = 0: Exact Explicit Analytical Solution, Lagrangian, Hamiltonian for Arbitrary Values of α and β (Articles)

D. Biswas

Natural Science Vol.11 No.1，January 17, 2019

DOI: 10.4236/ns.2019.111002 922 Downloads 1,671 Views Citations
Audit of the Physico-Chemical Quality of Amoxicillin Based Drugs Marketed in Senegal (Articles)

Coulibaly Dalané Bernadette, Sow Fatoumata Tata, Naco Mohamed El Béchir, N’Diaye Mahamar, Toure Hamadoun Abba, Mariko Madani, Dackouo Blaise, Diouf Diéry, Koumare Benoit Yaranga, Sarr Serigne Omar

American Journal of Analytical Chemistry Vol.14 No.9，September 22, 2023

DOI: 10.4236/ajac.2023.149019 145 Downloads 512 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,271 Downloads 12,124 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,636 Downloads 6,842 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,245 Downloads 8,125 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,002 Downloads 8,291 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,363 Downloads 9,416 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,901 Downloads 9,872 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,733 Downloads 13,646 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,930 Downloads 14,542 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,379 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,165 Downloads 18,160 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,064 Downloads 9,150 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,751 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,872 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,620 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,444 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,312 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