Membrane Computing

6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers

Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Herausgeber)

Buch | Softcover

X, 374 Seiten

2006 | 2006
Springer Berlin (Verlag)
978-3-540-30948-2 (ISBN)

Artikel merken

The present volume is based on papers presented at the 6th Workshop on M- brane Computing, WMC6, which took place in Vienna, Austria, in the period July 18 21, 2005. The ?rst three workshops 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 sel- tion 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 fourth and the ?fth workshopswereorganizedinTarragona,Spain,in July2003,andin Milan,Italy, in June 2004, with the proceedings published as volumes 2933 and 3365, resp- tively, of Lecture Notes in Computer Science. The pre-proceedingsof WMC6 were published by the Institute for Computer Languages of the Vienna University of Technology, and they were available d- ing the workshop. Conforming with tradition, this workshop, too, was a lively scienti?c event, with many questions and engaged discussions following pres- tations of papers. Thecurrentvolumeisbasedonaselectionofpapersfromthepre-proceedings. These papers were signi?cantly modi?ed according to the discussions that took placeduringtheworkshop,andalltheselectedpaperswereadditionallyrefereed.

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.

Erscheint lt. Verlag	11.1.2006
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	X, 374 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	1200 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Informatik ► Weitere Themen ► Bioinformatik
	Naturwissenschaften ► Biologie ► Genetik / Molekularbiologie
Schlagworte	algorithm • algorithms • Bioinformatics • Biologically Inspired Computing • Biological Membrane Systems • Biology • brane calculi • Complexity • Complexity theory • Computational Power • Formal Languages • Information Processing in Cells • membrane algorithms • Membrane computing • Membrane Systems • Modeling • molecular co • molecular computing • Natural Computing • Petri net • P systems • Quantum Computing • Semantics
ISBN-10	3-540-30948-9 / 3540309489
ISBN-13	978-3-540-30948-2 / 9783540309482
Zustand	Neuware