000 06092nam a22006135i 4500
001 978-3-540-77312-2
003 DE-He213
005 20240730202620.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540773122
_9978-3-540-77312-2
024 7 _a10.1007/978-3-540-77312-2
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aMembrane Computing
_h[electronic resource] :
_b8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /
_cedited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aXI, 456 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4860
505 0 _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 -- OPERASCC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.
520 _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 - ological 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.
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9172320
650 0 _aComputer simulation.
_95106
650 0 _aBioinformatics.
_99561
650 1 4 _aTheory of Computation.
_9172321
650 2 4 _aFormal Languages and Automata Theory.
_9172322
650 2 4 _aComputer Modelling.
_9172323
650 2 4 _aComputational and Systems Biology.
_931619
700 1 _aEleftherakis, George.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172324
700 1 _aKefalas, Petros.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172325
700 1 _aPaun, Gheorghe.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172326
700 1 _aRozenberg, Grzegorz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172327
700 1 _aSalomaa, Arto.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172328
710 2 _aSpringerLink (Online service)
_9172329
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540773115
776 0 8 _iPrinted edition:
_z9783540846666
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4860
_9172330
856 4 0 _uhttps://doi.org/10.1007/978-3-540-77312-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c97104
_d97104