Automated design and verification of localized DNA computation circuits
Simple computations can be performed using the interactions between single-stranded molecules of DNA. These interactions are typically toehold-mediated strand displacement reactions in a well-mixed solution. We demonstrate that a DNA circuit with tethered reactants is a distributed system and show h...
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Conference item |
Published: |
Springer International Publishing Switzerland
2015
|