An OR logic gate based on two molecular beacons

Design of elementary molecular logic gates is the key and the fundamental of performing complicated Boolean calculations. Herein, we report a strategy for constructing a DNA-based OR gate by using the mechanism of sequence recognition and the principle of fluorescence resonance energy transfer (FRET). In this system, the gate is entirely composed of a single strand of DNA (A, B and C) and the inputs are the molecular beacon probes (MB1 and MB2). Changes in fluorescence intensity confirm the realization of the OR logic operation and electrophoresis experiments verify these results. Our successful application of DNA to perform the binary operation represents that DNA can serve as an efficient biomaterial for designing molecular logic gates and devices.     

A biomolecular implementation of logically reversible computation with minimal energy dissipation

Energy dissipation associated with logic operations imposes a fundamental physical limit on computation and is generated by the entropic cost of information erasure, which is a consequence of irreversible logic elements. We show how to encode information in DNA and use DNA amplification to implement a logically reversible gate that comprises a complete set of operators capable of universal computation. We also propose a method using this design to connect, or 'wire', these gates together in a biochemical fashion to create a logic network, allowing complex parallel computations to be executed. The architecture of the system permits highly parallel operations and has properties that resemble well known genetic regulatory systems.     

Forward engineering of synthetic bio-logical AND gates

The field of synthetic biology has produced genetic circuits capable of emulating functional paradigms seen in digital electronic circuits. Examples are bistable switches, oscillators, and logic gates. The present work combines detailed mechanistic-kinetic models and stochastic simulation techniques as well as the techniques of in vivo molecular biology to study the potential of a synthetic, single promoter AND gate. This device is composed of elements of the tet, lac, and λ-phage promoters and is responsive to the commonly used inducers IPTG and aTc, producing GFP as an output signal. The quantitative behavior of the AND gate phenotype is studied both in numero and in vivo as a function of promoter topology. The model is constructed from kinetic data obtained from the literature and yields clearly defined ON/OFF logical behavior at realistic inducer concentrations. These behaviors are matched with observed in vivo data obtained through fluorescence-activated cell sorting. The effect of incomplete repression by weaker LacI repressor is also investigated and quantified. The simulation results, coupled with in vivo data, not only identify important design degrees of freedom, but also provide parameters that can be used to guide future synthetic designs using these common regulatory elements.     

Multicellular Computing Using Conjugation for Wiring

Recent efforts in synthetic biology have focussed on the implementation of logical functions within living cells. One aim is to facilitate both internal “re-programming” and external control of cells, with potential applications in a wide range of domains. However, fundamental limitations on the degree to which single cells may be re-engineered have led to a growth of interest in multicellular systems, in which a “computation” is distributed over a number of different cell types, in a manner analogous to modern computer networks. Within this model, individual cell type perform specific sub-tasks, the results of which are then communicated to other cell types for further processing. The manner in which outputs are communicated is therefore of great significance to the overall success of such a scheme. Previous experiments in distributed cellular computation have used global communication schemes, such as quorum sensing (QS), to implement the “wiring” between cell types. While useful, this method lacks specificity, and limits the amount of information that may be transferred at any one time. We propose an alternative scheme, based on specific cell-cell conjugation. This mechanism allows for the direct transfer of genetic information between bacteria, via circular DNA strands known as plasmids. We design a multi-cellular population that is able to compute, in a distributed fashion, a Boolean XOR function. Through this, we describe a general scheme for distributed logic that works by mixing different strains in a single population; this constitutes an important advantage of our novel approach. Importantly, the amount of genetic information exchanged through conjugation is significantly higher than the amount possible through QS-based communication. We provide full computational modelling and simulation results, using deterministic, stochastic and spatially-explicit methods. These simulations explore the behaviour of one possible conjugation-wired cellular computing system under different conditions, and provide baseline information for future laboratory implementations.     

Forward engineering of synthetic bio-logical AND gates

