Buscar
Mostrando ítems 1-10 de 27
Libro
Ponencia
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 ...
Ponencia
Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation
(Fénix Editora, 2011)
Smoothing is often used in Digital Imagery to reduce noise within an image. In this paper we present a Membrane Computing algorithm for smoothing 2D images in the framework of tissue-like P systems. The algorithm has ...
Ponencia
Simulating Spiking Neural P Systems Without Delays Using GPUs
(Fénix Editora, 2011)
We present in this paper our work regarding simulating a type of P sys- tem known as a spiking neural P system (SNP system) using graphics processing units (GPUs). GPUs, because of their architectural optimization for ...
Ponencia
MP Modeling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test
(Fénix Editora, 2011)
The Intra Venous Glucose Tolerance Test (IVGTT) is an experimental pro- cedure in which a challenge bolus of glucose is administered intra-venously and plasma glucose and insulin concentrations are then frequently sampled. ...
Ponencia
Asynchronous P Systems (Draft)
(Fénix Editora, 2011)
In this paper, we propose a new approach to fully asynchronous P systems, and a matching complexity measure, both inspired from the eld of distributed algorithms. We validate our approach by implementing several well-known ...
Ponencia
Notes About Spiking Neural P Systems
(Fénix Editora, 2011)
Spiking neural P systems (SN P systems, for short) are much investigated in the last years in membrane computing, but still many open problems and research topics are open in this area. Here, we first recall two such ...
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
Modeling, Verification and Testing of P Systems Using Rodin and ProB
(Fénix Editora, 2011)
In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we ...
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 ...