Browsing BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla) by Title
Now showing items 120 of 26

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Length P Systems with a Lone Traveler [Presentation]
(Fénix Editora, 2014)In this paper we consider P systems with linear membrane structures (only one membrane is elementary) with at most one object. We raise and attack the question about the computational power of such systems, depending on ...

LifeDeath Ratio Approach by a MultisetBased Type System [Presentation]
(Fénix Editora, 2014)We introduce and study a multisetbased type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a \lifedeath" ratio between some given lower and upper thresholds. ...

Matter and AntiMatter in Membrane Systems [Presentation]
(Fénix Editora, 2014)The concept of a matter object being annihilated when meeting its corresponding antimatter object is investigated in the context of membrane systems, i.e., of (distributed) multiset rewriting systems applying rules in ...

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 ...

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, ...

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 ...

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, ...

Priorities, Promoters and Inhibitors in Deterministic NonCooperative P Systems [Presentation]
(Fénix Editora, 2014)Membrane systems (with symbol objects) are distributed controlled multiset processing systems. Noncooperative P systems with either promoters or inhibitors (of weight not restricted to one) are known to be computationally ...

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 ...

RedGreen P Automata [Presentation]
(Fénix Editora, 2014)In this short note we extend the notion of redgreen Turing machines to speci c variants of P automata. Acceptance and recognizability of nite strings by red green automata are de ned via in nite runs of the automaton ...

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 ...

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 ...

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 ...