LEADER 05401nam 22007935 450 001 996465786303316 005 20230406001742.0 010 $a3-540-95885-1 024 7 $a10.1007/978-3-540-95885-7 035 $a(CKB)1000000000548857 035 $a(SSID)ssj0000318890 035 $a(PQKBManifestationID)11923608 035 $a(PQKBTitleCode)TC0000318890 035 $a(PQKBWorkID)10311918 035 $a(PQKB)10657056 035 $a(DE-He213)978-3-540-95885-7 035 $a(MiAaPQ)EBC3063844 035 $a(PPN)132870738 035 $a(EXLCZ)991000000000548857 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMembrane Computing$b[electronic resource] $e9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers /$fedited by David Corne, Pierluigi Frisco, Gheorghe P?un, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (IX, 403 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5391 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-95884-3 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Investigation of a Biological Repair Scheme -- An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways -- Multilevel Modeling of Morphogenesis -- A Definition of Cellular Interface Problems -- A Multiscale Modeling Framework Based on P Systems -- Regular Papers -- On the Qualitative Analysis of Conformon P Systems -- Dual P Systems -- Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes -- Fast Synchronization in P Systems -- Membrane Systems Using Noncooperative Rules with Unconditional Halting -- Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study -- MetaPlab: A Computational Framework for Metabolic P Systems -- Usefulness States in New P System Communication Architectures -- A P-Lingua Programming Environment for Membrane Computing -- On Testing P Systems -- Hebbian Learning from Spiking Neural P Systems View -- Event-Driven Metamorphoses of P Systems -- Effects of HIV-1 Proteins on the Fas-Mediated Apoptotic Signaling Cascade: A Computational Study of Latent CD4+ T Cell Activation -- Transforming State-Based Models to P Systems Models in Practice -- How Redundant Is Your Universal Computation Device? -- Enumerating Membrane Structures -- Toward an MP Model of Non-Photochemical Quenching -- Applications of Page Ranking in P Systems -- An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware -- First Steps Towards a Wet Implementation for ?-DPP -- Defining and Executing P Systems with Structured Data in K -- Translating Multiset Tree Automata into P Systems. 330 $aThis book constitutes the thoroughly refereed extended postproceedings of the 9th International Workshop on Membrane Computing, WMC 2008, held in Edinburgh, UK, in July 2008 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society. The 22 revised full papers presented together with 5 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5391 606 $aComputer science 606 $aLife sciences 606 $aComputer programming 606 $aMachine theory 606 $aComputer simulation 606 $aComputer Science 606 $aLife Sciences 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aComputer Modelling 615 0$aComputer science. 615 0$aLife sciences. 615 0$aComputer programming. 615 0$aMachine theory. 615 0$aComputer simulation. 615 14$aComputer Science. 615 24$aLife Sciences. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Modelling. 676 $a004 702 $aCorne$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFrisco$b Pierluigi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aP?un$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 2008 906 $aBOOK 912 $a996465786303316 996 $aMembrane Computing$9772585 997 $aUNISA