Logic nanoparticle beacon triggered by the binding-induced effect of multiple inputs

Fabrication of multiple molecular logic gates made of fluorescent DNA-templated Au nanoclusters

A universal platform of label-free multiple molecular logic gates have been constructed by taking the advantage of DNA-AuNCs.

DNA Computing Model for Satisfiability Problem Based on Hybridization Chain Reaction

Satisfiability problem is a famous nondeterministic polynomial-time complete (NP-complete) problem, which has always been a hotspot in artificial intelligence. In this paper, by combining the advantages of DNA origami with hybridization chain reaction, a computing model was proposed to solve the satisfiability problem. For each clause in the given formula, a DNA origami device was devised. The device corresponding to the clause was capable of searching for assignments that satisfied the clause. When all devices completed the search in parallel, the intersection of these satisfying assignments found must satisfy all the clauses. Therefore, whether the given formula is satisfiable or not was decided. The simulation results demonstrated that the proposed computing model was feasible. Our work showed the capability of DNA origami in architecting automatic computing device. The paper proposed a novel method for designing functional nanoscale devices based on DNA origami.

Probe computing model based on small molecular switch

Background

DNA is a promising candidate for the construction of biological devices due to its unique properties, including structural simplicity, convenient synthesis, high flexibility, and predictable behavior. And DNA has been widely used to construct the advanced logic devices.

Results

Herein, a molecular probe apparatus was constructed based on DNA molecular computing to perform fluorescent quenching and fluorescent signal recovery, with an ’ ON/OFF’ switching function. In this study, firstly, we program the streptavidin-mediated fluorescent quenching apparatus based on short-distance strand migration. The variation of fluorescent signal is acted as output. Then DNAzyme as a switching controller was involved to regulate the fluorescent signal increase. Finally, on this base, a cascade DNA logic gate consists of two logic AND operations was developed to enrich probe machine.

Conclusion

The designed probe computing model can be implemented with readout of fluorescence intensity, and exhibits great potential applications in the field of bioimaging as well as disease diagnosis.

Model Checking Temporal Logic Formulas Using Sticker Automata

As an important complex problem, the temporal logic model checking problem is still far from being fully resolved under the circumstance of DNA computing, especially Computation Tree Logic (CTL), Interval Temporal Logic (ITL), and Projection Temporal Logic (PTL), because there is still a lack of approaches for DNA model checking. To address this challenge, a model checking method is proposed for checking the basic formulas in the above three temporal logic types with DNA molecules. First, one-type single-stranded DNA molecules are employed to encode the Finite State Automaton (FSA) model of the given basic formula so that a sticker automaton is obtained. On the other hand, other single-stranded DNA molecules are employed to encode the given system model so that the input strings of the sticker automaton are obtained. Next, a series of biochemical reactions are conducted between the above two types of single-stranded DNA molecules. It can then be decided whether the system satisfies the formula or not. As a result, we have developed a DNA-based approach for checking all the basic formulas of CTL, ITL, and PTL. The simulated results demonstrate the effectiveness of the new method.

Time-Gated FRET and DNA-Based Photonic Molecular Logic Gates: AND, OR, NAND, and NOR

Molecular logic devices (MLDs) constructed from DNA are promising for applications in bioanalysis, computing, and other applications requiring Boolean logic. These MLDs accept oligonucleotide inputs and generate fluorescence output through changes in structure. Although fluorescent dyes are most common in MLD designs, nontraditional luminescent materials with unique optical properties can potentially enhance MLD capabilities. In this context, luminescent lanthanide complexes (LLCs) have been largely overlooked. Here, we demonstrate a set of high-contrast DNA photonic logic gates based on toehold-mediated strand displacement and time-gated FRET. The gates include NAND, NOR, OR, and AND designs that accept two unlabeled target oligonucleotide sequences as inputs. Bright "true" output states utilize time-gated, FRET-sensitized emission from an Alexa Fluor 546 (A546) dye acceptor paired with a luminescent terbium cryptate (Tb) donor. Dark "false" output states are generated through either displacement of the A546, or through competitive and sequential quenching of the Tb or A546 by a dark quencher. Time-gated FRET and the long luminescence lifetime and spectrally narrow emission lines of the Tb donor enable 4-10-fold contrast between Boolean outputs, ≤10% signal variation for a common output, multicolor implementation of two logic gates in parallel, and effective performance in buffer and serum. These metrics exceed those reported for many other logic gate designs with only fluorescent dyes and with other non-LLC materials. Preliminary three-input AND and NAND gates are also demonstrated. The powerful combination of an LLC FRET donor with DNA-based logic gates is anticipated to have many future applications in bioanalysis.

Biocomputing nanoplatforms as therapeutics and diagnostics

Biocomputing nanoplatforms are designed to detect and integrate single or multiple inputs under defined algorithms, such as Boolean logic gates, and generate functionally useful outputs, such as delivery of therapeutics or release of optically detectable signals. Using sensing modules composed of small molecules, polymers, nucleic acids, or proteins/peptides, nanoplatforms have been programmed to detect and process extrinsic stimuli, such as magnetic fields or light, or intrinsic stimuli, such as nucleic acids, enzymes, or pH. Stimulus detection can be transduced by the nanomaterial via three different mechanisms: system assembly, system disassembly, or system transformation. The increasingly sophisticated suite of biocomputing nanoplatforms may be invaluable for a multitude of applications, including medical diagnostics, biomedical imaging, environmental monitoring, and delivery of therapeutics to target cell populations.

Reconfigurable and resettable arithmetic logic units based on magnetic beads and DNA

Based on the characteristics of magnetic beads and DNA, a simple and universal platform was developed for the integration of multiple logic gates to achieve resettable half adder and half subtractor functions. The signal reporter was composed of a split G-quadruplex DNAzyme and AuNP-surface immobilized molecular beacon molecule. The novel feature of the designed system is that the inputs (split G-quadruplexes) can interact with hairpin-modified Au NPs linked to magnetic particles. Another novel feature is that the logic operations can be reset by heating the output system and by using the magnetic separation of the computing modules. Moreover, the developed half adder and half subtractor are realized on a simple DNA/magnetic bead platform in an enzyme-free system and share a constant threshold setpoint. Due to the diversity and design flexibility of DNA, these investigations may provide a new method for the development of resettable DNA-based arithmetic operations.