The field of synthetic biology has produced genetic circuits capable of emulating functional paradigms seen in digital electronic circuits. Examples are bistable switches, oscillators, and logic gates. The present work combines detailed mechanistic-kinetic models and stochastic simulation techniques as well as the techniques of in vivo molecular biology to study the potential of a synthetic, single promoter AND gate. This device is composed of elements of the tet, lac, and λ-phage promoters and is responsive to the commonly used inducers IPTG and aTc, producing GFP as an output signal. The quantitative behavior of the AND gate phenotype is studied both in numero and in vivo as a function of promoter topology. The model is constructed from kinetic data obtained from the literature and yields clearly defined ON/OFF logical behavior at realistic inducer concentrations. These behaviors are matched with observed in vivo data obtained through fluorescence-activated cell sorting. The effect of incomplete repression by weaker LacI repressor is also investigated and quantified. The simulation results, coupled with in vivo data, not only identify important design degrees of freedom, but also provide parameters that can be used to guide future synthetic designs using these common regulatory elements.     

Molecular diversity--the toolbox for synthetic gene switches and networks

The rapid development of synthetic biology is a paradigm of how the molecular diversity of naturally occurring gene control components can be used to design synthetic control devices and gene networks that provide precisely programmed transgene expression dynamics in space and time. Here we offer an overview on recent advances in the modular design of trigger-inducible mammalian expression devices that are either responsive by exogenous stimuli such as chemicals and physical cues or controlled by endogenous metabolites driving prosthetic circuits to treat metabolic disorders in a self-sufficient manner. Compatible genetic switches can also be assembled to synthetic gene networks that show highly complex expression dynamics such as temporally resolved band-detect functions or oscillating transgene expression profiles. The ongoing metagenomic discovery and characterization of the unexplored sequence space is constantly increasing the molecular diversity in fundamental control components that fuels the further development of synthetic biology.     

Towards computing with proteins

Can proteins be used as computational devices to address difficult computational problems? In recent years there has been much interest in biological computing, that is, building a general purpose computer from biological molecules. Most of the current efforts are based on DNA because of its ability to self‐hybridize. The exquisite selectivity and specificity of complex protein‐based networks motivated us to suggest that similar principles can be used to devise biological systems that will be able to directly implement any logical circuit as a parallel asynchronous computation. Such devices, powered by ATP molecules, would be able to perform, for medical applications, digital computation with natural interface to biological input conditions. We discuss how to design protein molecules that would serve as the basic computational element by functioning as a NAND logical gate, utilizing DNA tags for recognition, and phosphorylation and exonuclease reactions for information processing. A solution of these elements could carry out effective computation. Finally, the model and its robustness to errors were tested in a computer simulation. Proteins 2006. © 2006 Wiley‐Liss, Inc.     

Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices

Biological systems have evolved efficient sensing and decision‐making mechanisms to maximize fitness in changing molecular environments. Synthetic biologists have exploited these capabilities to engineer control on information and energy processing in living cells. While engineered organisms pose important technological and ethical challenges, de novo assembly of non‐living biomolecular devices could offer promising avenues toward various real‐world applications. However, assembling biochemical parts into functional information processing systems has remained challenging due to extensive multidimensional parameter spaces that must be sampled comprehensively in order to identify robust, specification compliant molecular implementations. We introduce a systematic methodology based on automated computational design and microfluidics enabling the programming of synthetic cell‐like microreactors embedding biochemical logic circuits, or protosensors, to perform accurate biosensing and biocomputing operations in vitro according to temporal logic specifications. We show that proof‐of‐concept protosensors integrating diagnostic algorithms detect specific patterns of biomarkers in human clinical samples. Protosensors may enable novel approaches to medicine and represent a step toward autonomous micromachines capable of precise interfacing of human physiology or other complex biological environments, ecosystems, or industrial bioprocesses.     

Synthetic circuits,devices and modules

The aim of synthetic biology is to design artificial biological systems for novel applications. From an engineering perspective, construction of biological systems of defined functionality in a hierarchical way is fundamental to this emerging field. Here, we highlight some current advances on design of several basic building blocks in synthetic biology including the artificial gene control elements, synthetic circuits and their assemblies into devices and modules. Such engineered basic building blocks largely expand the synthetic toolbox and contribute to our understanding of the underlying design principles of living cells.     

