A reconfigurable NAND/NOR genetic logic gate

LowTempGAL: a highly responsive low temperature-inducible GAL system in Saccharomyces cerevisiae

Temperature is an important control factor for biologics biomanufacturing in precision fermentation. Here, we explored a highly responsive low temperature-inducible genetic system (LowTempGAL) in the model yeast Saccharomyces cerevisiae. Two temperature biosensors, a heat-inducible degron and a heat-inducible protein aggregation domain, were used to regulate the GAL activator Gal4p, rendering the leaky LowTempGAL systems. Boolean-type induction was achieved by implementing a second-layer control through low-temperature-mediated repression on GAL repressor gene GAL80, but suffered delayed response to low-temperature triggers and a weak response at 30°C. Application potentials were validated for protein and small molecule production. Proteomics analysis suggested that residual Gal80p and Gal4p insufficiency caused suboptimal induction. 'Turbo' mechanisms were engineered through incorporating a basal Gal4p expression and a galactose-independent Gal80p-supressing Gal3p mutant (Gal3Cp). Varying Gal3Cp configurations, we deployed the LowTempGAL systems capable for a rapid stringent high-level induction upon the shift from a high temperature (37-33°C) to a low temperature (≤30°C). Overall, we present a synthetic biology procedure that leverages 'leaky' biosensors to deploy highly responsive Boolean-type genetic circuits. The key lies in optimisation of the intricate layout of the multi-factor system. The LowTempGAL systems may be applicable in non-conventional yeast platforms for precision biomanufacturing.

Establishing Tunable Genetic Logic Gates with Versatile Dynamic Performance by Varying Regulatory Parameters

Genetic logic gates can be employed in metabolic engineering and synthetic biology to regulate gene expression based on diverse inputs. Design of tunable genetic logic gates with versatile dynamic performance is essential for expanding the usability of these toolsets. Here, using the p-coumaric acid biosensor system as a proof-of-concept, we initially investigated the parameters influencing the buffer (BUF) genetic logic gates. Subsequently, integrating binding sequences from the p-coumaric acid biosensor system and tetR or lacI regulation systems into a constitutive promoter yielded AND genetic logic gates. Additionally, characterized antisense RNAs (asRNAs) or single guide RNAs (sgRNAs) with various repression efficiencies were combined with BUF gates to construct a suite of p-coumaric acid-triggered NOT genetic logic gates. Finally, the designed BUF and NOT gates were combined to construct bifunctional genetic circuits that were subjected to orthogonality evaluation. The genetic logic gates established in this study can serve as valuable tools in future applications of metabolic engineering and synthetic biology.

Implementing re-configurable biological computation with distributed multicellular consortia

The use of synthetic biological circuits to deal with numerous biological challenges has been proposed in several studies, but its implementation is still remote. A major problem encountered is the complexity of the cellular engineering needed to achieve complex biological circuits and the lack of general-purpose biological systems. The generation of re-programmable circuits can increase circuit flexibility and the scalability of complex cell-based computing devices. Here we present a new architecture to produce reprogrammable biological circuits that allow the development of a variety of different functions with minimal cell engineering. We demonstrate the feasibility of creating several circuits using only a small set of engineered cells, which can be externally reprogrammed to implement simple logics in response to specific inputs. In this regard, depending on the computation needs, a device composed of a number of defined cells can generate a variety of circuits without the need of further cell engineering or rearrangements. In addition, the inclusion of a memory module in the circuits strongly improved the digital response of the devices. The reprogrammability of biological circuits is an intrinsic capacity that is not provided in electronics and it may be used as a tool to solve complex biological problems.

Recent Advances in Metal−Oxide Thin−Film Transistors: Flexible/Stretchable Devices, Integrated Circuits, Biosensors and Neuromorphic Applications

Thin−film transistors using metal oxides have been investigated extensively because of their high transparency, large area, and mass production of metal oxide semiconductors. Compatibility with conventional semiconductor processes, such as photolithography of the metal oxide offers the possibility to develop integrated circuits on a larger scale. In addition, combinations with other materials have enabled the development of sensor applications or neuromorphic devices in recent years. Here, this paper provides a timely overview of metal−oxide−based thin−film transistors focusing on emerging applications, including flexible/stretchable devices, integrated circuits, biosensors, and neuromorphic devices. This overview also revisits recent efforts on metal oxide−based thin−film transistors developed with high compatibility for integration to newly reported applications.

