Ji-Yoon Park Nanoparticle-Based Theorem Proving
May 25, 2004 APRL 2 Target Problem P ∧ Q → R, S ∧ T → Q, S, T, P R = True ?
May 25, 2004 APRL 3 DNA-Based Nanoparticle Assembly Strategy Mirkin, 2000
May 25, 2004 APRL Purchase of gold nanoparticle 2. Preparation of 3’-(alkanethiol) modified oligonucleotides 3. Preparation of Linker DNA 4. Characterization of DNA-linked gold assembly Experimental Section
May 25, 2004 APRL 5 PrimerSequence(5’ → 3’)LengthModification ST¬Q AAG CAG TAG CGA CCA ATT GAC GCA AAT TGA CGT ACG TAC GCT GAA 45 merNone ¬RPQ CAT ACA ATG AAC GCA GTC AAC GCA AGG CAG TTC AGC GTA CGT ACG 45 merNone ¬P CTG CCT TGC GTT GAC 15 mer 5’-phosphate R TGC GTT CAT TGT ATG 15 mer 3’-thiol ¬S TGG TCG CTA CTT 15 mer 3’-thiol ¬T TCA ATT TGC GTC AAT 15 mer 5’-phosphate The Sequence of Oligonucleotides
May 25, 2004 APRL 6 Assembly 15 mer 45 mer S1 Digestion Hypothesis
May 25, 2004 APRL 7 Colloidal Gold
May 25, 2004 APRL 8 Full Assembly vs S1 Digestion
May 25, 2004 APRL 9 Partial Assembly vs S1 Digestion
May 25, 2004 APRL 10 TEM Image (Colloidal Gold) (a)(b)(c) Figure 2. TEM image of the annealed DNA-linked assembly (a) Colloidal gold (b) Full-assembly of DNA-linked nanoparticles (c) S1 Nuclease digestion of full-assembled DNA-linked nanoparticles TEM image of the annealed DNA-linked assembly (a) Colloidal gold (b) Full-assembly of DNA-linked nanoparticles (c) S1 Nuclease digestion of full-assembled DNA-linked nanoparticles
Surface-Based Theorem Proving
May 25, 2004 APRL 12 Surface-based DNA Computation Liu et al., 2000
May 25, 2004 APRL Purchase of gold nanoparticle 2. Preparation of 3’-(alkanethiol) modified oligonucleotides 3. Preparation of Linker DNA 4. Characterization of DNA-linked gold assembly Experimental Section
May 25, 2004 APRL 14 I II III IV V A B C (a) (b) I II III IV V I II III IV V A B C (c) ¬RPQ ¬T ¬S P.C N.C R ¬P ST ¬Q ¬RPQ ¬T ¬S P.C N.C Theorem Proving by Fluorescence Imaging
May 25, 2004 APRL 15 Paper publish Genotyping experiment Structure & Theorem Proving Further Work