Buscar
Mostrando ítems 1-10 de 397
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
(2003-09-29)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de investigación conocido como Computación Natural. Tiene como objetivo el desarrollo de modelos de computación ...
Ponencia
Descriptional Complexity of Tissue-Like P Systems with Cell Division
(Springer, 2009)
In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell division. In the computations of such systems the number of (parallel) steps is not sufficient to ...
Ponencia
Population Dynamics P Systems on CUDA
(Springer, 2012)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been successfully used by ecologists. These models are validated using software tools against actual ...
Artículo
Cell-like P systems with polarizations and minimal rules
(Elsevier, 2020)
P systems with active membranes are a class of computation models in the area ofmembrane computing, which are inspired from the mechanism by which chemicalsinteract and cross cell membranes. In this work, we consider a ...
Artículo
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
(Springer, 2019)
Cooperation is doubtless a relevant ingredient on rewriting rules based computing models. This paper provides an overview on both classical and newest results studying how cooperation among objects influences the ability ...
Ponencia
P Systems with Tables of Rules
(Fénix Editora, 2004)
In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss of ...
Ponencia
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
(Fénix Editora, 2008)
Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete decision problems in a polynomial time. However such solutions usually exploit many powerful ...
Ponencia
Matrix Representation of Spiking Neural P Systems
(Springer, 2011)
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. In this work, a discrete structure representation of ...
Ponencia
A bioinspired computing approach to model complex systems
(Springer, 2014)
The use of models is intrinsic to any scientific activity. In particular, formal/mathematical models provide a relevant tool for scientific investigation. This paper presents a new Membrane Computing based computational ...
Artículo
Computation of Ramsey Numbers by P Systems with Active Membranes
(World Scientific, 2011)
Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is well known that it is very difficult to obtain the values of Ramsey numbers. In this work, a theoretical ...