The Formal Language and Design Principles of Autonomous DNA Walker Circuits.

Abstract:

:Simple computation 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 how it can be described as a stochastic Petri net. The system can be verified by mapping the Petri net onto a continuous-time Markov chain, which can also be used to find an optimal design for the circuit. This theoretical machinery can be applied to create software that automatically designs a DNA circuit, linking an abstract propositional formula to a physical DNA computation system that is capable of evaluating it. We conclude by introducing example mechanisms that can implement such circuits experimentally and discuss their individual strengths and weaknesses.

journal_name

ACS Synth Biol

journal_title

ACS synthetic biology

authors

Boemo MA,Lucas AE,Turberfield AJ,Cardelli L

doi

10.1021/acssynbio.5b00275

subject

Has Abstract

pub_date

2016-08-19 00:00:00

pages

878-84

issue

8

issn

2161-5063

journal_volume

5

pub_type

杂志文章
  • Toward Synthetic Spatial Patterns in Engineered Cell Populations with Chemotaxis.

    abstract::A major force shaping form and patterns in biology is based in the presence of amplification mechanisms able to generate ordered, large-scale spatial structures out of local interactions and random initial conditions. Turing patterns are one of the best known candidates for such ordering dynamics, and their existence ...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.5b00254

    authors: Duran-Nebreda S,Solé RV

    更新日期:2016-07-15 00:00:00

  • Effects of compartment size on the kinetics of intracompartmental multimeric protein synthesis.

    abstract::The cell contents are encapsulated within a compartment, the volume of which is a fundamental physical parameter that may affect intracompartmental reactions. However, there have been few studies to elucidate whether and how volume changes alone can affect the reaction kinetics. It is difficult to address these questi...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb300041z

    authors: Matsuura T,Hosoda K,Kazuta Y,Ichihashi N,Suzuki H,Yomo T

    更新日期:2012-09-21 00:00:00

  • Biosynthesis of antimycins with a reconstituted 3-formamidosalicylate pharmacophore in Escherichia coli.

    abstract::Antimycins are a family of natural products generated from a hybrid nonribosomal peptide synthetase (NRPS)-polyketide synthase (PKS) assembly line. Although they possess an array of useful biological activities, their structural complexity makes chemical synthesis challenging, and their biosynthesis has thus far been ...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb5003136

    authors: Liu J,Zhu X,Seipke RF,Zhang W

    更新日期:2015-05-15 00:00:00

  • Curli-Mediated Self-Assembly of a Fibrous Protein Scaffold for Hydroxyapatite Mineralization.

    abstract::Nanostructures formed by self-assembled peptides have been increasingly exploited as functional materials for a wide variety of applications, from biotechnology to energy. However, it is sometimes challenging to assemble free short peptides into functional supramolecular structures, since not all peptides have the abi...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.0c00415

    authors: Abdali Z,Aminzare M,Zhu X,DeBenedictis E,Xie O,Keten S,Dorval Courchesne NM

    更新日期:2020-12-18 00:00:00

  • Efficient behavior of photosynthetic organelles via Pareto optimality, identifiability, and sensitivity analysis.

    abstract::In this work, we develop methodologies for analyzing and cross comparing metabolic models. We investigate three important metabolic networks to discuss the complexity of biological organization of organisms, modeling, and system properties. In particular, we analyze these metabolic networks because of their biotechnol...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb300102k

    authors: Carapezza G,Umeton R,Costanza J,Angione C,Stracquadanio G,Papini A,Lió P,Nicosia G

    更新日期:2013-05-17 00:00:00

  • Matching Protein Interfaces for Improved Medium-Chain Fatty Acid Production.

    abstract::Medium-chain fatty acids (MCFAs) are key intermediates in the synthesis of medium-chain chemicals including α-olefins and dicarboxylic acids. In bacteria, microbial production of MCFAs is limited by the activity and product profile of fatty acyl-ACP thioesterases. Here, we engineer a heterologous bacterial medium-chai...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.7b00334

    authors: Sarria S,Bartholow TG,Verga A,Burkart MD,Peralta-Yahya P

    更新日期:2018-05-18 00:00:00

  • Cellular signaling circuits interfaced with synthetic, post-translational, negating Boolean logic devices.

    abstract::A negating functionality is fundamental to information processing of logic circuits within cells and computers. Aiming to adapt unutilized electronic concepts to the interrogation of signaling circuits in cells, we first took a bottom-up strategy whereby we created protein-based devices that perform negating Boolean l...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb500222z

    authors: Razavi S,Su S,Inoue T

    更新日期:2014-09-19 00:00:00

  • Exploring Catalysis Specificity of Phytoene Dehydrogenase CrtI in Carotenoid Synthesis.

    abstract::Carotenoids, a variety of natural products, have significant pharmaceutical and commercial potential. Phytoene dehydrogenase (CrtI) is the rate-limit enzyme for carotenoid synthesis, whose catalysis specificity results in various carotenoids. However, the structural characteristics of CrtI for controlling the catalysi...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.0c00128

    authors: Liang N,Chen C,Wang Y,Ding MZ,Yao MD,Xiao WH,Yuan YJ

    更新日期:2020-07-17 00:00:00

  • BioBlocks: Programming Protocols in Biology Made Easier.

    abstract::The methods to execute biological experiments are evolving. Affordable fluid handling robots and on-demand biology enterprises are making automating entire experiments a reality. Automation offers the benefit of high-throughput experimentation, rapid prototyping, and improved reproducibility of results. However, learn...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.6b00304

    authors: Gupta V,Irimia J,Pau I,Rodríguez-Patón A

    更新日期:2017-07-21 00:00:00

  • An in Vivo Binding Assay for RNA-Binding Proteins Based on Repression of a Reporter Gene.

    abstract::We study translation repression in bacteria by engineering a regulatory circuit that functions as a binding assay for RNA binding proteins (RBP) in vivo. We do so by inducing expression of a fluorescent protein-RBP chimera, together with encoding its binding site at various positions within the ribosomal initiation re...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.8b00378

    authors: Katz N,Cohen R,Solomon O,Kaufmann B,Atar O,Yakhini Z,Goldberg S,Amit R

    更新日期:2018-12-21 00:00:00

  • Exploring the Nonconserved Sequence Space of Synthetic Expression Modules in Bacillus subtilis.

    abstract::Increasing protein expression levels is a key step in the commercial production of enzymes. Predicting promoter activity and translation initiation efficiency based solely on consensus sequences have so far met with mixed results. Here, we addressed this challenge using a "brute-force" approach by designing and synthe...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.8b00110

    authors: Sauer C,Ver Loren van Themaat E,Boender LGM,Groothuis D,Cruz R,Hamoen LW,Harwood CR,van Rij T

    更新日期:2018-07-20 00:00:00

  • Switching Protein Localization by Site-Directed RNA Editing under Control of Light.

    abstract::Site directed RNA editing is an engineered tool for the posttranscriptional manipulation of RNA and proteins. Here, we demonstrate the inclusion of additional N- and C-terminal protein domains in an RNA editing-dependent manner to switch between protein isoforms in mammalian cell culture. By inclusion of localization ...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.7b00113

    authors: Vogel P,Hanswillemenke A,Stafforst T

    更新日期:2017-09-15 00:00:00

  • Heterochiral DNA Strand-Displacement Based on Chimeric d/l-Oligonucleotides.

    abstract::Heterochiral DNA strand-displacement reactions enable sequence-specific interfacing of oligonucleotide enantiomers, making it possible to interface native d-nucleic acids with molecular circuits built using nuclease-resistant l-DNA. To date, all heterochiral reactions have relied on peptide nucleic acid (PNA), which p...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.9b00335

    authors: Young BE,Sczepanski JT

    更新日期:2019-12-20 00:00:00

  • The Experiment Data Depot: A Web-Based Software Tool for Biological Experimental Data Storage, Sharing, and Visualization.

    abstract::Although recent advances in synthetic biology allow us to produce biological designs more efficiently than ever, our ability to predict the end result of these designs is still nascent. Predictive models require large amounts of high-quality data to be parametrized and tested, which are not generally available. Here, ...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.7b00204

    authors: Morrell WC,Birkel GW,Forrer M,Lopez T,Backman TWH,Dussault M,Petzold CJ,Baidoo EEK,Costello Z,Ando D,Alonso-Gutierrez J,George KW,Mukhopadhyay A,Vaino I,Keasling JD,Adams PD,Hillson NJ,Garcia Martin H

    更新日期:2017-12-15 00:00:00

  • Merlin: Computer-Aided Oligonucleotide Design for Large Scale Genome Engineering with MAGE.

    abstract::Genome engineering technologies now enable precise manipulation of organism genotype, but can be limited in scalability by their design requirements. Here we describe Merlin ( http://merlincad.org ), an open-source web-based tool to assist biologists in designing experiments using multiplex automated genome engineerin...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.5b00219

    authors: Quintin M,Ma NJ,Ahmed S,Bhatia S,Lewis A,Isaacs FJ,Densmore D

    更新日期:2016-06-17 00:00:00

  • Combinatory Biosynthesis of Prenylated 4-Hydroxybenzoate Derivatives by Overexpression of the Substrate-Promiscuous Prenyltransferase XimB in Engineered E. coli.

    abstract::Prenylated aromatic compounds are important intermediates in the biosynthesis of bioactive molecules such as 3-chromanols from plants, ubiquinones from prokaryotes and meroterpenoids from sponges. Biosynthesis of prenylated aromatic compounds using prokaryotic microorganisms has attracted increasing attention in the f...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.8b00070

    authors: He BB,Bu XL,Zhou T,Li SM,Xu MJ,Xu J

    更新日期:2018-09-21 00:00:00

  • Systematic Identification of a Panel of Strong Constitutive Promoters from Streptomyces albus.

    abstract::Actinomycetes are important organisms for the biosynthesis of valuable natural products. However, only a limited number of well-characterized native constitutive promoters from actinomycetes are available for the construction and engineering of large biochemical pathways. Here, we report the discovery and characteriza...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.5b00016

    authors: Luo Y,Zhang L,Barton KW,Zhao H

    更新日期:2015-09-18 00:00:00

  • In Vivo Gene Expression Dynamics of Tumor-Targeted Bacteria.

    abstract::The engineering of bacteria to controllably deliver therapeutics is an attractive application for synthetic biology. While most synthetic gene networks have been explored within microbes, there is a need for further characterization of in vivo circuit behavior in the context of applications where the host microbes are...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb3000639

    authors: Danino T,Lo J,Prindle A,Hasty J,Bhatia SN

    更新日期:2012-10-19 00:00:00

  • A Lambda Red and FLP/FRT-Mediated Site-Specific Recombination System in Komagataeibacter xylinus and Its Application to Enhance the Productivity of Bacterial Cellulose.

    abstract::Komagataeibacter xylinus has received increasing attention as an important microorganism for the conversion of several carbon sources to bacterial cellulose (BC). However, BC productivity has been impeded by the lack of efficient genetic engineering techniques. In this study, a lambda Red and FLP/FRT-mediated site-spe...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.0c00450

    authors: Liu LP,Yang X,Zhao XJ,Zhang KY,Li WC,Xie YY,Jia SR,Zhong C

    更新日期:2020-11-20 00:00:00

  • CRISPR-Cas9 Based Engineering of Actinomycetal Genomes.

    abstract::Bacteria of the order Actinomycetales are one of the most important sources of pharmacologically active and industrially relevant secondary metabolites. Unfortunately, many of them are still recalcitrant to genetic manipulation, which is a bottleneck for systematic metabolic engineering. To facilitate the genetic mani...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.5b00038

    authors: Tong Y,Charusanti P,Zhang L,Weber T,Lee SY

    更新日期:2015-09-18 00:00:00

  • Structural Characterization of a Synthetic Tandem-Domain Bacterial Microcompartment Shell Protein Capable of Forming Icosahedral Shell Assemblies.

    abstract::Bacterial microcompartments are subcellular compartments found in many prokaryotes; they consist of a protein shell that encapsulates enzymes that perform a variety of functions. The shell protects the cell from potentially toxic intermediates and colocalizes enzymes for higher efficiency. Accordingly, it is of consid...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.9b00011

    authors: Sutter M,McGuire S,Ferlez B,Kerfeld CA

    更新日期:2019-04-19 00:00:00

  • Rational design of Escherichia coli for L-isoleucine production.

    abstract::Metabolic engineering of Escherichia coli was performed to construct a 100% rationally engineered strain capable of overproducing L-isoleucine, an important branched-chain amino acid. The thrABC (encoding L-threonine biosynthetic enzymes), ilvA (encoding feedback-resistant threonine dehydratase), ilvIH (encoding feedb...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb300071a

    authors: Park JH,Oh JE,Lee KH,Kim JY,Lee SY

    更新日期:2012-11-16 00:00:00

  • Active Analyte Import Improves the Dynamic Range and Sensitivity of a Vitamin B12 Biosensor.

    abstract::Cell-free systems provide a versatile platform for the development of low-cost, easy-to-use sensors for diverse analytes. However, sensor affinity dictates response sensitivity, and improving binding affinity can be challenging. Here, we describe efforts to address this problem while developing a biosensor for vitamin...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.9b00429

    authors: McNerney MP,Piorino F,Michel CL,Styczynski MP

    更新日期:2020-02-21 00:00:00

  • The spinach RNA aptamer as a characterization tool for synthetic biology.

    abstract::Characterization of genetic control elements is essential for the predictable engineering of synthetic biology systems. The current standard for in vivo characterization of control elements is through the use of fluorescent reporter proteins such as green fluorescent protein (GFP). Gene expression, however, involves n...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb400089c

    authors: Pothoulakis G,Ceroni F,Reeve B,Ellis T

    更新日期:2014-03-21 00:00:00

  • An Orthogonal Multi-input Integration System to Control Gene Expression in Escherichia coli.

    abstract::In many biotechnological applications, it is useful for gene expression to be regulated by multiple signals, as this allows the programming of complex behavior. Here we implement, in Escherichia coli, a system that compares the concentration of two signal molecules, and tunes GFP expression proportionally to their rel...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.7b00109

    authors: Annunziata F,Matyjaszkiewicz A,Fiore G,Grierson CS,Marucci L,di Bernardo M,Savery NJ

    更新日期:2017-10-20 00:00:00

  • Intracellular Noise Level Determines Ratio Control Strategy Confined by Speed-Accuracy Trade-off.

    abstract::Robust and precise ratio control of heterogeneous phenotypes within an isogenic population is an essential task, especially in the development and differentiation of a large number of cells such as bacteria, sensory receptors, and blood cells. However, the mechanisms of such ratio control are poorly understood. Here, ...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.9b00030

    authors: Menn D,Sochor P,Goetz H,Tian XJ,Wang X

    更新日期:2019-06-21 00:00:00

  • Reconstituted biosynthesis of the nonribosomal macrolactone antibiotic valinomycin in Escherichia coli.

    abstract::The structural complexity of nonribosomal peptides (NRPs) impeding economic chemical synthesis and poor cultivability of source organisms limits the development of bioprocesses for novel bioactive compounds. Since nonribosomal peptide synthetases (NRPSs) assemble NRPs from simple amino acid building blocks, heterologo...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb400082j

    authors: Jaitzig J,Li J,Süssmuth RD,Neubauer P

    更新日期:2014-07-18 00:00:00

  • Visualization of evolutionary stability dynamics and competitive fitness of Escherichia coli engineered with randomized multigene circuits.

    abstract::Strain engineering for synthetic biology and metabolic engineering applications often requires the expression of foreign proteins that can reduce cellular fitness. In order to quantify and visualize the evolutionary stability dynamics in engineered populations of Escherichia coli , we constructed randomized CMY (cyan-...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/sb400055h

    authors: Sleight SC,Sauro HM

    更新日期:2013-09-20 00:00:00

  • Identification of Novel Cryptic Multifunctional Antimicrobial Peptides from the Human Stomach Enabled by a Computational-Experimental Platform.

    abstract::Novel approaches are needed to combat antibiotic resistance. Here, we describe a computational-experimental framework for the discovery of novel cryptic antimicrobial peptides (AMPs). The computational platform, based on previously validated antimicrobial scoring functions, indicated the activation peptide of pepsin A...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.8b00084

    authors: Pane K,Cafaro V,Avitabile A,Torres MT,Vollaro A,De Gregorio E,Catania MR,Di Maro A,Bosso A,Gallo G,Zanfardino A,Varcamonti M,Pizzo E,Di Donato A,Lu TK,de la Fuente-Nunez C,Notomista E

    更新日期:2018-09-21 00:00:00

  • Engineered Photoactivatable Genetic Switches Based on the Bacterium Phage T7 RNA Polymerase.

    abstract::Genetic switches in which the activity of T7 RNA polymerase (RNAP) is directly regulated by external signals are obtained with an engineering strategy of splitting the protein into fragments and using regulatory domains to modulate their reconstitutions. Robust switchable systems with excellent dark-off/light-on prope...

    journal_title:ACS synthetic biology

    pub_type: 杂志文章

    doi:10.1021/acssynbio.6b00248

    authors: Han T,Chen Q,Liu H

    更新日期:2017-02-17 00:00:00