Demonstration of a word design strategy for DNA computing on surfaces

A Graph-Based Approach for the DNA Word Design Problem

The aim of this paper is to improve the best known solution of an important problem, the DNA Word Design problem, which has its roots in Bioinformatics and Coding Theory. The problem is to design DNA codes that satisfy some combinatorial constraints. The constraints considered are: minimum Hamming distance, fixed GC content and the reverse complement Hamming distance. The problem is modeled as a maximum independent set problem. Existing complex approaches for the maximum independent set problem, suitable for large graphs, were tested. In order to tackle large instances, libraries for external memory computations and sampling techniques were investigated. Eventually, we succeed in finding good lower bounds for the instances that were analyzed.

Implementing parallel arithmetic via acetylation and its application to chemical image processing

Chemical mixtures can be leveraged to store large amounts of data in a highly compact form and have the potential for massive scalability owing to the use of large-scale molecular libraries. With the parallelism that comes from having many species available, chemical-based memory can also provide the physical substrate for computation with increased throughput. Here, we represent non-binary matrices in chemical solutions and perform multiple matrix multiplications and additions, in parallel, using chemical reactions. As a case study, we demonstrate image processing, in which small greyscale images are encoded in chemical mixtures and kernel-based convolutions are performed using phenol acetylation reactions. In these experiments, we use the measured concentrations of reaction products (phenyl acetates) to reconstruct the output image. In addition, we establish the chemical criteria required to realize chemical image processing and validate reaction-based multiplication. Most importantly, this work shows that fundamental arithmetic operations can be reliably carried out with chemical reactions. Our approach could serve as a basis for developing more advanced chemical computing architectures.

Hamming Distance as a Concept in DNA Molecular Recognition

DNA microarrays constitute an in vitro example system of a highly crowded molecular recognition environment. Although they are widely applied in many biological applications, some of the basic mechanisms of the hybridization processes of DNA remain poorly understood. On a microarray, cross-hybridization arises from similarities of sequences that may introduce errors during the transmission of information. Experimentally, we determine an appropriate distance, called minimum Hamming distance, in which the sequences of a set differ. By applying an algorithm based on a graph-theoretical method, we find large orthogonal sets of sequences that are sufficiently different not to exhibit any cross-hybridization. To create such a set, we first derive an analytical solution for the number of sequences that include at least four guanines in a row for a given sequence length and eliminate them from the list of candidate sequences. We experimentally confirm the orthogonality of the largest possible set with a size of 23 for the length of 7. We anticipate our work to be a starting point toward the study of signal propagation in highly competitive environments, besides its obvious application in DNA high throughput experiments.

Polar organic solvents accelerate the rate of DNA strand replacement reaction

Acceleration of the reaction rate by polar organic solvents during both simple and complicated DNA strand replacement reactions is reported.

Thermodynamic Post-Processing versus GC-Content Pre-Processing for DNA Codes Satisfying the Hamming Distance and Reverse-Complement Constraints

Stochastic, meta-heuristic and linear construction algorithms for the design of DNA strands satisfying Hamming distance and reverse-complement constraints often use a GC-content constraint to pre-process the DNA strands. Since GC-content is a poor predictor of DNA strand hybridization strength the strands can be filtered by post-processing using thermodynamic calculations. An alternative approach is considered here, where the algorithms are modified to remove consideration of GC-content and rely on post-processing alone to obtain large sets of DNA strands with satisfactory melting temperatures. The two approaches (pre-processing GC-content and post-processing melting temperatures) are compared and are shown to be complementary when large DNA sets are desired. In particular, the second approach can give significant improvements when linear constructions are used.

Computational Sequence Design Techniques for DNA Microarray Technologies

In systems biology and biomedical research, microarray technology is a method of choice that enables the complete quantitative and qualitative ascertainment of gene expression patterns for whole genomes. The selection of high quality oligonucleotide sequences that behave consistently across multiple experiments is a key step in the design, fabrication and experimental performance of DNA microarrays. The aim of this chapter is to outline recent algorithmic developments in microarray probe design, evaluate existing probe sequences used in commercial arrays, and suggest methodologies that have the potential to improve on existing design techniques.

