1. 2004. 5. 25 Ji-Yoon Park Nanoparticle-Based Theorem Proving

2. May 25, 2004 APRL http://gene.hanyang.ac.kr 2 Target Problem P ∧ Q → R, S ∧ T → Q, S, T, P R = True ?

3. May 25, 2004 APRL http://gene.hanyang.ac.kr 3 DNA-Based Nanoparticle Assembly Strategy Mirkin, 2000

4. May 25, 2004 APRL http://gene.hanyang.ac.kr 4 1. 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

5. May 25, 2004 APRL http://gene.hanyang.ac.kr 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

6. May 25, 2004 APRL http://gene.hanyang.ac.kr 6 Assembly 15 mer 45 mer S1 Digestion Hypothesis

7. May 25, 2004 APRL http://gene.hanyang.ac.kr 7 Colloidal Gold

8. May 25, 2004 APRL http://gene.hanyang.ac.kr 8 Full Assembly vs S1 Digestion

9. May 25, 2004 APRL http://gene.hanyang.ac.kr 9 Partial Assembly vs S1 Digestion

10. May 25, 2004 APRL http://gene.hanyang.ac.kr 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

11. Surface-Based Theorem Proving

12. May 25, 2004 APRL http://gene.hanyang.ac.kr 12 Surface-based DNA Computation Liu et al., 2000

13. May 25, 2004 APRL http://gene.hanyang.ac.kr 13 1. 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

14. May 25, 2004 APRL http://gene.hanyang.ac.kr 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

15. May 25, 2004 APRL http://gene.hanyang.ac.kr 15 Paper publish Genotyping experiment Structure & Theorem Proving Further Work