Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers [Paperback]

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Membrane Computing, CMC 2012, held in Budapest, Hungary, in August 2012.The 21 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 25 papers presented at the conference. The book also deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment.Invited Papers.- (Tissue) P Systems with Decaying Objects.- Alan Turing and John von Neumann - Their Brains and Their Computers.- Turings Three Pioneering Initiatives and Their Interplays.- An Outline of MP Modeling Framework.- Turing Computability and Membrane Computing.- Membrane Systems and Hypercomputation.- Regular Papers.- Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery.- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN.- Sequential P Systems with Regular Control.- Mobile Membranes with Objects on Surface as Colored Petri Nets.- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets.- 2D P Colonies.- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs.- A New Approach for Solving SAT by P Systems with Active Membranes.- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency.- Spiking Neural P Systems with Functional Astrocytes.- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment.- DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution.- Membranes with Boundaries.- On Efficient Algorithms for SAT.-lã