This volume contains a selection of papers presented at the 10th Workshop on Membrane Computing, WMC 2009, which took place in Curtea de Arge, s, Romania, during August 24-27, 2009. The?rstthreeWorkshopsonMembraneComputingwereorganizedinCurtea de Arge, s, Romania - they took place in August 2000 (with the proceedings p- lished in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue ofFundamenta Inform- icae, volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings publishedinLectureNotesinComputerScience,volume2597).Thenextsixwo- shopswereorganizedinTarragona,Spain(inJuly2003),inMilan,Italy(inJune 2004), in Vienna, Austria (in July 2005), in Leiden, The Netherlands (in July 2006), in Thessaloniki, Greece (in June 2007), and in Edinburgh, UK (in July 2008), with the proceedings published as volumes 2933, 3365, 3850, 4361, 4860, and5391,respectively,ofSpringer'sLectureNotesinComputerScience. The workshop changed its name in 2010, and the series will continue as the Conference on Membrane Computing, with the next edition, CMC11, to be held in Jena, Germany.
The tenth edition of WMC took place in Hotel Posada in Curtea de Arge, s (http://www.posada.ro/)anditwasorganizedbytheNationalCollege"Vlaicu Voda" ? of Curtea de Arge, s, the University of Pite, sti, Romania, and the Institute of Mathematics of the Romanian Academy, Bucharest, under the auspices of the European Molecular Computing Consortium (EMCC) and IEEE Compu- tional Intelligence Society EmergentTechnologies Technical Committee Mole- lar Computing Task Force, with the ?nancial and organizational support of the Council of Arge, s County and Seville University.
Invited Presentations.- P Automata: Concepts, Results, and New Aspects.- Computational Nature of Processes Induced by Biochemical Reactions.- Transition and Halting Modes in (Tissue) P Systems.- Conformon P Systems and Topology of Information Flow.- Formal Verification and Testing Based on P Systems.- A Look Back at Some Early Results in Membrane Computing.- From P to MP Systems.- The Biological Cell in Spectacle.- Energy-Based Models of P Systems.- A Computational Complexity Theory in Membrane Computing.- Regular Presentations.- Evolving by Maximizing the Number of Rules: Complexity Study.- On Reversibility and Determinism in P Systems.- Typed Membrane Systems.- A P System Based Model of an Ecosystem of Some Scavenger Birds.- Metabolic P System Flux Regulation by Artificial Neural Networks.- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems.- Implementing P Systems Parallelism by Means of GPUs.- Regulation and Covering Problems in MP Systems.- (Tissue) P Systems with Hybrid Transition Modes.- An Overview of P-Lingua 2.0.- Characterizing Tractability by Tissue-Like P Systems.- Searching Previous Configurations in Membrane Computing.- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator.- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules.- Tuning P Systems for Solving the Broadcasting Problem.- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition.- A Region-Oriented Hardware Implementation for Membrane Computing Applications.- Discovering the Membrane Topology of Hyperdag P Systems.- A Note on Small Universal Spiking Neural P Systems.- On the Power of Computing with Proteins on Membranes.- An EfficientSimulation of Polynomial-Space Turing Machines by P Systems with Active Membranes.- Look-Ahead Evolution for P Systems.
