Buscar
Mostrando ítems 41-50 de 411
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 ...
Ponencia
Improving the Efficiency of Tissue P Systems with Cell Separation
(Fénix Editora, 2012)
Cell fission process consists of the division of a cell into two new cells such that the contents of the initial cell is distributed between the newly created cells. This process is modelled by a new kind of cell separation ...
Ponencia
Membrane Computing Meets Artificial Intelligence: A Case Study
(Fénix Editora, 2010)
The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms where all the feasible solutions are generated and they are checked simultaneously by using massive ...
Ponencia
Computing Partial Recursive Functions by Virus Machines
(Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host cell to another. This paradigm provides non-deterministic sequential devices. Non-restricted Virus ...
Ponencia
Spiking Neural P Systems with Several Types of Spikes
(Fénix Editora, 2011)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling along the axons of neurons, we consider an extension of spiking neural P systems, where several ...
Ponencia
Depth-First Search with P Systems
(Springer, 2011)
The usual way to find a solution for an NP complete problem in Membrane Computing is by brute force algorithms. These solutions work from a theoretical point of view but they are implementable only for small instances of ...
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 ...
Ponencia
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode
(Fénix Editora, 2007)
We investigate the computing power and the efficiency of P systems with active membranes without polarizations, working in the minimally parallel mode. We prove that such systems are computationally complete and able to ...
Ponencia
A massively parallel framework using P systems and GPUs
(National Center for Supercomputing Applications at the University of Illinois, 2009)
Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power contained in GPUs (Graphics Processing Unit) across many computational domains. Among these domains, P ...