Computational design of nucleic acid feedback control circuits
The design of synthetic circuits for controlling molecular-scale processes is an important
goal of synthetic biology, with potential applications in future in vitro and in vivo …
goal of synthetic biology, with potential applications in future in vitro and in vivo …
Compiler-aided systematic construction of large-scale DNA strand displacement circuits using unpurified components
Biochemical circuits made of rationally designed DNA molecules are proofs of concept for
embedding control within complex molecular environments. They hold promise for …
embedding control within complex molecular environments. They hold promise for …
Leakless DNA strand displacement systems
While current experimental demonstrations have been limited to small computational tasks,
DNA strand displacement systems (DSD systems)[25] hold promise for sophisticated …
DNA strand displacement systems (DSD systems)[25] hold promise for sophisticated …
Parallel and scalable computation and spatial dynamics with DNA-based chemical reaction networks on a surface
We propose a theoretical framework that uses a novel DNA strand displacement mechanism
to implement abstract chemical reaction networks (CRNs) on the surface of a DNA …
to implement abstract chemical reaction networks (CRNs) on the surface of a DNA …
A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures
Information technologies enable programmers and engineers to design and synthesize
systems of startling complexity that nonetheless behave as intended. This mastery of …
systems of startling complexity that nonetheless behave as intended. This mastery of …
Comparing chemical reaction networks: A categorical and algorithmic perspective
We study chemical reaction networks (CRNs) as a kernel language for concurrency models
with semantics based on ordinary differential equations. We investigate the problem of …
with semantics based on ordinary differential equations. We investigate the problem of …
Enzyme-Free scalable DNA digital design Techniques: A review
AK George, H Singh - IEEE transactions on nanobioscience, 2016 - ieeexplore.ieee.org
With the recent developments in DNA nanotechnology, DNA has been used as the basic
building block for the design of nanostructures, autonomous molecular motors, various …
building block for the design of nanostructures, autonomous molecular motors, various …
Verifying chemical reaction network implementations: A pathway decomposition approach
The emerging fields of genetic engineering, synthetic biology, DNA computing, DNA
nanotechnology, and molecular programming herald the birth of a new information …
nanotechnology, and molecular programming herald the birth of a new information …
Modular verification of chemical reaction network encodings via serializability analysis
Chemical reaction networks are a powerful means of specifying the intended behavior of
synthetic biochemical systems. A high-level formal specification, expressed as a chemical …
synthetic biochemical systems. A high-level formal specification, expressed as a chemical …
Design of a biochemical circuit motif for learning linear functions
Learning and adaptive behaviour are fundamental biological processes. A key goal in the
field of bioengineering is to develop biochemical circuit architectures with the ability to adapt …
field of bioengineering is to develop biochemical circuit architectures with the ability to adapt …