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
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
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,403
Downloads
8,379
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,521
Downloads
7,881
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,531
Downloads
4,622
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,871
Downloads
3,653
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
949
Downloads
1,755
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
864
Downloads
1,553
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,262
Downloads
4,932
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
910
Downloads
3,274
Views
Citations
A Matlab/Simulink Development and Verification Platform for a Frequency Estimation System
(Articles)
Yingtai Li
,
Lisheng Yang
,
Xin Lei
,
Rui Ma
,
Luncai Liu
,
Fan Liu
,
Yao Yao
Journal of Computer and Communications
Vol.6 No.11
,November 19, 2018
DOI:
10.4236/jcc.2018.611010
1,380
Downloads
3,709
Views
Citations
An Enhanced Web Base Certificate Verification System
(Articles)
Izuchukwu Chijioke Emele
,
Stanley Ikechukwu Oguoma
,
Kanayo Kizito Uka
,
Emeka Christian Nwaoha
Open Access Library Journal
Vol.7 No.7
,July 30, 2020
DOI:
10.4236/oalib.1106342
1,141
Downloads
6,662
Views
Citations
ProTSA: A Testing Process for Automotive Software Domain
(Articles)
Renato Rafael Arcanjo
,
Luiz Eduardo Galvão Martins
,
Dirceu Lavoiser Fernandes Graci
Journal of Software Engineering and Applications
Vol.17 No.7
,July 23, 2024
DOI:
10.4236/jsea.2024.177033
107
Downloads
590
Views
Citations
Verification of Quantitative Analytical Methods for Routine Clinical Biochemistry Analytes on Alinity ci Series and Architect ci 8200 at the Mohammed VI University Hospital of Oujda (Morocco)
(Articles)
Oussama Rahhab
,
Dounia El-Moujtahide
,
El-Houcine Sebbar
,
Mohammed Choukri
Open Access Library Journal
Vol.12 No.3
,March 25, 2025
DOI:
10.4236/oalib.1113040
16
Downloads
131
Views
Citations
Some New Features and Algorithms for the Study of DFA
(Articles)
Avraham N. Trahtman
Open Journal of Discrete Mathematics
Vol.2 No.2
,April 27, 2012
DOI:
10.4236/ojdm.2012.22008
4,034
Downloads
7,988
Views
Citations
ERP Effects of Word Exposure and Orthographic Knowledge on Lexical Decisions in Spanish
(Articles)
Andrés A. González-Garrido
,
Fabiola R. Gómez-Velázquez
,
Daniel Zarabozo
,
Daniel Zarabozo-Hurtado
,
R. Malatesha Joshi
Journal of Behavioral and Brain Science
Vol.5 No.6
,June 2, 2015
DOI:
10.4236/jbbs.2015.56019
3,411
Downloads
4,424
Views
Citations
A Study of Word Meaning Acquisition of Polysemous Words for English Majors
(Articles)
Xiaoxu Wei
,
Yougen Lou
Creative Education
Vol.6 No.18
,October 30, 2015
DOI:
10.4236/ce.2015.618204
4,607
Downloads
6,651
Views
Citations
Lingual Deconstruction of Children’s Poem in Persian and English Languages
(Articles)
Saloome Rostampour
,
Maryam Jalali
Open Journal of Social Sciences
Vol.4 No.4
,April 28, 2016
DOI:
10.4236/jss.2016.44031
2,081
Downloads
3,099
Views
Citations
An Exploratory Study on the Electronic Word of Mouth Communication in Promoting Brands in the Online Platforms
(Articles)
B. N. Malar Selvi
,
J. Edwin Thomson
Intelligent Information Management
Vol.8 No.5
,September 30, 2016
DOI:
10.4236/iim.2016.85010
3,484
Downloads
11,361
Views
Citations
Perceived Home Literacy and Reading Performance among Adolescent Brazilian Students
(Articles)
Marco Aurélio da Silva Baltar
,
Márcia Maria Peruzzi Elia da Mota
Creative Education
Vol.7 No.18
,December 26, 2016
DOI:
10.4236/ce.2016.718263
1,570
Downloads
2,692
Views
Citations
The Efficacy of a Practical Activity in the Construction of Knowledge of the Concepts of Species and Phenotypic Plasticity Using the Boldo Mirim (
Plectranthus neochilus
Schltr.)
(Articles)
Neuza Rejane Wille Lima
,
Gabriel Araujo Sodré
,
Helena Roland Rodrigues Lima
,
Sueli Soares de Sá Mancebo
,
Luana Vieira Campos
,
Anna Gibson
,
Victoria Souza
,
Wladimir Couto
,
Lívia Di Giacomo
,
Amanda Narcizo
,
Adriana Quintela Lobão
,
Cristina Maria Carvalho Delou
Creative Education
Vol.8 No.13
,October 18, 2017
DOI:
10.4236/ce.2017.813138
1,176
Downloads
2,246
Views
Citations
Determinism in Physics and Cognoscibility of a Picture of the World
(Articles)
Vyacheslav Mikhailovich Somsikov
,
Svetlana Nikolaevna Azarenko
Open Journal of Philosophy
Vol.9 No.3
,June 18, 2019
DOI:
10.4236/ojpp.2019.93018
941
Downloads
1,821
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-2025 Scientific Research Publishing Inc. All Rights Reserved.
Top