LEADER 06008nam 22008295 450 001 9910144208603321 005 20200702123124.0 010 $a1-280-30798-6 010 $a9786610307982 010 $a3-540-24619-3 024 7 $a10.1007/b95207 035 $a(CKB)1000000000212294 035 $a(DE-He213)978-3-540-24619-0 035 $a(SSID)ssj0000200984 035 $a(PQKBManifestationID)11196317 035 $a(PQKBTitleCode)TC0000200984 035 $a(PQKBWorkID)10221869 035 $a(PQKB)11704430 035 $a(MiAaPQ)EBC3087281 035 $a(PPN)155210076 035 $a(EXLCZ)991000000000212294 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMembrane Computing $eInternational Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers /$fedited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VIII, 382 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2933 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20895-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aProton 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2933 606 $aMathematical logic 606 $aComputers 606 $aComputer simulation 606 $aBioinformatics 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aBioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/L15001 615 0$aMathematical logic. 615 0$aComputers. 615 0$aComputer simulation. 615 0$aBioinformatics. 615 14$aMathematical Logic and Foundations. 615 24$aTheory of Computation. 615 24$aComputation by Abstract Devices. 615 24$aMathematical Logic and Formal Languages. 615 24$aSimulation and Modeling. 615 24$aBioinformatics. 676 $a511.3 702 $aMartín-Vide$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMauri$b Giancarlo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPaun$b Gheorghe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSalomaa$b Arto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWMC 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144208603321 996 $aMembrane Computing$9772585 997 $aUNINA