DNA Computing 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Condon, Anne (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2054
• Θέματα: 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.

The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing and held from June 13 to June 17, 2000 at The Lorentz Center, University of Leiden, Leiden, The Netherlands. DNA Computing is a novel and fascinating...

Πίνακας περιεχομένων:

• 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.