Toward synthetic life: Biomimetic synthetic cell communication

Engineering synthetic minimal cells provide a controllable chassis for studying the biochemical principles of natural life, increasing our understanding of complex biological processes. Recently, synthetic cell engineering has enabled communication between both natural live cells and other synthetic cells. A system such as these enable studying interactions between populations of cells, both natural and artificial, and engineering small molecule cell communication protocols for a variety of basic research and practical applications. In this review, we summarize recent progress in engineering communication between synthetic and natural cells, and we speculate about the possible future directions of this work.

Contextual dependencies expand the re-usability of genetic inverters

The implementation of Boolean logic circuits in cells have become a very active field within synthetic biology. Although these are mostly focussed on the genetic components alone, the context in which the circuit performs is crucial for its outcome. We characterise 20 genetic NOT logic gates in up to 7 bacterial-based contexts each, to generate 135 different functions. The contexts we focus on are combinations of four plasmid backbones and three hosts, two Escherichia coli and one Pseudomonas putida strains. Each gate shows seven different dynamic behaviours, depending on the context. That is, gates can be fine-tuned by changing only contextual parameters, thus improving the compatibility between gates. Finally, we analyse portability by measuring, scoring, and comparing gate performance across contexts. Rather than being a limitation, we argue that the effect of the genetic background on synthetic constructs expands functionality, and advocate for considering context as a fundamental design parameter.

Synthetic Biology Approaches in The Development of Engineered Therapeutic Microbes

Since the intimate relationship between microbes and human health has been uncovered, microbes have been in the spotlight as therapeutic targets for several diseases. Microbes contribute to a wide range of diseases, such as gastrointestinal disorders, diabetes and cancer. However, as host-microbiome interactions have not been fully elucidated, treatments such as probiotic administration and fecal transplantations that are used to modulate the microbial community often cause nonspecific results with serious safety concerns. As an alternative, synthetic biology can be used to rewire microbial networks such that the microbes can function as therapeutic agents. Genetic sensors can be transformed to detect biomarkers associated with disease occurrence and progression. Moreover, microbes can be reprogrammed to produce various therapeutic molecules from the host and bacterial proteins, such as cytokines, enzymes and signaling molecules, in response to a disturbed physiological state of the host. These therapeutic treatment systems are composed of several genetic parts, either identified in bacterial endogenous regulation systems or developed through synthetic design. Such genetic components are connected to form complex genetic logic circuits for sophisticated therapy. In this review, we discussed the synthetic biology strategies that can be used to construct engineered therapeutic microbes for improved microbiome-based treatment.

Engineered signal-coupled inducible promoters: measuring the apparent RNA-polymerase resource budget

Inducible promoters are a central regulatory component in synthetic biology, metabolic engineering, and protein production for laboratory and commercial uses. Many of these applications utilize two or more exogenous promoters, imposing a currently unquantifiable metabolic burden on the living system. Here, we engineered a collection of inducible promoters (regulated by LacI-based transcription factors) that maximize the free-state of endogenous RNA polymerase (RNAP). We leveraged this collection of inducible promotors to construct simple two-channel logical controls that enabled us to measure metabolic burden – as it relates to RNAP resource partitioning. The two-channel genetic circuits utilized sets of signal-coupled transcription factors that regulate cognate inducible promoters in a coordinated logical fashion. With this fundamental genetic architecture, we evaluated the performance of each inducible promoter as discrete operations, and as coupled systems to evaluate and quantify the effects of resource partitioning. Obtaining the ability to systematically and accurately measure the apparent RNA-polymerase resource budget will enable researchers to design more robust genetic circuits, with significantly higher fidelity. Moreover, this study presents a workflow that can be used to better understand how living systems adapt RNAP resources, via the complementary pairing of constitutive and regulated promoters that vary in strength.

Modelling co-translational dimerization for programmable nonlinearity in synthetic biology

