Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Membrane Computing [Risorsa elettronica] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Art
| Membrane Computing [Risorsa elettronica] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Art |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540773122 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009243810403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 456 p.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology |
| ISBN | 3-540-77312-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited 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 -- OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. |
| Record Nr. | UNINA-9910484012503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 456 p.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology |
| ISBN | 3-540-77312-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited 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 -- OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. |
| Record Nr. | UNISA-996465855703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||