Buscar
Mostrando ítems 11-20 de 164
Artículo
Symport/Antiport P Systems with Three Objects Are Universal
(IOS Press, 2005)
The operations of symport and antiport, directly inspired from biology, are already known to be rather powerful when used in the framework of P systems. In this paper we confirm this observation with a quite surpris- ing ...
Capítulo de Libro
Attacking the Common Algorithmic Problem by Recognizer P Systems
(Springer, 2005)
Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, which will be defined in the paper, one may say that CAP has a property of local universality. In ...
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 ...
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.
Artículo
Spike Trains in Spiking Neural P Systems
(World Scientific, 2006)
We continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate with each other by means of short electrical impulses, identical in shape (volt- age), but ...
Tesis Doctoral
Programación celular resolución eficiente de problemas numéricos NP-completos
(2004)
Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace una breve introducción histórica de la Teoría de la Computabilidad, analizándose las limitaciones ...