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
Base-X Notation and Tri-Value Logic
(Articles)
Xiaolin Li
American Journal of Computational Mathematics
Vol.2 No.3
,September 28, 2012
DOI:
10.4236/ajcm.2012.23033
4,461
Downloads
7,848
Views
Citations
Utilizing Stability Index Tracing for Precise Load Buses Identification in Load Shedding Problem
(Articles)
Z. Hamid
,
I. Musirin
,
M. M. Othman
Engineering
Vol.5 No.1B
,January 16, 2013
DOI:
10.4236/eng.2013.51B031
6,433
Downloads
7,961
Views
Citations
Fuzzy Based Intelligent Monitoring of Critical Lines in the Restructured Power Market
(Articles)
S. Rajasekaran
,
S. Sathiyamoorthy
Circuits and Systems
Vol.7 No.9
,July 14, 2016
DOI:
10.4236/cs.2016.79191
2,123
Downloads
3,030
Views
Citations
Fuzzy Model for Diagnosing Soft Skills in Engineering Training
(Articles)
Débora Barni de Campos
,
Luis Mauricio Martins Resende
,
Alexandre Borges Fagundes
Creative Education
Vol.11 No.12
,December 17, 2020
DOI:
10.4236/ce.2020.1112198
505
Downloads
1,393
Views
Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.2 No.2
,July 15, 2009
DOI:
10.4236/jsea.2009.22012
4,882
Downloads
8,343
Views
Citations
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,855
Downloads
8,192
Views
Citations
An Augmented Framework for Formal Analysis of Safety Critical Systems
(Articles)
Monika Singh
,
V. K. Jain
Journal of Software Engineering and Applications
Vol.10 No.8
,July 11, 2017
DOI:
10.4236/jsea.2017.108039
1,189
Downloads
2,578
Views
Citations
The User Interfaces Transition Diagram-Editor: A Tool to Simplify User-System Interaction Modeling
(Articles)
Maria C. Gómez-Fuentes
,
Jorge Cervantes-Ojeda
,
Alan Badillo-Salas
Journal of Software Engineering and Applications
Vol.16 No.9
,September 18, 2023
DOI:
10.4236/jsea.2023.169023
97
Downloads
498
Views
Citations
Modeling Components and Services of LTE Mobile Communications System
(Articles)
Ishtiaq Ahmed Choudhry
,
Nazir Ahmad Zafar
Int'l J. of Communications, Network and System Sciences
Vol.5 No.12
,December 20, 2012
DOI:
10.4236/ijcns.2012.512086
4,586
Downloads
7,541
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,713
Downloads
4,992
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,863
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,665
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,039
Downloads
3,434
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
209
Downloads
1,639
Views
Citations
Nonalgorithmicity and algorithmicity of protein science
(Articles)
Qinyi Zhao
Advances in Bioscience and Biotechnology
Vol.2 No.5
,October 13, 2011
DOI:
10.4236/abb.2011.25050
6,602
Downloads
10,546
Views
Citations
Simultaneous Measurability of Error and Disturbance
(Articles)
Riuji Mochizuki
Journal of Modern Physics
Vol.4 No.2
,February 27, 2013
DOI:
10.4236/jmp.2013.42036
3,373
Downloads
5,088
Views
Citations
Comparison of Defuzzification Operators on Geographic Data of Ratio Scale
(Articles)
Thomas Hatzichristos
,
Dimitrios Ntzanis
Intelligent Information Management
Vol.15 No.5
,September 26, 2023
DOI:
10.4236/iim.2023.155018
54
Downloads
290
Views
Citations
Employing fuzzy logic in the diagnosis of a clinical case
(Articles)
Gaetano Licata
Health
Vol.2 No.3
,March 24, 2010
DOI:
10.4236/health.2010.23031
5,838
Downloads
11,632
Views
Citations
Permutation and Complementary Algorithm to Generate Random Sequences for Binary Logic
(Articles)
Jie Wan
,
Jeffrey Z. J. Zheng
Int'l J. of Communications, Network and System Sciences
Vol.4 No.5
,May 12, 2011
DOI:
10.4236/ijcns.2011.45039
4,511
Downloads
8,318
Views
Citations
Paraconsistent Annotated Logic in Analysis of Physical Systems: Introducing the Paraquantum Factor of Quantization hψ
(Articles)
João Inácio Da Silva Filho
Journal of Modern Physics
Vol.2 No.11
,November 24, 2011
DOI:
10.4236/jmp.2011.211172
5,036
Downloads
8,621
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