Buscar
Mostrando ítems 171-180 de 411
Capítulo de Libro
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)
Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning systems (ACL2, PVS, etc). In this paper a systematic method to establish verifications of these programs ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A First Model for Hebbian Learning with Spiking Neural P Systems
(Fénix Editora, 2008)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration based on the transmission of information among neurons. In this paper we present a first model for ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Spiking Neural P systems with several types of spikes
(Agora University of Oradea, 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
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Solving Problems Through a Single Membrane System
(IMCS: International Membrane Computing Society, 2019)
The tape of a deterministic Turing machine contains an unbounded number of cells. Thanks to that, a single machine can solve decision problems with an infinite number of instances. Nevertheless, in the framework of ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Solving Problems in a Distributed Way in Membrane Computing: dP Systems
(Fénix Editora, 2010)
Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way in this framework was considered so far. This note proposes a distributed architecture (based on ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A P System Based Model of an Ecosystem of Some Scavenger Birds
(Springer, 2010)
The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Eu- rope that feeds almost exclusively on bone remains provided by wild and domestic ungu- lates. In [1], we presented a P system in order to study the ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
P systems simulations on massively parallel architectures
(Universidad Complutense de Madrid, 2010)
Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, also called P systems. Such devices provide polynomial time solutions to NP-complete problems ...
Tesis Doctoral
Capítulo de Libro
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A Linear Solution for QSAT with Membrane Creation
(Springer, 2006)
The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, up to now, it was an open problem whether such P systems were able to solve PSPACE-complete problems ...
Tesis Doctoral
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Complejidad y universalidad en modelos de computación celular
(2003)
"La Computación Celular es una disciplina que se enmarca dentro del campo de investigación conocido como Computación Natural. Tiene como objetivo fundamental el desarrollo de modelos de computación inspirados en los procesos ...