Browsing Capítulos (Ciencias de la Computación e Inteligencia Artificial) by Funding agency "Junta de Andalucía"
Now showing items 1-18 of 18
-
Chapter of Book
A Modeling Approach Based on P Systems with Bounded Parallelism
(Springer, 2006)This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm ...
-
Presentation
A P–Lingua Based Simulator for Spiking Neural P Systems
(Springer, 2011)The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of ...
-
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
Coupling Between Messenger RNA Synthesis and Degradation during Genome Expression
(Fidetia, 2015)Genome expression involves the synthesis of messenger RNA (mRNA), a short lived molecule whose translation directs the ...
-
Presentation
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. ...
-
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
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
(Springer, 2014)This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel ...
-
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
Membrane System-Based Models for Specifying Dynamical Population Systems
(Springer, 2014)Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ...
-
Chapter of Book
La mitosis celular: una sorprendente frontera de la eficiencia
(Fenix Editora, 2010)En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional ...
-
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
On the Velocity Update in Multi-Objective Particle Swarm Optimizers
(Springer, 2010)Since its appearance, Particle Swarm Optimization (PSO) has become a very popular technique for solving optimization ...
-
Chapter of Book
P and dP Automata: A Survey
(Springer, 2011)This is a quick survey of basic notions and results related to P automata (P systems with symport/antiport rules working ...
-
Presentation
Population Dynamics P Systems on CUDA
(Springer, 2012)Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ...
-
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
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.