Skip to main content
  • Conference proceedings
  • © 2010

Membrane Computing

10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5957)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): WMC: International Workshop on Membrane Computing

Conference proceedings info: WMC 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. Invited Presentations

    1. P Automata: Concepts, Results, and New Aspects

      • Erzsébet Csuhaj-Varjú
      Pages 1-15
    2. Computational Nature of Processes Induced by Biochemical Reactions

      • Andrzej Ehrenfeucht, Grzegorz Rozenberg
      Pages 16-17
    3. Formal Verification and Testing Based on P Systems

      • Marian Gheorghe, Florentin Ipate, Ciprian Dragomir
      Pages 54-65
    4. From P to MP Systems

      • Vincenzo Manca
      Pages 74-94
    5. The Biological Cell in Spectacle

      • Solomon Marcus
      Pages 95-103
    6. Energy-Based Models of P Systems

      • Giancarlo Mauri, Alberto Leporati, Claudio Zandron
      Pages 104-124
    7. A Computational Complexity Theory in Membrane Computing

      • Mario J. Pérez–Jiménez
      Pages 125-148
  3. Regular Presentations

    1. Evolving by Maximizing the Number of Rules: Complexity Study

      • Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios
      Pages 149-157
    2. On Reversibility and Determinism in P Systems

      • Artiom Alhazov, Kenichi Morita
      Pages 158-168
    3. Typed Membrane Systems

      • Bogdan Aman, Gabriel Ciobanu
      Pages 169-181
    4. A P System Based Model of an Ecosystem of Some Scavenger Birds

      • Mónica Cardona, M. Angels Colomer, Antoni Margalida, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Delfí Sanuy
      Pages 182-195
    5. Metabolic P System Flux Regulation by Artificial Neural Networks

      • Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki
      Pages 196-209
    6. A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems

      • Paolo Cazzaniga, Giancarlo Mauri, Luciano Milanesi, Ettore Mosca, Dario Pescini
      Pages 210-226
    7. Implementing P Systems Parallelism by Means of GPUs

      • Jose M. Cecilia, José M. García, Ginés D. Guerrero, Miguel A. Martínez–del–Amor, Ignacio Pérez–Hurtado, Mario J. Pérez–Jiménez
      Pages 227-241
    8. Regulation and Covering Problems in MP Systems

      • Giuditta Franco, Vincenzo Manca, Roberto Pagliarini
      Pages 242-251
    9. (Tissue) P Systems with Hybrid Transition Modes

      • Rudolf Freund, Marian Kogler
      Pages 252-263

Other Volumes

  1. Membrane Computing

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 2009 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society.

The 22 revised full papers presented together with 10 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues; the invited lectures present fundamental contributions to membrane computing; thus highlighting important directions of current research in this area.

Keywords

  • alternating turing machine
  • bioinformatics
  • bioinspired computing
  • biological membrane systems
  • brane calculi
  • cellular automata
  • complexity theory
  • computational power
  • formal languages
  • information processing in cells
  • membrane algorithms
  • membrane comp

Editors and Affiliations

  • Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    Gheorghe Păun

  • Research Group on Natural Computing, University of Sevilla, Sevilla, Spain

    Mario J. Pérez-Jiménez

  • Research Group on Natural Computing, University of Sevilla, Spain

    Agustín Riscos-Núñez

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Turku Centre for Computer Science (TUCS), Turku, Finland

    Arto Salomaa

Bibliographic Information

  • Book Title: Membrane Computing

  • Book Subtitle: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

  • Editors: Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-11467-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-11466-3Published: 12 January 2010

  • eBook ISBN: 978-3-642-11467-0Published: 20 January 2010

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 487

  • Number of Illustrations: 86 b/w illustrations

  • Topics: Theory of Computation, Formal Languages and Automata Theory, Computer Modelling, Computational and Systems Biology

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions