Verification Of Simulation Tools - Articles - Scientific Research Publishing

Doorstop: Text-Based Requirements Management Using Version Control (Articles)

Jace Browning, Robert Adams

Journal of Software Engineering and Applications Vol.7 No.3，March 27, 2014

DOI: 10.4236/jsea.2014.73020 8,416 Downloads 17,634 Views Citations
Survey on the Use of Information and Communication Technology Tools in Educating Caregivers of Elderly People with Dementia —Analysis from Ichushi and PubMed (Articles)

Miwa Yamamoto, Noriko Adachi, Yasuko Maekawa, Tomoharu Nakashima, Shigeru Sakuraba

Open Journal of Nursing Vol.4 No.5，April 25, 2014

DOI: 10.4236/ojn.2014.45043 4,100 Downloads 5,629 Views Citations
This article belongs to the Special Issue on
Perceived Benefits of Incorporating Yoga into Classroom Teaching: Assessment of the Effects of “Yoga Tools for Teachers” (Articles)

David Dapeng Chen, Linda Pauwels

Advances in Physical Education Vol.4 No.3，August 28, 2014

DOI: 10.4236/ape.2014.43018 8,595 Downloads 13,629 Views Citations
Effectiveness of Cognitive Therapy and Mindfulness Tools in Reducing Depression and Anxiety: A Mixed Method Study (Articles)

Valerie L. Alexander, B. Charles Tatum

Psychology Vol.5 No.15，October 20, 2014

DOI: 10.4236/psych.2014.515178 7,981 Downloads 11,454 Views Citations
Matrix Operations Design Tool for FPGA and VLSI Systems (Articles)

Semih Aslan, Jafar Saniie

Circuits and Systems Vol.7 No.2，February 17, 2016

DOI: 10.4236/cs.2016.72005 5,998 Downloads 8,020 Views Citations
A Fundamental Statistical Tools Application for Livestock Diversity Studies from Microsatellite Data—A Mini Review (Review)

Nedup Dorji, Monchai Daugjinda

Open Access Library Journal Vol.1 No.3，June 9, 2014

DOI: 10.4236/oalib.1100572 1,082 Downloads 2,341 Views Citations
Accessibility Evaluation of Arabic E-Commerce Web Sites Using Automated Tools (Articles)

Majed Alshamari

Journal of Software Engineering and Applications Vol.9 No.9，September 16, 2016

DOI: 10.4236/jsea.2016.99029 1,890 Downloads 4,695 Views Citations
Geographic Information Systems Used as a Practical Way of Teaching Mathematics (Articles)

Sandro Laudares, João Bosco Laudares, Matheus Pereira Libório

Journal of Geographic Information System Vol.8 No.5，October 31, 2016

DOI: 10.4236/jgis.2016.85050 2,339 Downloads 5,802 Views Citations
The Performance of a Novel Latching-Type Electromagnetic Actuator for Single-Port Laparoscopic Surgery (Articles)

Haochen Wang, Ali El Wahed

Journal of Modern Physics Vol.10 No.14，December 4, 2019

DOI: 10.4236/jmp.2019.1014109 567 Downloads 1,253 Views Citations
This article belongs to the Special Issue on Magnetism & Magnetic Materials
BIM Methodology Applied in Structural Design: Analysis of Interoperability in ArchiCAD/ETABS Process (Articles)

Alcínia Zita Sampaio, Augusto M. Gomes, Tomas Farinha

Journal of Software Engineering and Applications Vol.14 No.6，June 10, 2021

DOI: 10.4236/jsea.2021.146012 944 Downloads 4,728 Views Citations
A Survey of Visualization Techniques and Tools for Environmental Data (Articles)

Romal Bharatkumar Patel

Technology and Investment Vol.14 No.3，August 28, 2023

DOI: 10.4236/ti.2023.143009 178 Downloads 744 Views Citations
Valuation of the Countries’ Conventional and Nonconventional Monetary Policy Tools in Shrinking Periods (Articles)

Tuğba Demirtaş

American Journal of Industrial and Business Management Vol.14 No.1，January 30, 2024

DOI: 10.4236/ajibm.2024.141002 163 Downloads 572 Views Citations
Development and Application of Integrated Indicators for Assessing Healthcare Waste Management Systems in Kenyan Hospitals (Articles)

Muriithi Jackson Githinji, Paul Mwangi Njogu, Zipporah Nganga, Mohamed Karama

Open Journal of Applied Sciences Vol.14 No.4，April 26, 2024

DOI: 10.4236/ojapps.2024.144072 161 Downloads 694 Views Citations
Application and Effect Analysis of Financial Engineering Tools in Portfolio Optimization (Articles)

Fangyuan Cai

Modern Economy Vol.15 No.5，May 14, 2024

DOI: 10.4236/me.2024.155027 130 Downloads 514 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,272 Downloads 12,126 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,246 Downloads 8,129 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,418 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

<...234 ...>

	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