Graciani C., Riscos-Núñez A., Păun G., Rozenberg G., Salomaa A. (eds.) Enjoying Natural Computing. Essays dedicated to Mario de Jesús Pérez-Jiménez

New York: Springer, 2018. — 355 p.Insertion, Deletion, and Substitution
Register Machines
Input-Driven Register Machines and Counter Automata
Tissue P Automata as Multiset Pushdown Automata
Accepting Strings
Input-Driven Tissue P Automata
One-Membrane Antiport P Automata
Examples and ResultsMembrane Systems
The Efficiency of Membrane Systems
A New Solution to N-Queens ProblemBasic Concepts
Modifications of the System Used in the Model Definition
Description of a Scenario
Experiments and ResultsPreliminaries
A Small SNPSP System for Computing Functions
A Small SNPSP System for Generating Numbers
Discussions and Final RemarksBasic Definitions and Results
Generation of Hilbert Words
Approximating Polygons for the Hilbert Curve
Lebesgue's Space-Filling Curve and Approximating PolygonsPreliminaries and Basic Notions
P Colonies
Logical Representation of P ColoniesPreliminaries
The Fair Proportion Is a Shapley Value
The Unrooted Subnet Shapley Value on a Rooted Phylogenetic NetworkPreliminaries and Definitions
P Colony Automata and the LL(k) ConditionACORD - Ant Colony Optimization & BNF Grammar Rule DerivationAnt Colony Optimization Overview
ACORD AlgorithmHistorical Overview of Modeling Works in MC
The Dawn of Brainstorming Era
Reaching Maturity
At the Crossroads of Cell Biology and Computation
Multienvironment P Systems and Multi-compartmental Gillespie Algorithm
Probabilistic Systems
Ongoing and Upcoming Modeling WorksKernel P System Basic Definitions
Kernel P System Rules
Kernel P System Execution Strategies
Identifiable Transitions in kP SystemsSearching
Machine Learning
Other Areas of Computer Science
Graphics
Other BudsJENA Software Source Code Design
Example: Gel Electrophoresis on DNAPreliminaries
Running Example
Mass Conservation Analysis
Overview of the Implementation
Example of Usage
The Web-Service
DiscussionConfluence vs Determinism
Simulation of Priorities
Building and Filling the Membrane Structure at Runtime
Membrane Division vs Internal Evolution
Putting a Turing Machine Inside a Membrane
Deep vs Shallow Membrane StructuresShannon's Entropy and Thermodynamic Entropy
Entropy and ComputationP Systems with Compound Terms
cP Terms Grammar and Unification
cP Rules Grammar
cP Numbers
cP Lists
cP Associative arrays
Distributed Echo Algorithm – Synchronous vs Asynchrnous
Fairness and Unbounded Non-determinism
Efficient Summary Statistics
cP -recursion
Evaluations and ConclusionsSNQ P Systems
Register Machines
SNQ P Systems with Two Spikes
SNQ P Systems with only One Type of Spikes
Further Improvements Ideas on SNQ P SystemsDesign Patterns for Membrane Computing
The Exponential Space Pattern
The All Present Pattern
The No If Not Yes Pattern
Practical Examples
Solution to SAT Using Polarizations and Membrane Division
Solution to SAT Using Dissolution and Membrane Creation
Solution to SAT Using Polarizations and Membrane Separation
Solution to SAT Using Minimal Cooperation (with Minimal Production) and Membrane DivisionSpiking Neural P Systems and Variants
Theoretical Results of Spiking Neural P Systems
Applications of Spiking Neural P Systems
Concluding Remarks and Future Research LinesPreliminaries
Aggregating Multiset Rewriting SystemsCircular Post Machines
Insertion-Deletion Systems
Computational Completeness
Conclusions and DiscussionsSimulation Software for P Systems
The Visual Environment MeCoSim
PMCGPU for Accelerated Simulations
Model Personalization with MeCoSim
Simulation with PMCGPU Through P-Lingua
Conclusions and PerspectivesVirus Machine
A Virus Machine for Addition
A Virus Machine for Subtraction
A Virus Machine for Multiplication
A Virus Machine for Division
Conclusions and Future WorkKernel Clustering Problems
Basic Idea
Algorithm Implementation
Data Sets
Performance Measures
Experimental Results