Membrane Computing: 10th International Workshop, Wmc 2009, Curtea De Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Marc Notes: Includes bibliographical references and index.; Avail. in electronic form. Table of Contents: Invited Presentations -- P Automata: Concepts, Results, and New Aspects / ErzsEbet Csuhaj-VarjU -- Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht, Grzegorz Rozenberg -- Transition and Halting Modes in (Tissue) P Systems / Rudolf Freund -- Conformon P Systems and Topology of Information Flow / Pierluigi Frisco -- Formal Verification and Testing Based on P Systems / Marian Gheorghe, Florentin Ipate, Ciprian Dragomir -- A Look Back at Some Early Results in Membrane Computing / Oscar H. Ibarra -- From P to MP Systems / Vincenzo Manca -- The Biological Cell in Spectacle / Solomon Marcus -- Energy-Based Models of P Systems / Giancarlo Mauri, Alberto Leporati, Claudio Zandron -- A Computational Complexity Theory in Membrane Computing / Mario J. PErez-JimEnez -- Regular Presentations -- Evolving by Maximizing the Number of Rules: Complexity Study / Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios -- On Reversibility and Determinism in P Systems / Artiom Alhazov, Kenichi Morita -- Typed Membrane Systems / Bogdan Aman, Gabriel Ciobanu -- A P System Based Model of an Ecosystem of Some Scavenger Birds / MOnica Cardona, Maria Angels Colomer, Antoni Margalida, Ignacio PErez-Hurtado, Mario J. PErez-JimEnez, DelfI Sanuy -- Metabolic P System Flux Regulation by Artificial Neural Networks / Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki -- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems / Paolo Cazzaniga, Giancarlo Mauri, Luciano Milanesi, Ettore Mosca, Dario Pescini -- Implementing P Systems Parallelism by Means of GPUs / Jose M. Cecilia, JosE M. GarcIa, GinEs D. Guerrero, Miguel A. MartInez-del-Amor, Ignacio PErez-Hurtado, Mario J. PErez-JimEnez -- Regulation and Covering Problems in MP Systems / Giuditta Franco, Vincenzo Manca, Roberto Pagliarini -- (Tissue) P Systems with Hybrid Transition Modes / Rudolf Freund, Marian Kogler -- An Overview of P-Lingua 2.0 / Manuel GarcIa-Quismondo, Rosa GutiErrez-Escudero, Ignacio PErez-Hurtado, Mario J. PErez-JimEnez, AgustIn Riscos-NUNez -- Characterizing Tractability by Tissue-Like P Systems / Rosa GutiErrez-Escudero, Mario J. PErez-JimEnez, Miguel Rius-Font -- Searching Previous Configurations in Membrane Computing / Miguel A. GutiErrez-Naranjo, Mario J. PErez-JimEnez -- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator / Thomas Hinze, Thorsten Lenser, Gabi Escuela, Ines Heiland, Stefan Schuster -- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules / Tseren-Onolt Ishdorj, Alberto Leporati, Linqiang Pan, Jun Wang -- Tuning P Systems for Solving the Broadcasting Problem / Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang -- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition / Chunxiu Liu, Gexiang Zhang, Hongwen Liu, Marian Gheorghe, Florentin Ipate -- A Region-Oriented Hardware Implementation for Membrane Computing Applications / Van Nguyen, David Kearney, Gianpaolo Gioiosa -- Discovering the Membrane Topology of Hyperdag P Systems / Radu Nicolescu, Michael J. Dinneen, Yun-Bum Kim -- A Note on Small Universal Spiking Neural P Systems / Linqiang Pan, Xiangxiang Zeng -- On the Power of Computing with Proteins on Membranes / Petr SosIk, Andrei Păun, Alfonso RodrIguez-PatOn, David PErez -- An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes / Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron -- Look-Ahead Evolution for P Systems / Sergey Verlan -- Author Index. Publisher Marketing: This volume contains a selection of papers presented at the 10th Workshop on Membrane Computing, WMC 2009, which took place in Curtea de Arge, s, Romania, during August 24 27, 2009. The?rstthreeWorkshopsonMembraneComputingwereorganizedinCurtea de Arge, s, Romania they took place in August 2000 (with the proceedings p- lished in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue ofFundamenta Inform- icae, volume 49, numbers 1 3, 2002), and in August 2002 (with the proceedings publishedinLectureNotesinComputerScience, volume2597). Thenextsixwo- shopswereorganizedinTarragona, Spain(inJuly2003), inMilan, Italy(inJune 2004), in Vienna, Austria (in July 2005), in Leiden, The Netherlands (in July 2006), in Thessaloniki, Greece (in June 2007), and in Edinburgh, UK (in July 2008), with the proceedings published as volumes 2933, 3365, 3850, 4361, 4860, and5391, respectively, ofSpringer sLectureNotesinComputerScience. The workshop changed its name in 2010, and the series will continue as the Conference on Membrane Computing, with the next edition, CMC11, to be held in Jena, Germany. The tenth edition of WMC took place in Hotel Posada in Curtea de Arge, s (http: //www.posada.ro/)anditwasorganizedbytheNationalCollege Vlaicu Voda of Curtea de Arge, s, the University of Pite, sti, Romania, and the Institute of Mathematics of the Romanian Academy, Bucharest, under the auspices of the European Molecular Computing Consortium (EMCC) and IEEE Compu- tional Intelligence Society EmergentTechnologies Technical Committee Mole- lar Computing Task Force, with the ?nancial and organizational support of the Council of Arge, s County and Seville University."

Contributor Bio:  Rozenberg, Grzegorz Junghei Chen received his Ph. D. in Chemistry from NYU, under the supervision of Ned Seeman. He has since worked at Berkeley and is now Associate Professor in the Department of Chemistry and Biochemistry at the University of Delaware. He has edited a Springer book: LNCS 2943, Int. Workshop on DNA Based Computers, DNA 9 (2003). He has authored dozens of papers in key journals areas of chemistry, biochemistry, physics, computing and nanoscience Natascha Jonoska received her Ph. D. in Mathematical Science from SUNY Binghamton and is currently Associate Professor in the Mathematics Dept. at the University of South Florida. She has coedited a number of Springer books: LNCS 2723, Genetic and Evolutionary Computation Conf., GECCO 2003; LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004). Natasha has also contributed chapters in various Natural Computing books, and many journal and LNCS articles. Her journal publications cover her interests in both theoretical computer science and natural computing. Grzegorz Rozenberg is the editor of the Springer Natural Computing series; is one of the series editors of the Springer EATCS Texts in Theoretical Computer Science series; was until this year the editor of the Springer journal Natural Computing; is the editor of the Elsevier Theoretical Computer Science journal Track C (Natural Computing). He has also edited or authored dozens of Springer books over the last 30 years. He has authored hundreds of publications in theoretical computer science and natural computing, and has been involved in the organization of dozens of conferences in both communities. He has authored and editeddozens of LNCS volumes and monographs, across a range of theoretical computer science fields and also in the area of natural computing. He has also recently edited some relevant Natural Computing series and EATCS series books, such as: Modelling in Molecular Biology (2004); Computation in Living Cells (2004); DNA Computing -- New Computing Paradigms (Reprint 2005). He also coedited LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004). Contributor Bio:  Salomaa, Arto Salomaa from the University of Turku