Buscar
Mostrando ítems 21-30 de 298
Ponencia
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems
(IEEE Computer Society, 2005)
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursively enumerable sets of vectors of non-negative ...
Tesis Doctoral
Razonamiento mereotopológico automatizado para la depuración de ontologías
(2005)
La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos por SRA para obtener extensiones de dicha teoría. Generalizaciones del retículo de relaciones ...
Artículo
Reachability problems in low-dimensional iterative maps
(World Scientific, 2008)
In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are equiv- alent to pseudo-billiard or so called \strange billiard" systems. We also show that the more ...
Ponencia
Simulating the Bitonic Sort on a 2D-mesh with P Systems
(South-East European Research Centre, 2007)
This paper gives a version of the parallel bitonic sorting algorithm of Batcher, which can sort N elements in time O(log2 N). When applying it to the 2D mesh architecture, two indexing functions are considered, row-major ...
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, ...
Ponencia
Fractals and P Systems
(Fénix Editora, 2006)
In this paper we show that the massive parallelism, the synchronous appli- cation of the rules, and the discrete nature of their computation, among other features, lead us to consider P systems as natural tools for dealing ...
Ponencia
Tissue Simulator: A Graphical Tool for Tissue P Systems
(MTA SZTAKI, 2007)
Recently, different new models of tissue-like P systems have received important attention from the scientific community. This paper is focused in a concrete model: recognizing tissue P system with cell division. A software ...
Ponencia
Looking for P Truth
(Fénix Editora, 2004)
In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore the analogies between P systems, where new configurations can be obtained from previous ones by using ...
Artículo
Some Results on LΔ n+1
(Wiley, 2001)
We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
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.