Browsing BWMC2015. Brainstorming Week on Membrane Computing (13th. 2015. Sevilla) by Title
Now showing items 120 of 21

A Characterization of PSPACE with Antimatter and Membrane Creation [Presentation]
(Fénix Editora, 2015)The use of negative information provides a new tool for exploring the limits of P systems as computational devices. In this paper we prove that the combination of antimatter and annihilation rules (based on the annihilation ...

Asynchronous Spiking Neural P Systems with Structural Plasticity [Presentation]
(Fénix Editora, 2015)Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we consider SNP systems with structural plasticity (in short, SNPSP systems) working in the asynchronous ...

Automatonlike P Colonies [Presentation]
(Fénix Editora, 2015)In this paper we study P colonies where the environment is given as a string. These variants, called automatonlike P systems or APCol systems, behave like automata: during functioning, the agents change their own states ...

Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation [Presentation]
(Fénix Editora, 2015)Membrane ssion is a process by which a biological membrane is split into two new ones in such a way that the contents of the initial membrane is separated and distributed between the new membranes. Inspired by this ...

Deterministic Noncooperative P Systems with Strong Context Conditions [Presentation]
(Fénix Editora, 2015)We continue the line of research of deterministic parallel noncooperative multiset rewriting with control. We here generalize control, i.e., rule applicability context conditions, from promoters and inhibitors checking ...

Extended Spiking Neural P Systems with White Hole Rules [Presentation]
(Fénix Editora, 2015)We consider extended spiking neural P systems with the additional possibility of socalled \white hole rules", which send the complete contents of a neuron to other neurons, and we show how this extension of the original ...

How to Go Beyond Turing with P Automata: Time Travels, Regular Observer !Languages, and Partial Adult Halting [Presentation]
(Fénix Editora, 2015)In this paper we investigate several variants of P automata having in nite runs on nite inputs. By imposing speci c conditions on the in nite evolution of the systems, it is easy to nd ways for going beyond Turing if ...

kPWorkbench: A Software Framework for Kernel P Systems [Presentation]
(Fénix Editora, 2015)P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are de ned to unify the ...

Looking for Computers in the Biological Cell. After Twenty Years [Presentation]
(Fénix Editora, 2015) 
Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach [Presentation]
(Fénix Editora, 2015)Membrane systems with symport/antiport rules compute by just moving objects among membranes, and not by changing the objects themselves. In these systems the environment plays an active role because, not only it receives ...

Monodirectional P Systems [Presentation]
(Fénix Editora, 2015)We investigate the in uence that the ow of information in membrane systems has on their computational complexity. In particular, we analyse the behaviour of P systems with active membranes where communication only ...

Notes on Spiking Neural P Systems and Finite Automata [Presentation]
(Fénix Editora, 2015)Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information in biological neurons. SNP systems with standard rules have neurons that emit at most one spike ...

On The Semantics of Annihilation Rules in Membrane Computing [Presentation]
(Fénix Editora, 2015)It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of elementary and nonelementary membranes, with antimatter and matter/antimatter annihilation rules ...

Parallel Simulation of PDP Systems: Updates and Roadmap [Presentation]
(Fénix Editora, 2015)PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. The accurate simulation of these probabilistic models entails large run times. Hence, parallel ...

Polarizationless P Systems with One Active Membrane [Presentation]
(Fénix Editora, 2015)The aim of this paper is to study the computational power of P systems with one active membrane without polarizations. For P systems with active membranes, it is known that computational completeness can be obtained with ...

Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus [Presentation]
(Fénix Editora, 2015)We present a transformation of membrane systems, possibly with pro moter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes ...

Solving SAT with Antimatter in Membrane Computing [Presentation]
(Fénix Editora, 2015)The set of NPcomplete problems is split into weakly and strongly NP complete ones. The di erence consists in the in uence of the encoding scheme of the input. In the case of weakly NPcomplete problems, the intractability ...

Some Quick Research Topics [Presentation]
(Fénix Editora, 2015)Some research topics are suggested, in a preliminary form, in most cases dealing with (somewhat nonstandard) extensions of existing types of P systems.

The Pole Balancing Problem with Enzymatic Numerical P Systems [Presentation]
(Fénix Editora, 2015)Pole balancing is a control benchmark widely used in engineering. It involves a pole a xed to a cart via a joint which allows movement along a single axis. In this problem, the movement of the cart is restricted to the ...

Thirteen Brainstorming Week on Membrane Computing Sevilla, February 26, 2015 : RGNC Report 1/2015 [Book]
(Fénix Editora, 2015)