Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 27-46 de 66
-
Capítulo de Libro
Evolution of the Flowering Pathways
(Springer, 2016)Flowering plants are some of the most successful organisms on Earth, particularly those used in agriculture due to the ...
-
Capítulo de Libro
Exploring Computation Trees Associated with P Systems
(Springer, 2005)Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ...
-
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 ...
-
Capítulo de Libro
Generation of Diophantine Sets by Computing P Systems with External Output
(Springer, 2002)In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. ...
-
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 ...
-
Ponencia
Heterotic Computing Examples with Optics, Bacteria, and Chemicals
(Springer, 2012)Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. ...
-
Capítulo de Libro
Hybrid Networks of Evolutionary Processors
(Springer, 2003)A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph ...
-
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
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem
(Springer, 2004)In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2-division.
-
Capítulo de Libro
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 ...
-
Capítulo de Libro
Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla
(Springer, 2018)This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane ...
-
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
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 ...
-
Capítulo de Libro
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 ...
-
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
On Descriptive Complexity of P Systems
(Springer, 2005)In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ...
-
Capítulo de Libro
On Experimental Efficiency for Retraction Operator to Stem Basis
(Springer, 2018)In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the ...
-
Capítulo de Libro
On P Systems as a Modelling Tool for Biological Systems
(Springer, 2006)We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...
-
Capítulo de Libro
On the Power of Dissolution in P Systems with Active Membranes
(Springer, 2006)In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ...