06036nam 22008295 450 991014420860332120200702123124.01-280-30798-697866103079823-540-24619-310.1007/b95207(CKB)1000000000212294(DE-He213)978-3-540-24619-0(SSID)ssj0000200984(PQKBManifestationID)11196317(PQKBTitleCode)TC0000200984(PQKBWorkID)10221869(PQKB)11704430(MiAaPQ)EBC3087281(PPN)155210076(EXLCZ)99100000000021229420121227d2004 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierMembrane Computing 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 Salomaa1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (VIII, 382 p.)Lecture Notes in Computer Science,0302-9743 ;2933Bibliographic Level Mode of Issuance: Monograph3-540-20895-X Includes bibliographical references at the end of each chapters and index.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.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.Lecture Notes in Computer Science,0302-9743 ;2933Logic, Symbolic and mathematicalComputersComputer simulationBioinformaticsMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Bioinformaticshttps://scigraph.springernature.com/ontologies/product-market-codes/L15001Logic, Symbolic and mathematical.Computers.Computer simulation.Bioinformatics.Mathematical Logic and Foundations.Theory of Computation.Computation by Abstract Devices.Mathematical Logic and Formal Languages.Simulation and Modeling.Bioinformatics.511.3Martín-Vide Carlosedthttp://id.loc.gov/vocabulary/relators/edtMauri Giancarloedthttp://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/edtWMC 2003MiAaPQMiAaPQMiAaPQBOOK9910144208603321Membrane Computing772585UNINA