04041nam 22006855 450 99646553360331620230406062159.03-540-32340-610.1007/11603047(CKB)1000000000213571(SSID)ssj0000318892(PQKBManifestationID)11265707(PQKBTitleCode)TC0000318892(PQKBWorkID)10329696(PQKB)10254773(DE-He213)978-3-540-32340-2(MiAaPQ)EBC3067945(PPN)123130018(EXLCZ)99100000000021357120100417d2006 u| 0engurnn|008mamaatxtccrMembrane Computing[electronic resource] 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers /edited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (X, 374 p.) Theoretical Computer Science and General Issues,2512-2029 ;3850Bibliographic Level Mode of Issuance: Monograph3-540-30948-9 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;3850Computer scienceMachine theoryComputer simulationBioinformaticsTheory of ComputationFormal Languages and Automata TheoryComputer ModellingBioinformaticsComputer science.Machine theory.Computer simulation.Bioinformatics.Theory of Computation.Formal Languages and Automata Theory.Computer Modelling.Bioinformatics.621.39/1Freund Rudolphedthttp://id.loc.gov/vocabulary/relators/edtPaun Gheorgheedthttp://id.loc.gov/vocabulary/relators/edtRozenberg Grzegorzedthttp://id.loc.gov/vocabulary/relators/edtSalomaa Artoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465533603316Membrane Computing772585UNISA