Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por agencia financiadora "Ministerio de Educación y Ciencia (MEC). España"
Mostrando ítems 1-11 de 11
-
Capítulo de Libro
Classifying States of a Finite Markov Chain with Membrane Computing
(Springer, 2006)In this paper we present a method to classify the states of a finite Markov chain through membrane computing. A specific ...
-
Capítulo de Libro
Computing with Spiking Neural P Systems: Traces and Small Universal Systems
(Springer, 2006)Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and ...
-
Capítulo de Libro
Graphical Modeling of Higher Plants Using P Systems
(Springer, 2006)L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ...
-
Capítulo de Libro
Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units
(Springer, 2013)A P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets ...
-
Capítulo de Libro
Membrane Computing Schema: A New Approach to Computation Using String Insertions
(Springer, 2009)In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema ...
-
Capítulo de Libro
Modeling Signal Transduction Using P Systems
(Springer, 2006)Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling ...
-
Capítulo de Libro
Spiking Neural P Systems. Recent Results, Research Topics
(Springer, 2009)After a quick introduction of spiking neural P systems (a class of P systems inspired from the way neurons communicate ...
-
Capítulo de Libro
Spiking Neural P Systems: A Short Introduction and New Normal Forms
(Editorial Academiei, 2012)Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means ...
-
Capítulo de Libro
Topología simplicial en ACL2
(Universidad de la Rioja, 2010) -
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
-
Capítulo de Libro
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
(Springer, 2008)A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the ...