Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

by Gheorghe, Marian; Hinze, Thomas; Paun, G.; Rozenberg, G.; Salomaa, Arto

• ISBN13: 9783642181221
• ISBN10: 3642181228
• Format: Paperback
• Copyright: 2011-03-14
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the thoroughly#xA0;refereed post-conference proceedings of the 11th International Conference on Membrane Computing, CMC11, held in Jena, Germany, in August 2010 - continuing the fruitful tradition of 10 previous editions of the International Workshop on Membrane Computing (WMC).The 23 revised full papers presented together with 4 invited papers and the abstracts of 2 keynote lectures were carefully reviewed and selected from numerous submissions. The papers address in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based and bioinspired implementations.

Table of Contents

Keynote Presentations
Membrane Computing at Twelve Years	p. 1
Testing Based on P Systems - An Overview	p. 3
Invited Presentations
Mobility in Computer Science and in Membrane Systems	p. 7
Organization Oriented Chemical Computing	p. 18
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction	p. 19
An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later	p. 37
Regular Presentations
Flattening the Transition P Systems with Dissolution	p. 53
The Family of Languages Generated by Non-cooperative Membrane Systems	p. 65
Polymorphic P Systems	p. 81
A Small Universal Splicing P System	p. 95
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings	p. 103
BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems	p. 119
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems	p. 144
On Generalized Communicating P Systems with One Symbol	p. 160
A Faster P Solution for the Byzantine Agreement Problem	p. 175
Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough	p. 198
P Systems and Unique-Sum Sets	p. 208
An Integrated Approach to P Systems Formal Verification	p. 226
Using the SRSim Software for Spatial and Rule-Based Modeling of Combinatorially Complex Biochemical Reaction Systems	p. 240
Depth-First Search with P Systems	p. 257
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems	p. 265
Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems	p. 273
Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems	p. 285
Randomized Gandy-Paun-Rozenberg Machines	p. 305
Feasibility of Organizations - A Refinement of Chemical Organization Theory with Application to P Systems	p. 325
P Systems with Elementary Active Membranes: Beyond NP and coNP	p. 338
Polynomial Complexity Classes in Spiking Neural P Systems	p. 348
Spiking Neural P Systems with Neuron Division	p. 361
Matrix Representation of Spiking Neural P Systems	p. 377
Author Index	p. 393
Table of Contents provided by Ingram. All Rights Reserved.