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
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,877
Downloads
8,051
Views
Citations
Pyroelectric Plate with Magnetoelectric Effect
(Articles)
Pavel Grinfeld
,
Michael Grinfeld
Journal of Applied Mathematics and Physics
Vol.12 No.5
,May 10, 2024
DOI:
10.4236/jamp.2024.125100
49
Downloads
132
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,602
Downloads
4,755
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
131
Downloads
657
Views
Citations
Seasonal Prediction of Tropical Cyclones and Storms over the Southwestern Indian Ocean Region Using the Generalized Linear Models
(Articles)
Kombo Hamad Kai
,
Yohanna Wilson Shaghude
,
Christian Bs Uiso
,
Agnes Laurent Kijazi
,
Sarah Osima
,
Sara Abdalla Khamis
,
Asya Omar Hamad
Atmospheric and Climate Sciences
Vol.13 No.2
,March 13, 2023
DOI:
10.4236/acs.2023.132008
114
Downloads
594
Views
Citations
Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification
(Articles)
Mehmet Beyaz
Int'l J. of Communications, Network and System Sciences
Vol.16 No.5
,May 31, 2023
DOI:
10.4236/ijcns.2023.165007
91
Downloads
390
Views
Citations
Lessons Learned from Practical Independent Verification and Validation Based on IEEE 1012
(Articles)
Joon Ku Lee
,
Yang Mo Kim
Journal of Software Engineering and Applications
Vol.5 No.10
,October 31, 2012
DOI:
10.4236/jsea.2012.510093
5,578
Downloads
8,499
Views
Citations
Implementation of HACCP Plan for the Production of Egyptian Kishk (A Traditional Fermented Cereal-Milk Mixture)
(Articles)
Mohamed M. Abd El-Razik
,
Mohamed F. Y. Hassan
,
Mohamed G. E. Gadallah
Food and Nutrition Sciences
Vol.7 No.13
,November 15, 2016
DOI:
10.4236/fns.2016.713116
2,548
Downloads
5,674
Views
Citations
This article belongs to the Special Issue on
Food Safety
Integrate Liveness Detection with Iris Verification to Construct Support Biometric System
(Articles)
Hanaa Mohsin Ahmad
,
Bushra Jabbar Abdulkareem
Journal of Computer and Communications
Vol.4 No.1
,January 26, 2016
DOI:
10.4236/jcc.2016.41003
4,985
Downloads
5,996
Views
Citations
A Comparative Analysis of Tools for Verification of Security Protocols
(Articles)
Nitish Dalal
,
Jenny Shah
,
Khushboo Hisaria
,
Devesh Jinwala
Int'l J. of Communications, Network and System Sciences
Vol.3 No.10
,October 27, 2010
DOI:
10.4236/ijcns.2010.310104
7,670
Downloads
15,822
Views
Citations
Characteristics of Acute Flaccid Paralysis Reported by the Surveillance System and Verified by WHO Officer in Akwa Ibom State-Nigeria, 2006-2012
(Articles)
Bassey Enya Bassey
,
Vaz Gama Rui
,
Alex Ntale Gasasira
,
Mkanda Pascal
,
Goitom Weldegbriel
,
Ticha Johnson Mulum
,
Sylvester T. Maleghemi
,
Emem Abasi Bassey
Health
Vol.6 No.19
,November 12, 2014
DOI:
10.4236/health.2014.619299
4,077
Downloads
5,395
Views
Citations
A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC
(Articles)
Chong LI
,
Xiaotong ZHANG
,
Yadong WAN
,
Qin WANG
Int'l J. of Communications, Network and System Sciences
Vol.1 No.2
,July 10, 2008
DOI:
10.4236/ijcns.2008.12024
5,179
Downloads
9,228
Views
Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
(Articles)
Mohamed El-Kamel Hamdane
,
Allaoui Chaoui
,
Martin Strecker
Journal of Software Engineering and Applications
Vol.6 No.3
,March 29, 2013
DOI:
10.4236/jsea.2013.63019
4,310
Downloads
8,169
Views
Citations
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,370
Downloads
7,459
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,311
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,391
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,524
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
794
Downloads
1,344
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,158
Downloads
4,422
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,878
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