Buscar
Mostrando ítems 21-30 de 49
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 electrical charges. More precisely, we prove that the polynomial computational complexity class ...
Ponencia
Solving SAT with membrane creation
(University of Amsterdam, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in the compartmental structure of a living cell can be interpreted as computations. In this paper we ...
Ponencia
Generalizing Programs via Subsumption
(Springer, 2003)
In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a characterization of the subsumption relation in the following sense: The clause C 1 subsumes the clause C 2 ...
Ponencia
Characterizing Tractability with Membrane Creation
(IEEE Computer Society, 2005)
This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer P systems with membrane creation) the tractability of decision problems that is, the ef cient ...
Ponencia
Towards a Programming Language in Cellular Computing
(Fénix Editora, 2004)
Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in their designs have been no- ticed. In this paper we present a new solution, an e®ective one to the ...
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 and can perform one simple operation only on the words existing in that node in accordance with ...
Artículo
A Prolog Simulator for Deterministic P Systems with Active Membranes
(Springer, 2004)
In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. This representation allows us to express the set of rules and the configuration of the P system in ...
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 where rules have associated a finite set of attributes and a corresponding function. Attributes and ...
Capítulo de Libro
The P Versus NP Problem Through Cellular Computing with Membranes
(Springer, 2004)
We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework allowing us to obtain a characterization of the P = NP relation by the polynomial time unsolvability ...
Artículo
A uniform solution to SAT using membrane creation
(Elsevier, 2007)
In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have inspired two variants of cell-like membrane systems, namely P systems with active membranes ...