New pages
From MurrayWiki
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)- 22:21, 20 May 2012 Model-guided Discovery and Optimization of Navy-relevant Cell-based Sensors (hist) [1,899 bytes] Murray (Talk | contribs) (Created page with '{{righttoc}} This is a MURI project led by Chris Voigt at MIT and involving Domitilla Del Vecchio (MIT), Michael Laub (MIT), Vincent Noireaux (UMN), Eduardo Sontag (Rutgers), Ho…')
- 22:14, 20 May 2012 Programmable Molecular Technology Initiative (hist) [2,046 bytes] Murray (Talk | contribs) (Created page with '{{righttoc}} This is a MURI project led by Chris Voigt at MIT and involving Domitilla Del Vecchio (MIT), Michael Laub (MIT), Vincent Noireaux (UMN), Eduardo Sontag (Rutgers), Ho…')
- 11:58, 14 May 2012 ME/CS 132b, Spring 2012 Course Project Test Time (hist) [1,232 bytes] Slivings (Talk | contribs) (Created page with '==Schedule for Lab Session== ===Week 7=== {|border=1 width=70% !colspan=2|16 May 2012 (Wed) |- |width=20%|'''Time''' |'''Names''' |- |2-3pm | |- |3-4pm | |- |4-5pm | |- |5-6pm …')
- 10:04, 14 May 2012 EECI 2012: Algorithmic Verification of Hybrid Systems (hist) [2,734 bytes] Utopcu (Talk | contribs) (Created page with '{{eeci-sp12 header|prev=Deductive Verification of Hybrid Systems|next=Synthesis of Reactive Control Protocols}} This lecture focuses on the verification of hybrid systems. We fi…')
- 09:48, 14 May 2012 EECI 2012: Deductive Verification of Hybrid Systems (hist) [2,614 bytes] Murray (Talk | contribs) (Created page with '{{eeci-sp12 header|prev=Computer Session: Spin|next=Algorithmic Verification}} This lecture focuses on the verification of hybrid systems using deductive (theorem proving) metho…')
- 00:38, 12 May 2012 Research Progress Report (hist) [535 bytes] Ehyeung (Talk | contribs) (Created page with '=Research Progress Report= The research progress report is roughly like a IEEE conference paper, except expanded. Roughly speaking, it can be organized into the following sectio…')
