Membrane Computing
Subtitle: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
By: edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil
Contributors: Gheorghe, Marian; Rozenberg, Grzegorz; Salomaa, Arto; Vaszil, György; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7762
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 425
ISBN-13: 9783642367519
Subjects: Computer Imaging, Vision, Pattern Recognition and Graphics; Software engineering; Algorithm Analysis and Problem Complexity; Computer vision; Computation by Abstract Devices; Computer science; History of Computing; Computer software
Description: 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.
Table of contents: title: Invited Papers; title: (Tissue) P Systems with Decaying Objects; title: Alan Turing and John von Neumann - Their Brains and Their Computers; title: Turing’s Three Pioneering Initiatives and Their Interplays; title: An Outline of MP Modeling Framework; title: Turing Computability and Membrane Computing; title: Membrane Systems and Hypercomputation; title: Regular Papers; title: Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery; title: Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN; title: Sequential P Systems with Regular Control; title: Mobile Membranes with Objects on Surface as Colored Petri Nets; title: On Structures and Behaviors of Spiking Neural P Systems and Petri Nets; title: 2D P Colonies; title: Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs; title: A New Approach for Solving SAT by P Systems with Active Membranes; title: Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency; title: Spiking Neural P Systems with Functional Astrocytes; title: The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment; title: DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution; title: Membranes with Boundaries; title: On Efficient Algorithms for SAT; title: Multigraphical Membrane Systems Revisited; title: An Analysis of Correlative and Static Causality in P Systems; title: Sublinear-Space P Systems with Active Membranes; title: Modelling Ecological Systems with the Calculus of Wrapped Compartments; title: Observer/Interpreter P Systems; title: Limits of the Power of Tissue P Systems with Cell Division; title: Fast Hardware Implementations of P Systems.