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
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
(Articles)
Nadeem Akhtar
,
Muhammad Nauman
Journal of Software Engineering and Applications
Vol.8 No.2
,February 12, 2015
DOI:
10.4236/jsea.2015.82006
3,057
Downloads
3,962
Views
Citations
Comparison of Various Classification Techniques Using Different Data Mining Tools for Diabetes Diagnosis
(Articles)
Rashedur M. Rahman
,
Farhana Afroz
Journal of Software Engineering and Applications
Vol.6 No.3
,March 29, 2013
DOI:
10.4236/jsea.2013.63013
11,675
Downloads
20,708
Views
Citations
Kabbalah Logic and Semantic Foundations for a Postmodern Fuzzy Set and Fuzzy Logic Theory
(Articles)
Gabriel Burstein
,
Constantin Virgil Negoita
,
Menachem Kranz
Applied Mathematics
Vol.5 No.9
,May 22, 2014
DOI:
10.4236/am.2014.59129
6,128
Downloads
8,392
Views
Citations
This article belongs to the Special Issue on
Fuzzy Mathematics
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,312
Downloads
8,174
Views
Citations
Female Sexual Dysfunction and Timed Intercourse: A Prospective Study of 105 Infertile Women
(Articles)
Liuhong Cai
,
Junxi Liu
,
Shaomin Lu
,
Jiamin Yin
Advances in Reproductive Sciences
Vol.3 No.4
,November 24, 2015
DOI:
10.4236/arsci.2015.34011
2,576
Downloads
3,741
Views
Citations
Private Personal Information Verification
(Articles)
Hoang Giang Do
,
Wee Keong Ng
Journal of Information Security
Vol.8 No.3
,July 18, 2017
DOI:
10.4236/jis.2017.83015
1,155
Downloads
3,331
Views
Citations
Five Experimental Tests on the 5-Qubit IBM Quantum Computer
(Articles)
Diego García-Martín
,
Germán Sierra
Journal of Applied Mathematics and Physics
Vol.6 No.7
,July 24, 2018
DOI:
10.4236/jamp.2018.67123
2,345
Downloads
7,262
Views
Citations
RPBTC: An Implementation Method for Robot Planning
(Articles)
Shan Zhong
,
Qiuya Chen
,
Yunfei Zhou
,
Juan Yuan
Journal of Software Engineering and Applications
Vol.4 No.2
,February 28, 2011
DOI:
10.4236/jsea.2011.42009
4,157
Downloads
8,366
Views
Citations
Data Timed Sending (DTS) Energy Efficient Protocol for Wireless Sensor Networks: Simulation and Testbed Verification
(Articles)
Konstantin Chomu
,
Liljana Gavrilovska
Wireless Sensor Network
Vol.5 No.8
,August 28, 2013
DOI:
10.4236/wsn.2013.58019
4,257
Downloads
6,711
Views
Citations
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
(Articles)
Walid Ben Mesmia
,
Kamel Barkaoui
,
Mohamed Escheikh
Journal of Software Engineering and Applications
Vol.16 No.9
,September 14, 2023
DOI:
10.4236/jsea.2023.169022
76
Downloads
385
Views
Citations
Deterministic Chaos of
N
Stochastic Waves in Two Dimensions
(Articles)
Victor A. Miroshnikov
American Journal of Computational Mathematics
Vol.4 No.4
,August 29, 2014
DOI:
10.4236/ajcm.2014.44025
5,071
Downloads
5,676
Views
Citations
Weighted Teaching-Learning-Based Optimization for Global Function Optimization
(Articles)
Suresh Chandra Satapathy
,
Anima Naik
,
K. Parvathi
Applied Mathematics
Vol.4 No.3
,March 21, 2013
DOI:
10.4236/am.2013.43064
6,715
Downloads
11,487
Views
Citations
Nonlinear Interaction of
N
Conservative Waves in Two Dimensions
(Articles)
Victor A. Miroshnikov
American Journal of Computational Mathematics
Vol.4 No.3
,May 16, 2014
DOI:
10.4236/ajcm.2014.43012
5,324
Downloads
6,323
Views
Citations
Quantum Information Processing Using the Exchange Interaction
(Articles)
M. Guha Majumdar
Journal of Quantum Information Science
Vol.8 No.4
,November 22, 2018
DOI:
10.4236/jqis.2018.84010
1,101
Downloads
2,689
Views
Citations
A Comparative Study of Majority/Minority Logic Circuit Synthesis Methods for Post-CMOS Nanotechnologies
(Articles)
Amjad Almatrood
,
Harpreet Singh
Engineering
Vol.9 No.10
,October 27, 2017
DOI:
10.4236/eng.2017.910054
1,731
Downloads
4,884
Views
Citations
Paraconsistent Algorithm Extractor of Contradiction Effects -
Paraextrctr
ctr
(Articles)
Joao Inacio Da Silva Filho
,
Germano Lambert-Torres
,
Luiz Fernando Pompeo Ferrara
,
Maurício Conceição Mário
,
Marcos Rosa dos Santos
,
Alexandre Shozo Onuki
,
José de Melo Camargo
,
Alexandre Rocco
Journal of Software Engineering and Applications
Vol.4 No.10
,October 11, 2011
DOI:
10.4236/jsea.2011.410067
5,563
Downloads
8,771
Views
Citations
Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic
(Articles)
João Inácio Da Silva Filho
Journal of Intelligent Learning Systems and Applications
Vol.4 No.2
,May 23, 2012
DOI:
10.4236/jilsa.2012.42014
5,702
Downloads
8,620
Views
Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection
(Articles)
Michael Perrick
Open Journal of Philosophy
Vol.8 No.5
,November 29, 2018
DOI:
10.4236/ojpp.2018.85040
1,052
Downloads
3,267
Views
Citations
Logic and the Development of Scientific Competencies in First-Year General Education
(Articles)
Mandana Sobhanzadeh
,
Karim Dharamsi
,
Nicholas Strzalkowski
,
Peter Zizler
,
Eric Roettger
Creative Education
Vol.12 No.11
,November 17, 2021
DOI:
10.4236/ce.2021.1211193
222
Downloads
1,634
Views
Citations
Solving Linear Systems via Composition of their Clans
(Articles)
Dmitry A. ZAITSEV
Intelligent Information Management
Vol.1 No.2
,November 30, 2009
DOI:
10.4236/iim.2009.12012
5,099
Downloads
8,366
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