DNA computing : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005 ; revised selected papers / Alessandra Carbone, Niles A. Pierce (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 3892.Publication details: Berlin ; New York : Springer, ©2006.Description: 1 online resource (xi, 440 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783540341659
- 354034165X
- 3540341617
- 9783540341611
- DNA11
- Molecular computers -- Congresses
- Ordinateurs moléculaires -- Congrès
- Informatique
- Molecular computers
- algoritmen
- algorithms
- computeranalyse
- computer analysis
- bioinformatics
- computertechnieken
- computer techniques
- computerwetenschappen
- computer sciences
- kunstmatige intelligentie
- artificial intelligence
- computational science
- levenswetenschappen
- life sciences
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 511.3 22
- QA76.887 .I58 2005
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
" ..., the 11th International Meeting on DNA Computing was held June 6-9, 2005 at the University ofWestern Ontario in London, Ontario, Canada
Print version record.
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.