Search
Now showing items 11-20 of 35
Presentation
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 ...
Presentation
Frontiers of Membrane Computing: Open Problems and Research Topics
(Fénix Editora, 2012)
This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC 2012 (Fontainebleau, France (23 - 26 August 2011), meant initially to be a working material for Tenth ...
Presentation
Two Topics Ahead Membrane Computing
(Fénix Editora, 2012)
Two topics from the area of probability theory and randomness challenging membrane computing together with open problems and research proposals are discussed.
Presentation
Image Thresholding with Cell-like P Systems
(Fénix Editora, 2012)
P systems are a new class of distributed parallel computing models. In this paper, a novel three-level thresholding approach for image segmentation based on celllike P systems is proposed in order to improve the computational ...
Presentation
The Computational Power of Exponential-Space P Systems with Active Membranes
(Fénix Editora, 2012)
We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result is proved by simulating Turing machines working in exponential space via uniform families of P systems ...
Book
Presentation
Modelling Intelligent Energy Distribution Systems by Hyperdag P Systems
(Fénix Editora, 2012)
The paper introduces a new model in membrane computing, using the hy- perdag P systems to simulate a complex, feedback-driven energy distribution system. The proposed model is tested within an ad-hoc developed simulator, ...
Presentation
Asynchronous Spiking Neural P Systems with Local Synchronization
(Fénix Editora, 2012)
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. Asynchronous SN P systems are non-synchronized systems, ...
Presentation
Self-Stabilization in Membrane Systems
(Fénix Editora, 2012)
In this paper we study a notion of self-stabilization, inspired from biology and engineering. Multiple variants of formalization of this notion are considered, and we discuss how such properties affect the computational ...
Presentation
Adaptive Fuzzy Spiking Neural P Systems for Fuzzy Inference and Learning
(Fénix Editora, 2012)
Spiking neural P systems (in short, SN P systems) and their variants, in- cluding fuzzy spiking neural P systems (in short, FSN P systems), generally lack learning ability so far. Aiming at this problem, a class of modi ...