Listar Ciencias de la Computación e Inteligencia Artificial por título
Mostrando ítems 337-356 de 879
-
Ponencia
Fault Diagnosis for Multi-energy Flows of Energy Internet: Framework and Prospects
(IEEE Computer Society, 2017)Energy Internet (EI) is an inevitable development trend of energy systems under the background of technology development, ...
-
Ponencia
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(Springer, 2014)This paper discusses the application of fuzzy reasoning spiking neural P systems with real numbers (rFRSN P systems) to ...
-
Artículo
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(IEEE Computer Society, 2015)This paper proposes a graphic modeling approach, fault diagnosis method based on fuzzy reasoning spiking neural P systems ...
-
Artículo
Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System
(Romanian Academy, Section for Information Science and Technology, 2015)This paper presents the application of a modified fuzzy reasoning spiking neural P systems (MFRSN P system, for short) ...
-
Artículo
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems
(IEEE Computer Society, 2018)In this paper, intuitionistic fuzzy spiking neural P (IFSNP) systems as a variant are proposed by integrating intuitionistic ...
-
Artículo
Fault diagnosis of spur gearbox based on random forest and wavelet packet decomposition
(Springer, 2015)This paper addresses the development of a random forest classifier for the multi-class fault diagnosis in spur gearboxes. ...
-
Artículo
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems
(Romanian Academy, Section for Information Science and Technology, 2015)An optimization spiking neural P system (OSNPS) provides a novel way to directly use a P system to solve optimization ...
- Libro
-
Artículo
First Steps Towards a CPU Made of Spiking Neural P Systems
(Agora University of Oradea, Romania, 2009)We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ...
-
Artículo
Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing
(Taylor and Francis, 2013) -
Libro
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
(Fidetia, 2014) -
Libro
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
(Fidetia, 2015) -
Libro
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
(Fidetia, 2016) -
Artículo
Formal Correctness of a Quadratic Unification Algorithm
(Springer, 2006)We present a case study using ACL2 [5] to verify a non-trivial algorithm that uses efficient data structures. The algorithm ...
-
Artículo
Formal proofs about rewriting using ACL2
(Springer, 2002)We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization ...
-
Ponencia
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2
(Springer, 2003)We describe in this paper the formal verification, using the ACL2 system, of a syntactic unification algorithm where terms ...
-
Artículo
Formal verification of a generic framework to synthesize SAT-provers
(Springer, 2004)We present in this paper an application of the ACL2 system to generate and reason about propositional satis ability ...
-
Ponencia
Formal Verification of Molecular Computational Models in ACL2: A Case Study
(Springer, 2003)Theorem proving is a classical AI problem with a broad range of applications. Since its complexity is exponential in the ...
-
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
-
Capítulo de Libro
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ...