Membrane Computing : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / edited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
(Theoretical Computer Science and General Issues. ISSN:25122029 ; 3850)
データ種別 | 電子ブック |
---|---|
版 | 1st ed. 2006. |
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 2006 |
大きさ | X, 374 p : online resource |
著者標目 | Freund, Rudolph editor Paun, Gheorghe editor Rozenberg, Grzegorz editor Salomaa, Arto editor SpringerLink (Online service) |
書誌詳細を非表示
一般注記 | Invited 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 HTTP:URL=https://doi.org/10.1007/11603047 |
---|---|
件 名 | LCSH:Computer science LCSH:Machine theory LCSH:Computer simulation LCSH:Bioinformatics FREE:Theory of Computation FREE:Formal Languages and Automata Theory FREE:Computer Modelling FREE:Bioinformatics |
分 類 | LCC:QA75.5-76.95 DC23:004.0151 |
書誌ID | EB00003354 |
ISBN | 9783540323402 |
類似資料
この資料の利用統計
このページへのアクセス回数:4回
※2019年3月27日以降
全貸出数:0回
(1年以内の貸出:0回)
※2019年3月27日以降