Catálogo de publicaciones - libros

Compartir en
redes sociales


Membrane Computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers

Hendrik Jan Hoogeboom ; Gheorghe Păun ; Grzegorz Rozenberg ; Arto Salomaa (eds.)

En conferencia: 7º International Workshop on Membrane Computing (WMC) . Leiden, The Netherlands . July 17, 2006 - July 21, 2006

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Theory of Computation; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Simulation and Modeling; Computational Biology/Bioinformatics

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-69088-7

ISBN electrónico

978-3-540-69090-0

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer-Verlag Berlin Heidelberg 2006

Tabla de contenidos

Graphical Modeling of Higher Plants Using P Systems

Alvaro Romero-Jiménez; Miguel A. Gutiérrez-Naranjo; Mario J. Pérez-Jiménez

L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we continue developing the framework introduced in [21], which make use of the topology of membrane structures to model the morphology of branching structures.

- Regular Papers | Pp. 496-506

Identifying P Rules from Membrane Structures with an Error-Correcting Approach

José M. Sempere; Damián López

In this work we propose an error-correcting approach to solve the identification of P rules for membrane modifications based on the behavior of the P system. To this aim, we take the framework of inductive inference from (structural) positive examples. The algorithm that we propose is based on previous definitions of distances between membrane structures and multiset tree automata.

- Regular Papers | Pp. 507-520

Computational Completeness of Tissue P Systems with Conditional Uniport

Sergey Verlan; Francesco Bernardini; Marian Gheorghe; Maurice Margenstern

The paper introduces (purely communicative) tissue P systems with conditional uniport. Conditional uniport means that rules move only one object at a time, but this may be with the help of another one acting as an activator which is left untouched in the place where it is. Tissue P systems with conditional uniport are shown to be computationally complete in the sense that they can recognize all recursively enumerable sets of natural numbers. This is achieved by simulating deterministic register machines.

- Regular Papers | Pp. 521-535

Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems

Daniela Zaharie; Gabriel Ciobanu

In this paper we present an analysis of the similarities between distributed evolutionary algorithms and membrane systems. The correspondences between evolutionary operators and evolution rules and between communication topologies and policies in distributed evolutionary algorithms and membrane structures and communication rules in membrane systems are identified. As a result of this analysis we propose new strategies of applying the operators in evolutionary algorithms and new variants of distributed evolutionary algorithms. The behavior of these variants is numerically tested for some continuous optimization problems.

- Regular Papers | Pp. 536-553