LEADER 05366nam 22008175 450 001 9910739423603321 005 20251226203356.0 010 $a3-642-36751-8 024 7 $a10.1007/978-3-642-36751-9 035 $a(CKB)3520000000003550 035 $a(SSID)ssj0000880039 035 $a(PQKBManifestationID)11467977 035 $a(PQKBTitleCode)TC0000880039 035 $a(PQKBWorkID)10895196 035 $a(PQKB)10148536 035 $a(DE-He213)978-3-642-36751-9 035 $a(MiAaPQ)EBC3093355 035 $a(PPN)168330407 035 $a(EXLCZ)993520000000003550 100 $a20130221d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMembrane Computing $e13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /$fedited by Erzsebet Csuhaj-Varju, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 425 p. 104 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7762 300 $aIncludes author index. 311 08$a3-642-36750-X 320 $aIncludes bibliographical references and author index. 327 $aInvited Papers -- (Tissue) P Systems with Decaying Objects -- Alan Turing and John von Neumann - Their Brains and Their Computers -- Turing?s Three Pioneering Initiatives and Their Interplays -- An Outline of MP Modeling Framework -- Turing Computability and Membrane Computing -- Membrane Systems and Hypercomputation -- Regular Papers -- Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN -- Sequential P Systems with Regular Control -- Mobile Membranes with Objects on Surface as Colored Petri Nets -- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets -- 2D P Colonies -- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs -- A New Approach for Solving SAT by P Systems with Active Membranes -- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency -- Spiking Neural P Systems with Functional Astrocytes -- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment -- DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution -- Membranes with Boundaries -- On Efficient Algorithms for SAT -- Multigraphical Membrane Systems Revisited -- An Analysis of Correlative and Static Causality in P Systems -- Sublinear-Space P Systems with Active Membranes -- Modelling Ecological Systems with the Calculus of Wrapped Compartments -- Observer/Interpreter P Systems -- Limits of the Power of Tissue P Systems with Cell Division -- Fast Hardware Implementations of P Systems. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Membrane Computing, CMC 2012, held in Budapest, Hungary, in August 2012. The 21 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 25 papers presented at the conference. The book also deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7762 606 $aComputer science 606 $aAlgorithms 606 $aSoftware engineering 606 $aComputers$xHistory 606 $aImage processing$xDigital techniques 606 $aComputer vision 606 $aTheory of Computation 606 $aAlgorithms 606 $aSoftware Engineering 606 $aHistory of Computing 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 0$aComputers$xHistory. 615 0$aImage processing$xDigital techniques. 615 0$aComputer vision. 615 14$aTheory of Computation. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 615 24$aHistory of Computing. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 676 $a006.3/842 702 $aCsuhaj-Varju?$b E$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGheorghe$b Marian$f1953-$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 702 $aVaszil$b Gyo?rgy$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910739423603321 996 $aMembrane Computing$9772585 997 $aUNINA