DNA walker circuits: computational potential‚ design‚ and verification

DNA walker circuits: computational potential‚ design‚ and verification

Show other versions (1)

Bibliographic Details
Main Authors:	Dannenberg, F, Kwiatkowska, M, Thachuk, C, Turberfield, A
Format:	Conference item
Published:	Springer 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)

Guiding the folding pathway of DNA origami.
by: Dunn, K, et al.
Published: (2015)

Modelling DNA origami self-assembly at the domain level.
by: Dannenberg, F, et al.
Published: (2015)

Computation by origami-templated DNA walkers
by: Boemo, MA
Published: (2016)

Guiding the folding pathway of DNA origami
by: Dunn, KE, et al.
Published: (2015)

Modelling DNA origami self-assembly at the domain level
by: Dannenberg, F, et al.
Published: (2015)

A unidirectional DNA walker that moves autonomously along a track.
by: Yin, P, et al.
Published: (2004)

Optimizing DNA nanotechnology through coarse-grained modeling: a two-footed DNA walker.
by: Ouldridge, T, et al.
Published: (2013)

Reversible logic circuits made of DNA.
by: Genot, A, et al.
Published: (2011)

DNA Walkers for Biosensing Development
by: Lu Song, et al.
Published: (2022-06-01)

Computing Cumulative Rewards using Fast Adaptive Uniformisation
by: Dannenberg, F, et al.
Published: (2013)

Special issue on in-memory computing: Circuits, system, architecture and verification
by: Kamalika Datta, et al.
Published: (2023-10-01)

Simulation and verification for computational modelling of signalling pathways.
by: Kwiatkowska, M, et al.
Published: (2006)

Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion
by: Yin, P, et al.
Published: (2005)

Star trigon structure-aided DNA walker for amplified electrochemical detection of DNA
by: Hua Chai, et al.
Published: (2019-02-01)

Tripod walker /
by: Khor, Peng Lim, 1985- , author, et al.
Published: (2009)

Dandy-Walker malformation in Polish hunting dogs: long term prognosis and quality of life
by: Miloslawa Kwiatkowska, et al.
Published: (2019-01-01)

Synthesis and verification of delf-aware computing systems
by: Calinescu, R, et al.
Published: (2017)

On software verification for sensor nodes
by: Bucur, D, et al.
Published: (2011)

Designing a walker for elderly disabled-person /
by: Wan Faizatul Atiqah Ismayatim, 1986-, et al.
Published: (2009)

The walker in shadows /
by: Michaels, Barbara, 1927-, author
Published: (1979)

Computer oriented circuit design /
by: Magnuson, Waldo G., et al.
Published: (1969)

Synthesis Strategy of Reversible Circuits on DNA Computers
by: Mirna Rofail, et al.
Published: (2021-07-01)

Relational STE and theorem proving for formal verification of industrial circuit designs
by: O'Leary, J, et al.
Published: (2013)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
by: O'Leary, J, et al.
Published: (2013)

Design of autonomous DNA cellular automata
by: Yin, P, et al.
Published: (2006)

Designs of autonomous unidirectional walking DNA devices
by: Yin, P, et al.
Published: (2005)

Computer aided circuit design/
by: 269436 Fidler, J. K., et al.
Published: (1978)

Design and development of a biped walker bot (Iborg) /
by: Wong Wei Jie, 1985- , author, et al.
Published: (2014)

Verification of Building Blocks for Asynchronous Circuits
by: Freek Verbeek, et al.
Published: (2013-04-01)

Safety verification for deep neural networks with provable guarantees
by: Kwiatkowska, M
Published: (2019)

Families of vicious walkers
by: Cardy, J, et al.
Published: (2003)

Chemical reaction network designs for asynchronous logic circuits
by: Cardelli, L, et al.
Published: (2016)

Chemical reaction network designs for asynchronous logic circuits
by: Cardelli, L, et al.
Published: (2017)

Quantitative verification and strategy synthesis of stochastic games
by: Svorenova, M, et al.
Published: (2016)

Design and development of a biped walker bot (Iborg) /
by: Wong Wei Jie, 1999- , author
Published: (2013)