Nonlinearity plays a fundamental role in the performance of both natural and synthetic biological networks. Key functional motifs in living microbial systems, such as the emergence of bistability or oscillations, rely on nonlinear molecular dynamics. Despite its core importance, the rational design of nonlinearity remains an unmet challenge. This is largely due to a lack of mathematical modelling that accounts for the mechanistic basis of nonlinearity. We introduce a model for gene regulatory circuits that explicitly simulates protein dimerization-a well-known source of nonlinear dynamics. Specifically, our approach focuses on modelling co-translational dimerization: the formation of protein dimers during-and not after-translation. This is in contrast to the prevailing assumption that dimer generation is only viable between freely diffusing monomers (i.e. post-translational dimerization). We provide a method for fine-tuning nonlinearity on demand by balancing the impact of co- versus post-translational dimerization. Furthermore, we suggest design rules, such as protein length or physical separation between genes, that may be used to adjust dimerization dynamics in vivo. The design, build and test of genetic circuits with on-demand nonlinear dynamics will greatly improve the programmability of synthetic biological systems.

From Microbial Communities to Distributed Computing Systems

A distributed biological system can be defined as a system whose components are located in different subpopulations, which communicate and coordinate their actions through interpopulation messages and interactions. We see that distributed systems are pervasive in nature, performing computation across all scales, from microbial communities to a flock of birds. We often observe that information processing within communities exhibits a complexity far greater than any single organism. Synthetic biology is an area of research which aims to design and build synthetic biological machines from biological parts to perform a defined function, in a manner similar to the engineering disciplines. However, the field has reached a bottleneck in the complexity of the genetic networks that we can implement using monocultures, facing constraints from metabolic burden and genetic interference. This makes building distributed biological systems an attractive prospect for synthetic biology that would alleviate these constraints and allow us to expand the applications of our systems into areas including complex biosensing and diagnostic tools, bioprocess control and the monitoring of industrial processes. In this review we will discuss the fundamental limitations we face when engineering functionality with a monoculture, and the key areas where distributed systems can provide an advantage. We cite evidence from natural systems that support arguments in favor of distributed systems to overcome the limitations of monocultures. Following this we conduct a comprehensive overview of the synthetic communities that have been built to date, and the components that have been used. The potential computational capabilities of communities are discussed, along with some of the applications that these will be useful for. We discuss some of the challenges with building co-cultures, including the problem of competitive exclusion and maintenance of desired community composition. Finally, we assess computational frameworks currently available to aide in the design of microbial communities and identify areas where we lack the necessary tools.

Design and evaluation of biological gate circuits and their therapeutic applications in a model of multidrug resistant cancers

OBJECTIVES

Synthetic biology is primarily an emerging research field that consists of designing new synthetic gene circuits dedicated to targeted functions and therapies such as cancer therapy. In this study, a genetic logic NOT-IF gate is used to reduce the multidrug resistance and facilitate the malignant cancer therapy. MCF7 cancer cells were cultured in RPMI-1640 medium and transfected with lentiviral vectors including MDR1 gene and the corresponding shRNA against MDR1 with controllable promoters. Transcript levels and protein levels of MDR1 gene were quantified.

RESULTS

Our results showed that when doxycycline (DOX) and sodium butyrate were present and IPTG was absent, these led to a 74,354-fold increase in MDR1 gene expression. Upon IPTG treatment, the MDR1 gene expression was not detected due to the lack of the inducer. In addition, following IPTG induction in the presence of DOX and sodium butyrate and expressing shRNA, there was a 75% reduction in MDR1 gene expression compared to those cells treated only with sodium butyrate and DOX.

CONCLUSIONS

We successfully designed and implemented the genetic logic NOT-IF gate at the transcriptional level using the inducible expression of both MDR1 drug resistance pump and its specific shRNA in MCF7 cancer cells, using the third generation lentiviral vectors.

Modeling somatic computation with non-neural bioelectric networks

The field of basal cognition seeks to understand how adaptive, context-specific behavior occurs in non-neural biological systems. Embryogenesis and regeneration require plasticity in many tissue types to achieve structural and functional goals in diverse circumstances. Thus, advances in both evolutionary cell biology and regenerative medicine require an understanding of how non-neural tissues could process information. Neurons evolved from ancient cell types that used bioelectric signaling to perform computation. However, it has not been shown whether or how non-neural bioelectric cell networks can support computation. We generalize connectionist methods to non-neural tissue architectures, showing that a minimal non-neural Bio-Electric Network (BEN) model that utilizes the general principles of bioelectricity (electrodiffusion and gating) can compute. We characterize BEN behaviors ranging from elementary logic gates to pattern detectors, using both fixed and transient inputs to recapitulate various biological scenarios. We characterize the mechanisms of such networks using dynamical-systems and information-theory tools, demonstrating that logic can manifest in bidirectional, continuous, and relatively slow bioelectrical systems, complementing conventional neural-centric architectures. Our results reveal a variety of non-neural decision-making processes as manifestations of general cellular biophysical mechanisms and suggest novel bioengineering approaches to construct functional tissues for regenerative medicine and synthetic biology as well as new machine learning architectures.

Pathways to cellular supremacy in biocomputing

Synthetic biology uses living cells as the substrate for performing human-defined computations. Many current implementations of cellular computing are based on the “genetic circuit” metaphor, an approximation of the operation of silicon-based computers. Although this conceptual mapping has been relatively successful, we argue that it fundamentally limits the types of computation that may be engineered inside the cell, and fails to exploit the rich and diverse functionality available in natural living systems. We propose the notion of “cellular supremacy” to focus attention on domains in which biocomputing might offer superior performance over traditional computers. We consider potential pathways toward cellular supremacy, and suggest application areas in which it may be found.

Synthetic biology uses cells as its computing substrate, often based on the genetic circuit concept. In this Perspective, the authors argue that existing synthetic biology approaches based on classical models of computation limit the potential of biocomputing, and propose that living organisms have under-exploited capabilities.

A Model for the Spatiotemporal Design of Gene Regulatory Circuits †

Mathematical modeling assists the design of synthetic regulatory networks by providing a detailed mechanistic understanding of biological systems. Models that can predict the performance of a design are fundamental for synthetic biology since they minimize iterations along the design-build-test lifecycle. Such predictability depends crucially on what assumptions (i.e., biological simplifications) the model considers. Here, we challenge a common assumption when it comes to the modeling of bacterial-based gene regulation: considering negligible the effects of intracellular physical space. It is commonly assumed that molecules, such as transcription factors (TF), are homogeneously distributed inside a cell, so there is no need to model their diffusion. We describe a mathematical model that accounts for molecular diffusion and show how simulations of network performance are decisively affected by the distance between its components. Specifically, the model focuses on the search by a TF for its target promoter. The combination of local searches, via one-dimensional sliding along the chromosome, and global searches, via three-dimensional diffusion through the cytoplasm, determine TF-promoter interplay. Previous experimental results with engineered bacteria in which the distance between TF source and target was minimized or enlarged were successfully reproduced by the spatially resolved model we introduce here. This suggests that the spatial specification of the circuit alone can be exploited as a design parameter in synthetic biology to select programmable output levels.

Dynamical Task Switching in Cellular Computers

We present a scheme for implementing a version of task switching in engineered bacteria, based on the manipulation of plasmid copy numbers. Our method allows for the embedding of multiple computations in a cellular population, whilst minimising resource usage inefficiency. We describe the results of computational simulations of our model, and discuss the potential for future work in this area.

A novel optogenetically tunable frequency modulating oscillator

Synthetic biology has enabled the creation of biological reconfigurable circuits, which perform multiple functions monopolizing a single biological machine; Such a system can switch between different behaviours in response to environmental cues. Previous work has demonstrated switchable dynamical behaviour employing reconfigurable logic gate genetic networks. Here we describe a computational framework for reconfigurable circuits in E.coli using combinations of logic gates, and also propose the biological implementation. The proposed system is an oscillator that can exhibit tunability of frequency and amplitude of oscillations. Further, the frequency of operation can be changed optogenetically. Insilico analysis revealed that two-component light systems, in response to light within a frequency range, can be used for modulating the frequency of the oscillator or stopping the oscillations altogether. Computational modelling reveals that mixing two colonies of E.coli oscillating at different frequencies generates spatial beat patterns. Further, we show that these oscillations more robustly respond to input perturbations compared to the base oscillator, to which the proposed oscillator is a modification. Compared to the base oscillator, the proposed system shows faster synchronization in a colony of cells for a larger region of the parameter space. Additionally, the proposed oscillator also exhibits lesser synchronization error in the transient period after input perturbations. This provides a strong basis for the construction of synthetic reconfigurable circuits in bacteria and other organisms, which can be scaled up to perform functions in the field of time dependent drug delivery with tunable dosages, and sets the stage for further development of circuits with synchronized population level behaviour.

Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities

In this brief, we consider the problem of finding a probabilistic Boolean network (PBN) based on a network structure and desired steady-state properties. In systems biology and synthetic biology, such problems are important as an inverse problem. Using a matrix-based representation of PBNs, a solution method for this problem is proposed. The problem of finding a BN has been studied so far. In the problem of finding a PBN, we must calculate not only the Boolean functions, but also the probabilities of selecting a Boolean function and the number of candidates of the Boolean functions. Hence, the problem of finding a PBN is more difficult than that of finding a BN. The effectiveness of the proposed method is presented by numerical examples.

Deconvolution of Gene Expression Noise into Spatial Dynamics of Transcription Factor-Promoter Interplay

Gene expression noise is not only the mere consequence of stochasticity, but also a signal that reflects the upstream physical dynamics of the cognate molecular machinery. Soil bacteria facing recalcitrant pollutants exploit noise of catabolic promoters to deploy beneficial phenotypes such as metabolic bet-hedging and/or division of biochemical labor. Although the role of upstream promoter-regulator interplay in the origin of this noise is little understood, its specifications are probably ciphered in flow cytometry data patterns. We studied Pm promoter activity of the environmental bacterium Pseudomonas putida and its cognate regulator XylS by following expression of Pm-gfp fusions in single cells. Using mathematical modeling and computational simulations, we determined the kinetic properties of the system and used them as a baseline code to interpret promoter activity in terms of upstream regulator dynamics. Transcriptional noise was predicted to depend on the intracellular physical distance between regulator source (where XylS is produced) and the target promoter. Experiments with engineered bacteria in which this distance is minimized or enlarged confirmed the predicted effects of source/target proximity on noise patterns. This approach allowed deconvolution of cytometry data into mechanistic information on gene expression flow. It also provided a basis for selecting programmable noise levels in synthetic regulatory circuits.

Applying differential dynamic logic to reconfigurable biological networks

Qualitative and quantitative modeling frameworks are widely used for analysis of biological regulatory networks, the former giving a preliminary overview of the system's global dynamics and the latter providing more detailed solutions. Another approach is to model biological regulatory networks as hybrid systems, i.e., systems which can display both continuous and discrete dynamic behaviors. Actually, the development of synthetic biology has shown that this is a suitable way to think about biological systems, which can often be constructed as networks with discrete controllers, and present hybrid behaviors. In this paper we discuss this approach as a special case of the reconfigurability paradigm, well studied in Computer Science (CS). In CS there are well developed computational tools to reason about hybrid systems. We argue that it is worth applying such tools in a biological context. One interesting tool is differential dynamic logic (dL), which has recently been developed by Platzer and applied to many case-studies. In this paper we discuss some simple examples of biological regulatory networks to illustrate how dL can be used as an alternative, or also as a complement to methods already used.

Exploiting the dynamic properties of covalent modification cycle for the design of synthetic analog biomolecular circuitry

Background

Cycles of covalent modification are ubiquitous motifs in cellular signalling. Although such signalling cycles are implemented via a highly concise set of chemical reactions, they have been shown to be capable of producing multiple distinct input-output mapping behaviours – ultrasensitive, hyperbolic, signal-transducing and threshold-hyperbolic.

Results

In this paper, we show how the set of chemical reactions underlying covalent modification cycles can be exploited for the design of synthetic analog biomolecular circuitry. We show that biomolecular circuits based on the dynamics of covalent modification cycles allow (a) the computation of nonlinear operators using far fewer chemical reactions than purely abstract designs based on chemical reaction network theory, and (b) the design of nonlinear feedback controllers with strong performance and robustness properties.

Conclusions

Our designs provide a more efficient route for translation of complex circuits and systems from chemical reactions to DNA strand displacement-based chemistry, thus facilitating their experimental implementation in future Synthetic Biology applications.

Forging patterns and making waves from biology to geology: a commentary on Turing (1952) 'The chemical basis of morphogenesis'

Alan Turing was neither a biologist nor a chemist, and yet the paper he published in 1952, 'The chemical basis of morphogenesis', on the spontaneous formation of patterns in systems undergoing reaction and diffusion of their ingredients has had a substantial impact on both fields, as well as in other areas as disparate as geomorphology and criminology. Motivated by the question of how a spherical embryo becomes a decidedly non-spherical organism such as a human being, Turing devised a mathematical model that explained how random fluctuations can drive the emergence of pattern and structure from initial uniformity. The spontaneous appearance of pattern and form in a system far away from its equilibrium state occurs in many types of natural process, and in some artificial ones too. It is often driven by very general mechanisms, of which Turing's model supplies one of the most versatile. For that reason, these patterns show striking similarities in systems that seem superficially to share nothing in common, such as the stripes of sand ripples and of pigmentation on a zebra skin. New examples of 'Turing patterns' in biology and beyond are still being discovered today. This commentary was written to celebrate the 350th anniversary of the journal Philosophical Transactions of the Royal Society.

Species differential regulation of COX2 can be described by an NFκB-dependent logic AND gate

Cyclooxygenase 2 (COX2), a key regulatory enzyme of the prostaglandin/eicosanoid pathway, is an important target for anti-inflammatory therapy. It is highly induced by pro-inflammatory cytokines in a Nuclear factor kappa B (NFκB)-dependent manner. However, the mechanisms determining the amplitude and dynamics of this important pro-inflammatory event are poorly understood. Furthermore, there is significant difference between human and mouse COX2 expression in response to the inflammatory stimulus tumor necrosis factor alpha (TNFα). Here, we report the presence of a molecular logic AND gate composed of two NFκB response elements (NREs) which controls the expression of human COX2 in a switch-like manner. Combining quantitative kinetic modeling and thermostatistical analysis followed by experimental validation in iterative cycles, we show that the human COX2 expression machinery regulated by NFκB displays features of a logic AND gate. We propose that this provides a digital, noise-filtering mechanism for a tighter control of expression in response to TNFα, such that a threshold level of NFκB activation is required before the promoter becomes active and initiates transcription. This NFκB-regulated AND gate is absent in the mouse COX2 promoter, most likely contributing to its differential graded response in promoter activity and protein expression to TNFα. Our data suggest that the NFκB-regulated AND gate acts as a novel mechanism for controlling the expression of human COX2 to TNFα, and its absence in the mouse COX2 provides the foundation for further studies on understanding species-specific differential gene regulation.

ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors

Attractors in gene regulatory networks represent cell types or states of cells. In system biology and synthetic biology, it is important to generate gene regulatory networks with desired attractors. In this paper, we focus on a singleton attractor, which is also called a fixed point. Using a Boolean network (BN) model, we consider the problem of finding Boolean functions such that the system has desired singleton attractors and has no undesired singleton attractors. To solve this problem, we propose a matrix-based representation of BNs. Using this representation, the problem of finding Boolean functions can be rewritten as an Integer Linear Programming (ILP) problem and a Satisfiability Modulo Theories (SMT) problem. Furthermore, the effectiveness of the proposed method is shown by a numerical example on a WNT5A network, which is related to melanoma. The proposed method provides us a basic method for design of gene regulatory networks.

Integration of microfluidics into the synthetic biology design flow

One goal of synthetic biology is to design and build genetic circuits in living cells for a range of applications. Major challenges in these efforts include increasing the scalability and robustness of engineered biological systems and streamlining and automating the synthetic biology workflow of specification-design-assembly-verification. We present here a summary of the advances in microfluidic technology, particularly microfluidic large scale integration, that can be used to address the challenges facing each step of the synthetic biology workflow. Microfluidic technologies allow precise control over the flow of biological content within microscale devices, and thus may provide more reliable and scalable construction of synthetic biological systems. The integration of microfluidics and synthetic biology has the capability to produce rapid prototyping platforms for characterization of genetic devices, testing of biotherapeutics, and development of biosensors.

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

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 logic operations such as NOT, NOR, NAND, and N-IMPLY. These devices function in living cells within a minute by precisely commanding the localization of an activator molecule among three subcellular spaces. We networked these synthetic gates to an endogenous signaling circuit and devised a physiological output. In search of logic functions in signal transduction, we next took a top-down approach and computationally screened 108 signaling pathways to identify commonalities and differences between these biological pathways and electronic circuits. This combination of synthetic and systems approaches will guide us in developing foundations for deconstruction of intricate cell signaling, as well as construction of biomolecular computers.

