DNA Walker Circuits: Computational Potential, Design, and Verification
Unlike their traditional, silicon counterparts, DNA computers have natural interfaces with both chemical and biological systems. These can be used for a number of applications, including the precise arrangement of matter at the nanoscale and the creation of smart biosensors. Like silicon circuits, D...
Main Authors: | Dannenberg, F, Kwiatkowska, M, Thachuk, C, Turberfield, A |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2013
|
Similar Items
-
DNA walker circuits: computational potential‚ design‚ and verification
by: Dannenberg, F, et al.
Published: (2013) -
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
by: Barbot, B, et al.
Published: (2015) -
Automated design and verification of localized DNA computation circuits
by: Boemo, M, et al.
Published: (2015) -
The formal language and design principles of autonomous DNA walker circuits
by: Boemo, M, et al.
Published: (2016) -
Modelling and verification for DNA nanotechnology
by: Dannenberg, F
Published: (2016)