Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

Front Matter....Pages -
P Automata: Concepts, Results, and New Aspects....Pages 1-15
Computational Nature of Processes Induced by Biochemical Reactions....Pages 16-17
Transition and Halting Modes in (Tissue) P Systems....Pages 18-29
Conformon P Systems and Topology of Information Flow....Pages 30-53
Formal Verification and Testing Based on P Systems....Pages 54-65
A Look Back at Some Early Results in Membrane Computing....Pages 66-73
From P to MP Systems....Pages 74-94
The Biological Cell in Spectacle....Pages 95-103
Energy-Based Models of P Systems....Pages 104-124
A Computational Complexity Theory in Membrane Computing....Pages 125-148
Evolving by Maximizing the Number of Rules: Complexity Study....Pages 149-157
On Reversibility and Determinism in P Systems....Pages 158-168
Typed Membrane Systems....Pages 169-181
A P System Based Model of an Ecosystem of Some Scavenger Birds....Pages 182-195
Metabolic P System Flux Regulation by Artificial Neural Networks....Pages 196-209
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems....Pages 210-226
Implementing P Systems Parallelism by Means of GPUs....Pages 227-241
Regulation and Covering Problems in MP Systems....Pages 242-251
(Tissue) P Systems with Hybrid Transition Modes....Pages 252-263
An Overview of P-Lingua 2.0....Pages 264-288
Characterizing Tractability by Tissue-Like P Systems....Pages 289-300
Searching Previous Configurations in Membrane Computing....Pages 301-315
Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator....Pages 316-334
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules....Pages 335-353
Tuning P Systems for Solving the Broadcasting Problem....Pages 354-370
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition....Pages 371-384
A Region-Oriented Hardware Implementation for Membrane Computing Applications....Pages 385-409
Discovering the Membrane Topology of Hyperdag P Systems....Pages 410-435
A Note on Small Universal Spiking Neural P Systems....Pages 436-447
On the Power of Computing with Proteins on Membranes....Pages 448-460
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes....Pages 461-478
Look-Ahead Evolution for P Systems....Pages 479-485
Back Matter....Pages -