Membrane Computing [E-Book] : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / edited by Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron.
Rozenberg, Grzegorz. (editor)
Salomaa, Arto. (editor) / Sempere, José M. (editor) / Zandron, Claudio. (editor)
1st ed. 2015.
Cham : Springer, 2015
XI, 387 p. 56 illus. in color. online resource.
Lecture notes in computer science ; 9504
Full Text
Table of Contents:
  • Information Theory in Genome Analysis
  • Towards a Theory of Life
  • An Excursion through Quantitative Model Refinement
  • Polarizationless P Systems with One Active Membrane
  • Bridging Deterministic P Systems and Conditional Grammars
  • Automated Verification of Stochastic Spiking Neural P Systems
  • Dynamically Changing Environment for Generalized Communicating P Systems
  • Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
  • P Systems with Generalized Multisets over Totally Ordered Abelian Groups
  • On the Power of Catalytic P Systems with One Catalyst
  • An Integrated Model Checking Toolset for Kernel P Systems
  • A New Strategy to Improve the Performance of PDP-systems Simulators
  • Automatic Translation of MP+V Systems to Register Machines
  • On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems
  • Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential
  • A Solution of Horn-SAT with P Systems Using Antimatter
  • Tissue P systems can be Simulated Efficiently with Counting Oracles
  • Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms
  • Pictures and Chomsky Languages in Array P System
  • Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules on Synapses
  • Regulating Rule Application with Membrane Boundaries in P Systems
  • Structured Grid Algorithms Modelled with Complex Objects
  • Chemistry-inspired Adaptive Stream Processing
  • Computing Partial Recursive Functions by Virus Machines
  • About models derived from colonies.