Deoxyribozyme-based three-input logic gates and construction of a molecular full adder

We have developed an array of seven deoxyribozyme-based molecular logic gates that behaves as a full adder in a single solution, with three oligonucleotides as inputs and two independent fluorogenic cleavage reactions as carry and sum outputs. The sum output consisted of four new deoxyribozyme-based logic gates: an ANDAND gate and three ANDNOTANDNOT gates. These gates required the design of a generic three-input deoxyribozyme-based logic gate that can use any three-way combination of activating or inactivating inputs. This generic gate design utilizes an additional inverting element that hybridizes to convert YES logic into NOT logic and vice versa. The system represents the first solution-phase, single test tube, enzymatic full adder and shows the complexity of control over molecular scale events that can be achieved with deoxyribozyme-based logic gates. Similar systems could be applied to control autonomous therapeutic and diagnostic devices.     

Synthetic biology in biofilms: Tools,challenges, and opportunities

The field of synthetic biology seeks to program living cells to perform novel functions with applications ranging from environmental biosensing to smart cell-based therapeutics. Bacteria are an especially attractive chassis organism due to their rapid growth, ease of genetic manipulation, and ability to persist across many environmental niches. Despite significant progress in bacterial synthetic biology, programming bacteria to perform novel functions outside the well-controlled laboratory context remains challenging. In contrast to planktonic laboratory growth, bacteria in nature predominately reside in the context of densely packed communities known as biofilms. While biofilms have historically been considered environmental and biomedical hazards, their physiology and emergent behaviors could be leveraged for synthetic biology to engineer more capable and robust bacteria. Specifically, bacteria within biofilms participate in complex emergent behaviors such as collective organization, cell-to-cell signaling, and division of labor. Understanding and utilizing these properties can enable the effective deployment of engineered bacteria into natural target environments. Toward this goal, this review summarizes the current state of synthetic biology in biofilms by highlighting new molecular tools and remaining biological challenges. Looking to future opportunities, advancing synthetic biology in biofilms will enable the next generation of smart cell-based technologies for use in medicine, biomanufacturing, and environmental remediation.     

Design and analysis of a robust genetic Muller C-element

This paper presents results on the design and analysis of a robust genetic Muller C-element. The Muller C-element is a standard logic gate commonly used to synchronize independent processes in most asynchronous electronic circuits. Synthetic biological logic gates have been previously demonstrated, but there remain many open issues in the design of sequential (state-holding) logic operations. Three designs are considered for the genetic Muller C-element: a majority gate, a toggle switch, and a speed-independent implementation. While the three designs are logically equivalent, each design requires different assumptions to operate correctly. The majority gate design requires the most timing assumptions, the speed-independent design requires the least, and the toggle switch design is a compromise between the two. This paper examines the robustness of these designs as well as the effects of parameter variation using stochastic simulation. The results show that robustness to timing assumptions does not necessarily increase reliability, suggesting that modifications to existing logic design tools are going to be necessary for synthetic biology. Parameter variation simulations yield further insights into the design principles necessary for building robust genetic gates. The results suggest that high gene count, cooperativity of at least two, tight repression, and balanced decay rates are necessary for robust gates. Finally, this paper presents a potential application of the genetic Muller C-element as a quorum-mediated trigger.     

Cell-free protein synthesis: The transition from batch reactions to minimal cells and microfluidic devices

