Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por fecha de publicación
Mostrando ítems 21-40 de 66
-
Capítulo de Libro
Using Automated Reasoning Systems on Molecular Computing
(Springer, 2005)This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
-
Capítulo de Libro
A Linear Solution of Subset Sum Problem by Using Membrane Creation
(Springer, 2005)Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
-
Capítulo de Libro
An Approach to Computational Complexity in Membrane Computing
(Springer, 2005)In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial ...
-
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
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
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
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
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 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
Available Membrane Computing Software
(Springer, 2006)The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic ...
-
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
A Linear Solution for QSAT with Membrane Creation
(Springer, 2006)The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ...
-
Capítulo de Libro
Applications of Membrane Computing
(Springer, 2006) -
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 ...
-
Capítulo de Libro
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 ...
-
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
P Systems, a New Computational Modelling Tool for Systems Biology
(Springer, 2006)In this paper we present P systems as a reliable computa- tional modelling tool for Systems Biology that takes into account ...
-
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
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 ...
-
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 ...