46
part 2

Part 2. 1Introduction 2Theoretical background Biochemistry/molecular biology Computation 3Extension of theoretical background (biochemistry or computer

Embed Size (px)

Citation preview

Page 1: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

part 2

Page 2: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

1 Introduction

2 Theoretical backgroundBiochemistry/molecular biologyComputation

3 Extension of theoretical background (biochemistry or computer science)

4 History of the field

5 Splicing systems

6 P systems

7 Hairpins

8 Micro technology introductions Microreactors / Chips

9 Microchips and fluidics

10 Self assembly

11 Regulatory networks

12 Molecular motors

13 DNA nanowires

14 DNA computing - summery

Course outline

Page 3: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

name danny van noort

Office Room 410

building RIACT

tel: None yet

email [email protected]

web http://bi.snu.ac.kr/

Where to find me

Page 4: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

date 8th and 10th of June

Announcement

NO Lecture

Page 5: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

The highlights

Page 6: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Leonard Adleman Molecular computation of solutions to combinatorial problems Science, 266, 1021-1024, 1994

Q. Liu et al. DNA computing on a chip Nature, vol. 403, pp. 175-179, 2000

Q. Ouyang et al. DNA solution to the maximal clique problem Science, 278, 446-449, 1997

Richard Lipton DNA solution to hard combinatorial problems problem Science, 268, 542-545, 1995

DNA computing: the highlights

Page 7: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Hamilton path problem Millions of DNA strands,

diffusing in a liquid, can self-assemble into all possible path configurations.

A judicious series of molecular maneuvers can fish out the correct solutions.

Adleman, combining elegance with brute force, could isolate the one true solution out of many probability.

Lenard Adleman: hamiltonian path

Page 8: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

universal computation can be performed by the sequence-directed self-assembly of DNA into a 2D sheet

experimental investigations have demonstrated that 2D sheets of DNA will self-assemble

Wang tiles, branched DNA with sticky ends, reduces this theoretical construct to a practical one

this type of assembly can be shown to emulate the operation of a Universal Turing Machine.

Eric Winfree: DNA self-assembly

Page 9: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Eric Winfree: DNA self-assembly

Page 10: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Eric Winfree: DNA self-assembly

Page 11: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Eric Winfree: DNA self-assembly

Page 12: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

dan

ny v

an

noort

, oct

ob

er

20

01

Ned Seeman: DNA self-assembly

Page 13: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

dan

ny v

an

noort

, oct

ob

er

20

01

Ned Seeman: DNA self-assembly

Page 14: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

A P system is a computing model which abstracts from the way the alive cells process chemical compounds in their compartmental structure. In short, in the regions defined by a membrane structure we have objects which evolve according to given rules.

The objects can be described by symbols or by strings of symbols (in the former case their multiplicity matters, that is, we work with multisets of objects placed in the regions of the membrane structure; in the second case we can work with languages of strings or, again, with multisets of strings).

By using the rules in a nondeterministic, maximally parallel manner, one gets transitions between the system configurations. A sequence of transitions is a computation. With a halting computation we can associate a result, in the form of the objects present in a given membrane in the halting configuration, or expelled from the system during the computation.

Various ways of controlling the transfer of objects from a region to another one and of applying the rules, as well as possibilities to dissolve, divide or create membranes were considered.

Gheorghe Păun: P-systems

Page 15: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

a b

c

Gheorghe Păun: P-systems

Page 16: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

a b

bc

aabc

Gheorghe Păun: P-systems

Page 17: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

There is a solid theoretical foundation for splicing as an operation on formal languages.

In biochemical terms, procedures based on splicing may have some advantages, since the DNA is used mostly in its double stranded form, and thus many problems of unintentional annealing may be avoided.

The basic model is a single tube, containing an initial population of dsDNA, several restriction enzymes, and a ligase. Mathematically this is represented as a set of strings (the initial language), a set of cutting operations, and a set of pasting operations.

It has been proved to a Universal Turing Machine.

Tom Head: splicing systems

Page 18: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

These are the techniques that are common in the microbiologist's lab and can be used to program a molecular computer. DNA can be: synthezise desired strands can be created separate strands can be sorted and separated by

length merge by pouring two test tubes of DNA into one

to perform union extract extract those strands containing a given

pattern melt/anneal breaking/bonding two ssDNA molecules with

complementary sequences amplify use of PCR to make copies of DNA strands cut cut DNA with restriction enzymes rejoin rejoin DNA strands with 'sticky ends' detect confirm presence or absence of DNA

Tom Head: splicing systems

Page 19: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Q. Liu: experiments on a surface

Page 20: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

(wxy) (wyz) (xy) (wy)=1

{0000} {0001} {0010} {0011} {0100} {0101}{0110} {0111}{1000} {1001} {1010} {1011} {1100} {1101}{1110} {1111}

Q. Liu: experiments on a surface

Page 21: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Q. Liu: experiments on a surface

Page 22: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Computing in biology

Page 23: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Cells and nature compute by reading and rewriting DNA by processes that modify sequence at the DNA or RNA level. DNA computing is interested in applying computer science methods and models to understand biological phenomena and gain insight into early molecular evolution and the origin of biological information processing.

Computing in biology

Page 24: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

The biology of computing

Page 25: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Pyrimidine pathway

Page 26: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Electronic pathway

Page 27: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Tokyo subway system

Page 28: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

lacl cl cl tetRtetR gfpgfp

PT PPL2P T -

tet lac ct gfp

From Guet et al., Science 24 May 2002

lac- strain CMW101 three promoter genes: lacl, cl, tetR the binding state of lacl and tetR can be changed with IPTG (isopropyl -D-thiogalactopyranoside) and aTc (anhydro-tetracycline).

only signal when aTc but no IPTG

Transcriptional regulators

Page 29: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

RNA can be used to programme a cell to produce a specific output, in form of proteins or nanostructures.

(self)-replication is contained in propagation and can be compared with the goal to produce to build self replicating machines in silico.

cell are the factories, RNA is the input

Instructional design

Page 30: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Instructional design: proteins

Page 31: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Instructional design: phage

Page 32: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Instructional design: phage

Page 33: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Bacteria swim by rotating flagella Motor located at junction of

flagellum and cell envelope Motor can rotate clockwise (CW) or

counterclockwise (CCW)

CW CCW CW

Molecular motors

Page 34: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Massively parallel problem solving Combinatorial optimization Molecular nano-memory with fast associative search AI problem solving Medical diagnosis, drug discovery Cryptography Further impact in biology and medicine:

Wet biological data bases Processing of DNA labeled with digital data Sequence comparison Fingerprinting

Applications of biomolecular computing

Page 35: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Future applications

Page 36: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

36

a) Self-replication: Two for one

