2004. 5. 25 Ji-Yoon Park

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

description

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. - PowerPoint PPT Presentation

Transcript of 2004. 5. 25 Ji-Yoon Park

Page 1: 2004. 5. 25  Ji-Yoon Park

2004. 5. 25

Ji-Yoon Park

Nanoparticle-Based Theorem Proving

Page 2: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 22

Target Problem

P∧Q→R, S∧T→Q, S, T, P

R = True ?

Page 3: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 33

DNA-Based Nanoparticle Assembly Strategy

Mirkin, 2000Mirkin, 2000

Page 4: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 44

1. Purchase of gold nanoparticle1. Purchase of gold nanoparticle

2. Preparation of 3’-(alkanethiol) modified oligonucleotides

2. Preparation of 3’-(alkanethiol) modified oligonucleotides

3. Preparation of Linker DNA 3. Preparation of Linker DNA

4. Characterization of DNA-linked gold assembly 4. Characterization of DNA-linked gold assembly

Experimental Section

Page 5: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 55

Primer Sequence(5’→3’) Length Modification

ST¬QAAG CAG TAG CGA CCA ATT GAC GCAAAT TGA CGT ACG TAC GCT GAA 45 mer None

¬RPQCAT ACA ATG AAC GCA GTC AAC GCA AGG CAG TTC AGC GTA CGT ACG 45 mer None

¬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

Page 6: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 66

Assembly

15 mer15 mer 15 mer15 mer 45 mer45 mer

S1 Digestion

Hypothesis

Page 7: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 77

Colloidal Gold

Page 8: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 88

Full Assembly vs S1 Digestion

Page 9: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 99

Partial Assembly vs S1 Digestion

Page 10: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 1010

TEM Image (Colloidal Gold)

(a)(a) (b)(b) (c)(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

Page 11: 2004. 5. 25  Ji-Yoon Park

Surface-Based Theorem Proving

Page 12: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 1212

Surface-based DNA Computation

Liu et al., 2000Liu et al., 2000

Page 13: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 1313

1. Purchase of gold nanoparticle1. Purchase of gold nanoparticle

2. Preparation of 3’-(alkanethiol) modified oligonucleotides

2. Preparation of 3’-(alkanethiol) modified oligonucleotides

3. Preparation of Linker DNA 3. Preparation of Linker DNA

4. Characterization of DNA-linked gold assembly 4. Characterization of DNA-linked gold assembly

Experimental Section

Page 14: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 1414

I

II

III

IV

V

A B C

(a) (b) I

II

III

IV

V

I

II

III

IV

V

A B C

A B C

(c)

¬RPQ¬RPQ¬RPQ

¬T¬T¬T

¬S¬S¬S

P.CP.C P.C

N.CN.C N.C

R¬PST ¬Q

¬RPQ¬RPQ¬RPQ

¬T¬T¬T

¬S¬S¬S

P.CP.C P.C

N.CN.C N.C

Theorem Proving by Fluorescence Imaging

Page 15: 2004. 5. 25  Ji-Yoon Park

May 25, 2004 May 25, 2004 APRL http://gene.hanyang.ac.krAPRL http://gene.hanyang.ac.kr 1515

• Paper publish • Genotyping experiment• Structure & Theorem Proving

Further Work