Login
Login
切换导航
Home
Articles
Journals
Books
News
About
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
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
Why Formal Methods Are Considered for Safety Critical Systems?
(Articles)
Monika Singh
,
Ashok Kumar Sharma
,
Ruhi Saxena
Journal of Software Engineering and Applications
Vol.8 No.10
,October 16, 2015
DOI:
10.4236/jsea.2015.810050
5,316
Downloads
5,896
Views
Citations
Syntax score: The fallacies and remedies—A perspective
(Articles)
Pravin K. Goel
,
Roopali Khanna
,
Aditya Batra
,
Sanjeev K. Syal
World Journal of Cardiovascular Diseases
Vol.3 No.7
,October 14, 2013
DOI:
10.4236/wjcd.2013.37070
4,087
Downloads
5,973
Views
Citations
Teaching of English in Indian Schools through Grammar Translation Method―Low Performance―A Field Study
(Articles)
Preeti Grover
Open Access Library Journal
Vol.1 No.5
,August 22, 2014
DOI:
10.4236/oalib.1100731
1,651
Downloads
3,324
Views
Citations
The Syntax-Semantics-Prosody Interface in Legislative Language
(Articles)
Hongli Shi
Beijing Law Review
Vol.5 No.3
,September 29, 2014
DOI:
10.4236/blr.2014.53021
4,231
Downloads
5,018
Views
Citations
Research on the Application of Space Syntax in Urban Planning
(Articles)
Xi Chen
World Journal of Engineering and Technology
Vol.5 No.3B
,August 11, 2017
DOI:
10.4236/wjet.2017.53B004
986
Downloads
2,046
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,525
Downloads
2,880
Views
Citations
SMS Notifying Design in Intra-Day Scheduling Security Check System
(Articles)
Cui-Hui Yan
,
Licheng Sha
,
Sai Dai
,
Hai-Dong Zhao
Energy and Power Engineering
Vol.9 No.4B
,April 6, 2017
DOI:
10.4236/epe.2017.94B059
2,315
Downloads
2,574
Views
Citations
Biologically Relevant Universality of Move F in Wh-Questions
(Articles)
Daoshan Ma
Open Access Library Journal
Vol.5 No.3
,March 15, 2018
DOI:
10.4236/oalib.1104442
496
Downloads
1,174
Views
Citations
Investigation and Analysis of Urban Spatial Structure around the Train Stations in Kitakyushu by Using Space Syntax and GIS
(Articles)
Jianan Liu
,
Danhua Wu
,
Fukahori Hidetosi
,
Weijun Gao
Open Journal of Civil Engineering
Vol.5 No.1
,March 12, 2015
DOI:
10.4236/ojce.2015.51010
4,037
Downloads
5,278
Views
Citations
Flood Resilient Cities: A Syntactic and Metric Novel on Measuring the Resilience of Cities against Flooding, Gothenburg, Sweden
(Articles)
Ehsan Abshirini
,
Daniel Koch
,
Ann Legeby
Journal of Geographic Information System
Vol.9 No.5
,September 7, 2017
DOI:
10.4236/jgis.2017.95032
1,002
Downloads
1,957
Views
Citations
Role of CIMT, eGFR, and Serum HbA1c in Predicting CAD in Non-Diabetic Patients Undergoing Elective Coronary Angiography
(Articles)
C. Kapil
,
D. Rajasekhar
,
V. Vanjakshamma
,
D. Kranthichaitanya
,
C. H. Narendra
World Journal of Cardiovascular Diseases
Vol.8 No.1
,January 11, 2018
DOI:
10.4236/wjcd.2018.81001
516
Downloads
814
Views
Citations
The Relationship between Serum Pentraxin-3 Levels and Severity of Coronary Heart Disease
(Articles)
Mohamed Yahia
,
Omar S. Elmasry
,
Mai Abdel Ra’ouf
World Journal of Cardiovascular Diseases
Vol.8 No.7
,July 25, 2018
DOI:
10.4236/wjcd.2018.87036
906
Downloads
1,896
Views
Citations
Correlation between SYNTAX Score and Pattern of Risk Factors in Patients Referred for Coronary Angiography in Cardiology Department, Menoufia University
(Articles)
Ahmed Mokhtar El Kersh
,
Ahmed Ashraf Reda
,
Mohamed Gamal El Hadad
,
Khaled Hussein El-Sharnouby
World Journal of Cardiovascular Diseases
Vol.8 No.8
,August 31, 2018
DOI:
10.4236/wjcd.2018.88042
684
Downloads
1,535
Views
Citations
A Translation Linguistic Setup-I AM in Spanish Language Context
(Articles)
Joel Laffita Rivera
Open Journal of Modern Linguistics
Vol.10 No.4
,July 14, 2020
DOI:
10.4236/ojml.2020.104013
128
Downloads
322
Views
Citations
PLC Modeling and Checking Based on Formal Method
(Articles)
Yueshan Zheng
,
Guiming Luo
,
Junbo Sun
,
Junjie Zhang
,
Zhenfeng Wang
Journal of Software Engineering and Applications
Vol.3 No.11
,November 29, 2010
DOI:
10.4236/jsea.2010.311124
7,537
Downloads
14,965
Views
Citations
Territorial Checking and Balance: The Change of the Spanish State Territorial Organization by Subconstitutional Rules
(Articles)
Antoni Abati Ninet
Beijing Law Review
Vol.3 No.1
,March 31, 2012
DOI:
10.4236/blr.2012.31002
3,225
Downloads
6,600
Views
Citations
Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs
(Articles)
Trinh Cong Duy
,
Nguyen Thanh Binh
,
Ioannis Parissis
Journal of Software Engineering and Applications
Vol.6 No.10A
,October 4, 2013
DOI:
10.4236/jsea.2013.610A004
3,925
Downloads
6,054
Views
Citations
This article belongs to the Special Issue on
Software Testing
Evaluation of an oral moisture-checking device for screening dry mouth
(Articles)
Yosuke Fukushima
,
Tetsuya Yoda
,
Shoichiro Kokabu
,
Ryuichiro Araki
,
Tsubasa Murata
,
Yoshimasa Kitagawa
,
Ken Omura
,
Shuji Toya
,
Kayoko Ito
,
Saori Funayama
,
Hiroshi Iwabuchi
,
Kazuhiro Asano
,
Yutaka Imai
,
Akihide Negishi
,
Satoshi Yokoo
,
Goichi Matsumoto
,
Eiro Kubota
,
Hideki Watanabe
,
Mikio Kusama
,
Kojiro Onizawa
,
Takuya Goto
,
Seiji Nakamura
,
Ryuichi Nakazawa
,
Kiyoshi Harada
,
Takashi Fujibayashi
Open Journal of Stomatology
Vol.3 No.8
,November 18, 2013
DOI:
10.4236/ojst.2013.38073
4,179
Downloads
5,847
Views
Citations
Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking
(Articles)
Surapol Rochanapratishtha
,
Wanchai Pijitrojana
Journal of Quantum Information Science
Vol.5 No.3
,September 16, 2015
DOI:
10.4236/jqis.2015.53012
3,366
Downloads
3,876
Views
Citations
Checking of Radially Sawn Scots Pine and Norway Spruce Wood
(Articles)
Martti Venäläinen
,
Yonggang Hu
,
Erkki Verkasalo
Natural Resources
Vol.7 No.9
,September 9, 2016
DOI:
10.4236/nr.2016.79043
1,234
Downloads
1,674
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
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-2023 Scientific Research Publishing Inc. All Rights Reserved.
Top