Buscar
Mostrando ítems 21-30 de 67
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...
Ponencia
Simulation of Recognizer P Systems by Using Manycore GPUs
(Fénix Editora, 2009)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator for the class of recognizer P systems with active membranes, which exploits the massively parallel ...
Ponencia
Forward and Backward Chaining with P Systems
(Fénix Editora, 2011)
On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the other hand, the paradigm of rules is profusely used in computer science for representing and dealing ...
Ponencia
The "Catalytic Borderline" Between Universality and Non-Universality of P Systems
(Fénix Editora, 2013)
P systems are computing models inspired by the structure and the function- ing of the living cells; they are the basic computing devices of membrane computing, a branch of natural computing. The present note is an overview ...
Ponencia
Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems
(Fénix Editora, 2009)
It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any arbitrary initial distribution, the sequence of distributions at time n converges to the stationary ...
Libro
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
(Fidetia, 2014)
Ponencia
Implementing Local Search with Membrane Computing
(Fénix Editora, 2011)
Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present an implementation of local search with Membrane Computing techniques applied to the N-queens ...
Ponencia
Performing Arithmetic Operations with Spiking Neural P Systems
(Fénix Editora, 2009)
We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely addition, subtraction, comparison and multiplication by a fixed factor. The input to these systems are ...
Ponencia
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 ...
Ponencia
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 ...