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] ] : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers / / edited by Anne Condon, Grzegorz Rozenberg
| DNA Computing [[electronic resource] ] : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers / / edited by Anne Condon, Grzegorz Rozenberg |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (CCLXXXVIII, 278 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Mathematical logic Computers Algorithms Artificial intelligence Programming Techniques Mathematical Logic and Foundations Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN | 3-540-44992-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineered communications for microbial robotics -- Successive state transitions with I/O interface by molecules -- Solution of a satisfiability problem on a gel-based DNA computer -- Diophantine equations and splicing: A new demonstration of the generative capability of H systems -- About time-varying distributed H systems -- String tile models for DNA computing by self-assembly -- From molecular computing to molecular programming -- Graph replacement chemistry for DNA processing -- DNA and circular splicing? -- Molecular computing with generalized homogeneous P-systems -- Computationally inspired biotechnologies: Improved DNA synthesis and associative search using Error-Correcting Codes and Vector-Quantization? -- Challenges and applications for self-assembled DNA nanostructures? -- A space-efficient randomized DNA algorithm for k-SAT -- A DNA-based random walk method for solving k-SAT -- Solving computational learning problems of Boolean formulae on DNA computers -- The fidelity of annealing-ligation: A theoretical analysis -- DNA implementation of a Royal Road fitness evaluation -- Steady flow micro-reactor module for pipelined DNA computations. |
| Record Nr. | UNISA-996466168603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers / / edited by Anne Condon, Grzegorz Rozenberg
| DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers / / edited by Anne Condon, Grzegorz Rozenberg |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (CCLXXXVIII, 278 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Mathematical logic Computers Algorithms Artificial intelligence Programming Techniques Mathematical Logic and Foundations Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN | 3-540-44992-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineered communications for microbial robotics -- Successive state transitions with I/O interface by molecules -- Solution of a satisfiability problem on a gel-based DNA computer -- Diophantine equations and splicing: A new demonstration of the generative capability of H systems -- About time-varying distributed H systems -- String tile models for DNA computing by self-assembly -- From molecular computing to molecular programming -- Graph replacement chemistry for DNA processing -- DNA and circular splicing? -- Molecular computing with generalized homogeneous P-systems -- Computationally inspired biotechnologies: Improved DNA synthesis and associative search using Error-Correcting Codes and Vector-Quantization? -- Challenges and applications for self-assembled DNA nanostructures? -- A space-efficient randomized DNA algorithm for k-SAT -- A DNA-based random walk method for solving k-SAT -- Solving computational learning problems of Boolean formulae on DNA computers -- The fidelity of annealing-ligation: A theoretical analysis -- DNA implementation of a Royal Road fitness evaluation -- Steady flow micro-reactor module for pipelined DNA computations. |
| Record Nr. | UNINA-9910143604003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unconventional Computation and Natural Computation [[electronic resource] ] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon
| Unconventional Computation and Natural Computation [[electronic resource] ] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 197 p. 62 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Artificial intelligence Computer networks Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-41312-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reachability Problems for Continuous Chemical Reaction Networks -- An All-Optical Soliton FFT Computational Arrangement in the 3NLSE-domain -- Babbage meets Zuse: A Minimal Mechanical Computer -- Generative Power of Matrix Insertion-deletion Systems with Context-free Insertion or Deletion -- Evolving Carbon Nanotube Reservoir Computers -- Global Network Cooperation Catalysed by a Small Prosocial Migrant Clique -- Model-Based Computation -- In vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement -- Analysis of Boolean Logic Gates Logical Complexity for use with Spiking Memristor Gates -- Language Recognition Power and Succintness of Affine Automata -- Training a Carbon-Nanotube / Liquid Crystal Data Classifier Using Evolutionary Algorithms -- Towards Quantitative Verification of Reaction Systems -- Traversal Languages Capturing Isomorphism Classes on Sierpinski Gaskets -- Discrete DNA Reaction-Diffusion Model for Implementing Simple Cellular Automaton -- Universal Totalistic Asynchonous Cellular Automaton and its Possible Implementation by DNA. |
| Record Nr. | UNISA-996466007903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon
| Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 197 p. 62 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Artificial intelligence Computer networks Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-41312-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reachability Problems for Continuous Chemical Reaction Networks -- An All-Optical Soliton FFT Computational Arrangement in the 3NLSE-domain -- Babbage meets Zuse: A Minimal Mechanical Computer -- Generative Power of Matrix Insertion-deletion Systems with Context-free Insertion or Deletion -- Evolving Carbon Nanotube Reservoir Computers -- Global Network Cooperation Catalysed by a Small Prosocial Migrant Clique -- Model-Based Computation -- In vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement -- Analysis of Boolean Logic Gates Logical Complexity for use with Spiking Memristor Gates -- Language Recognition Power and Succintness of Affine Automata -- Training a Carbon-Nanotube / Liquid Crystal Data Classifier Using Evolutionary Algorithms -- Towards Quantitative Verification of Reaction Systems -- Traversal Languages Capturing Isomorphism Classes on Sierpinski Gaskets -- Discrete DNA Reaction-Diffusion Model for Implementing Simple Cellular Automaton -- Universal Totalistic Asynchonous Cellular Automaton and its Possible Implementation by DNA. |
| Record Nr. | UNINA-9910484839403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||