DNA Computing in Microreactors Danny van Noort, Frank-Ulich Gast and John S. McCaskill Biomolecular Information Processing, GMD, Germany Lee Ji Youn.

Slides:



Advertisements
Similar presentations
Algorithms (and Datastructures) Lecture 3 MAS 714 part 2 Hartmut Klauck.
Advertisements

Jeffrey D. Ullman Stanford University. 2  A set of nodes N and edges E is a region if: 1.There is a header h in N that dominates all nodes in N. 2.If.
Great Theoretical Ideas in Computer Science.
Neural Networks Basic concepts ArchitectureOperation.
NP-Complete Problems Reading Material: Chapter 10 Sections 1, 2, 3, and 4 only.
CSE 830: Design and Theory of Algorithms
Accurate Method for Fast Design of Diagnostic Oligonucleotide Probe Sets for DNA Microarrays Nazif Cihan Tas CMSC 838 Presentation.
ECE Synthesis & Verification - Lecture 4 1 ECE 697B (667) Spring 2006 ECE 697B (667) Spring 2006 Synthesis and Verification of Digital Circuits Allocation:
Graph Algorithms. Overview Graphs are very general data structures – data structures such as dense and sparse matrices, sets, multi-sets, etc. can be.
PCR Primer Design Guidelines
Maria-Cristina Marinescu Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology A Synthesis Algorithm for Modular Design of.
Maria-Cristina Marinescu Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology High-level Specification and Efficient Implementation.
Software Testing Sudipto Ghosh CS 406 Fall 99 November 9, 1999.
Gene expression & Clustering (Chapter 10)
Maximum clique. 1Introduction 2Theoretical background Biochemistry/molecular biology 3Theoretical background computer science 4History of the field 5Splicing.
Programming Bacterial Computers for Network Optimization or Using Punctuated Equilibrium for Network Optimization.
Complexity 2-1 Problems and Languages Complexity Andrei Bulatov.
Optimal Degree Distribution for LT Codes with Small Message Length Esa Hyytiä, Tuomas Tirronen, Jorma Virtamo IEEE INFOCOM mini-symposium
1 Approximation Through Scaling Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij.
Message-Passing for Wireless Scheduling: an Experimental Study Paolo Giaccone (Politecnico di Torino) Devavrat Shah (MIT) ICCCN 2010 – Zurich August 2.
Computer Science and Engineering Parallel and Distributed Processing CSE 8380 March 01, 2005 Session 14.
Querying Large Databases Rukmini Kaushik. Purpose Research for efficient algorithms and software architectures of query engines.
Approximation Algorithms
A Graph Based Algorithm for Data Path Optimization in Custom Processors J. Trajkovic, M. Reshadi, B. Gorjiara, D. Gajski Center for Embedded Computer Systems.
6. A PPLICATION MAPPING 6.3 HW/SW partitioning 6.4 Mapping to heterogeneous multi-processors 1 6. Application mapping (part 2)
Maximizing the lifetime of WSN using VBS Yaxiong Zhao and Jie Wu Computer and Information Sciences Temple University.
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
1/24 Introduction to Graphs. 2/24 Graph Definition Graph : consists of vertices and edges. Each edge must start and end at a vertex. Graph G = (V, E)
Cell and Microbial Engineering Laboratory Solving TSP on Lab-on-a-Chip 1 Jiyoun Lee.
L13 :Lower Power High Level Synthesis(3) 성균관대학교 조 준 동 교수
Great Theoretical Ideas In Computer Science Anupam GuptaCS Fall 2006 Lecture 28Dec 5th, 2006Carnegie Mellon University Complexity Theory: A graph.
Joint Power and Channel Minimization in Topology Control: A Cognitive Network Approach J ORGE M ORI A LEXANDER Y AKOBOVICH M ICHAEL S AHAI L EV F AYNSHTEYN.
Relation. Combining Relations Because relations from A to B are subsets of A x B, two relations from A to B can be combined in any way two sets can be.
A Software Tool for Generating Non-Crosshybridizing libraries of DNA Oligonucleotides Russell Deaton, junghuei Chen, hong Bi, and John A. Rose Summerized.
DNA computing on a chip Mitsunori Ogihara and Animesh Ray Nature, 2000 발표자 : 임예니.
Theory and Practice of Software Testing
Christopher M. Bishop, Pattern Recognition and Machine Learning 1.
geometric representations of graphs
Solution of Satisfiability Problem on a Gel-Based DNA computer Ji Yoon Park Dept. of Biochem Hanyang University.
Introduction to NP Instructor: Neelima Gupta 1.
An Algorithm for the Consecutive Ones Property Claudio Eccher.
The NP class. NP-completeness Lecture2. The NP-class The NP class is a class that contains all the problems that can be decided by a Non-Deterministic.
SOFTWARE TESTING LECTURE 9. OBSERVATIONS ABOUT TESTING “ Testing is the process of executing a program with the intention of finding errors. ” – Myers.
Molecular Evolutionary Computing (MEC) for Maximum Clique Problems March 9, 2004 Biointelligence Laboratory School of Computer Science and Engineering.
The NP class. NP-completeness
DNA computing on surfaces
Control Flow Testing Handouts
Handouts Software Testing and Quality Assurance Theory and Practice Chapter 4 Control Flow Testing
POA Simulation MEC Seminar 임희웅.
Introduction to Discrete Mathematics
Some Great Theoretical Ideas in Computer Science for.
DNA Solution of the Maximal Clique Problem
Outline of the Chapter Basic Idea Outline of Control Flow Testing
Wet (DNA) computing 2001년 9월 20일 이지연
Solution of Satisfiability Problem on a Gel-Based DNA computer
Introduction to cosynthesis Rabi Mahapatra CSCE617
Computability and Complexity
A systolic array for a 2D-FIR filter for image processing
Network Science: A Short Introduction i3 Workshop
ICS 353: Design and Analysis of Algorithms
DNA Library Design for Molecular Computation
Great Theoretical Ideas in Computer Science
Summarized by Ji-Yeon Lee & Soo-Yong Shin
geometric representations of graphs
Using three-dimensional microfluidic networks for solving computationally hard problems PNAS March 13, 2001 vol. 98 no ~2966 Daniel T. Chiu, Elena.
Russell Deaton, junghuei Chen, hong Bi, and John A. Rose
DNA Solution of the Maximal Clique Problem
Parallel BFS for Maximum Clique Problems
Bioinformatics, Vol.17 Suppl.1 (ISMB 2001)
Presentation transcript:

DNA Computing in Microreactors Danny van Noort, Frank-Ulich Gast and John S. McCaskill Biomolecular Information Processing, GMD, Germany Lee Ji Youn

Introduction 대상문제 : combinatorial optimization problems  maximum clique, 3-SAT 장점 : generically programmable Key words programmability integration of biochemical processing protocols photochemical and microsystem techniques STM : a magnetically switchable selective transfer module basic sequence-specific DNA filtering operation

Benchmark problem Maximal clique problem : finding the largest subset of fully interconnected nodes in the given graph : devided into two stages 1. select from all node subsets, those corresponding to cliques in the graph 2. find the largest such element Algorithm : consisting of a series of selection steps containing three parallel selection decisions : performed with a network of O(N 2 ) STMs

MCP Basic algorithm for each node i (i  1) in the graph ratain only subsets either not containing node i or having only other nodes j such that the edges (i,j) are in the graph  This can be implemented in two nested loops (over i and j), each step involving two selectors in parallel third selector : allow the selector sequences to be fixed independently of the graph instance

(x 1  x 2 )  (x 3  x 4 )

The key problems with STM 1. Non-specific binding of DNA to the beads 2. Avoiding extensive dilution of the transferred DNA 3. Reliable magnetic transfer of the beads in the face of surface adhesion forces 4. Regulating the position of the two fluid contact surface

Maximal clique ACF  All possible cliques

Three selection modules in parallel absence of i absence of j presence of edge (i,j) Positive selection

Connectivity matrix 1 2 N(N-1)

DNA library BamHI EcoRI

POA (parallel overlap assembly) : with 12 oligonucleotides P i+1 V i P i for odd i P i V i P i+1 for even i P 0 V 0 P 1 P 2 V 2 P 3 P 4 V 4 P 5 P 2 V 1 P 1 P 4 V 3 P 3 P 6 V 5 P 5 PCR with P 0 and P 6 as primers (lane2 in fig3)

16 nt : identical G+C content (50%)  to obtain comparable melting points : long enough to ensure specific hybridization : short enough to minimize secondary structure

Channel A - DNA template inlet Channel B - rinse-off Channel C - dehybridization (NaOH) bead barrier

All necessary selection steps The shaded area is programmable and is determined by the edges between node i and j

wash inlet template ssDNAs programming inlets waste output sorting module input sorting module output

3 selection modules for a connectivity decision (dark grey) supply channels (light grey)

Programmability Paralle Tm Experiment Complicated or not?