Buscar
Mostrando ítems 1-10 de 288
Artículo
Proyecto europeo Siridus
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001)
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
(2003-09-29)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de investigación conocido como Computación Natural. Tiene como objetivo el desarrollo de modelos de computación ...
Libro
Ponencia
Descriptional Complexity of Tissue-Like P Systems with Cell Division
(Springer, 2009)
In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell division. In the computations of such systems the number of (parallel) steps is not sufficient to ...
Ponencia
VisualTissue: A Friendly Tool to Study Tissue P Systems Solutions for Graph Problems
(Fénix Editora, 2007)
P systems can be classi ed in two main groups: P systems with the membrane structure described by a tree, and tissue P systems with the membranes placed in the nodes of an arbitrary graph. NP-complete problems have been ...
Ponencia
P Systems with Tables of Rules
(Fénix Editora, 2004)
In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss of ...
Ponencia
Particle Swarm Hybridized with Differential Evolution: Black-Box Optimization Benchmarking for Noisy Functions
(ACM Digital Library, 2009)
In this work we evaluate a Particle Swarm Optimizer hy- bridized with Di®erential Evolution and apply it to the Black- Box Optimization Benchmarking for noisy functions (BBOB 2009). We have performed the complete procedure ...
Ponencia
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
(Fénix Editora, 2008)
Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete decision problems in a polynomial time. However such solutions usually exploit many powerful ...
Ponencia
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems
(Springer, 2005)
Earlier solutions to decision problems by means of P systems used many counter objects to control the synchronization of different stages in a computation (usually as many counters as the stage must last in the worst ...
Ponencia
Anomalías en Ontologías Provisionales.
(Universidad de León, Servicio de Publicaciones, 2007)