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,051
Downloads
4,035
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,614
Downloads
21,325
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,080
Downloads
9,112
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,293
Downloads
8,257
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,567
Downloads
3,803
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,146
Downloads
3,357
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,312
Downloads
7,607
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,143
Downloads
8,379
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,243
Downloads
6,857
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
62
Downloads
349
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,059
Downloads
5,726
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,689
Downloads
11,950
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,305
Downloads
6,361
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,080
Downloads
2,846
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,710
Downloads
4,975
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,541
Downloads
8,860
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,691
Downloads
8,662
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,037
Downloads
3,423
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
205
Downloads
1,629
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,086
Downloads
8,422
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