Based on DNA self-replication

b) Self-repair:

Based on regeneration

c) DNA computer mutation/evolution

or

biohazard

Learning.

May be malignant

d) New meaning of a computer virus ?

Interesting possibilities

Page 37: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Evolvable biomolecular hardware

Sequence programmable and evolvable molecular systems have been constructed as cell-free chemical systems using biomolecules such as DNA and proteins.

Page 38: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Trillions of DNA

Name Tel. Address

James 419-1332 Washington DC

David 352-4730 La Jolla, CA.

Paul 648-7921 Honolulu, HI

Julia 418-9362 Palo Alto CA

Phone book

Molecular storage

Page 39: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

39DetectionDetection

MicroreactorMicroreactor PCRPCR Gel ElectrophoresisGel Electrophoresis

BeadBead

DNA computing algorithm MEMS (Microfluidics)

+

Molecular computer on a chip

Page 40: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

BioMEMS

Page 41: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Lab-on-a-chip technology

Integrates sample handling, separation and detection and data analysis for: DNA, RNA and protein solutions using LabChip technology

Page 42: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Conclusions

Page 43: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

DNA Computing uses DNA molecules to computing or storage materials.

DNA computing technology has many interesting properties, including Massively parallel, solution-based, biochemical Nano-scale, biocompatible high energy efficiency high memory storage density

DNA computing is in very early stage of development.

Conclusions

Page 44: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

MIT, Caltech, Princeton University, Berkeley, Yale, Duke, Irvine, Delaware, Lucent

Molecular Computer Project (MCP) in Japan EMCC (European Molecular Computing Consortium) is

composed of national groups from 11 European countries BioMIP (BioMolecular Information Processing) at the

German National Research Center for Information Technology (GMD)

Leiden Center for Natural Computation (LCNC)

Research groups

Page 45: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

45

Biomolecular Computation (BMC) www.cs.duke.edu/~reif/ Leiden Center for Natural Computation (LCNC)

www.wi.leidenuniv.nl/~lcnc/ BioMolecular Information Processing (BioMip)

www.gmd.de/BIOMIP European Molecular Computing Consortium (EMCC)

http://openit.disco.unimib.it/emcc/ DNA Computing and Informatics at Surfaces

www.corninfo.chem.wisc.edu/writings/DNAcomputing.html DNA nanostructres http://seemanlab4.chem.nyu.edu/

Web resources

Page 46: Part 2. 1Introduction 2Theoretical background  Biochemistry/molecular biology  Computation 3Extension of theoretical background (biochemistry or computer

Cristian S, Calude and Gheorghe Paun, Computing with Cells and Atoms: An introduction to quantum, DNA and membrane computing, Taylor & Francis, 2001.

Pâun, G., Ed., Computing With Bio-Molecules: Theory and Experiments, Springer, 1999.

Gheorghe Paun, Grzegorz Rozenberg and Arto Salomaa, DNA Computing, New Computing Paradigms, Springer, 1998.

C. S. Calude, J. Casti and M. J. Dinneen, Unconventional Models of Computation, Springer, 1998.

Tono Gramss, Stefan Bornholdt, Michael Gross, Melanie Mitchell and thomas Pellizzari, Non-Standard Computation: Molecular Computation-Cellular Automata-Evolutionary Algorithms-Quantum Computers, Wiley-Vch, 1997.

Books