This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 2009 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society.
The 22 revised full papers presented together with 10 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues; the invited lectures present fundamental contributions to membrane computing; thus highlighting important directions of current research in this area.
Author(s): Erzsébet Csuhaj-Varjú (auth.), Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa (eds.)
Series: Lecture Notes in Computer Science 5957 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 487
Tags: Computation by Abstract Devices; Mathematical Logic and Formal Languages; Simulation and Modeling; Computational Biology/Bioinformatics
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 -
