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.
DNA Computing [[electronic resource] ] : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / / edited by Ashish Goel, Friedrich C. Simmel, Petr Sosik
| DNA Computing [[electronic resource] ] : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / / edited by Ashish Goel, Friedrich C. Simmel, Petr Sosik |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 191 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Bioinformatics
Nanotechnology Algorithms Computer science Artificial intelligence Computational and Systems Biology Theory of Computation Artificial Intelligence |
| ISBN | 3-642-03076-9 |
| Classificazione |
DAT 168f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Experimental Validation of Signal Dependent Operation in Whiplash PCR -- Towards DNA Comparator: The Machine That Compares DNA Concentrations -- Construction of Photon-Fueled DNA Nanomachines by Tethering Azobenzenes as Engines -- Operon Structure Optimization by Random Self-assembly -- Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation -- DNA as a Universal Substrate for Chemical Kinetics -- A Simple DNA Gate Motif for Synthesizing Large-Scale Circuits -- Tiamat: A Three-Dimensional Editing Tool for Complex DNA Structures -- Connecting the Dots: Molecular Machinery for Distributed Robotics -- Polyomino-Safe DNA Self-assembly via Block Replacement -- Robust Self-assembly of Graphs -- Time Optimal Self-assembly for 2D and 3D Shapes: The Case of Squares and Cubes -- Self-assembly of Discrete Self-similar Fractals -- Speeding Up Local-Search Type Algorithms for Designing DNA Sequences under Thermodynamical Constraints -- Sequentiality Induced by Spike Number in SNP Systems. |
| Record Nr. | UNISA-996465550303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA Computing : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / / edited by Ashish Goel, Friedrich C. Simmel, Petr Sosik
| DNA Computing : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / / edited by Ashish Goel, Friedrich C. Simmel, Petr Sosik |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 191 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
GoelAshish
SimmelFriedrich C SosikPetr <1967-> |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Bioinformatics
Nanotechnology Algorithms Computer science Artificial intelligence Computational and Systems Biology Theory of Computation Artificial Intelligence |
| ISBN | 3-642-03076-9 |
| Classificazione |
DAT 168f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Experimental Validation of Signal Dependent Operation in Whiplash PCR -- Towards DNA Comparator: The Machine That Compares DNA Concentrations -- Construction of Photon-Fueled DNA Nanomachines by Tethering Azobenzenes as Engines -- Operon Structure Optimization by Random Self-assembly -- Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation -- DNA as a Universal Substrate for Chemical Kinetics -- A Simple DNA Gate Motif for Synthesizing Large-Scale Circuits -- Tiamat: A Three-Dimensional Editing Tool for Complex DNA Structures -- Connecting the Dots: Molecular Machinery for Distributed Robotics -- Polyomino-Safe DNA Self-assembly via Block Replacement -- Robust Self-assembly of Graphs -- Time Optimal Self-assembly for 2D and 3D Shapes: The Case of Squares and Cubes -- Self-assembly of Discrete Self-similar Fractals -- Speeding Up Local-Search Type Algorithms for Designing DNA Sequences under Thermodynamical Constraints -- Sequentiality Induced by Spike Number in SNP Systems. |
| Record Nr. | UNINA-9910484856303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / / edited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / / edited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 487 p. 86 illus.) |
| Disciplina | 004.0151 |
| 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 |
| Soggetto genere / forma |
Curtea de Argeş (2010)
Kongress. |
| ISBN |
1-280-38549-9
9786613563415 3-642-11467-9 |
| Classificazione |
004
DAT 168f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- P Automata: Concepts, Results, and New Aspects -- Computational Nature of Processes Induced by Biochemical Reactions -- Transition and Halting Modes in (Tissue) P Systems -- Conformon P Systems and Topology of Information Flow -- Formal Verification and Testing Based on P Systems -- A Look Back at Some Early Results in Membrane Computing -- From P to MP Systems -- The Biological Cell in Spectacle -- Energy-Based Models of P Systems -- A Computational Complexity Theory in Membrane Computing -- Regular Presentations -- Evolving by Maximizing the Number of Rules: Complexity Study -- On Reversibility and Determinism in P Systems -- Typed Membrane Systems -- A P System Based Model of an Ecosystem of Some Scavenger Birds -- Metabolic P System Flux Regulation by Artificial Neural Networks -- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems -- Implementing P Systems Parallelism by Means of GPUs -- Regulation and Covering Problems in MP Systems -- (Tissue) P Systems with Hybrid Transition Modes -- An Overview of P-Lingua 2.0 -- Characterizing Tractability by Tissue-Like P Systems -- Searching Previous Configurations in Membrane Computing -- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator -- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules -- Tuning P Systems for Solving the Broadcasting Problem -- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition -- A Region-Oriented Hardware Implementation for Membrane Computing Applications -- Discovering the Membrane Topology of Hyperdag P Systems -- A Note on Small Universal Spiking Neural P Systems -- On the Power of Computing with Proteins on Membranes -- An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes -- Look-Ahead Evolution for P Systems. |
| Record Nr. | UNISA-996465321003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / / edited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / / edited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 487 p. 86 illus.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
PaunGheorghe <1950->
Perez-JimenezMario J Riscos-NunezAugustin RozenbergGrzegoz SalomaaArto |
| 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 |
1-280-38549-9
9786613563415 3-642-11467-9 |
| Classificazione |
004
DAT 168f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- P Automata: Concepts, Results, and New Aspects -- Computational Nature of Processes Induced by Biochemical Reactions -- Transition and Halting Modes in (Tissue) P Systems -- Conformon P Systems and Topology of Information Flow -- Formal Verification and Testing Based on P Systems -- A Look Back at Some Early Results in Membrane Computing -- From P to MP Systems -- The Biological Cell in Spectacle -- Energy-Based Models of P Systems -- A Computational Complexity Theory in Membrane Computing -- Regular Presentations -- Evolving by Maximizing the Number of Rules: Complexity Study -- On Reversibility and Determinism in P Systems -- Typed Membrane Systems -- A P System Based Model of an Ecosystem of Some Scavenger Birds -- Metabolic P System Flux Regulation by Artificial Neural Networks -- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems -- Implementing P Systems Parallelism by Means of GPUs -- Regulation and Covering Problems in MP Systems -- (Tissue) P Systems with Hybrid Transition Modes -- An Overview of P-Lingua 2.0 -- Characterizing Tractability by Tissue-Like P Systems -- Searching Previous Configurations in Membrane Computing -- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator -- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules -- Tuning P Systems for Solving the Broadcasting Problem -- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition -- A Region-Oriented Hardware Implementation for Membrane Computing Applications -- Discovering the Membrane Topology of Hyperdag P Systems -- A Note on Small Universal Spiking Neural P Systems -- On the Power of Computing with Proteins on Membranes -- An EfficientSimulation of Polynomial-Space Turing Machines by P Systems with Active Membranes -- Look-Ahead Evolution for P Systems. |
| Record Nr. | UNINA-9910484946703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||