000 03860nam a22005895i 4500
001 978-3-540-32340-2
003 DE-He213
005 20240423125843.0
007 cr nn 008mamaa
008 100417s2006 gw | s |||| 0|eng d
020 _a9783540323402
_9978-3-540-32340-2
024 7 _a10.1007/11603047
_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] :
_b6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers /
_cedited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aX, 374 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 ;
_v3850
505 0 _aInvited Lectures -- Computational Power of Symport/Antiport: History, Advances, and Open Problems -- Structural Operational Semantics of P Systems -- Some Recent Results Concerning Deterministic P Systems -- Membrane Algorithms -- On Evolutionary Lineages of Membrane Systems -- Regular Presentations -- Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness -- Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules -- On P Systems as a Modelling Tool for Biological Systems -- Encoding-Decoding Transitional Systems for Classes of P Systems -- On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism -- A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment -- P Systems with Memory -- Algebraic and Coalgebraic Aspects of Membrane Computing -- P Systems and the Modeling of Biochemical Oscillations -- P Systems, Petri Nets, and Program Machines -- On the Power of Dissolution in P Systems with Active Membranes -- A Linear Solution for QSAT with Membrane Creation -- On Symport/Antiport P Systems and Semilinear Sets -- Boolean Circuits and a DNA Algorithm in Membrane Computing -- Towards a Petri Net Semantics for Membrane Systems -- Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes -- Editing Distances Between Membrane Structures -- Relational Membrane Systems -- On the Rule Complexity of Universal Tissue P Systems -- Non-cooperative P Systems with Priorities Characterize PsET0L.
650 0 _aComputer science.
650 0 _aMachine theory.
650 0 _aComputer simulation.
650 0 _aBioinformatics.
650 1 4 _aTheory of Computation.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aComputer Modelling.
650 2 4 _aBioinformatics.
700 1 _aFreund, Rudolph.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPaun, Gheorghe.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRozenberg, Grzegorz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSalomaa, Arto.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540309482
776 0 8 _iPrinted edition:
_z9783540818984
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v3850
856 4 0 _uhttps://doi.org/10.1007/11603047
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c182401
_d182401