04174nam 22006975 450 99646568370331620230406035417.010.1007/b106721(CKB)1000000000212864(SSID)ssj0000318891(PQKBManifestationID)11265706(PQKBTitleCode)TC0000318891(PQKBWorkID)10311328(PQKB)10425180(DE-He213)978-3-540-31837-8(MiAaPQ)EBC3067889(PPN)123092647(EXLCZ)99100000000021286420100705d2005 u| 0engurnn|008mamaatxtccrMembrane Computing[electronic resource] 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /edited by Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 413 p.) Theoretical Computer Science and General Issues,2512-2029 ;3365Bibliographic Level Mode of Issuance: Monograph3-540-31837-2 3-540-25080-8 Includes bibliographical references and index.Invited Lectures -- ?P Systems and Typed ?-Calculus -- P Automata -- Asynchronous P Systems and P Systems Working in the Sequential Mode -- Evolution and Oscillation in P Systems: Applications to Biological Phenomena -- An Approach to Computational Complexity in Membrane Computing -- LMNtal: A Language Model with Links and Membranes -- Regular Presentations -- Executable Specifications of P Systems -- On the Efficiency of P Systems with Active Membranes and Two Polarizations -- Communicative P Systems with Minimal Cooperation -- Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts -- Unstable P Systems: Applications to Linguistics -- A P System Description of the Sodium-Potassium Pump -- Inhibiting/De-inhibiting Rules in P Systems -- Time–Independent P Systems -- On Two-Dimensional Mesh Networks and Their Simulation with P Systems -- Exploring Computation Trees Associated with P Systems -- Approximating Non-discrete P Systems -- Reducing the Size of Extended Gemmating P Systems -- P Systems Generating Trees -- On Descriptive Complexity of P Systems -- P Systems with Symport/Antiport: The Traces of RBCs -- Conservative Computations in Energy–Based P Systems -- General Multi-fuzzy Sets and Fuzzy Membrane Systems -- Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes -- Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems -- On the Size of P Systems with Minimal Symport/Antiport.Theoretical Computer Science and General Issues,2512-2029 ;3365Computer 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.004.1Mauri Giancarloedthttp://id.loc.gov/vocabulary/relators/edtPaun Gheorgheedthttp://id.loc.gov/vocabulary/relators/edtPérez-Jiménez Mario Jedthttp://id.loc.gov/vocabulary/relators/edtRozenberg Grzegorzedthttp://id.loc.gov/vocabulary/relators/edtSalomaa Artoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465683703316Membrane Computing772585UNISA