Proceedings

Marian Gheorghe, Thomas Hinze, Gheorghe Paun (Editors)

Proceedings of the Eleventh International Conference on Membrane Computing

Verlag ProBusiness Berlin, 482 p., 2010

ISBN 978-3-86805-721-8

Having now for the first time the status of a conference, CMC11 is pleased to continue the fruitful tradition of 10 previous events of the International Workshop on Membrane Computing (WMC) inspired by the idea of bringing together researchers working in membrane computing or related areas in a friendly atmosphere enhancing communication and cooperation. This volume contains seven abstracts of keynote and invited talks together with 26 accepted papers and six contributions accepted as extended abstracts. Membrane computing is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells. From a systems biological point of view, membrane systems provide a discrete modelling approach to describe biological reaction systems composed of interconnected membranes.

Preface

Welcome Address of the Jena Centre for Bioinformatics (JCB)

Keynotes

Membrane Computing at Twelve Years G. Paun	3
The Brave New World of RNA P. Stadler	5
Testing Based on P Systems - An Overview M. Gheorghe, F. Ipate	7

Invited Talks

Mobility in Computer Science and in Membrane Systems G. Ciobanu	13
Organization Oriented Chemical Computing P. Dittrich	15
Cellular Automata and the Quest for Artificial Self-Reproducing Structures M. Kutrib	17
An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later M. Margenstern	19

Full Papers

Flattening the Transition P Systems with Dissolution O. Agrigoroaiei, G. Ciobanu	25
The Family of Languages Generated by Non-Cooperative Membrane Systems A. Alhazov, C. Ciubotaru, Y. Rogozhin, S. Ivanov	37
Polymorphic P Systems A. Alhazov, S. Ivanov, Y. Rogozhin	53
A Small Universal Splicing P System A. Alhazov, Y. Rogozhin, S. Verlan	67
On the Expressive Power of Membrane Systems Working in Accepting Mode R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini	75
BioSimWare: A P Systems-Based Simulation Environment for Biological Systems D. Besozzi, P. Cazzaniga, G. Mauri, D. Pescini	93
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by using P Systems M.A. Colomer, S. Lavin, I. Marco, A. Margalida, I. Perez-Hurtado, M.J. Perez-Jimenez, D. Sanuy, E. Serrano, L. Valencia-Cabrera	121
On Generalized Communicating P Systems with One Symbol E. Csuhaj-Varjú, G. Vaszil, S. Verlan	137
Design Pattern-Based Solutions for General Membrane System Components I. Dinca	155
A Faster P Solution for the Byzantine Agreement Problem M.J. Dinneen, Y.B. Kim, R. Nicolescu	167
Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough R. Freund, M. Kogler	193
P Systems and Unique-Sum Sets P. Frisco	205
An Integrated Approach to P Systems Formal Verification M. Gheorghe, F. Ipate, R. Lefticaru, C. Dragomir	225
Using the SRSim Software for Spatial and Rule-Based Modelling of Combinatorially Complex Biochemical Reaction Systems G. Grünert, P. Dittrich	239
Depth-First Search with P Systems M.A. Gutierrez-Naranjo, M.J. Perez-Jimenez	257
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents using P Systems P. Kefalas, I. Stamatopoulou	269
Goldbeters Mitotic Oscillator Entirely Modeled by MP Systems V. Manca, L. Marchetti	277
Some Characteristics of Spiking Neural P Systems with Anti-Spikes P. Metta, K. Krithivasan, D. Garg	291
Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems E. Mosca, P. Cazzaniga, D. Pescini, G. Mauri, L. Milanesi	305
A Universal Spiking Neural P System with 11 Neurons T. Neary	327
Randomized Gandy-Paun-Rozenberg Machines A. Obtulowicz	347
Feasibility of Organizations - A Refinement of Chemical Organization Theory with Application to P Systems S. Peter, T. Veloz, P. Dittrich	369
P Systems with Elementary Active Membranes: Beyond NP and coNP A.E. Porreca, A. Leporati, G. Mauri, C. Zandron	383
Polynomial Complexity Classes in Spiking Neural P Systems P. Sosik, A. Rodriguez-Paton, L. Ciencialova	393
Spiking Neural P Systems with Neuron Division J. Wang, H.J. Hoogeboom, L. Pan	407
Matrix Representation of Spiking Neural P Systems X. Zeng, H. Adorna, M.A. Martinez-del-Amor, L. Pan, M.J. Perez-Jimenez	425

Extended Abstracts

Model of Surface Water Quality V. Antohe, C. Stanciu	443
On PCol Automata Working in the t-Mode L. Cienciala, L. Ciencialova	447
Tools for P System Testing A. Ciobanu, R. Lefticaru, I.M. Niculescu, F. Ipate	451
Massive Data-Parallel Swarm Simulation and Visualisation using CUDA P. Lucas	455
Conways Game of Life Accelerated with OpenCL T. Rumpf	459
String-Object Transduction with Dogmatic P Systems J.M. Sempere	463

Eleventh International Conference on Membrane Computing (CMC11)

24-27 August 2010, Jena, Germany