Listar Ciencias de la Computación e Inteligencia Artificial por título
Mostrando ítems 25-44 de 880
-
Ponencia
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
(IEEE Computer Society, 2008)Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the ...
-
Artículo
A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems
(Hindawi, 2021)The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving ...
-
Artículo
A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms
(Chinese Institute of Electronics, 2016)A new fault diagnosis method based on improved Adaptive fuzzy spiking neural P systems (in short, AFSN P systems) and ...
-
Artículo
A Fine Grain Sentiment Analysis with Semantics in Tweets
(Universidad Internacional de La Rioja (UNIR), 2016)Social networking is nowadays a major source of new information in the world. Microblogging sites like Twitter have ...
-
Ponencia
A First Attempt to Model Notch Signalling by Means of P Systems
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)During mammalian central nervous system development, an enormous variety of cell types are generated. This cell diversity ...
-
Ponencia
A First Model for Hebbian Learning with Spiking Neural P Systems
(Fénix Editora, 2008)Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...
-
Ponencia
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
(Springer, 2007)Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ...
-
Ponencia
A Formal Framework for P Systems with Dynamic Structure
(Fénix Editora, 2012)This article introduces a formalism/framework able to describe different variants of P systems having a dynamic structure. ...
-
Ponencia
A Formal Proof of Dickson’s Lemma in ACL2
(Springer, 2003)Dickson’s Lemma is the main result needed to prove the termination of Buchberger’s algorithm for computing Gr¨obner basis ...
-
Artículo
A formalization of membrane systems with dynamically evolving structures
(Taylor and Francis, 2013)This article introduces a general formalism/framework flexible enough to cover descriptions of different variants of P ...
-
Artículo
A Formalization of Transition P Systems
(IOS Press, 2002)In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired ...
-
Ponencia
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a ...
-
Artículo
A Framework for Complexity Classes in Membrane Computing
(Elsevier, 2009)The purpose of the present work is to give a general idea about the existing results and open problems concerning the ...
-
Ponencia
A Framework for Evolving Spiking Neural P Systems
(IMCS: International Membrane Computing Society, 2019)In current literature, there is a lack of research on the optimization of spiking neural P systems (SN P systems) and, ...
-
Ponencia
A Framework for Evolving Spiking Neural P Systems with Rules on Synapses
(IMCS: International Membrane Computing Society, 2019)In this paper, we present a genetic algorithm framework for evolving Spiking Neural P Systems with rules on synapses ...
-
Artículo
A gene regulatory network critical for axillary bud dormancy directly controlled by Arabidopsis BRANCHED1
(Cold Spring Harbor Laboratory, 2020)The control of branch outgrowth is critical for plant fitness, stress resilience and crop yield. The Arabidopsis thaliana ...
-
Ponencia
A General, Sound and Efficient Natural Language Parsing Algorithm based on Syntactic Constraints Propagation
(AEPIA: Asociación Española para la Inteligencia Artificial, 1997)This paper presents a new context-free parsing algorithm based on a bidirectional strictly horizontal strategy which ...
-
Ponencia
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
(University of Texas, 2002)In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the ...
-
Artículo
A geometric protocol for cryptography with cards
(Springer, 2015)In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from ...
-
Ponencia
A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules
(Fénix Editora, 2013)Evolution-Communication P system with energy (ECPe systems) is a cell- like variant P system which establishes a dependence ...