Membrane Computing: 6Th International Workshop, Wmc 2005, Vienna, Austria, July 18-21, 2005, Revised Selected And Invited Papers (Lecture Notes In Computer . Computer Science And General Issues)

ISBN 10: 3540309489 / ISBN 13: 9783540309482

Editore: Springer, 2006

Riguardo questo articolo

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Codice articolo ABNR-197348

Dati bibliografici

• Titolo: Membrane Computing: 6Th International Workshop, Wmc 2005, Vienna, Austria, July 18-21, 2005, Revised Selected And Invited Papers (Lecture Notes In Computer . Computer Science And General Issues)
• Editore: Springer
• Data di pubblicazione: 2006
• Lingua: Inglese
• ISBN 10: 3540309489
• ISBN 13: 9783540309482
• Rilegatura: Brossura
• Condizione: New

Descrizione articolo

Riassunto

This book constitutes the thoroughly refereed extended postproceedings of the 6th International Workshop on Membrane Computing, WMC 2005, held in Vienna, Austria, in July 2005. The 20 revised full papers presented together with 5 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues, especially in biology. More specifically, these papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, and brane calculi, determinism vs. nondeterminism, hierarchies, the size of small families, algebraic approaches, and designing polynomial solutions to NP-complete problems through the use of membrane systems.

Contenuti

Invited Lectures.- Computational Power of Symport/Antiport: History, Advances, and Open Problems.- Structural Operational Semantics of P Systems.- Some Recent Results Concerning Deterministic P Systems.- Membrane Algorithms.- On Evolutionary Lineages of Membrane Systems.- Regular Presentations.- Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness.- Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules.- On P Systems as a Modelling Tool for Biological Systems.- Encoding-Decoding Transitional Systems for Classes of P Systems.- On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism.- A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment.- P Systems with Memory.- Algebraic and Coalgebraic Aspects of Membrane Computing.- P Systems and the Modeling of Biochemical Oscillations.- P Systems, Petri Nets, and Program Machines.- On the Power of Dissolution in P Systems with Active Membranes.- A Linear Solution for QSAT with Membrane Creation.- On Symport/Antiport P Systems and Semilinear Sets.- Boolean Circuits and a DNA Algorithm in Membrane Computing.- Towards a Petri Net Semantics for Membrane Systems.- Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes.- Editing Distances Between Membrane Structures.- Relational Membrane Systems.- On the Rule Complexity of Universal Tissue P Systems.- Non-cooperative P Systems with Priorities Characterize PsET0L.