Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters presented at the conference. The book also contains full papers or extended abstracts of the 5 invited presentations. The papers address all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues. Front Matter....Pages - Properties of Membrane Systems....Pages 1-13 Bridging Biology and Engineering Together with Spatial Computing....Pages 14-18 The Modeling and the Simulation of the Fluid Machines of Synthetic Biology....Pages 19-34 Parallel and Distributed Algorithms in P Systems....Pages 35-50 Variants of Distributed P Automata and the Efficient Parallelizability of Languages....Pages 51-61 Quantitative Causality in Membrane Systems....Pages 62-72 Circular Post Machines and P Systems with Exo-insertion and Deletion....Pages 73-86 A Spiking Neural P System Simulator Based on CUDA....Pages 87-103 Modularity in P Colonies with Checking Rules....Pages 104-119 Finite dP Automata versus Multi-head Finite Automata....Pages 120-138 An Adaptive Algorithm for P System Synchronization....Pages 139-164 P Systems with Active Membranes Operating under Minimal Parallelism....Pages 165-181 Chemical Analog Computers for Clock Frequency Control Based on P Modules....Pages 182-202 Evolutionary Design of a Simple Membrane System....Pages 203-214 Formal Verification of P Systems with Active Membranes through Model Checking....Pages 215-225 Basic Concurrency Resolution in Clock-Free P Systems....Pages 226-242 Asynchronous Extended Spiking Neural P Systems with Astrocytes....Pages 243-256 A P–Lingua Based Simulator for Spiking Neural P Systems....Pages 257-281 Computing with Multi-membranes....Pages 282-299 A Methodology Based on MP Theory for Gene Expression Analysis....Pages 300-313 Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata....Pages 314-332 Sequentiality Induced by Spike Number in SNP Systems: Small Universal Machines....Pages 333-345 P Systems Simulating Oracle Computations....Pages 346-358 P Systems with Chained Rules....Pages 359-370 Back Matter....Pages -