Buscar
Mostrando ítems 31-40 de 82
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 ...
Artículo
Libro
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 ...
Ponencia
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
(Springer, 2006)
The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms inspired by membranes interactions, namely, P systems and Brane Calculi. We compare the two ...
Ponencia
Graphics and P Systems: Experiments with JPLANT
(Fénix Editora, 2008)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes and objects increases. In this paper we present a new software tool, called JPLANT, for computing ...
Ponencia
A Membrane Computing Model for Ballistic Depositions
(Fénix Editora, 2007)
Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later extended to simulate the process of vapor deposition. In general, Ballistic Deposition models ...
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 ...