Buscar
Mostrando ítems 51-60 de 81
Artículo
Computational complexity of tissue-like P systems
(Elsevier, 2010)
Ponencia
Characterizing Tractability by Tissue-Like P Systems
(Fénix Editora, 2009)
In the framework of cell–like membrane systems it is well known that the construction of exponential number of objects in polynomial time is not enough to efficiently solve NP–complete problems. Nonetheless, it may be ...
Ponencia
Graphics and P Systems: Experiments with JPLANT
(Fénix Editora, 2008)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes and objects increases. In this paper we present a new software tool, called JPLANT, for computing ...
Ponencia
A Membrane Computing Model for Ballistic Depositions
(Fénix Editora, 2007)
Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later extended to simulate the process of vapor deposition. In general, Ballistic Deposition models ...
Ponencia
Hebbian learning from spiking neural P systems view
(Springer, 2009)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration based on the flow of information among neurons. In this paper we present a first model for Hebbian ...
Ponencia
Solving the N-Queens Puzzle with P Systems
(Fénix Editora, 2009)
The N-queens puzzle consists on placing N queens on an N x Ngrid in such way that no two queens are on the same row, column or diagonal line. In this paper we present a family of P systems with active membranes (one P ...
Ponencia
Spiking Neural P Systems with Extended Rules
(Fénix Editora, 2006)
We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. The computing power of the obtained systems is investigated, when considering them as number ...
Artículo
Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems
(World Scientific, 2008)
Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of Turing computability were obtained in this framework. In this note we contribute to this research ...
Artículo
A software tool for verification of Spiking Neural P Systems
(Springer, 2008)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae ...
Ponencia
Cell-like and Tissue-like Membrane Systems as Recognizer Devices
(Rosillo's S.L., 2006)
Most of the variants of membrane systems found in the literature are generally thought as generating devices. In this paper recognizer computational devices (cell–like and tissue–like) are presented in the framework of ...