LEADER 05475nam 22008055 450 001 9910484946703321 005 20251226202559.0 010 $a1-280-38549-9 010 $a9786613563415 010 $a3-642-11467-9 024 7 $a10.1007/978-3-642-11467-0 035 $a(CKB)2670000000003394 035 $a(SSID)ssj0000355558 035 $a(PQKBManifestationID)11227494 035 $a(PQKBTitleCode)TC0000355558 035 $a(PQKBWorkID)10340625 035 $a(PQKB)10732432 035 $a(DE-He213)978-3-642-11467-0 035 $a(MiAaPQ)EBC3064952 035 $a(PPN)149054912 035 $a(EXLCZ)992670000000003394 100 $a20100301d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMembrane Computing $e10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers /$fedited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (IX, 487 p. 86 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5957 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-11466-0 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- P Automata: Concepts, Results, and New Aspects -- Computational Nature of Processes Induced by Biochemical Reactions -- Transition and Halting Modes in (Tissue) P Systems -- Conformon P Systems and Topology of Information Flow -- Formal Verification and Testing Based on P Systems -- A Look Back at Some Early Results in Membrane Computing -- From P to MP Systems -- The Biological Cell in Spectacle -- Energy-Based Models of P Systems -- A Computational Complexity Theory in Membrane Computing -- Regular Presentations -- Evolving by Maximizing the Number of Rules: Complexity Study -- On Reversibility and Determinism in P Systems -- Typed Membrane Systems -- A P System Based Model of an Ecosystem of Some Scavenger Birds -- Metabolic P System Flux Regulation by Artificial Neural Networks -- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems -- Implementing P Systems Parallelism by Means of GPUs -- Regulation and Covering Problems in MP Systems -- (Tissue) P Systems with Hybrid Transition Modes -- An Overview of P-Lingua 2.0 -- Characterizing Tractability by Tissue-Like P Systems -- Searching Previous Configurations in Membrane Computing -- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator -- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules -- Tuning P Systems for Solving the Broadcasting Problem -- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition -- A Region-Oriented Hardware Implementation for Membrane Computing Applications -- Discovering the Membrane Topology of Hyperdag P Systems -- A Note on Small Universal Spiking Neural P Systems -- On the Power of Computing with Proteins on Membranes -- An EfficientSimulation of Polynomial-Space Turing Machines by P Systems with Active Membranes -- Look-Ahead Evolution for P Systems. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 2009 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 10 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; the invited lectures present fundamental contributions to membrane computing; thus highlighting important directions of current research in this area. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5957 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 $a004.0151 686 $a004$2sdnb 686 $aDAT 168f$2stub 686 $aSS 4800$2rvk 701 $aPaun$b Gheorghe$f1950-$062709 701 $aPerez-Jimenez$b Mario J$01757463 701 $aRiscos-Nunez$b Augustin$01757464 701 $aRozenberg$b Grzegoz$01757465 701 $aSalomaa$b Arto$025836 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484946703321 996 $aMembrane computing$94195316 997 $aUNINA