Paun / Perez-Jimenez / Riscos-Nunez Membrane Computing

10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
2010
ISBN: 978-3-642-11467-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 487 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Zielgruppe

Research

Autoren/Hrsg.

Paun, Gheorghe

Perez-Jimenez, Mario J.

Riscos-Nunez, Agustin

Rozenberg, Grzegorz

Salomaa, Arto

Inhaltsverzeichnis

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.