Recent advances and opportunities in synthetic logic gates engineering in living cells

Recently, a number of synthetic biologic gates including AND, OR, NOR, NOT, XOR and NAND have been engineered and characterized in a wide range of hosts. The hope in the emerging synthetic biology community is to construct an inventory of well-characterized parts and install distinct gene and circuit behaviours that are externally controllable. Though the field is still growing and major successes are yet to emerge, the payoffs are predicted to be significant. In this review, we highlight specific examples of logic gates engineering with applications towards fundamental understanding of network complexity and generating a novel socially useful applications.

A design principle underlying the paradoxical roles of E3 ubiquitin ligases

E3 ubiquitin ligases are important cellular components that determine the specificity of proteolysis in the ubiquitin-proteasome system. However, an increasing number of studies have indicated that E3 ubiquitin ligases also participate in transcription. Intrigued by the apparently paradoxical functions of E3 ubiquitin ligases in both proteolysis and transcriptional activation, we investigated the underlying design principles using mathematical modeling. We found that the antagonistic functions integrated in E3 ubiquitin ligases can prevent any undesirable sustained activation of downstream genes when E3 ubiquitin ligases are destabilized by unexpected perturbations. Interestingly, this design principle of the system is similar to the operational principle of a safety interlock device in engineering systems, which prevents a system from abnormal operation unless stability is guaranteed.

Levels of pro-apoptotic regulator Bad and anti-apoptotic regulator Bcl-xL determine the type of the apoptotic logic gate

BACKGROUND

Apoptosis is a tightly regulated process: cellular survive-or-die decisions cannot be accidental and must be unambiguous. Since the suicide program may be initiated in response to numerous stress stimuli, signals transmitted through a number of checkpoints have to be eventually integrated.

RESULTS

In order to analyze possible mechanisms of the integration of multiple pro-apoptotic signals, we constructed a simple model of the Bcl-2 family regulatory module. The module collects upstream signals and processes them into life-or-death decisions by employing interactions between proteins from three subgroups of the Bcl-2 family: pro-apoptotic multidomain effectors, pro-survival multidomain restrainers, and pro-apoptotic single domain BH3-only proteins. Although the model is based on ordinary differential equations (ODEs), it demonstrates that the Bcl-2 family module behaves akin to a Boolean logic gate of the type dependent on levels of BH3-only proteins (represented by Bad) and restrainers (represented by Bcl-xL). A low level of pro-apoptotic Bad or a high level of pro-survival Bcl-xL implies gate AND, which allows for the initiation of apoptosis only when two stress stimuli are simultaneously present: the rise of the p53 killer level and dephosphorylation of kinase Akt. In turn, a high level of Bad or a low level of Bcl-xL implies gate OR, for which any of these stimuli suffices for apoptosis.

CONCLUSIONS

Our study sheds light on possible signal integration mechanisms in cells, and spans a bridge between modeling approaches based on ODEs and on Boolean logic. In the proposed scheme, logic gates switching results from the change of relative abundances of interacting proteins in response to signals and involves system bistability. Consequently, the regulatory system may process two analogous inputs into a digital survive-or-die decision.

The biological microprocessor, or how to build a computer with biological parts

Systemics, a revolutionary paradigm shift in scientific thinking, with applications in systems biology, and synthetic biology, have led to the idea of using silicon computers and their engineering principles as a blueprint for the engineering of a similar machine made from biological parts. Here we describe these building blocks and how they can be assembled to a general purpose computer system, a biological microprocessor. Such a system consists of biological parts building an input / output device, an arithmetic logic unit, a control unit, memory, and wires (busses) to interconnect these components. A biocomputer can be used to monitor and control a biological system.

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.