Skip to main content
SpringerLink
Log in

Membrane Computing

16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Grzegorz Rozenberg

    1. LIACS, Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arto Salomaa

    1. Turku Center for Computer Science, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José M. Sempere

    1. Universidad Politécnica de Valencia, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Claudio Zandron

    1. University of Milan-Bicocca, Milano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: CMC 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Information Theory in Genome Analysis

      • Vincenzo Manca
      Pages 3-18

    3. Towards a Theory of Life

      • Andrés Moya
      Pages 19-24

    4. An Excursion Through Quantitative Model Refinement

      • Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa et al.
      Pages 25-47

  3. Regular Papers

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Polarizationless P Systems with One Active Membrane

      • Artiom Alhazov, Rudolf Freund
      Pages 51-62

    3. Bridging Deterministic P Systems and Conditional Grammars

      • Artiom Alhazov, Rudolf Freund, Sergey Verlan
      Pages 63-76

    4. Automated Verification of Stochastic Spiking Neural P Systems

      • Bogdan Aman, Gabriel Ciobanu
      Pages 77-91

    5. Dynamically Changing Environment for Generalized Communicating P Systems

      • Ákos Balaskó, Erzsébet Csuhaj-Varjú, György Vaszil
      Pages 92-105

    6. Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem

      • Francis George C. Cabarle, Nestine Hope S. Hernandez, Miguel Ángel Martínez-del-Amor
      Pages 106-116

    7. P Systems with Generalized Multisets Over Totally Ordered Abelian Groups

      • Rudolf Freund, Sergiu Ivanov, Sergey Verlan
      Pages 117-136

    8. On the Power of Catalytic P Systems with One Catalyst

      • Rudolf Freund, Petr Sosík
      Pages 137-152

    9. An Integrated Model Checking Toolset for Kernel P Systems

      • Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
      Pages 153-170

    10. A New Strategy to Improve the Performance of PDP-Systems Simulators

      • Carmen Graciani, Miguel A. Martínez-del-Amor, Agustín Riscos-Núñez
      Pages 171-184

    11. Automatic Translation of MP\(^{+}\)V Systems to Register Machines

      • Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca
      Pages 185-199

    12. On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP Systems

      • Nestine Hope S. Hernandez, Richelle Ann B. Juayong, Sherlyne L. Francia, Denise Alyssa A. Francisco, Henry N. Adorna
      Pages 200-214

    13. Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential

      • Thomas Hinze, Korcan Kirkici, Patricia Sauer, Peter Sauer, Jörn Behre
      Pages 215-235

    14. A Solution of Horn-SAT with P Systems Using Antimatter

      • Gábor Kolonits
      Pages 236-250

    15. Tissue P Systems Can be Simulated Efficiently with Counting Oracles

      • Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
      Pages 251-261
Back to top

Other volumes

  1. Membrane Computing

Keywords

About this book

This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015.
The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The volume also contains 3 invited talks in full-paper length. 

Editors and Affiliations

  • LIACS, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Turku Center for Computer Science, Turku, Finland

    Arto Salomaa

  • Universidad Politécnica de Valencia, Valencia, Spain

    José M. Sempere

  • University of Milan-Bicocca, Milano, Italy

    Claudio Zandron

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation