Demonstration of a Universal Surface DNA Computer August 3, 2004 Summarized by Ji-Yoon Park Xingping Su and Lloyd M. Smith* Nucleic Acids Res. 32, 3115-3123.

Slides:



Advertisements
Similar presentations
University of Queensland
Advertisements

1 SODA January 23, 2011 Temperature 1 Self-Assembly: Deterministic Assembly in 3D and Probabilistic Assembly in 2D Matthew CookUniversity of Zurich and.
CS 345: Chapter 9 Algorithmic Universality and Its Robustness
DNAQL a data model and query language for databases in DNA Jan Van den Bussche joint work with Joris Gillis, Robert Brijder Hasselt University, Belgium.
DNA Computation and Circuit Construction Isabel Vogt 2012.
INHERENT LIMITATIONS OF COMPUTER PROGRAMS CSci 4011.
Recap CS605: The Mathematics and Theory of Computer Science.
Finite Automata Section 1.1 CSC 4170 Theory of Computation.
Mansi Mavani Graduate Student Department of Physics, OSU Stillwater
1 DNA Computing: Concept and Design Ruoya Wang April 21, 2008 MATH 8803 Final presentation.
Advanced Topics in Algorithms and Data Structures
DNA as a solution of computational problems Radosław Łazarz
Montek Singh COMP Nov 15,  Two different technologies ◦ TODAY: DNA as biochemical computer  DNA molecules encode data  enzymes, probes.
PCR Basics Purpose of PCR Overview Components of PCR Reaction
Tractable and intractable problems for parallel computers
PCR Basics 1.Purpose of PCR 2.Overview 3.Components of PCR Reaction 4.Variables Temperature Cycle Times and Numbers Primer Buffer Polymerase 5.Experimental.
Topics in Biological Physics Design and self-assembly of two-dimensional DNA crystals Benny Gil 16/12/08 Fig3.a.
Computability and Complexity 32-1 Computability and Complexity Andrei Bulatov Boolean Circuits.
DNA Computing by Self Assembly  Erik Winfree, Caltech.
JSPS Project on Molecular Computing (presentation by Masami Hagiya) funded by Japan Society for Promotion of Science Research for the Future Program –biocomputing.
Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.
Umans Complexity Theory Lectures Lecture 2c: EXP Complete Problem: Padding and succinctness.
Final Exam Review Cummulative Chapters 0, 1, 2, 3, 4, 5 and 7.
Moore’s Law the number of circuits on a single silicon chip doubles every 18 to 24 months.
DNA Computing on Surfaces
CSCI 4325 / 6339 Theory of Computation Zhixiang Chen.
Machines with Memory Chapter 3 (Part B). Turing Machines  Introduced by Alan Turing in 1936 in his famous paper “On Computable Numbers with an Application.
A simple DNA gate motif for synthesizing large-scale circuits by Lulu Qian, and Erik Winfree Interface Volume 8(62): September 7, 2011 ©2011 by.
DNA Computing on a Chip Mitsunori Ogihara and Animesh Ray Nature, vol. 403, pp Cho, Dong-Yeon.
Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion Peng Yin*, Andrew J. Turberfield †, Sudheer Sahu*,
Strand Design for Biomolecular Computation
Beyond Silicon: Tackling the Unsolvable with DNA.
DNA Based Self-Assembly and Nano-Device: Theory and Practice Peng Yin Committee Prof. Reif (Advisor), Prof. Agarwal, Prof. Hartemink Prof. LaBean, Prof.
1 Boolean Algebra & Logic Gates. 2 Objectives Understand the relationship between Boolean logic and digital computer circuits. Learn how to design simple.
What is an And Gate? It is a digital circuit that produce logical operations The logical operations are call Boolean logical Boolean operation consist.
A new DNA computing model for the NAND gate based on induced hairpin formation 생물정보학 협동과정 소 영 제.
Logic Circuits Chapter 2. Overview  Many important functions computed with straight-line programs No loops nor branches Conveniently described with circuits.
Cellular Automata & DNA Computing 우정철. Definition Of Cellular Automata Von Von Neuman’s Neuman’s Definition Wolfram’s Wolfram’s Definition Lyman.
David Evans CS200: Computer Science University of Virginia Computer Science Class 38: Fixed Points and Biological Computing.
DNA structure simulation based on sequence-structure relationship HaYoung Jang
What is DNA Computing? Shin, Soo-Yong Artificial Intelligence Lab.
4/4/20131 EECS 395/495 Algorithmic DNA Self-Assembly General Introduction Thursday, 4/4/2013 Ming-Yang Kao General Introduction.
Horn Clause Computation by Self-Assembly of DNA Molecules Hiroki Uejima Masami Hagiya Satoshi Kobayashi.
The Nature of Computing INEL 4206 – Microprocessors Lecture 3 Bienvenido Vélez Ph. D. School of Engineering University of Puerto Rico - Mayagüez.
The Nature of Computing INEL 4206 – Microprocessors Lecture 2 Bienvenido Vélez Ph. D. School of Engineering University of Puerto Rico - Mayagüez.
Parallel computation Section 10.5 Giorgi Japaridze Theory of Computability.
Primer extension * This labelling technique uses random oligonucleotides (usually hexadeoxyribonucleotide molecules- sequences of six deoxynucleotides)
Algorithmic Self-Assembly of DNA Sierpinski Triangles Ahn, Yong-Yeol Journal Club.
Whiplash PCR History: - Invented by Hagiya et all 1997] - Improved by Erik Winfree Made Isothermal by John Reif and Urmi Majumder 2008 Whiplash.
An Introduction to Algorithmic Tile Self-Assembly.
DNA computing on a chip Mitsunori Ogihara and Animesh Ray Nature, 2000 발표자 : 임예니.
John Reif and Urmi Majumder Department of Computer Science Duke University Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation.
Towards Autonomous Molecular Computers Towards Autonomous Molecular Computers Masami Hagiya, Proceedings of GP, Nakjung Choi
(C) 2002, SNU Biointelligence Lab, Strategies for the development of a peptide computer Hubert Hug and Rainer Schuler Bioinformatics,
Demonstration of a universal surface DNA computer Nucleic Acids Research, 2004, Vol. 32, Xingping Su and Lloyd M. Smith Presented by Je-Keun.
CS623: Introduction to Computing with Neural Nets (lecture-7) Pushpak Bhattacharyya Computer Science and Engineering Department IIT Bombay.
C Sc 132 Computing Theory Professor Meiliu Lu Computer Science Department.
PCR Basics Purpose of PCR Overview Components of PCR Reaction
Introduction to formal languages and automata
Computable Functions.
Computational and Experimental Design of DNA Devices
PNA-mediated Whiplash PCR
Schematics 201 Lecture Topic: Electrical Symbols
A deoxyribozyme-based molecular automaton
Horn Clause Computation by Self-Assembly of DNA Molecules
JSPS Project on Molecular Computing (presentation by Masami Hagiya)
DNA computing on surfaces
DNA Hybridization Catalysts and Catalyst Circuits
Truth tables Mrs. Palmer.
ELEC Digital Logic Circuits Fall 2015 Logic Testing (Chapter 12)
Presentation transcript:

Demonstration of a Universal Surface DNA Computer August 3, 2004 Summarized by Ji-Yoon Park Xingping Su and Lloyd M. Smith* Nucleic Acids Res. 32, (2004)

Abstract  Concept of universal Turing machine  Abstract definition of a general purpose computer  General purpose (universal) computer  can compute anything that is computable  any computer can simulate Boolean logic circuits of any complexity  Simulating Boolean logic circuits  The NOR gate: universal gate in Boolean logic gate  Any other logic gate can be built from it alone  Universal nature of surface DNA computing model

Computational Complexity (1/2)  In computational complexity theory  the class of NP-complete  A subset of the universal class  Boneh et al. (1996): theoretically solve beyond NP class  Winfree (2000): self assembly/ theoretically & experimentally  Benenson et al. (2001): only read/ less powerful than universal TM  Stojanovic & Stefanovic (2003) : deoxyribozyme-based logic gated & automata/ non-universality  Smith group’s work  Liu et al. (2000): surface-based computer  Frutos et al. (1997): multiple-word encoding  Cai et al. (1997): surface DNA computing model for Boolean logic circuits  In this paper…  Surface DNA computing model to simulate a Boolean logic circuits

 P-complete - a set of decision problemsdecision problems - useful in the analysis of which problems can be efficiently solved on parallel computers Computational Complexity (2/2)

NOR gate is “universal” – Continuous input

Sequences of the DNA encoding

Word & Word Complement

Experimental Section 1. Sequence design of DNAs and DNA/LNA chimeras 2. DNA attachment 3. Melting analysis 4. Hybridization/ Ligation/ Polymerase extension 5. Efficiency of ligase & computation

X1=F, X2=F, X3(X)= T or F X1, X2 Complements & hybridization LigationMelting Polymerase extension X4=T X1=T, X2=T complements & hybridization & extension Ligation X4=F After NOR gate computation After OR gate computation X3=F, X4=F NOT gate Continuous input

NOR gate is “universal” – Non-continuous input

X1=T, X3=T complements of LNA/DNA chimera Polymerase extension & X4=T X1=T, X3=T complements of regular DNA X4=F, Polymerase extension NOR gate computation MARK Operation of OR gate After OR gate computation Non-continuous input

Circuit Computations After NOR gate FT complement to X4=T After OR gate FT complement to X5=T After NOR gate FT complement to X5=F After NOR gate FT complement to X4=F

Overall Computation Efficiency

Sequence design of DNAs & DNA/LNA chimeras

Deep VentR (exo-) DNA Polymerase  Genetically engineered to eliminate the 3´ → 5´ proofreading exonuclease activity associated with Deep Vent DNA Polymerase  More stable than Vent (exo-) DNA Polymerase - with a half-life of 23 hours at 95°C and 8 hours at 100°C  Both Deep Vent (exo-) & Vent (exo-) DNA Polymerase - suitable for primer extensions - high temperature (72°C) DNA sequencing

Summary of Deep VentR (exo-) DNA Polymerase

Discussion  A Boolean logic NOR gate  Using the surface computing paradigm  One of universal gate in Boolean logic  LNA/DNA chimera  Block polymerase activity & actual computation  LNA: positional preference - in the interaction of the LNA-modified primer & DNA polymerase  MARK & Append-Marked operation - without any modification