molecular beacons have the advantages of simple structure, high sensitivity and quick response etc.. dnacomputing is a new method of simulating bio-molecular structure and computing using molecule biology technology,...
详细信息
ISBN:
(纸本)9781424438655
molecular beacons have the advantages of simple structure, high sensitivity and quick response etc.. dnacomputing is a new method of simulating bio-molecular structure and computing using molecule biology technology, and creates a precedent in using bio-chemical reaction as the calculating tools. It is a novel way to solve a class of problems that are difficult to calculate NP-complete problem. In this paper the corresponding dnacomputing of implicit enumeration is given using the advantages of molecular beacons based on previous studies.
We present a process algebra for dnacomputing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into dna structures.
ISBN:
(纸本)9783642106033
We present a process algebra for dnacomputing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into dna structures.
dna automaton is utilized as a processing core of a nanoscale processor that can deal withmolecular information directly. We are studying on photonic dna automaton in which light and dna are used as information carri...
详细信息
ISBN:
(纸本)9783642106033
dna automaton is utilized as a processing core of a nanoscale processor that can deal withmolecular information directly. We are studying on photonic dna automaton in which light and dna are used as information carriers. In the automaton, the internal states are represented as the conformation of dna, or the spatial position of the specific bases in the dna strand, and the state-transition is induced by an external optical signal. this paper focuses on a method for state representation and state transition control based on the conformation of dna. An implementation using hairpin-dna is experimentally demonstrated to verify the proposed scheme.
the codeword design problem is an important problem in dnacomputing and its applications. Several theoretical analyses as well as practical solutions for short oligonucleotides (up to 20-mers) have been generated rec...
详细信息
ISBN:
(纸本)9783642106033
the codeword design problem is an important problem in dnacomputing and its applications. Several theoretical analyses as well as practical solutions for short oligonucleotides (up to 20-mers) have been generated recently. these solutions have, in turn, suggested new applications to dna-based indexing and natural language processing, in addition to the obvious applications to the problems of reliability and scalability that generated them. Here we continue the exploration of this type of dna-based indexing for biological applications and show that dna noncrosshybridizing (nxh) sets can be successfully applied to infer ab initio phylogenetic trees by providing a way to measure distances among different genomes indexed by sets of short oligonucleotides selected so as to minimize crosshybridization. these phylogenies are solidly established and well accepted in biology. the new technique is much more effective in terms of signal-to-noise ratio, cost and time than current methods. Second, it can be scaled up to newly available universal dna chips readily available both in vitro and in silica. In particular, we show how a recently obtained such set of nxh 16-mers can be used as a universal coordinate system in dna spaces to characterize very large groups (families, genera, and even phylla) of organisms on a uniform reference system, a veritable and comprehensive "Atlas of Life", as it is or as it could be on earth.
Process algebras are widely used to define the formal semantics of concurrent communicating processes. In this paper, we implement a particularly expressive form of process algebra, known as stochastic pi-calculus;at ...
详细信息
ISBN:
(纸本)9783642106033
Process algebras are widely used to define the formal semantics of concurrent communicating processes. In this paper, we implement a particularly expressive form of process algebra, known as stochastic pi-calculus;at the molecular scale by providing a design for a dna-based biomolecular device that simulates a process algebraic machine. Our design of the molecular stochastic pi-calculus system makes use of a modified form of Whiplash-PCR (WPCR) machines. In this design, we connect (via a tethering dna nanostructure) a number of dna strands, each of which corresponds to a WPCR. machine. this collection of WPCR machines are used to execute distinct concurrent processes, each with its own distinct program. Furthermore, their close proximity enables computation to proceed via communication.
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using dna strand displacement reactions. the potential applications of this and similar technologies in...
详细信息
ISBN:
(纸本)9783642106033
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using dna strand displacement reactions. the potential applications of this and similar technologies inspire the study of the computation time of multilayered molecular circuits. Using mass action kinetics to model dna strand displacement-based circuits, we discuss how computation time scales withthe number of layers. We show that depending on circuit architecture, the time-complexity does not necessarily scale linearly withthe depth as is assumed in the usual study of circuit complexity. We compare circuits with catalytic and non-catalytic components, showing that catalysis fundamentally alters asymptotic time-complexity. Our results rely on simple asymptotic arguments that should be applicable to a wide class of chemical circuits. these results may help to improve circuit performance and may be useful for the construction of faster, larger and more reliable molecular circuitry.
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations of the abstract Tile Assembly Model. the language defines objects known as tile templates, which represent related groups o...
详细信息
ISBN:
(纸本)9783642106033
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations of the abstract Tile Assembly Model. the language defines objects known as tile templates, which represent related groups of tiles, and a small number of basic operations on tile templates that help to eliminate the error-prone drudgery of enumerating such tile types manually or with low-level constructs of general-purpose programming languages. the language is implemented as a class library in Python (a so-called internal DSL), but is presented independently of Python or object-oriented programming, with emphasis on support for a visual editing tool for creating large sets of complex tile types.
In this article, we introduce a design of dna logic gates based on enzymatic restriction of dna strands. We present a construction for a set of one and two-input logic gates and argue that our construction can be gene...
详细信息
ISBN:
(纸本)9783642106033
In this article, we introduce a design of dna logic gates based on enzymatic restriction of dna strands. We present a construction for a set of one and two-input logic gates and argue that our construction can be generalized to implement any Boolean operation. A key feature of our design is its time-responsiveness, in the presence of appropriate fuels these gates can operate continuously and generate a time-dependent output in response to a time-dependant input. they can be interconnected to form digital circuits. Moreover, modulo connectivity information, the strand design and circuit design phases are decoupled.
We have succeeded in construction of the AND gate using enzymatic reactions developed for modularized computation elements of the autonomous computing system RTRACS. Experimental results demonstrated that the molecula...
详细信息
ISBN:
(纸本)9783642106033
We have succeeded in construction of the AND gate using enzymatic reactions developed for modularized computation elements of the autonomous computing system RTRACS. Experimental results demonstrated that the molecular reaction for the AND gate generated the correct output RNA from input RNAs according to the truth table for the AND gate. the constructed molecular reaction for the AND gate can be extended to the NAND gate by small modifications, because not only a logical 1 but also a logical 0 for inputs and output was associated withthe presence of RNA strands.
Recently, dna logic gates and dna machines have been developed using only a simple complementary base pairing of dna, that is, hybridization and branch migration. Because such reaction systems have been designed by tr...
详细信息
ISBN:
(纸本)9783642106033
Recently, dna logic gates and dna machines have been developed using only a simple complementary base pairing of dna, that is, hybridization and branch migration. Because such reaction systems have been designed by trial and error, it has been difficult to design a complex system and to correctly verify the reaction. the purpose of this research is to develop a method for automatically searching and designing dna logic gates based on a kinetic simulation. Since the solution space that should be searched is quite large, a simulated-annealing method is used to search for a highly evaluated system from many candidates and find a semi-optimal one. A simulator based on a kinetic model is developed, which calculates the time change of concentrations of abstracted dna molecules. An evaluation function, in which the evaluation value rises when the logic gate works correctly, is also designed. the effectiveness of the proposed method is evaluated experimentally with an AND gate, which is designed automatically.
暂无评论