Thanks to the synthetic biology, the laborious and restrictive procedure for producing a target protein in living microorganisms by biotechnological approaches can now experience a robust, pliant yet efficient alternative. The new system combined with lab-on-chip microfluidic devices and nanotechnology offers a tremendous potential envisioning novel cell-free formats such as DNA brushes, hydrogels, vesicular particles, droplets, as well as solid surfaces. Acting as robust microreactors/microcompartments/minimal cells, the new platforms can be tuned to perform various tasks in a parallel and integrated manner encompassing gene expression, protein synthesis, purification, detection, and finally enabling cell-cell signaling to bring a collective cell behavior, such as directing differentiation process, characteristics of higher order entities, and beyond. In this review, we issue an update on recent cell-free protein synthesis (CFPS) formats. Furthermore, the latest advances and applications of CFPS for synthetic biology and biotechnology are highlighted. In the end, contemporary challenges and future opportunities of CFPS systems are discussed.     

Molecular recognition of anions by synthetic receptors

Over the past year, several significant developments have been made in the field of anion binding. The fundamental principles of molecular recognition are increasingly being better understood, and of particular interest are reports of several synthetic anion receptors able to perform their task in complex natural media. Additionally, macroscopic devices such as anion specific electrodes and membranes based on a molecular recognition approach are now being made.     

Customizing cell signaling using engineered genetic logic circuits

Cells live in an ever-changing environment and continuously sense, process and react to environmental signals using their inherent signaling and gene regulatory networks. Recently, there have been great advances on rewiring the native cell signaling and gene networks to program cells to sense multiple noncognate signals and integrate them in a logical manner before initiating a desired response. Here, we summarize the current state-of-the-art of engineering synthetic genetic logic circuits to customize cellular signaling behaviors, and discuss their promising applications in biocomputing, environmental, biotechnological and biomedical areas as well as the remaining challenges in this growing field.     

F2C2: a fast tool for the computation of flux coupling in genome-scale metabolic networks

ABSTRACT: BACKGROUND: Flux coupling analysis (FCA) has become a useful tool in the constraint-based analysis of genome-scale metabolic networks. FCA allows detecting dependencies between reaction fluxes of metabolic networks at steady-state. On the one hand, this can help in the curation of reconstructed metabolic networks by verifying whether the coupling between reactions is in agreement with the experimental findings. On the other hand, FCA can aid in defining intervention strategiesto knock out target reactions. RESULTS: We present a new method F2C2 for FCA, which is orders of magnitude faster than previous approaches. As a consequence, FCA of genome-scale metabolic networks can now be performed in a routine manner. CONCLUSIONS: We propose F2C2 as a fast tool for the computation of flux coupling in genome-scale metabolic networks. F2C2 is freely available for non-commercial use at https://sourceforge.net/projects/f2c2/files/     

Implementation of Complex Biological Logic Circuits Using Spatially Distributed Multicellular Consortia

Engineered synthetic biological devices have been designed to perform a variety of functions from sensing molecules and bioremediation to energy production and biomedicine. Notwithstanding, a major limitation of in vivo circuit implementation is the constraint associated to the use of standard methodologies for circuit design. Thus, future success of these devices depends on obtaining circuits with scalable complexity and reusable parts. Here we show how to build complex computational devices using multicellular consortia and space as key computational elements. This spatial modular design grants scalability since its general architecture is independent of the circuit’s complexity, minimizes wiring requirements and allows component reusability with minimal genetic engineering. The potential use of this approach is demonstrated by implementation of complex logical functions with up to six inputs, thus demonstrating the scalability and flexibility of this method. The potential implications of our results are outlined.     

In-cell NMR for protein-protein interactions (STINT-NMR)

We describe an in-cell NMR-based method for mapping the structural interactions (STINT-NMR) that underlie protein-protein complex formation. This method entails sequentially expressing two (or more) proteins within a single bacterial cell in a time-controlled manner and monitoring their interactions using in-cell NMR spectroscopy. The resulting NMR data provide a complete titration of the interaction and define structural details of the interacting surfaces at atomic resolution. Unlike the case where interacting proteins are simultaneously overexpressed in the labeled medium, in STINT-NMR the spectral complexity is minimized because only the target protein is labeled with NMR-active nuclei, which leaves the interactor protein(s) cryptic. This method can be combined with genetic and molecular screens to provide a structural foundation for proteomic studies. The protocol takes 4 d from the initial transformation of the bacterial cells to the acquisition of the NMR spectra.