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 6,012 Downloads 10,733 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,747 Downloads 8,629 Views Citations
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,473 Downloads 10,650 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 231 Downloads 1,024 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,487 Downloads 5,682 Views Citations
This article belongs to the Special Issue on Programming Languages
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 511 Downloads 2,522 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 1,152 Downloads 2,554 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,965 Downloads 6,985 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,279 Downloads 2,805 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 412 Downloads 1,396 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,891 Downloads 6,332 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 2,025 Downloads 6,210 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 6,022 Downloads 9,740 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,994 Downloads 9,469 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,326 Downloads 4,733 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 442 Downloads 2,646 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,931 Downloads 11,185 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,649 Downloads 5,689 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 250 Downloads 1,197 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,752 Downloads 5,791 Views Citations

First <12 3 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies