Optically programming DNA computing in microflow reactors

From quasispecies to quasispaces: coding and cooperation in chemical and electronic systems

This contribution addresses the physical roles of spatial structures, either externally imposed or generated through self-assembly, either passive or active, on the physical chemistry of evolution. Starting with simple diffusion in closed capillaries, a one-dimensional space, it covers eight aspects of experimental and theoretical research into the interaction of evolution with spatial structures: in various dimensions, including hitherto unexplored ones, spanning from externally defined physical spaces to actively tailored spaces, assembled by the evolving components themselves. As such, it contains some original research by the author as well as tracing how other insights grew over three decades out of the mentorship of Manfred Eigen in the 1980s. Much of the early interest in spatial structures centres on its role in stabilizing higher order cooperative structures involving the coevolution of different molecules, as the genetic coding system exemplifies. Modern nanotechnology enables the design and construction of genetically encoded variants of smart components that can actively control both the proliferation of molecules and the structuring of space. A key role for this article is to show the continuity in this line of enquiry, beginning with quasispecies and projecting to autonomous microparticles with electronic genomes able to form programmable quasispaces.

Fully Controllable Microfluidics for Molecular Computers

Automation will be a necessary step for the success of molecular computing. Here we have applied microfluidic technology to DNA computers, with a sample application towards solving Boolean logic problems.

Programmable and automated bead-based microfluidics for versatile DNA microarrays under isothermal conditions

Advances in modern genomic research depend heavily on applications of various devices for automated high- or ultra-throughput arrays. Micro- and nanofluidics offer possibilities for miniaturization and integration of many different arrays onto a single device. Therefore, such devices are becoming a platform of choice for developing analytical instruments for modern biotechnology. This paper presents an implementation of a bead-based microfluidic platform for fully automated and programmable DNA microarrays. The devices are designed to work under isothermal conditions as DNA immobilization and hybridization transfer are performed under steady temperature using reversible pH alterations of reaction solutions. This offers the possibility for integration of more selection modules onto a single chip compared to maintaining a temperature gradient. This novel technology allows integration of many modules on a single reusable chip reducing the application cost. The method takes advantage of demonstrated high-speed DNA hybridization kinetics and denaturation on beads under flow conditions, high-fidelity of DNA hybridization, and small sample volumes are needed. The microfluidic devices are applied for a single nucleotide polymorphism analysis and DNA sequencing by synthesis without the need for fluorescent removal step. Apart from that, the microfluidic platform presented is applicable to many areas of modern biotechnology, including biosensor devices, DNA hybridization microarrays, molecular computation, on-chip nucleic acid selection, high-throughput screening of chemical libraries for drug discovery.

Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem

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.

Field programmable chemistry: integrated chemical and electronic processing of informational molecules towards electronic chemical cells

The topic addressed is that of combining self-constructing chemical systems with electronic computation to form unconventional embedded computation systems performing complex nano-scale chemical tasks autonomously. The hybrid route to complex programmable chemistry, and ultimately to artificial cells based on novel chemistry, requires a solution of the two-way massively parallel coupling problem between digital electronics and chemical systems. We present a chemical microprocessor technology and show how it can provide a generic programmable platform for complex molecular processing tasks in Field Programmable Chemistry, including steps towards the grand challenge of constructing the first electronic chemical cells. Field programmable chemistry employs a massively parallel field of electrodes, under the control of latched voltages, which are used to modulate chemical activity. We implement such a field programmable chemistry which links to chemistry in rather generic, two-phase microfluidic channel networks that are separated into weakly coupled domains. Electric fields, produced by the high-density array of electrodes embedded in the channel floors, are used to control the transport of chemicals across the hydrodynamic barriers separating domains. In the absence of electric fields, separate microfluidic domains are essentially independent with only slow diffusional interchange of chemicals. Electronic chemical cells, based on chemical microprocessors, exploit a spatially resolved sandwich structure in which the electronic and chemical systems are locally coupled through homogeneous fine-grained actuation and sensor networks and play symmetric and complementary roles. We describe how these systems are fabricated, experimentally test their basic functionality, simulate their potential (e.g. for feed forward digital electrophoretic (FFDE) separation) and outline the application to building electronic chemical cells.

Directed assembly of DNA molecules via simultaneous ligation and digestion

DNA ligation is a routine laboratory practice, yet the yield of the desired product is often very low due to competing off-pathway reactions. The sensitivity of subsequent manipulations (e.g., selection via bacterial transformation) often obviates the need for a high yield of correctly ligated products. However the ability to perform high-yield, preparative-scale DNA ligations would benefit a number of downstream applications ranging from standard molecular cloning to biophysics and DNA computing. We describe here a ligation technique that specifically converts off-pathway ligation products back into substrate. We term this second-chance strategy enzymatic ligation assisted by nucleases (ELAN) and demonstrate the ordered assembly of four DNA fragments via simultaneous ligation and digestion in the presence of eight restriction enzymes. Use of ELAN increased the yield of the desired product by more than 30-fold.

A P system and a constructive membrane-inspired DNA algorithm for solving the Maximum Clique Problem

We present a P system with replicated rewriting to solve the Maximum Clique Problem for a graph. Strings representing cliques are built gradually. This involves the use of inhibitors that control the space of all generated solutions to the problem. Calculating the maximum clique for a graph is a highly relevant issue not only on purely computational grounds, but also because of its relationship to fundamental problems in genomics. We propose to implement the designed P system by means of a DNA algorithm. This algorithm is then compared with two standard papers that addressed the same problem and its DNA implementation in the past. This comparison is carried out on the basis of a series of computational and physical parameters. Our solution features a significantly lower cost in terms of time, the number and size of strands, as well as the simplicity of the biological implementation.

An integrated microfluidic processor for single nucleotide polymorphism-based DNA computing

An integrated microfluidic processor is developed that performs molecular computations using single nucleotide polymorphisms (SNPs) as binary bits. A complete population of fluorescein-labeled DNA "answers" is synthesized containing three distinct polymorphic bases; the identity of each base (A or T) is used to encode the value of a binary bit (TRUE or FALSE). Computation and readout occur by hybridization to complementary capture DNA oligonucleotides bound to magnetic beads in the microfluidic device. Beads are loaded into sixteen capture chambers in the processor and suspended in place by an external magnetic field. Integrated microfluidic valves and pumps circulate the input DNA population through the bead suspensions. In this example, a program consisting of a series of capture/rinse/release steps is executed and the DNA molecules remaining at the end of the computation provide the solution to a three-variable, four-clause Boolean satisfiability problem. The improved capture kinetics, transfer efficiency, and single-base specificity enabled by microfluidics make our processor well-suited for performing larger-scale DNA computations.

DNA library design for molecular computation

A novel approach to designing a DNA library for molecular computation is presented. The method is employed for encoding binary information in DNA molecules. It aims to achieve a practical discrimination between perfectly matched DNA oligomers and those with mismatches in a large pool of different molecules. The approach takes into account the ability of DNA strands to hybridize in complex structures like hairpins, internal loops, or bulge loops and computes the stability of the hybrids formed based on thermodynamic data. A dynamic programming algorithm is applied to calculate the partition function for the ensemble of structures, which play a role in the hybridization reaction. The applicability of the method is demonstrated by the design of a twelve-bit DNA library. The library is constructed and experimentally tested using molecular biology tools. The results show a high level of specific hybridization achieved for all library words under identical conditions. The method is also applicable for the design of primers for PCR, DNA sequences for isothermal amplification reactions, and capture probes in DNA-chip arrays. The library could be applied for integrated DNA computing of twelve-bit instances of NP-complete combinatorial problems by multi-step DNA selection in microflow reactors.

Measurement of the number of molecules of a single mRNA species in a complex mRNA preparation

The normalization of data obtained from hybridization experiments with DNA chips to determine mRNA expression and concentration (gene expression profiling) is an unsolved problem. Furthermore, slight changes in mRNA expression or small numbers of mRNA molecules which may be relevant to disease cannot be detected so far. We have designed a method to calculate the number of molecules of a single mRNA species in a complex mRNA preparation. The basic concept is the transformation of a quantitative problem into a qualitative problem. Individual molecules pertaining to the same molecular species (IMPSMS) are transformed to a mixture of new different molecular species (DMS) and amplified. We propose two implementations of the method. The first procedure is based on a method for cloning tagged nucleic acid molecules onto the surface of micro-beads. It should be possible to transform and determine up to 10(6) IMPSMS into new DMS. The second strategy uses multimeric linkers, a method frequently used in DNA computing to assemble random DNA. The second strategy should be easier to implement but is limited to a few hundred IMPSMS.