Chemical characterization of DNA-immobilized InAs surfaces using X-ray photoelectron spectroscopy and near-edge X-ray absorption fine structure

Single-stranded DNA immobilized on an III-V semiconductor is a potential high-sensitivity biosensor. The chemical and electronic changes occurring upon the binding of DNA to the InAs surface are essential to understanding the DNA-immobilization mechanism. In this work, the chemical properties of DNA-immobilized InAs surfaces were determined through high-resolution X-ray photoelectron spectroscopy (XPS) and near-edge X-ray absorption fine structure (NEXAFS). Prior to DNA functionalization, HF- and NH(4)OH- based aqueous etches were used to remove the native oxide from the InAs surface. The initial chemical state of the surface resulting from these etches were characterized prior to functionalization. F-tagged thiolated single-stranded DNA (ssDNA) was used as the probe species under two different functionalization methods. The presence of DNA immobilized on the surface was confirmed from the F 1s, N 1s, and P 2p peaks in the XPS spectra. The presence of salt had a profound effect on the density of immobilized DNA on the InAs surface. To study the interfacial chemistry, the surface was treated with thiolated ssDNA with and without the mercaptohexanol molecule. An analysis of the As 3d and In 3d spectra indicates that both In-S and As-S are present on the surface after DNA functionalization. The amount of In-S and As-S was determined by the functionalization method as well as the presence of mercaptohexanol during functionalization. The orientation of the adsorbed ssDNA is determined by polarization-dependent NEXAFS utilizing the N K-edge. The immobilized ssDNA molecule has a preferred tilt angle with respect to the substrate normal, but with a random azimuthal distribution.

Porous silicon-based nanostructured microparticles as degradable supports for solid-phase synthesis and release of oligonucleotides

We describe the preparation of several types of porous silicon (pSi) microparticles as supports for the solid-phase synthesis of oligonucleotides. The first of these supports facilitates oligonucleotide release from the nanostructured support during the oligonucleotide deprotection step, while the second type of support is able to withstand the cleavage and deprotection of the oligonucleotides post synthesis and subsequently dissolve at physiological conditions (pH = 7.4, 37°C), slowly releasing the oligonucleotides. Our approach involves the fabrication of pSi microparticles and their functionalisation via hydrosilylation reactions to generate a dimethoxytrityl-protected alcohol on the pSi surface as an initiation point for the synthesis of short oligonucleotides.

Generalized DNA barcode design based on Hamming codes

The diversity and scope of multiplex parallel sequencing applications is steadily increasing. Critically, multiplex parallel sequencing applications methods rely on the use of barcoded primers for sample identification, and the quality of the barcodes directly impacts the quality of the resulting sequence data. Inspection of the recent publications reveals a surprisingly variable quality of the barcodes employed. Some barcodes are made in a semi empirical fashion, without quantitative consideration of error correction or minimal distance properties. After systematic comparison of published barcode sets, including commercially distributed barcoded primers from Illumina and Epicentre, methods for improved, Hamming code-based sequences are suggested and illustrated. Hamming barcodes can be employed for DNA tag designs in many different ways while preserving minimal distance and error-correcting properties. In addition, Hamming barcodes remain flexible with regard to essential biological parameters such as sequence redundancy and GC content. Wider adoption of improved Hamming barcodes is encouraged in multiplex parallel sequencing applications.

Options available for labelling nucleic acid samples in DNA microarray-based detection methods

DNA microarrays are considered by many researchers to be the platform of choice for the high-throughput analysis of nucleic acids. Since the past two decades, they have been used constantly as powerful tools in differential gene expression, SNP genotyping, DNA sequencing, gene discovery, disease diagnostic and pathways reconstruction. Several methods have been developed to enable samples of limited amounts of RNA to be quantified. Here we evaluate classical and up-to-date assays made available for labelling those samples. This review also sheds light on the recently developed strategies that ensure high sensitivity such as sample and signal amplification, quantum dot, surface plasmom resonance, nanoparticles and cationinc polythiophenes.

Computational Sequence Design Techniques for DNA Microarray Technologies

In systems biology and biomedical research, microarray technology is a method of choice that enables the complete quantitative and qualitative ascertainment of gene expression patterns for whole genomes. The selection of high quality oligonucleotide sequences that behave consistently across multiple experiments is a key step in the design, fabrication and experimental performance of DNA microarrays. The aim of this chapter is to outline recent algorithmic developments in microarray probe design, evaluate existing probe sequences used in commercial arrays, and suggest methodologies that have the potential to improve on existing design techniques.

Engineering RNAi circuits

Engineered "computing" biological networks are a generalization of endogenous regulatory pathways. They are intended to generate novel biological responses based on preprogrammed processing of multiple molecular signals. We have recently introduced an approach to constructing complex signal processing networks in mammalian cells using RNA interference (RNAi) as the underlying regulatory mechanism. The approach is modular and the circuits contain sensory, computational, and actuation modules. In the sensory module, various molecular signals are transduced into RNAi-compatible effectors such as small interfering RNA, or microRNA. In the computational module, multiple small RNA (sRNA) effectors converge on the small number of output constructs. Here, we describe experimental methods utilized in circuit construction with the focus on the computational module. We emphasize the steps involved in the design of large sRNA sets required for such circuits.

Design, construction, and validation of a modular library of sequence diversity standards for polymerase chain reaction

Methods to measure the sequence diversity of polymerase chain reaction (PCR)-amplified DNA lack standards for use as assay calibrators and controls. Here we present a general and economical method for developing customizable DNA standards of known sequence diversity. Standards ranging from 1 to 25,000 sequences were generated by directional ligation of oligonucleotide "words" of standard length and GC content and then amplified by PCR. The sequence accuracy and diversity of the library were validated using AmpliCot analysis (DNA hybridization kinetics) and Illumina sequencing. The library has the following features: (i) pools containing tens of thousands of sequences can be generated from the ligation of relatively few commercially synthesized short oligonucleotides; (ii) each sequence differs from all others in the library at a minimum of three nucleotide positions, permitting discrimination between different sequences by either sequencing or hybridization; (iii) all sequences have identical length, GC content, and melting temperature; (iv) the identity of each standard can be verified by restriction digestion; and (v) once made, the ends of the library may be cleaved and replaced with sequences to match any PCR primer pair. These standards should greatly improve the accuracy and reproducibility of sequence diversity measurements.

Independent sets of DNA oligonucleotides for nanotechnology applications

Independent sets of DNA oligonucleotides, which only bind with their Watson-Crick complements, have potential use in self-assembly of nanostructures, since they minimize errors and inefficiency from unwanted binding. A software tool implemented a thermodynamic model for DNA duplex formation and was used to generate large independent sets of DNA oligonucleotides. The principle of the approach was experimentally verified on a sample set of oligonucleotides.

An intramolecular O-N migration reaction on gold surfaces: toward the preparation of well-defined amyloid surfaces

Amyloids are a family of self-aggregating proteins implicated in various central nervous system disorders, including Alzheimer's disease (AD). It is thought that prefibrillar soluble forms of amyloid peptides, including oligomers, may be the main pathogenic factor in AD. Herein we describe the fabrication of well-defined, functionalized, monomeric beta-amyloid peptide surfaces for studying protein-protein interactions. We first prepared a nonaggregating analogue of the beta-amyloid peptide and then attached it to a gold surface covered with a self-assembled monolayer (SAM) of alkanethiols. After attachment, the native form of the beta-amyloid peptide (Abeta40) was obtained by surface-level intramolecular O-N migration. The surface was characterized by atomic force microscopy (AFM) and self-assembled monolayer for matrix-assisted laser desorption/ionization time-of-flight mass spectrometry (SAMDI-TOF MS). The interaction between the surface-bound Abeta40 and monoclonal anti-Abeta40 antibody was tracked by AFM and chemiluminescence, which revealed that the Abeta40 was attached mainly in its monomeric form and that the protein-protein complex was assembled on the surface. Last, we used a proteomics approach to demonstrate the specificity of the Abeta40-functionalized surface in surface-binding experiments employing serum amyloid P (SAP) and bovine serum albumin (BSA).

Biocomputers: from test tubes to live cells

Biocomputers are man-made biological networks whose goal is to probe and control biological hosts--cells and organisms--in which they operate. Their key design features, informed by computer science and engineering, are programmability, modularity and versatility. While still a work in progress, biocomputers will eventually enable disease diagnosis and treatment with single-cell precision, lead to "designer" cell functions for biotechnology, and bring about a new generation of biological measurement tools. This review describes the intellectual foundation of the "biocomputer" concept as well as surveys the state of the art in the field.

Quantitation of ultraviolet-induced single-strand breaks using oligonucleotide chip

A simple, accurate and robust methodology was established for the direct quantification of ultraviolet (UV)-induced single-strand break (SSB) using oligonucleotide chip. Oligonucleotide chips were fabricated by covalently anchoring the fluorescent-labeled ssDNAs onto silicon dioxide chip surfaces. Assuming that the possibility of more than one UV-induced SSB to be generated in a small oligonucleotide is extremely low, SSB formation was investigated quantifying the endpoint probe density by fluorescence measurement upon UV irradiation. The SSB yields obtained based on the highly sensitive laser-induced fluorometric determination of fluorophore-labeled oligonucleotides were found to coincide well with that predicted from a theoretical extrapolation of the results obtained for plasmid DNAs using conventional agarose gel electrophoresis. The developed method has the potential to serve as a high throughput, sample-thrifty, and time saving tool to realize more realistic, and direct quantification of radiation and chemical-induced strand breaks. It will be especially useful for determining the frequency of SSBs or lesions convertible to SSBs by specific cleaving reagents or enzymes.

Adsorption of C60 buckminster fullerenes on an 11-amino-1-undecene-covered Si(111) substrate

Buckminster fullerene C60 was used as a model to understand the attachment chemistry of large molecules on amine-terminated self-assembled monolayers (SAM) on semiconductor substrates. This type of interface serves as a prototype for future devices in such fields as solar energy conversion, biosensing, catalysis, and molecular electronics. Fullerene C60 was attached to 11-amino-1-undecene self-assembled monolayers on a Si(111) surface. The chemical state and topography of the C60-modified surface were characterized by surface analytical spectroscopic and microscopic methods and by computational investigation. X-ray photoelectron spectroscopy revealed that the secondary amine group is formed between the C60 and the 11-amino-1-undecene SAM on the surface. The appearance of the pi-pi* C 1s shakeup peak confirmed the presence of C60 on the surface. Infrared spectroscopic studies verified several characteristic features of the C60 skeleton vibration and the 11-amino-1-undecene vibrational signature. The atomic force microscopy investigation suggested that the fullerene molecules produce surface features with an apparent height of approximately 2 nm and an average width of approximately 20 nm. A parallel study was performed on a Au(111) surface for comparison with the results obtained on the silicon substrate. The reaction between fullerene molecules and approximately 1% 11-amino-1-undecene diluted in decene SAM on the Si(111) surface accordingly yielded dilute and uniformly distributed C60 molecules on the surface, which indicated that the amine groups were the reactive sites.

Use of surface plasmon resonance imaging to study viral RNA:protein interactions

Surface plasmon resonance imaging (SPRi) is an emerging microarray technology that is label-free, rapid and extremely flexible. Here the capabilities of SPRi are demonstrated in results of proof-of-concept experiments detailing a method for studying viral genomic RNA:protein interactions in array format. The principal RNA is the well-characterized origin of assembly (OAS) containing region of Tobacco mosaic virus (TMV) RNA, whereas the principal protein is the primary subunit for TMV virion assembly, the 20S capsid protein aggregate. DNA probes complementary to TMV and non-TMV RNA fragments were covalently attached to a thin gold layer deposited on glass. These DNA probes were used to discreetly capture in vitro transcribed TMV and Red clover necrotic mosaic virus (RCNMV) RNA2 (used as a negative control for the subsequent protein binding). The 4S TMV capsid protein monomers were isolated from TMV particles purified from infected plants of Nicotiana tabacum L. and were induced to form 20S stacked disc aggregates. These 20S stacked disc aggregates were then injected onto the array containing the RNA fragments captured by the DNA probes immobilized on the microarray surface. The discrete and preferential binding of the 20S stacked disc aggregates to the array locations containing the TMV OAS RNA sequence was observed. The results demonstrate that SPRi can be used to monitor binding of large RNA molecules to immobilized DNA capture probes which can then be used to monitor the subsequent binding of complex protein structures to the RNA molecules in a single real-time, label-free microarray experiment. The results further demonstrate that SPRi can distinguish between RNA species that have or do not have an origin of assembly sequence specific for a particular viral capsid protein or protein complex. The broader implications of these results in virology research are found in other systems where the research goals include characterizing the specificity and kinetics of viral or host protein or protein complex interactions with viral nucleic acids.

