Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 18-37 de 66
-
Capítulo de Libro
Cellular solutions to some numerical NP-complete problems: A prolog implementation
(Idea Group Inc., 2005)This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, ...
-
Capítulo de Libro
Characterizing tractability by cell-like membrane systems
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)In this paper we present a polynomial complexity class in the framework of membrane computing. In this context, and using ...
-
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
Computationally Hard Problems Addressed Through P Systems
(Springer, 2006)In this chapter we present a general framework to provide efficient solutions to decision problems through families of ...
-
Capítulo de Libro
Computing Partial Recursive Functions by Transition P Systems
(Springer, 2004)In this paper a variant of transition P systems with external output designed to compute partial functions on natural ...
-
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
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 ...
-
Capítulo de Libro
Decision P Systems and the P =NP Conjecture
(Springer, 2003)We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result ...
-
Capítulo de Libro
Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing
(Springer, 2018)Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature ...
-
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 ...