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
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,672
Downloads
7,413
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,571
Downloads
8,165
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,219
Downloads
3,123
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
597
Downloads
1,539
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,989
Downloads
8,486
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
5,001
Downloads
8,289
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,280
Downloads
2,739
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
167
Downloads
909
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,708
Downloads
7,646
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,833
Downloads
5,456
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,661
Downloads
8,997
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,779
Downloads
8,851
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,135
Downloads
3,894
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
297
Downloads
2,017
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,750
Downloads
10,671
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,472
Downloads
5,228
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
122
Downloads
639
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,988
Downloads
11,740
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,595
Downloads
8,495
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,165
Downloads
8,840
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