Two-domain DNA strand displacement

  title={Two-domain DNA strand displacement},
  author={Luca Cardelli},
  journal={Mathematical Structures in Computer Science},
  pages={247 - 271}
  • L. Cardelli
  • Published 7 June 2010
  • Physics
  • Mathematical Structures in Computer Science
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand. To preserve this structural invariant, we impose restrictions on the single strands they interact with: we consider only two-domain single strands consisting of one toehold domain and one recognition domain. We study fork and join signal processing gates based on these structures, and show that these systems are… 

Logic Operation Model of the Complementer Based on Two-domain DNA Strand Displacement

DNA strand replacement technology has the advantages of simple operation which makes it becomes a common method of DNA computing. A four bit binary number Complementer based on two-domain DNA strand

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis

Modular correctness proofs for strand displacement encodings of chemical reaction networks are developed and shown how they may be applied to two-domain strand displacement systems.

Logic Calculation Based on Two-Domain DNA Strand Displacement

A calculation model of the basic logic unit based on two-domain DNA strand displacement and logical relation, including AND, OR logic gates is designed, which is used to construct a converter of a four-bit binary into BCD code.

A Coupled Reconfiguration Mechanism for Single-Stranded DNA Strand Displacement Systems

DNA Strand Displacement (DSD) systems model basic reaction rules, such as toehold-mediated strand displacement and 4-way branch migration, that modify complexes of bound DNA strands. DSD systems have

Leakless DNA Strand Displacement Systems

This work has identified sources of leak pathways in typical existing DSD schemes that rely on toehold sequestration and are susceptible to toeless strand displacement and proposes a simple, domain-level motif for the design of leak-resistant DSD systems.

Integrating DNA strand-displacement circuitry with DNA tile self-assembly

This work demonstrates the triggered and catalytic isothermal self-assembly of DNA nanotubes over 10 μm long from precursor DNA double-crossover tiles activated by an upstream DNA catalyst network.

On the biophysics and kinetics of toehold-mediated DNA strand displacement

This work study strand displacement at multiple levels of detail, using an intuitive model of a random walk on a 1D energy landscape, a secondary structure kinetics model with single base-pair steps and a coarse-grained molecular model that incorporates 3D geometric and steric effects to provide a biophysical explanation of strand displacement kinetics.

A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures

This work builds on prior practice to provide a new formalization of ‘domain-level’ representations of DNA strand displacement systems that has a natural connection to nucleic acid biophysics while still being suitable for formal analysis.

Dynamic DNA nanotechnology using strand-displacement reactions.

Here, this work reviews DNA strand-displacement-based devices, and looks at how this relatively simple mechanism can lead to a surprising diversity of dynamic behaviour.

Principles and Applications of Nucleic Acid Strand Displacement Reactions.

The enormous progress of dynamic DNA nanotechnology over the past years seems poised for practical application, with toehold-mediated strand displacement reactions used with ever increasing sophistication.



Control of DNA strand displacement kinetics using toehold exchange.

This work improves the understanding of the kinetics of nucleic acid reactions and will be useful in the rational design of dynamic DNA and RNA circuits and nanodevices.

DNA hairpins: fuel for autonomous DNA devices.

A study of the hybridization of complementary DNA hairpin loops, with particular reference to their use as fuel for autonomous DNA devices, finds loop opening via an external toehold to be 10-100 times faster than via an internal toehold.

Dynamic DNA nanotechnology using strand-displacement reactions.

Here, this work reviews DNA strand-displacement-based devices, and looks at how this relatively simple mechanism can lead to a surprising diversity of dynamic behaviour.

A simple DNA gate motif for synthesizing large-scale circuits

A simple DNA gate architecture that appears suitable for practical synthesis of large-scale circuits involving possibly thousands of gates is proposed.

Using DNA to Power Nanostructures

  • B. YurkeA. Mills
  • Biology, Chemistry
    Genetic Programming and Evolvable Machines
  • 2004
The emphasis will be on the operation of toeholds, single-stranded sections of DNA that facilitate the process of strand removal during certain points in the operationof a DNA-based motor.

A programming language for composable DNA circuits

A programming language for designing and simulating DNA circuits in which strand displacement is the main computational mechanism and includes basic elements of sequence domains, toeholds and branch migration, and assumes that strands do not possess any secondary structure is presented.

Dynamic DNA strand displacement circuits

The works presented in this thesis were designed using only non-covalent changes to nucleic acid complexes and structures via Watson-Crick base pairing--i.e. hybridization, branch migration, and dissociation, which are sufficient to construct an endless variety of circuits and devices.

Cooperative hybridization of oligonucleotides.

  • D. Y. Zhang
  • Biology
    Journal of the American Chemical Society
  • 2011
Cooperative hybridization is introduced as a mechanism in which two oligonucleotides of independent sequence can stoichiometrically, simultaneously, and cooperatively hybridize to a DNA complex, shown to implement digital concentration comparison with amplification, as well as digital Boolean logic.

Design and Analysis of DNA Circuits using Probabilistic Model Checking

This work uses the probabilistic model checker PRISM, in combination with DSD, to detect and fix an error in a simple strand displacement program, and to analyse the kinetics of the system.

Programmable and autonomous computing machine made of biomolecules

A programmable finite automaton comprising DNA and DNA-manipulating enzymes that solves computational problems autonomously and has a transition fidelity greater than 99.8%.