Chapter 15 – Geometric Shortest Paths and Network Optimization

http://profs.scienze.univr.it/~manca/mnc/membrane.pdf

A guide to membrane computing

Proceedings of world academy of science, engineering and technology, vol 8

Investigations into Drosophila Wing Development - Results from a Lindenmayer Model.- Fibonacci Words - A Survey.- Planar Map Generation by Parallel Binary Fission/Fusion Grammars.- Modular Trellises.- A New Proof for the DOL Sequence Equivalence Problem and its Implications.- On Compound Lindenmayer Systems.- Graph Grammars with Application Conditions.- The ETOL Hierarchy is in the OI Hierarchy.- Polyhedral Cell Shapes.- On Cyclically Overlap-Free Words in Binary Alphabets.- The Theoretical Basis of the Transplantation Experiment.- Fixed and Stationary ?-Words and ?-Languages.- DOL Schemes and Recurrent Words.- Stochastic OL Systems and Formal Power Series.- Complexity of L-Systems.- Compartmental Hybrid State Production-Diffusion Systems with Application to Prestalk-Prespore Pattern Regulation in Cellular Slime Molds.- Hierarchical Aspects of Plant Development.- Rule Trees Represent Derivations in Edge Replacement Systems.- Languages Defined by Indian Parallel Systems.- L Systems and NLOG-Reductions.- The Parikh-Boundedness of ETOL Languages of Finite Index.- Computer Networks with Compact Routing Tables.- Unconventional Leaves.- A Uniform Model for the Growth of Biological Organisms: Cooperating Sequential Processes.- Graph Technology Applied to a Software Project.- Some Systems for Map Generation.- A Programming Language for Lindenmayer Systems.- A Note on Significance of Cellular Interaction in L-System.- EOL Grammars and Search Trees.- Variation in Inflorescence Structure in Cotoneaster Franchetti.- Partial Path Groups and Parallel Graph Contractions.- When L was Young.- Equivalence Problems for Regular Sets of Word Morphisms.- Parentheses Grammars and Lindenmayer Grammars.- Array Languages and Lindenmayer Systems - A Survey.- Symmetric Distributed Termination.- Development, Growth and Time.- On the Set of all Subgraphs of the Graphs in a Boundary NLC Graph Language.- Graph-Controlled Systems - An Extension of OL Systems.

The Book of L

This is a comprehensive (and friendly) introduction to membrane computing (MC), meant to offer both computer scientists and non-computer scientists an up-to-date overview of the field. That is why the set of notions introduced here is rather large, but the presentation is informal, without proofs and with rigorous definitions given only for the basic types of P systems — symbol object P systems with multiset rewriting rules, systems with symport/antiport rules, systems with string objects, tissue-like P systems, and neural-like P systems. Besides a list of (biologically inspired or mathematically motivated) ingredients/features which can be used in systems of these types, we also mention a series of results, as well as a series of research trends and topics.

/pdf/introduction-to-membrane-computing-5cngwvz0yk.pdf

Introduction to Membrane Computing

Some of the fundamental problems concerning cellular automata (CA) are as follows:

1)

Are linear-time CA (lCA) more powerful than real-time CA (rCA)?




2)

Are nonlinear-time CA more powerful than linear-time CA?




3)

Does one-way communication reduce the power of a CA?

Relativised Cellular Automata and Complexity Classes

In this paper we consider networks of evolutionary processors with splicing rules and permitting context (NEPPS) as language generating and computational devices. Such a network consists of several processors placed on the nodes of a virtual graph and are able to perform splicing (which is a biologically motivated operation) on the words present in that node, according to the splicing rules present there. Before applying the splicing operation on words, we check for the presence of certain symbols (permitting context) in the strings on which the rule is applied. Each node is associated with an input and output filter. When the filters are based on random context conditions, one gets the computational power of Turing machines with networks of size two. We also show how these networks can be used to solve NP-complete problems in linear time.

Network of evolutionary processors with splicing rules and permitting context

In this paper we present the relation between Spiking Neural P (SN P) systems and Petri nets by focusing on modeling simplex stop-and-wait protocol. The SN P system for the protocol is constructed and also translated it into equivalent Petri net with a corresponding semantics. It is then observed a direct correspondence between the Petri net representation of the proposed model and standard solution based on Petri nets already present in the literature.

/pdf/protocol-modeling-in-spiking-neural-p-systems-and-petri-nets-1fkedbplql.pdf

Protocol Modeling in Spiking Neural P systems and Petri nets

In this paper we give a brief survey of some variants of P systems and their computational capacity. An improvement of a known result about rewriting P systems with leftmost derivation is given. We also give the generalized definition for normal forms of rewriting P systems.

A Survey of Some Variants of P Systems

P systems generating rectangular arrays have been recently introduced in [1,2,3], thus bringing together the two areas of theoretical computer science, namely membrane computing and picture grammars. In this paper, hexagonal arrays on triangular grids are considered and the capabilities of the three approaches [1,2,3] that construct P systems for generation of arrays on rectangular grids, to handle arrays on triangular grids, are demonstrated.

Kamala Krithivasan

Papers

Relativised Cellular Automata and Complexity Classes

Network of evolutionary processors with splicing rules and permitting context

Protocol Modeling in Spiking Neural P systems and Petri nets

A Survey of Some Variants of P Systems

P systems generating hexagonal picture languages