Membrane Computing [[electronic resource] ] : 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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Membrane Computing [[electronic resource] ] : 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
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Edizione: | 1st ed. 2006. |
| Descrizione fisica: | 1 online resource (X, 374 p.) |
| Disciplina: | 621.39/1 |
| Soggetto topico: | Computer science |
| Machine theory | |
| Computer simulation | |
| Bioinformatics | |
| Theory of Computation | |
| Formal Languages and Automata Theory | |
| Computer Modelling | |
| Persona (resp. second.): | FreundRudolph |
| PaunGheorghe | |
| RozenbergGrzegorz | |
| SalomaaArto | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Membrane Computing |
| ISBN: | 3-540-32340-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465533603316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 3850