BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla)
Recent Submissions

Twelfth Brainstorming Week on Membrane Computing Sevilla, February 37, 2014: RGNC REPORT 1/2014 [Book]
(Fénix Editora, 2014) 
The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits [Presentation]
(Fénix Editora, 2014)Spiking neural P systems (in short, SN P systems) have been introduced as computing devices inspired by the structure and functioning of neural cells. The presence of unreliable components in SN P systems can be considered ...

Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of Highspeed Railways [Presentation]
(Fénix Editora, 2014)This paper discusses the application of weighted fuzzy reasoning spiking neu ral P systems (WFRSN P systems) to fault diagnosis in traction power supply systems (TPSSs) of China highspeed railways. Four types of neurons ...

Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing [Presentation]
(Fénix Editora, 2014)Membrane computing (known as P systems) is a class of distributed parallel computing models, this paper presents a novel algorithm under membrane computing for solving the data clustering problem, called as membrane ...

Four (Somewhat Nonstandard) Research Topics [Presentation]
(Fénix Editora, 2014)Four research directions are suggested, dealing with the following four main ideas: computing along the axon (up to now, this topic was only preliminarily investi gated), using precomputed resources in order to solve ...

On Parallel Array P Systems [Presentation]
(Fénix Editora, 2014)We further investigate the parallel array P systems recently introduced by K.G. Subramanian, P. Isawasan, I. Venkat, and L. Pan. We rst make explicit several classes of parallel array P systems (with one or more axioms, ...

Revisiting Sevilla Carpets: A New Tool for the PLingua Era [Presentation]
(Fénix Editora, 2014)Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the framework of P systems with active membranes (both in the case of membrane division and membrane ...

Extending SNP Systems Asynchronous Simulation Modes in PLingua [Presentation]
(Fénix Editora, 2014)Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the neurophysiological structure of the brain, these systems have been subjected to many extensions in recent ...

ConstantSpace P Systems with Active Membranes [Presentation]
(Fénix Editora, 2014)We continue the investigation of the computational power of space constrained P systems. We show that only a constant amount of space is needed in order to simulate a polynomialspace bounded Turing machine. Due to this ...

P Colony Robot Controller [Presentation]
(Fénix Editora, 2014)P colonies were introduced in 2004 (see [7]) as an abstract computing device composed of independent single membrane agents, reactively acting and evolving in a shared environment. Each agent is equip with set of rules ...

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example [Presentation]
(Fénix Editora, 2014)As unconventional computation matures and nonstandard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates ...

Solving the STConnectivity Problem with Pure Membrane Computing Techniques [Presentation]
(Fénix Editora, 2014)In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform family of recognizer P systems is trivial, since the polynomial encoding of the input can involve ...

Probabilistic Guarded P Systems, A Formal Definition [Presentation]
(Fénix Editora, 2014)In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling the dynamics of population biology. The extension is made by a new variant within the probabilistic ...

P Systems with AntiMatter [Presentation]
(Fénix Editora, 2014)After a short introduction to the area of membrane computing (a branch of natural computing), we introduce the concept of antimatter in membrane computing. First we consider spiking neural P systems with antispikes, ...

Antimatter as a Frontier of Tractability in Membrane Computing [Presentation]
(Fénix Editora, 2014)It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, without dissolution and with division for elementary and nonelementary membranes is exactly the ...

Selfconstructing Recognizer P Systems [Presentation]
(Fénix Editora, 2014)Usually, the changes produced in the membrane structure of a P system are considered side effects. The output of the computation is encoded as a multiset placed in a specific region and the membrane structure in the ...

Scalable GridBased Implementation for Membrane Computing [Presentation]
(Fénix Editora, 2014)We first present the formal semantics of a parallel rulebased formalism inspired by biological cells, and then provide a faithful parallel implementation of this computational model by using GridGain and taking care of ...

Towards P Colonies Processing Strings [Presentation]
(Fénix Editora, 2014)In this paper we introduce and study P colonies where the environment is given as a string. These variants of P colonies, called Automatonlike P systems or APCol systems, behave like automata: during functioning, the ...

The Reduction Problem in CUDA and Its Simulation with P Systems [Presentation]
(Fénix Editora, 2014)We introduce P systems with dynamic communication graphs which simu late the functioning of the CUDA architecture when solving the parallel reduction prob lem.

Describing Membrane Computations with a Chemical Calculus [Presentation]
(Fénix Editora, 2014)Membrane systems are nature motivated computational models inspired by certain basic features of biological cells and their membranes. They are examples of the chemical computational paradigm which describes computation ...