Search
Now showing items 41-50 of 411
Chapter of Book
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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.
Article
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
PhD Thesis
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
![Premio Extraordinario de Doctorado US Icon](/themes/idUS/images/certificate.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...