R Freund

Membrane Computing: 6th International Workshop, Wmc 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues R Freund

Marc Notes: Includes bibliographical references and index. Table of Contents: 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. Publisher Marketing: Constitutes the refereed extended postproceedings of the 6th International Workshop on Membrane Computing, WMC 2005, held in Vienna, Austria, in July 2005. These papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, hierarchies, and more.

Contributor Bio:  Rozenberg, Grzegorz Junghei Chen received his Ph. D. in Chemistry from NYU, under the supervision of Ned Seeman. He has since worked at Berkeley and is now Associate Professor in the Department of Chemistry and Biochemistry at the University of Delaware. He has edited a Springer book: LNCS 2943, Int. Workshop on DNA Based Computers, DNA 9 (2003). He has authored dozens of papers in key journals areas of chemistry, biochemistry, physics, computing and nanoscience Natascha Jonoska received her Ph. D. in Mathematical Science from SUNY Binghamton and is currently Associate Professor in the Mathematics Dept. at the University of South Florida. She has coedited a number of Springer books: LNCS 2723, Genetic and Evolutionary Computation Conf., GECCO 2003; LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004). Natasha has also contributed chapters in various Natural Computing books, and many journal and LNCS articles. Her journal publications cover her interests in both theoretical computer science and natural computing. Grzegorz Rozenberg is the editor of the Springer Natural Computing series; is one of the series editors of the Springer EATCS Texts in Theoretical Computer Science series; was until this year the editor of the Springer journal Natural Computing; is the editor of the Elsevier Theoretical Computer Science journal Track C (Natural Computing). He has also edited or authored dozens of Springer books over the last 30 years. He has authored hundreds of publications in theoretical computer science and natural computing, and has been involved in the organization of dozens of conferences in both communities. He has authored and editeddozens of LNCS volumes and monographs, across a range of theoretical computer science fields and also in the area of natural computing. He has also recently edited some relevant Natural Computing series and EATCS series books, such as: Modelling in Molecular Biology (2004); Computation in Living Cells (2004); DNA Computing -- New Computing Paradigms (Reprint 2005). He also coedited LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004). Contributor Bio:  Salomaa, Arto Salomaa from the University of Turku