Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem
- 22 March 2012
- journal article
- Published by Royal Society of Chemistry (RSC) in Lab on a Chip
- Vol. 12 (10), 1841-1848
- https://doi.org/10.1039/c2lc20677c
Abstract
Biomolecules inside a microfluidic system can be used to solve computational problems, such as theorem proving, which is an important class of logical reasoning problems. In this article, the Boolean variables (literals) were represented using single-stranded DNA molecules, and theorem proving was performed by the hybridization and ligation of these variables into a double-stranded “solution” DNA. Then, a novel sequential reaction mixing method in a microfluidic chip was designed to solve a theorem proving problem, where a reaction loop and three additional chambers were integrated and controlled by pneumatic valves. DNA hybridization, ligation, toehold-mediated DNA strand displacement, exonuclease I digestion, and fluorescence detection of the double-stranded DNA were sequentially performed using this platform. Depending on the computational result, detection of the correct answer was demonstrated based on the presence of a fluorescence signal. This result is the first demonstration that microfluidics can be used to facilitate DNA-based logical inference.Keywords
This publication has 37 references indexed in Scilit:
- Ligase Detection Reaction Generation of Reverse Molecular Beacons for Near Real-Time Analysis of Bacterial Pathogens Using Single-Pair Fluorescence Resonance Energy Transfer and a Cyclic Olefin Copolymer Microfluidic ChipAnalytical Chemistry, 2010
- Integrated Microfluidic and Imaging Platform for a Kinase Activity Radioassay to Analyze Minute Patient Cancer SamplesCancer Research, 2010
- Control of DNA Strand Displacement Kinetics Using Toehold ExchangeJournal of the American Chemical Society, 2009
- A splicing model-based DNA-computing approach on microfluidic chipElectrophoresis, 2009
- Rapid label-free DNA analysis in picoliter microfluidic droplets using FRET probesMicrofluidics and Nanofluidics, 2009
- Effective mixing in a microfluidic chip using magnetic particlesLab on a Chip, 2008
- Fluorescent Molecular Logic Gates Using Microfluidic DevicesAngewandte Chemie, 2008
- Modular Multi-Level Circuits from Immobilized DNA-Based Logic GatesJournal of the American Chemical Society, 2007
- Microfluidic platforms for lab-on-a-chip applicationsLab on a Chip, 2007
- Hybrid poly(dimethylsiloxane)-silicon microreactors used for molecular computingSmart Materials and Structures, 2002