Browsing Capítulos (Ciencias de la Computación e Inteligencia Artificial) by Funding agency "Ministerio de Educación y Ciencia (MEC). España"
Now showing items 1-11 of 11
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
Modeling Signal Transduction Using P Systems
(Springer, 2006)Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
Topología simplicial en ACL2
(Universidad de la Rioja, 2010) -
Chapter of Book
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.
-
Chapter of Book
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 ...