Randomized probe selection algorithm for microarray design

DNA microarray technology, originally developed to measure the level of gene expression, has become one of the most widely used tools in genomic study. The crux of microarray design lies in how to select a unique probe that distinguishes a given genomic sequence from other sequences. Due to its significance, probe selection attracts a lot of attention. Various probe selection algorithms have been developed in recent years. Good probe selection algorithms should produce a small number of candidate probes. Efficiency is also crucial because the data involved are usually huge. Most existing algorithms are usually not sufficiently selective and quite a large number of probes are returned. We propose a new direction to tackle the problem and give an efficient algorithm based on randomization to select a small set of probes and demonstrate that such a small set of probes is sufficient to distinguish each sequence from all the other sequences. Based on the algorithm, we have developed probe selection software RandPS, which runs efficiently in practice. The software is available on our website (http://www.csc.liv.ac.uk/ approximately cindy/RandPS/RandPS.htm). We test our algorithm via experiments on different genomes (Escherichia coli, Saccharamyces cerevisiae, etc.) and our algorithm is able to output unique probes for most of the genes efficiently. The other genes can be identified by a combination of at most two probes.

Surface Modification for DNA and Protein Microarrays

Microarrays of biomolecules are emerging as powerful tools for genomics, proteomics, and clinical assays, since they make it possible to screen biologically important binding events in a parallel and high throughput fashion. Because the microarrays are fabricated on a solid support, coating of the surface and immobilization strategy of the biomolecules are major issues for successful microarray fabrication. This review deals with both DNA microarrays and protein microarrays, and focuses on the various modification approaches for the two-dimensional surface materials and three-dimensional ones. In addition, the immobilization strategies including adsorption, covalent attachment, physical entrapment, and affinity attachment of the biomolecules are summarized, and advantage and limitation of representative efforts are discussed.

Scalability of the surface-based DNA algorithm for 3-SAT

Since Adleman first proposed DNA computing for the Hamiltonian path problem, several authors have reported DNA computing for 3-SAT. Previous research presented DNA computing on surfaces and demonstrated how to solve a four-variable four-clause instance of 3-SAT, and claimed that the surface-based approach was designed to scale up to larger problems. In this paper we establish an error model for the incomplete "mark" and imperfect "destroy" operations. By using the error model we argue that no matter how large the "mark" and "destroy" rates are we can always give satisfiable instances of 3-SAT such that no DNA strands remain on the surface at the end of the computation. By the surface-based approach the satisfiable instances of 3-SAT would be misdetermined to be unsatisfiable. Thus, the error leads to an incorrect result of the SAT computation. Furthermore, given the "mark" rate p and the "not-destroy" rate rho, we find that the approach can only solve at most N-variable instances of 3-SAT problems, where N=[(2+beta(2)+2+2 square root beta (2))/beta(2)] in which beta=1-1/(p+rhoq) and q=1-p and [a] is the greatest integer less than a or equal to a.

Controlled loading of oligodeoxyribonucleotide monolayers onto unoxidized crystalline silicon; fluorescence-based determination of the surface coverage and of the hybridization efficiency; parallel imaging of the process by Atomic Force Microscopy

Unoxidized crystalline silicon, characterized by high purity, high homogeneity, sturdiness and an atomically flat surface, offers many advantages for the construction of electronic miniaturized biosensor arrays upon attachment of biomolecules (DNA, proteins or small organic compounds). This allows to study the incidence of molecular interactions through the simultaneous analysis, within a single experiment, of a number of samples containing small quantities of potential targets, in the presence of thousands of variables. A simple, accurate and robust methodology was established and is here presented, for the assembling of DNA sensors on the unoxidized, crystalline Si(100) surface, by loading controlled amounts of a monolayer DNA-probe through a two-step procedure. At first a monolayer of a spacer molecule, such as 10-undecynoic acid, was deposited, under optimized conditions, via controlled cathodic electrografting, then a synthetic DNA-probe was anchored to it, through amidation in aqueous solution. The surface coverage of several DNA-probes and the control of their efficiency in recognizing a complementary target-DNA upon hybridization were evaluated by fluorescence measurements. The whole process was also monitored in parallel by Atomic Force Microscopy (AFM).

Rewritable DNA Microarrays

Thiol-terminated single-stranded deoxyribonucleic acids (ssDNA) can be immobilized onto pulsed plasma deposited poly(allylmercaptan) surfaces via disulfide bridge chemistry and are found to readily undergo nucleic acid hybridization. Unlike other methods for oligonucleotide attachment to solid surfaces, this approach is shown to be independent of substrate material or geometry, and amenable to highly efficient rewriting.

Experimentally Constructing Semantic Models Based on DNA Computing

We propose a new DNA-based semantic model, constructed of DNA molecules, called asemantic model based on molecular computing(SMC). It is structured as a graph formed by the set of all (attribute, attribute value) pairs contained in the set of represented objects, plus a tag node for each object. Each path in the network, from an initial object-representing tag node to the terminal node, represents the object named on the tag. Inputting a set of input strands the forms object-representing dsDNAs via parallel self-assembly from encoded ssDNAs representing both attributes and attribute values (nodes), as directed by ssDNA splitting strands representing relations (edges) in the network. The success of experiments in constructing a small test model demonstrates that our proposed model suitably represents knowledge to storing vast amounts of information at high density.

Thermodynamically based DNA strand design

We describe a new algorithm for design of strand sets, for use in DNA computations or universal microarrays. Our algorithm can design sets that satisfy any of several thermodynamic and combinatorial constraints, which aim to maximize desired hybridizations between strands and their complements, while minimizing undesired cross-hybridizations. To heuristically search for good strand sets, our algorithm uses a conflict-driven stochastic local search approach, which is known to be effective in solving comparable search problems. The PairFold program of Andronescu et al. [M. Andronescu, Z. C. Zhang and A. Condon (2005) J. Mol. Biol., 345, 987–1001; M. Andronescu, R. Aguirre-Hernandez, A. Condon, and H. Hoos (2003) Nucleic Acids Res., 31, 3416–3422.] is used to calculate the minimum free energy of hybridization between two mismatched strands. We describe new thermodynamic measures of the quality of strand sets. With respect to these measures of quality, our algorithm consistently finds, within reasonable time, sets that are significantly better than previously published sets in the literature.

A thermodynamic approach to designing structure-free combinatorial DNA word sets

An algorithm is presented for the generation of sets of non-interacting DNA sequences, employing existing thermodynamic models for the prediction of duplex stabilities and secondary structures. A DNA ‘word’ structure is employed in which individual DNA ‘words’ of a given length (e.g. 12mer and 16mer) may be concatenated into longer sequences (e.g. four tandem words and six tandem words). This approach, where multiple word variants are used at each tandem word position, allows very large sets of non-interacting DNA strands to be assembled from combinations of the individual words. Word sets were generated and their figures of merit are compared to sets as described previously in the literature (e.g. 4, 8, 12, 15 and 16mer). The predicted hybridization behavior was experimentally verified on selected members of the sets using standard UV hyperchromism measurements of duplex melting temperatures (T_ms). Additional experimental validation was obtained by using the sequences in formulating and solving a small example of a DNA computing problem.

Parallel biomolecular computation on surfaces with advanced finite automata

A biomolecular, programmable 3-symbol-3-state finite automaton is reported. This automaton computes autonomously with all of its components, including hardware, software, input, and output being biomolecules mixed together in solution. The hardware consisted of two enzymes: an endonuclease, BbvI, and T4 DNA ligase. The software (transition rules represented by transition molecules) and the input were double-stranded (ds) DNA oligomers. Computation was carried out by autonomous processing of the input molecules via repetitive cycles of restriction, hybridization, and ligation reactions to produce a final-state output in the form of a dsDNA molecule. The 3-symbol-3-state deterministic automaton is an extension of the 2-symbol-2-state automaton previously reported, and theoretically it can be further expanded to a 37-symbol-3-state automaton. The applicability of this design was further amplified by employing surface-anchored input molecules, using the surface plasmon resonance technology to monitor the computation steps in real time. Computation was performed by alternating the feed solutions between endonuclease and a solution containing the ligase, ATP, and appropriate transition molecules. The output detection involved final ligation with one of three soluble detection molecules. Parallel computation and stepwise detection were carried out automatically with a Biacore chip that was loaded with four different inputs.

DNA attachment chemistry at the flexible silicone elastomer surface: toward disposable microarrays

This paper describes the preparation and surface characterization of maleimide-activated silicone elastomer (PDMS(MCC)) followed by covalent functionalization using thiol-terminated DNA sequences (primary oligo). The stability of this attachment chemistry was demonstrated by the retention of the primary oligo through the process of hybridization with a labeled complementary DNA sequence. In these studies, the hybridized labeled DNA oligomers were detected using confocal fluorescence microscopy. We have employed a vapor deposition technique in which a plasma-treated silicone elastomer (PDMS(OH)) was exposed to vapors of 3-(aminopropyl)triethoxysilane (APTS) under vacuum, to yield the amine-functionalized silicone elastomer (PDMS(NH)(2)). PDMS(NH)(2) was further coupled with a heterofunctional cross-linker, sulfosuccinimidyl-4-(N-maleimidomethyl)cyclohexane-1-carboxylate to obtain PDMS(MCC). The surface functionalities of the elastomers were characterized using contact angle measurements and X-ray photoelectron spectroscopy. Surface-modified silicone elastomers appear to be promising substrates for use as substrates for disposable microarrays.

DNA sequence design based on template strategy

In DNA based computation and DNA nanotechnology, the design of proper DNA sequences has turned out to be an elementary problem. This paper takes a further look at the template strategy proposed in work by Frutos, A. G. et al. (Nucleic Acids Res. 1997, 25, 4748-4757). The H-measure proposed by Garzon et al. (Proceedings of the Second Annual Genetic Programming Conference, 1997; pp 472-487) is combined in this strategy to optimize the template and map sets obtained. Finally we describe a constructing method that can still produce more sequences by the results obtained in this paper.

Hairpin formation in DNA computation presents limits for large NP-complete problems

Recently, several DNA computing paradigms for NP-complete problems were presented, especially for the 3-SAT problem. Can the present paradigms solve more than just trivial instances of NP-complete problems? In this paper we show that with high probability potentially deleterious features such as severe hairpin loops would be likely to arise. If DNA strand x of length n and the 'complement' of the reverse of x have l match bases, then x forms a hairpin loop and is called a (n,l)-hairpin format. Let gamma=2l/n. Then gamma can be considered as a measurement of the stability of hairpin loops. Let p(n,l) be the probability that a n-mer DNA strand is a (n,l)-hairpin format, and q(n,l)((m)) be the probability that m ones are chosen at random from 4(n) n-mer oligonucleotides such that at least one of the m ones is a (n,l)-hairpin format. Then, q(n,l)((m))=1-(1-p(n,l))(m)=mp(n,l). If we require q(n,l)((m))<a, where a<1, then m<ln(1-a)/ln(1-p(n,l))=a/p(n,l). It means that we can only solve the instances of size m of NP-complete problems. Clearly the greater p(n,l), the smaller m, and the smaller a the smaller m. In this paper, we show p(n,l) is high. Therefore, the present DNA computing paradigms cannot solve large NP-complete problems. For example, if n=20, used in Adleman and Lipton's paradigm, gamma=50% and a=50%, then m is almost 12.

Demonstration of a universal surface DNA computer

A fundamental concept in computer science is that of the universal Turing machine, which is an abstract definition of a general purpose computer. A general purpose (universal) computer is defined as one which can compute anything that is computable. It has been shown that any computer which is able to simulate Boolean logic circuits of any complexity is such a general purpose computer. The field of DNA computing was founded in 1994 by Adleman's solution of a 7-bit instance of the Hamiltonian path problem. This work, as well as most of the subsequent experimental and theoretical investigations in the area, focused primarily upon the solution of NP-complete problems, which are a subset of the larger universal class of problems. In the present work a surface DNA computer capable of simulating Boolean logic circuits is demonstrated. This was done by constructing NOR and OR gates and combining them into a simple logic circuit. The NOR gate is one of the universal gates in Boolean logic, meaning that any other logic gate can be built from it alone. The circuit was solved using DNA-based operations, demonstrating the universal nature of this surface DNA computing model.

Invasive cleavage reactions on DNA-modified diamond surfaces

Recently developed DNA-modified diamond surfaces exhibit excellent chemical stability to high-temperature incubations in biological buffers. The stability of these surfaces is substantially greater than that of gold or silicon surfaces, using similar surface attachment chemistry. The DNA molecules attached to the diamond surfaces are accessible to enzymes and can be modified in surface enzymatic reactions. An important application of these surfaces is for surface invasive cleavage reactions, in which target DNA strands added to the solution may result in specific cleavage of surface-bound probe oligonucleotides, permitting analysis of single nucleotide polymorphisms (SNPs). Our previous work demonstrated the feasibility of performing such cleavage reactions on planar gold surfaces using PCR-amplified human genomic DNA as target. The sensitivity of detection in this earlier work was substantially limited by a lack of stability of the gold surface employed. In the present work, detection sensitivity is improved by a factor of approximately 100 (100 amole of DNA target compared with 10 fmole in the earlier work) by replacing the DNA-modified gold surface with a more stable DNA-modified diamond surface.

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.

Primer-design for multiplexed genotyping

Single-nucleotide polymorphism (SNP) analysis is a powerful tool for mapping and diagnosing disease-related alleles. Mutation analysis by polymerase-mediated single-base primer extension (minisequencing) can be massively parallelized using DNA microchips or flow cytometry with microspheres as solid support. By adding a unique oligonucleotide tag to the 5' end of the minisequencing primer and attaching the complementary antitag to the array or bead surface, the assay can be 'demultiplexed'. Such high-throughput scoring of SNPs requires a high level of primer multiplexing in order to analyze multiple loci in one assay, thus enabling inexpensive and fast polymorphism scoring. We present a computer program to automate the design process for the assay. Oligonucleotide primers for the reaction are automatically selected by the software, a unique DNA tag/antitag system is generated, and the pairing of primers and DNA tags is automatically done in a way to avoid any crossreactivity. We report results on a 45-plex genotyping assay, indicating that minisequencing can be adapted to be a powerful tool for high-throughput, massively parallel genotyping. The software is available to academic users on request.

Molecular computing revisited: a Moore's Law?

Moore's Law states that the processing power of microchips doubles every one to two years. This observation might apply to the nascent field of molecular computing, in which biomolecules carry out logical operations. Incorporation of new technologies that improve sensitivity and throughput has increased the complexity of problems that can be addressed. It is an ultimate goal for molecular computers to use the full potential of massive parallelism.

Structure-specific DNA cleavage on surfaces

The structure-specific invasive cleavage reaction is a useful means for sensitive and specific detection of single nucleotide polymorphisms, or SNPs, directly from genomic DNA without a need for prior target amplification. A new approach integrating this invasive cleavage assay and surface DNA array technology has been developed for potentially large-scale SNP scoring in a parallel format. Two surface invasive cleavage reaction strategies were designed and implemented for a model SNP system in codon 158 of the human ApoE gene. The upstream oligonucleotide, which is required for the invasive cleavage reaction, is either co-immobilized on the surface along with the probe oligonucleotide or alternatively added in solution. The ability of this approach to unambiguously discriminate a single base difference was demonstrated using PCR-amplified human genomic DNA. A theoretical model relating the surface fluorescence intensity to the progress of the invasive cleavage reaction was developed and agreed well with experimental results.