Membrane Computing : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.

Format:

Book

Contributor:

Eleftherakis, George, editor.

Kefalas, Petros, editor.

Păun, Gheorghe, editor.

Rozenberg, Grzegorz, editor.

Salomaa, Arto, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4860.

Theoretical Computer Science and General Issues ; 4860

Language:

English

Subjects (All):

Computers.

Logic, Symbolic and mathematical.

Computer simulation.

Bioinformatics.

Theory of Computation.

Computation by Abstract Devices.

Mathematical Logic and Formal Languages.

Simulation and Modeling.

Computational Biology/Bioinformatics.

Local Subjects:

Theory of Computation.

Computation by Abstract Devices.

Mathematical Logic and Formal Languages.

Simulation and Modeling.

Computational Biology/Bioinformatics.

Physical Description:

1 online resource (XI, 456 pages).

Edition:

First edition 2007.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.

System Details:

text file PDF

Summary:

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25-28, 2008. The ?rst three workshops on membrane computing were organized in Curtea de Arge ̧ s, Romania - they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science,volume 2235), in August 2001 (with a selection of papers published as a special issue of Fundamenta Informaticae, volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next four workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, in Vienna, Austria, in July 2005, and in Leiden, The Netherlands, in July 2006, with the proceedings published as volumes 2933, 3365, 3850, and 4361, respectively, of Lecture Notes in Computer Science. The 2007 edition of WMC was organized by the South-East European - search Centre in Thessaloniki, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology and computer science, focusing on the - ological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations. The pre-proceedings of WMC8 were published by the South-East European Research Centre, Thessaloniki, and they were available during the workshop. Each paper was refereed by two members of the Program Committee.

Contents:

Invited Lectures

Psim: A Computational Platform for Metabolic P Systems

Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata

(UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power

The Calculus of Looping Sequences for Modeling Biological Membranes

Membrane Computing in Connex Environment

Regular Papers

Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes

On the Reachability Problem in P Systems with Mobile Membranes

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets

A Hybrid Approach to Modeling Biological Systems

Causality in Membrane Systems

Simulating the Bitonic Sort Using P Systems

On the Number of Agents in P Colonies

Events, Causality, and Concurrency in Membrane Systems

P Systems with String Objects and with Communication by Request

On the Dynamics of PB Systems with Volatile Membranes

A Logarithmic Bound for Solving Subset Sum with P Systems

A Formal Framework for Static (Tissue) P Systems

Conformon-P Systems with Negative Values

Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation

Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo

Solving Numerical NP-Complete Problems with Spiking Neural P Systems

Towards a Complete Covering of SBML Functionalities

Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P

Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications

On Flip-Flop Membrane Systems with Proteins

Characterizing Membrane Structures Through Multiset Tree Automata

OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.

Other Format:

Printed edition:

ISBN:

978-3-540-77312-2

9783540773122

Access Restriction:

Restricted for use by site license.