150 likes | 282 Views
Nanoparticle-Based Theorem Proving. 2004. 5. 25 Ji-Yoon Park. Target Problem. P ∧Q→R, S∧T→Q, S, T, P R = True ?. DNA-Based Nanoparticle Assembly Strategy. Mirkin, 2000. Experimental Section. 1. Purchase of gold nanoparticle.
E N D
Nanoparticle-Based Theorem Proving 2004. 5. 25 Ji-Yoon Park
Target Problem P∧Q→R, S∧T→Q, S, T, P R = True ?
DNA-Based Nanoparticle Assembly Strategy Mirkin, 2000
Experimental Section 1. Purchase of gold nanoparticle 2. Preparation of 3’-(alkanethiol) modified oligonucleotides 3. Preparation of Linker DNA 4. Characterization of DNA-linked gold assembly
45 mer 15 mer 15 mer Hypothesis S1 Digestion Assembly
TEM Image (Colloidal Gold) (a) (b) (c) 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 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 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 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
Surface-based DNA Computation Liu et al., 2000
Experimental Section 1. Purchase of gold nanoparticle 2. Preparation of 3’-(alkanethiol) modified oligonucleotides 3. Preparation of Linker DNA 4. Characterization of DNA-linked gold assembly
¬RPQ ¬RPQ ¬RPQ R ¬RPQ ¬RPQ ¬RPQ ¬T ¬T ¬T ¬P ¬T ¬T ¬T ¬S ¬S ¬S ¬S ¬S ¬S ST ¬Q P.C P.C P.C P.C P.C P.C N.C N.C N.C N.C N.C N.C Theorem Proving by Fluorescence Imaging A B C A B C (b) (a) I II III IV V I II III IV V A B C I II III IV V (c)
Further Work • Paper publish • Genotyping experiment • Structure & Theorem Proving