このページのリンク

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)

所蔵情報を非表示

URL
射水-電子 007 EB0003966 Computer Scinece R0 2005-6,2022-3

9783540323402

書誌詳細を非表示

一般注記 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

 類似資料