LEADER 06087nam 22007815 450 001 9910484012503321 005 20231120172411.0 010 $a3-540-77312-6 024 7 $a10.1007/978-3-540-77312-2 035 $a(CKB)1000000000490791 035 $a(SSID)ssj0000318889 035 $a(PQKBManifestationID)11245872 035 $a(PQKBTitleCode)TC0000318889 035 $a(PQKBWorkID)10337335 035 $a(PQKB)11098114 035 $a(DE-He213)978-3-540-77312-2 035 $a(MiAaPQ)EBC4976020 035 $a(MiAaPQ)EBC5590696 035 $a(MiAaPQ)EBC6700476 035 $a(Au-PeEL)EBL4976020 035 $a(CaONFJC)MIL134276 035 $a(OCoLC)1024267701 035 $a(Au-PeEL)EBL5590696 035 $a(OCoLC)191471885 035 $a(Au-PeEL)EBL6700476 035 $a(PPN)123729351 035 $a(EXLCZ)991000000000490791 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMembrane Computing$b[electronic resource] $e8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /$fedited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XI, 456 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4860 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-77311-8 327 $aInvited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata -- (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling Biological Membranes -- Membrane Computing in Connex Environment -- Regular Papers -- Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes -- On the Reachability Problem in P Systems with Mobile Membranes -- Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets -- A Hybrid Approach to Modeling Biological Systems -- Causality in Membrane Systems -- Simulating the Bitonic Sort Using P Systems -- On the Number of Agents in P Colonies -- Events, Causality, and Concurrency in Membrane Systems -- P Systems with String Objects and with Communication by Request -- On the Dynamics of PB Systems with Volatile Membranes -- A Logarithmic Bound for Solving Subset Sum with P Systems -- A Formal Framework for Static (Tissue) P Systems -- Conformon-P Systems with Negative Values -- Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation -- Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo -- Solving Numerical NP-Complete Problems with Spiking Neural P Systems -- Towards a Complete Covering of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications -- On Flip-Flop Membrane Systems with Proteins -- Characterizing Membrane Structures Through Multiset Tree Automata -- OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. 330 $aThis volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25?28, 2008. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania ? they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue of Fundamenta Informaticae, volume 49, numbers 1?3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next four workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, in Vienna, Austria, in July 2005, and in Leiden, The Netherlands, in July 2006, with the proceedings published as volumes 2933, 3365, 3850, and 4361, respectively, of Lecture Notes in Computer Science. The 2007 edition of WMC was organized by the South-East European - search Centre in Thessaloniki, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology and computer science, focusing on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations. The pre-proceedings of WMC8 were published by the South-East European Research Centre, Thessaloniki, and they were available during the workshop. Each paper was refereed by two members of the Program Committee. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4860 606 $aComputer science 606 $aMachine theory 606 $aComputer simulation 606 $aBioinformatics 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aComputer Modelling 606 $aComputational and Systems Biology 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer simulation. 615 0$aBioinformatics. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Modelling. 615 24$aComputational and Systems Biology. 676 $a511.3 702 $aEleftherakis$b George 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484012503321 996 $aMembrane Computing$9772585 997 $aUNINA