Logic and memory are essential functions of circuits that generate complex, state-dependent responses. Here we describe a strategy for efficiently assembling synthetic genetic circuits that use recombinases to implement Boolean logic functions with stable DNA-encoded memory of events. Application of this strategy allowed us to create all 16 two-input Boolean logic functions in living Escherichia coli cells without requiring cascades comprising multiple logic gates. We demonstrate long-term maintenance of memory for at least 90 cell generations and the ability to interrogate the states of these synthetic devices with fluorescent reporters and PCR. Using this approach we created two-bit digital-to-analog converters, which should be useful in biotechnology applications for encoding multiple stable gene expression outputs using transient inputs of inducers. We envision that this integrated logic and memory system will enable the implementation of complex cellular state machines, behaviors and pathways for therapeutic, diagnostic and basic science applications.

Genetic circuits in living cells share transcriptional and translational resources that are available in limited amounts. This leads to unexpected couplings among seemingly unconnected modules, which result in poorly predictable circuit behavior. In this study, we determine these interdependencies between products of different genes by characterizing the economy of how transcriptional and translational resources are allocated to the production of proteins in genetic circuits. We discover that, when expressed from the same plasmid, the combinations of attainable protein concentrations are constrained by a linear relationship, which can be interpreted as an isocost line, a concept used in microeconomics. We created a library of circuits with two reporter genes, one constitutive and the other inducible in the same plasmid, without a regulatory path between them. In agreement with the model predictions, experiments reveal that the isocost line rotates when changing the ribosome binding site strength of the inducible gene and shifts when modifying the plasmid copy number. These results demonstrate that isocost lines can be employed to predict how genetic circuits become coupled when sharing resources and provide design guidelines for minimizing the effects of such couplings.

Our results demonstrate that pharmacological VE-PTP inhibition can normalize the structure and function of tumor vessels through Tie-2 activation, which delays tumor growth, slows metastatic progression, and enhances response to concomitant cytotoxic treatments.

Memory and logic are central to complex state-dependent computing, and state-dependent behaviors are a feature of natural biological systems. Recently, we created a platform for integrated logic and memory by using synthetic gene circuits, and we demonstrated the implementation of all two-input logic gates with memory in living cells. Here we provide a detailed protocol for the construction of two-input Boolean logic functions with concomitant DNA-based memory. This technology platform allows for straightforward assembly of integrated logic-and-memory circuits that implement desired behaviors within a couple of weeks. It should enable the encoding of advanced computational operations in living cells, including sequential-logic and biological-state machines, for a broad range of applications in biotechnology, basic science and biosensing.