Membrane Computing [[electronic resource] ] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
• Edizione: 1st ed. 2004.
• Descrizione fisica: 1 online resource (VIII, 382 p.)
• Disciplina: 511.3
• Soggetto topico: Mathematical logic; Computers; Computer simulation; Bioinformatics; Mathematical Logic and Foundations; Theory of Computation; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Simulation and Modeling
• Persona (resp. second.): Martín-VideCarlos; MauriGiancarlo; PaunGheorghe; RozenbergGrzegorz; SalomaaArto
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: Proton Pumping P Systems -- A Binary Data Structure for Membrane Processors: Connectivity Arrays -- Parsing with Active P Automata -- Universality of Minimal Symport/Antiport: Five Membranes Suffice -- Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts -- Evolution and Observation: A New Way to Look at Membrane Systems -- Tiling Rectangular Pictures with P Systems -- Simulating Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem -- On the Dynamics of PB Systems: A Petri Net View -- P Systems Generating Hexagonal Picture Languages -- A Membrane System for the Leukocyte Selective Recruitment -- P Systems with Cutting/Recombination Rules Assigned to Membranes -- ? -P Automata with Communication Rules -- The Number of Membranes Matters -- An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies -- Can Hyperbolic Geometry Be of Help for P Systems? -- A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes -- A Reconfigurable Hardware Membrane System -- P Systems and Petri Nets -- Simulation of Mobile Ambients by P Systems. Part 1 -- Computing Partial Recursive Functions by Transition P Systems -- P Systems with External Input and Learning Strategies -- A Distributed Simulation of Transition P Systems -- About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems.
• Sommario/riassunto: This volume is based on papers presented at the Workshop on Membrane Computing, WMC 2003, which took place in Tarragona, Spain, in the - riod July 17–July 22, 2003. This was the Fourth Annual Membrane Computing Workshop, and the ?rst one held outside Romania. The ?rst three meetings were organized in Curtea de Arge¸ s, Romania – they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2235), in August 2001 (with a selection of papers published as a special issue of F- damenta Informaticae, Vol. 49, Nos. 1–3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2597). The 2003 workshop was the second workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in the Fifth Framework Program Information Society Technologies (project number IST–2001–32008). The preproceedings of WMC 2003 were published as Technical Report 28/03 of theResearchGrouponMathematicalLinguisticsfromRoviraiVirgiliUniversity, Tarragona, and they were available during the workshop.
• Titolo autorizzato: Membrane Computing
• ISBN: 1-280-30798-6; 9786610307982; 3-540-24619-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466170503316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2933