BE/CS/CNS/Bi 191ab: Biomolecular Computation
Professor: Erik Winfree
TA: Niranjan Srinivas
This page is for Winter/Spring 2011. The page for Fall 2011 is different.
Description from the course catalog:
BE/CS/CNS/Bi 191 ab. Biomolecular Computation. 9 units (3-0-6) second
term; (2-4-3) third term. Prerequisite: ChE/BE 163. Recommended: CS
21, CS 129 ab, or equivalent. This course investigates computation by
molecular systems, emphasizing models of computation based on the
underlying physics, chemistry, and organization of biological
cells. We will explore programmability, complexity, simulation of and
reasoning about abstract models of chemical reaction networks,
molecular folding, molecular self-assembly, and molecular motors, with
an emphasis on universal architectures for computation, control, and
construction within molecular systems. If time permits, we will also
discuss biological example systems such as signal transduction,
genetic regulatory networks, and the cytoskeleton; physical limits of
computation, reversibility, reliability, and the role of noise,
DNA-based computers and DNA nanotechnology. Part a develops
fundamental results; part b is a reading and research course: classic
and current papers will be discussed, and students will do projects on
current research topics. Instructor: Winfree.
Time & Place:
BE 191a: Second term, 2011, Noyes 153, Tu 1-2:25pm, Th 1-2:25pm
BE 191b: Third Term, 2011, details TBA.
Syllabus (subject to change):
- Chemical Reaction Networks (CRNs) -- 5 lectures (tools: GEC)
- DNA circuits -- 3 lectures (tools: DSD)
- Jan 20: in vitro evolution; aptamers & ribozymes & circuits; DNA computing
[optional refs on in vitro evolution ,
more in vitro evolution,
deoxyribozyme gates,
deoxyribozyme circuits,
DNA computing, and
more DNA computing.]
- Jan 25: 3-way and 4-way branch migration, toeholds, multistrand kinetics & thermodynamics
[optional refs on
3-way and
4-way branch migration including
mismatches and
toeholds, also secondary structure
kinetics and
thermodynamics.]
- Jan 27: domain-level models; strand displacement cascades; CRNs --> DNA
[optional refs on
domain-level,
cascades, and
CRNs.]
- combinatorial & polymer CRNs -- 5 lectures
- Feb 1: central dogma and molecular biology enzymes, transcription/translation circuits
[optional refs on
the PURE system,
transcription/translation circuits, and
transcription circuits.]
- Feb 3: combinatorial processes: linear self-assembly, restriction enzymes,
regular languages [optional refs: DNA computing,
restriction enzymes,
genetic networks,
assembly PCR.]
- Feb 8: triggered self-assembly &
disassembly: HCR, insertional polymerization, hairpin motif
[optional refs on hybridization chain reaction,
insertional polymerization.]
- Feb 10: hairpin motifs cont'd; TMs --> polymer CRNs --> DNA
[optional refs on assembly & disassembly,
Turing-universal DNA machines.]
- Feb 15: TMs --> polymer CRNs --> DNA cont'd; introduction to self-assembly
- tile system self-assembly -- 4 lectures
- Feb 17: aTAM programming -- algorithmic patterns & shapes & computation
[optional ref on self-assembled squares.]
- Feb 22: aTAM programming -- fabrication of algorithmic shapes; self-healing
[optional refs on arbitrary shapes,
self-healing.]
- Feb 24: DNA & RNA tiles -- structure, design, annealing, nucleation, errors
[lecture slides]
[optional refs on Sierpinski DNA,
copying and counting from a seed.]
- Mar 1: kTAM simulations -- kinetics, thermodynamics, proofreading, nucleation
[optional refs on simulation,
proofreading, and
nucleation.]
- molecular robotics -- 2 lectures
- Mar 3: molecular motors & DNA walkers & molecular robotics olympics
[lecture slides]
[optional refs for caterpillar walker, spiders on origami, and
true DNA walker.]
-
(not covered this year): surface-phase CRNs & cellular automaton
& cytoskeletal restructuring; reaction - diffusion - self-assembly
systems
- Mar 8: fast fabrication of objects with molecular robots
Note: reference links may require a Caltech IP address.
Homeworks
- Homework 1 (CRNs). Due Jan 20, 2011.
- Homework 2 (DNAs). Due Feb 11, 2011.
- Homework 3 (Polymers). Due Mar 02, 2011.
- Homework 4 (Tilings). Due Mar 09, 2011.
- [Not Yet Posted] Final (Inclusive Review). Due Mar 16, 2011.
Grading Policy for BE 191a:
(Updated 2/17/2011) There will be homework sets roughly every other week (four total) and a final exam.
Homeworks: Homeworks will be graded on a {0,1,2} scale.
- 0: Not turned in
- 1: Obviously wrong/little evidence of effort
- 2: Seems mostly correct/clear evidence of effort
Note that getting a 2 does not necessarily mean it is 100%
correct. An exemplary homework set will be chosen each week as a
"solution set" and handed out in class (with the name hidden).
Final exam: The final will be a take-home problem sets
and will consist of the same kind of questions as those constituting
the homeworks, with no time limit. In other words they will not be
difficult if you have been doing the homework and carefully reviewing
the solution sets. The final will have ~5 questions on the material
throughout the class. The exam will be graded more rigorously than the
homework; clarity, correctness, and completeness will be essential.
Grade composition: Your class grade will be based on: 50% final, 50% homeworks.
Collaboration policy: For problem sets other than the final,
you may discuss problems with other students, but what you
turn in must be entirely written by you, including any program code.
For the final, you may not discuss the problems with other
students and all work must be entirely your own.
Grading Policy for BE 191b:
Your grade will be based on
weekly reading and writing assignments, as well as a final project. The
final project is due (TBA). Presentations will be scheduled (TBA).
Office hours: TBA
Resources:
Reading Lists for BE 191b.
Expected background: (references coming)
- Python, Matlab, or Mathematica programming
- Digital AND OR NOT circuits
- Finite State Machines and Regular Languages
- Turing machines & Register machines
- Cellular automata
- Chemical reaction networks; mass-action and stochastic kinetics and thermodynamics
- Basic molecular biology, central dogma enzymes, cytoskeleton
- DNA secondary structure, folding kinetics and thermodynamics,
hybridization & dissociation rates, toeholds, 3-way & 4-way
branch migration