DNA Computing [electronic resource] :11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. /
Contributor(s): Carbone, Alessandra [editor.] | Pierce, Niles A [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 3892Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.Description: XII, 444 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540341659.Subject(s): Computer science | Computers | Algorithms | Artificial intelligence | Bioinformatics | Computational biology | Computer Science | Computation by Abstract Devices | Algorithm Analysis and Problem Complexity | Artificial Intelligence (incl. Robotics) | Bioinformatics | Computer Appl. in Life SciencesOnline resources: Click here to access online
Self-correcting Self-assembly: Growth Models and the Hammersley Process -- Recognizing DNA Splicing -- On Computational Properties of Template-Guided DNA Recombination -- Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks -- DNA Recombination by XPCR -- An Algorithm for SAT Without an Extraction Phase -- Sensitivity and Capacity of Microarray Encodings -- Simple Operations for Gene Assembly -- Counting Time in Computing with Cells -- On Bounded Symport/Antiport P Systems -- Expectation and Variance of Self-assembled Graph Structures -- Hairpin Structures in DNA Words -- Efficient Algorithm for Testing Structure Freeness of Finite Set of Biomolecular Sequences -- Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication -- Intensive In Vitro Experiments of Implementing and Executing Finite Automata in Test Tube -- Development of an In Vivo Computer Based on Escherichia coli -- Control of DNA Molecules on a Microscopic Bead Using Optical Techniques for Photonic DNA Memory -- Linearizer and Doubler : Two Mappings to Unify Molecular Computing Models Based on DNA Complementarity -- Analysis and Simulation of Dynamics in Probabilistic P Systems -- Experimental Validation of DNA Sequences for DNA Computing: Use of a SYBR Green I Assay -- Complexity of Graph Self-assembly in Accretive Systems and Self-destructible Systems -- Designing Nucleotide Sequences for Computation: A Survey of Constraints -- A Self-assembly Model of Time-Dependent Glue Strength -- Complexity of Compact Proofreading for Self-assembled Patterns -- A Microfluidic Device for DNA Tile Self-assembly -- Photo- and Thermoregulation of DNA Nanomachines -- Chain Reaction Systems Based on Loop Dissociation of DNA -- A Local Search Based Barrier Height Estimation Algorithm for DNA Molecular Transitions -- Specificity of Hybridization Between DNA Sequences Based on Free Energy -- A Poor Man’s Microfluidic DNA Computer -- Two Proteins for the Price of One: The Design of Maximally Compressed Coding Sequences -- Design of Autonomous DNA Cellular Automata -- Use of DNA Nanodevices in Modulating the Mechanical Properties of Polyacrylamide Gels -- Molecular Learning of wDNF Formulae.