Linear Temporal Logic - Articles - Scientific Research Publishing

Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic (Articles)

Hongshan ZHAO, Hongliang GAO, Yang XIA

Engineering Vol.1 No.2，August 24, 2009

DOI: 10.4236/eng.2009.12014 5,727 Downloads 10,127 Views Citations
The Specification of Agent Interaction in Multi-Agent Systems (Articles)

Dmitri CHEREMISINOV

Intelligent Information Management Vol.1 No.2，November 30, 2009

DOI: 10.4236/iim.2009.12011 4,413 Downloads 7,926 Views Citations
A Logical Treatment of Non-Termination and Program Behaviour (Articles)

Martin Ward, Hussein Zedan

Journal of Software Engineering and Applications Vol.7 No.7，June 5, 2014

DOI: 10.4236/jsea.2014.77051 4,362 Downloads 5,233 Views Citations
This article belongs to the Special Issue on Programming Languages
Derivation of Multipurpose Single Reservoir Release Policies with Fuzzy Constraints (Articles)

Dattatray G. Regulwar, Ravindra U. Kamodkar

Journal of Water Resource and Protection Vol.2 No.12，December 30, 2010

DOI: 10.4236/jwarp.2010.212123 5,266 Downloads 10,120 Views Citations
The Media Logic and Cultural Impact of WeChat (Articles)

Jiaxin Yang

Open Journal of Applied Sciences Vol.14 No.7，July 19, 2024

DOI: 10.4236/ojapps.2024.147114 98 Downloads 367 Views Citations
Load Frequency Control of Small Hydropower Plants Using One-Input Fuzzy PI Controller with Linear and Non-Linear Plant Model (Articles)

Derek Ajesam Asoh, Edwin Nyuysever Mbinkar, Albert Nouck Moutlen

Smart Grid and Renewable Energy Vol.13 No.1，January 28, 2022

DOI: 10.4236/sgre.2022.131001 348 Downloads 1,749 Views Citations
A New Approach for the Stability Analysis in Hydromagnetic Couette Flow (Articles)

Adjimon Vincent Monwanou, Amoussou Laurent Hinvi, Hodévèwan Clément Miwadinou, Jean Bio Chabi Orou

Journal of Applied Mathematics and Physics Vol.5 No.7，July 28, 2017

DOI: 10.4236/jamp.2017.57123 960 Downloads 2,002 Views Citations
Identification of Question and Non-Question Segments in Arabic Monologues Using Prosodic Features: Novel Type-2 Fuzzy Logic and Sensitivity-Based Linear Learning Approaches (Articles)

Sunday Olusanya Olatunji, Lahouari Cheded, Wasfi G. Al-Khatib, Omair Khan

Journal of Intelligent Learning Systems and Applications Vol.5 No.3，July 31, 2013

DOI: 10.4236/jilsa.2013.53018 3,816 Downloads 6,545 Views Citations
Site Suitability Analysis for Cork Oak Regeneration Using GIS Based Multicriteria Evaluation Techniques in Maamora Forest-Morocco (Articles)

Bawinabadi M. Bagaram, Fouad Mounir, Saïd Lahssini, Quentin Ponette

Open Access Library Journal Vol.3 No.3，March 22, 2016

DOI: 10.4236/oalib.1102483 1,181 Downloads 2,252 Views Citations
Sustainable Multi-Objective Multi-Reservoir Optimization Considering Environmental Flow (Articles)

Pushpak D. Dabhade, Dattatray G. Regulwar

Journal of Water Resource and Protection Vol.13 No.12，December 8, 2021

DOI: 10.4236/jwarp.2021.1312051 267 Downloads 886 Views Citations
Efficient Routing Using Temporal Distance in Intermittently Connected Mobile Ad-hoc Networks (Articles)

Hemal Shah, Yogeshwar Kosta, Vikrant Patel

Communications and Network Vol.5 No.3，August 15, 2013

DOI: 10.4236/cn.2013.53033 3,707 Downloads 5,779 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,834 Downloads 5,460 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,662 Downloads 8,999 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
On Exploiting Temporal, Social, and Geographical Relationships for Data Forwarding in Delay Tolerant Networks (Articles)

Zhijie Li, Ming Li, Longxiang Gao

Journal of Software Engineering and Applications Vol.7 No.2，February 11, 2014

DOI: 10.4236/jsea.2014.72009 3,585 Downloads 5,298 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,229 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 640 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies