Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• ME/CS 132b, Spring 2011, Lab 1 Sign-Up  + (05:00:15, 28 April 2011)
• ME/CS 132b, Spring 2011, Lab 1 Makeup Sign-Up  + (23:10:59, 3 May 2011)
• ME/CS 132b, Spring 2011  + (21:35:59, 16 May 2011)
• Masataka Nishi, May 2011  + (07:02:59, 17 May 2011)
• CDS 140b, Spring 2011  + (23:34:26, 23 May 2011)
• ME/CS 132b, Spring 2011, Course Project Test Time  + (16:04:19, 26 May 2011)
• Group Schedule, Spring 2011  + (03:50:04, 30 May 2011)
• CS-EE-ME 75 Spring 2011 Final Report  + (01:57:58, 31 May 2011)
• Elbert Macau, June 2011  + (18:30:10, 1 June 2011)
• June 2011 meetings  + (16:33:37, 3 June 2011)
• CS/EE/ME 75, 2010-11 - Project Organization  + (02:02:01, 4 June 2011)
• CDS minor  + (16:15:07, 11 June 2011)
• SURF 2011  + (07:08:17, 17 June 2011)
• Nils Napp, June 2011  + (19:14:36, 23 June 2011)
• Mini-bootcamp 2011  + (18:43:02, 26 June 2011)
• File:Murray-sp07.jpg  + (06:22:45, 20 July 2011)
• Group Schedule, Summer 2011  + (05:50:33, 18 September 2011)
• CDS 90 2011-12  + (05:22:27, 26 September 2011)
• SoCal NLC Carpool 2011-10-14  + (22:11:36, 13 October 2011)
• File:Igem2012-interest.pdf  + (20:24:55, 17 November 2011)
• 2012 iGEM  + (00:15:16, 18 November 2011)
• File:Igem2012-infosession.pdf  + (00:15:42, 18 November 2011)
• Group Schedule, Fall 2011  + (20:45:55, 21 November 2011)
• Dec 2011 meetings  + (15:33:37, 10 December 2011)
• SURF 2012: Design and construction of novel synthetic biochemical switches  + (18:33:55, 28 December 2011)
• SURF 2012: Formal verification of patching algorithms for SLAM tasks  + (03:04:34, 29 December 2011)
• SURF 2012: Understanding feedback in bacterial toxin–antitoxin systems  + (20:36:43, 30 December 2011)
• SURF 2012: Evaluation and benchmarking for robot motion planning problems using TuLiP  + (01:36:19, 31 December 2011)
• SURF 2012: Aircraft electric power system modeling in SIMULINK/Stateflow  + (03:25:44, 31 December 2011)
• SURF 2012: Synthetic biology in a cell-free expression system  + (19:05:41, 31 December 2011)
• SURF 2012: Biomolecular rate-regulator circuits  + (00:37:30, 1 January 2012)
• File:MatlabTutorial.pdf  + (07:05:21, 6 January 2012)
• File:Forsyth 1st edition ch1.pdf  + (04:30:12, 7 January 2012)
• File:Me132a winter2012 lecture1 part2.pdf  + (17:56:39, 9 January 2012)
• File:Hw1bio.pdf  + (05:46:10, 10 January 2012)
• File:Hw1.pdf  + (20:55:53, 12 January 2012)
• File:Hw2.pdf  + (22:58:56, 18 January 2012)
• File:Hw2 bio.pdf  + (23:01:40, 18 January 2012)
• Naira Hovakimyan, Jan 2012  + (07:17:29, 19 January 2012)
• ME/CS 132a, Winter 2011  + (03:38:10, 24 January 2012)
• Laurent Lessard, Feb 2012  + (17:38:49, 24 January 2012)
• Ian Manchester, Jan 2012  + (17:39:26, 25 January 2012)
• File:Hw3bio.pdf  + (06:48:22, 26 January 2012)
• File:Hw3.pdf  + (06:48:47, 26 January 2012)
• File:Be150hw4.pdf  + (02:17:10, 31 January 2012)
• File:Bi250bHw4.pdf  + (02:17:31, 31 January 2012)
• ME/CS 132a, Winter 2012, Lab 1  + (21:37:54, 2 February 2012)
• Hiro Ono visit, February 2012  + (06:40:05, 7 February 2012)
• File:Hw5-bio.pdf  + (06:59:00, 9 February 2012)
• File:Hw5-be.pdf  + (06:59:27, 9 February 2012)
• File:Hw6-bio.pdf  + (01:11:47, 17 February 2012)
• File:Hw6-be.pdf  + (01:15:24, 17 February 2012)
• Marta Kwiatkowska, Feb 2012  + (16:59:07, 17 February 2012)
• Gabor Orosz, Feb 2012  + (19:37:40, 21 February 2012)
• File:Hw7-be.pdf  + (02:16:47, 26 February 2012)
• File:Hw7-bio.pdf  + (02:17:02, 26 February 2012)
• Feb/Mar 2012 Meetings  + (16:20:46, 28 February 2012)
• Group Schedule, Winter 2012  + (16:47:43, 2 March 2012)
• File:Hw8-bio.pdf  + (05:52:49, 6 March 2012)
• File:Hw8-be.pdf  + (08:16:49, 6 March 2012)
• ME/CS 132a, Winter 2012, Lab 2 Sign-Up  + (07:24:37, 12 March 2012)
• File:Afrllogo.jpg  + (15:45:43, 1 April 2012)
• EECI 2012: Hybrid Systems Verification  + (03:02:55, 22 April 2012)
• EECI 2012: Verification of Control Protocols  + (17:38:52, 25 April 2012)
• ME/CS 132a, Winter 2012, Lab 1 Sign-Up  + (22:29:46, 27 April 2012)
• Caltech/AFRL, Spring 2012  + (21:06:24, 29 April 2012)
• Vivek Mutalik, April 2012  + (03:41:20, 3 May 2012)
• Prabir Barooah, May 2012  + (02:12:26, 10 May 2012)
• CDS catalog revisions, 2009-10  + (00:35:34, 12 May 2012)
• Research Progress Report  + (00:38:37, 12 May 2012)
• EECI 2012: Introduction: Protocol-Based Control Systems  + (19:15:07, 13 May 2012)
• EECI 2012: Temporal Logic  + (09:20:56, 14 May 2012)
• EECI 2012: Model Checking and Logic Synthesis  + (09:38:51, 14 May 2012)
• EECI 2012: Automata Theory  + (10:13:30, 14 May 2012)
• EECI 2012: Computer Session: Spin  + (14:49:11, 15 May 2012)
• EECI 2012: Deductive Verification of Hybrid Systems  + (10:37:36, 16 May 2012)
• HYCON-EECI, Spring 2012  + (13:11:18, 16 May 2012)
• EECI 2012: Algorithmic Verification of Hybrid Systems  + (07:17:00, 17 May 2012)
• EECI 2012: Synthesis of Reactive Control Protocols  + (07:27:44, 17 May 2012)
• EECI 2012: Computer Session: TuLiP  + (07:38:54, 17 May 2012)
• EECI 2012: Receding Horizon Temporal Logic Planning  + (07:33:02, 18 May 2012)
• EECI 2012: Extensions, Applications, Open Questions  + (07:42:52, 18 May 2012)
• Group Schedule, Spring 2012  + (04:22:27, 5 June 2012)
• ME/CS 132b, Spring 2012 Course Project Test Time  + (23:35:56, 6 June 2012)
• ME/CS 132b, Spring 2012  + (03:33:27, 13 June 2012)
• SURF 2012  + (20:24:42, 21 June 2012)
• SURF 2012: Effects of circuit "layout" on circuit dynamics  + (02:08:46, 23 June 2012)
• SURF meetings, July 2012  + (00:09:10, 30 June 2012)
• Henrik Sandberg, July 2012  + (17:07:20, 31 July 2012)
• CDS 90 2012-13  + (00:02:13, 19 August 2012)
• CDS 101/110a, Fall 2012  + (05:20:00, 24 August 2012)
• Biocircuits subgroup planner  + (17:57:30, 27 August 2012)
• NCS subgroup planner  + (20:51:26, 27 August 2012)
• NSF Expeditions, 2008-2012  + (18:49:04, 1 September 2012)
• Python-control/Download  + (04:42:42, 3 September 2012)
• File:Pvtol-diagram.png  + (04:49:51, 3 September 2012)
• File:Pvtol-dynamics.png  + (04:50:37, 3 September 2012)
• File:Pvtol-statespace.png  + (04:53:20, 3 September 2012)
• File:Pvtol-lqrcost.png  + (04:54:29, 3 September 2012)
• File:Pvtol-lqrstep-xy.png  + (04:55:10, 3 September 2012)
• File:Pvtol-lqrstep-rho.png  + (04:55:19, 3 September 2012)
• File:Pvtol-lateraltf.png  + (04:55:44, 3 September 2012)
• File:Pvtol-nested-bode.png  + (04:58:14, 3 September 2012)
• File:Pvtol-nested-nyquist.png  + (04:58:29, 3 September 2012)
• File:Pvtol-nested-gangof4.png  + (04:58:52, 3 September 2012)
• File:Pvtol-nested-1.png  + (04:59:56, 3 September 2012)
• Python-control/Example: Vertical takeoff and landing aircraft  + (05:01:38, 3 September 2012)
• Python-control/Developer assignments  + (05:06:43, 3 September 2012)
• Sebastian Trimpe, September 2012  + (05:28:39, 13 September 2012)
• Group Schedule, Summer 2012  + (14:38:54, 27 September 2012)
• Aaron Ames, October 2012  + (20:22:07, 11 October 2012)
• Ram Vasudevan, October 2012  + (16:02:00, 22 October 2012)
• File:Murray-aug12.jpg  + (15:08:53, 31 October 2012)
• Verification short course  + (16:51:46, 3 November 2012)
• Janos Sztipanovits, November 2012  + (17:01:08, 6 November 2012)
• SoCal Control Workshop Carpool 2012-11-30  + (22:11:32, 29 November 2012)
• Group Schedule, Fall 2012  + (02:09:42, 6 December 2012)
• CDS 101/110a, Fall 2008  + (03:48:00, 17 December 2012)
• Motion Planning with Complex Tasks  + (17:54:05, 22 December 2012)
• File:Qtree addrs sm.jpg  + (00:04:45, 23 December 2012)
• File:Ldr sizeref sm.jpg  + (00:16:18, 23 December 2012)
• SURF 2013: Experiments with dynamic obstacles and correct-by-construction controllers  + (00:22:12, 23 December 2012)
• SURF 2013: The costs and benefits of various designs of biochemical 'decision engines'  + (17:09:06, 3 January 2013)
• SURF 2013: Robot Motion Planning with Complex Tasks  + (17:10:41, 3 January 2013)
• SURF 2013: Synthetic logic circuits using RNA aptamers  + (17:11:23, 3 January 2013)
• SURF 2013: Role of Delays in Biological Processes  + (17:20:14, 3 January 2013)
• Understanding the Effect of Compositional Context on Biocircuit Performance  + (02:15:16, 4 January 2013)
• SURF 2013: Understanding the Effect of Compositional Context on Biocircuit Performance  + (02:18:59, 4 January 2013)
• SURF 2013: Investigating physical methods of protecting linear DNA fragments in cell-free expression systems  + (19:33:04, 4 January 2013)
• SURF 2013: Synthetic biological circuit design implementing protein degradation in-vitro  + (22:22:31, 4 January 2013)
• SURF 2013: Designing phosphorylation sensitive protein domains for use in synthetic circuits  + (22:33:07, 6 January 2013)
• ME/CS 132a, Winter 2012  + (09:08:49, 8 January 2013)
• File:SimBiologyTutorial.pdf  + (17:57:38, 11 January 2013)
• File:SimbiologyTutorial.pdf  + (18:00:40, 11 January 2013)
• Chris Warner, 15 Jan 2013  + (16:56:15, 13 January 2013)
• CDS 140a Winter 2013 Homework 2  + (18:47:22, 15 January 2013)
• CDS 140a Winter 2013 Homework 1  + (18:49:18, 15 January 2013)
• SURF 2013: The connection between biological structure and function in dynamic environments  + (21:59:49, 16 January 2013)
• Toxin-antitoxin system analysis  + (02:56:26, 22 January 2013)
• File:VarExample 2012.pdf  + (06:03:43, 22 January 2013)
• Yushan Chen, 23 January 2013  + (04:50:54, 23 January 2013)
• CDS 140a Winter 2013 Homework 3  + (21:05:37, 25 January 2013)
• SURF discussions, Jan 2013  + (08:44:05, 27 January 2013)
• BE 150/Bi 250b Winter 2012  + (06:17:44, 31 January 2013)
• CDS 140a Winter 2013 Homework 4  + (03:09:43, 4 February 2013)
• ME/CS 132a, Winter 2013, Lab 1  + (00:07:43, 5 February 2013)
• File:MXu ControlSynthesis WebEx 4Feb13 iCyPhy.pdf  + (05:57:42, 5 February 2013)
• File:NOzay-3Feb13-ICyPhy.pdf  + (05:59:41, 5 February 2013)
• ICyPhy Webex Feb 4 2012  + (21:40:50, 5 February 2013)
• Vasumathi Raman, 11 February 2013  + (17:23:25, 11 February 2013)
• ME/CS 132a, Winter 2013, Lab 1 Sign-Up  + (22:09:29, 12 February 2013)
• CDS 140a Winter 2013 Homework 6  + (22:53:54, 12 February 2013)
• CDS 140a Winter 2013 Homework 5  + (18:39:55, 19 February 2013)
• Yilin Mo, 25 February 2013  + (18:26:30, 24 February 2013)
• Group Schedule, Winter 2013  + (05:15:43, 1 March 2013)
• CDS 140a Winter 2013 Homework 7  + (16:33:00, 3 March 2013)
• BE 150/Bi 250b Winter 2013  + (18:49:53, 6 March 2013)
• March 2013 meeting schedule  + (21:59:28, 6 March 2013)
• BE 150/Bi 250b project ideas, Winter 2013  + (17:53:30, 8 March 2013)
• CDS 110b, Winter 2013 - Course Schedule  + (22:03:18, 8 March 2013)
• EECI 2013: Temporal Logic  + (04:13:55, 11 March 2013)
• EECI 2013: Computer Session: Spin  + (04:15:07, 11 March 2013)
• CDS 140a Winter 2013 Homework 8  + (00:03:18, 12 March 2013)
• File:MG3-bifdiag.png  + (00:03:53, 12 March 2013)
• ME/CS 132a, Winter 2013, Lab 2 Sign-Up  + (00:19:37, 12 March 2013)
• File:Murray-mar13.jpg  + (05:41:53, 13 March 2013)
• EECI 2013: Receding Horizon Temporal Logic Planning  + (09:24:16, 16 March 2013)
• EECI 2013: Introduction: Protocol-Based Control Systems  + (10:04:38, 18 March 2013)
• EECI 2013: Deductive Verification of Hybrid Systems  + (08:05:54, 21 March 2013)
• EECI 2013: Synthesis of Reactive Control Protocols  + (08:10:23, 21 March 2013)
• EECI 2013: Summary and Open Questions  + (09:01:19, 22 March 2013)
• EECI 2013: Advanced Topics  + (09:02:22, 22 March 2013)
• Aircraft models  + (21:43:06, 2 April 2013)
• File:ME132Overview.pdf  + (23:19:01, 15 April 2013)
• File:ME132Homework1.pdf  + (23:20:00, 15 April 2013)
• File:Cobstacle.pdf  + (23:27:09, 15 April 2013)
• File:StarAlgorithm.pdf  + (23:45:20, 15 April 2013)
• File:Cobstacle param.pdf  + (23:51:37, 15 April 2013)
• File:ME132Homework2.pdf  + (17:46:59, 23 April 2013)
• File:HW1Solution.zip  + (03:26:08, 1 May 2013)
• File:Lab1.pdf  + (08:44:45, 6 May 2013)
• File:FinalProject.pdf  + (08:45:40, 6 May 2013)
• File:Set2.tar.gz  + (22:03:36, 6 May 2013)
• File:Sp2013 lab01 material.zip  + (23:31:46, 8 May 2013)
• Southern California Control Workshop, 10 May 2013  + (17:41:23, 9 May 2013)
• File:Tulip-planning 30Apr13.jpg  + (16:05:20, 12 May 2013)
• HYCON-EECI, Spring 2013  + (21:35:16, 12 May 2013)
• File:BugSlides.pdf  + (05:19:51, 22 May 2013)
• File:TangentBug.pdf  + (05:37:32, 22 May 2013)
• File:Tulip-planning 14May13.png  + (15:32:05, 27 May 2013)
• TuLiP planning, May 2013  + (15:33:29, 27 May 2013)
• File:Tulip-planning 23May13.png  + (15:33:44, 27 May 2013)
• CDS 202, Spring 2013  + (15:27:51, 2 June 2013)
• Rodolphe Sepulchre, June 2013  + (16:49:29, 3 June 2013)
• SURF 2013  + (00:48:39, 6 June 2013)
• ME/CS 132b, Spring 2013  + (21:34:24, 6 June 2013)
• Group Schedule, Spring 2013  + (14:08:34, 10 June 2013)
• Aurelijas lab book  + (17:21:36, 28 June 2013)
• File:Gel.27.06.jpg  + (18:35:13, 1 July 2013)
• File:Gel.27.06.sec.jpg  + (18:39:52, 1 July 2013)
• File:28.06.1to6.jpg  + (18:50:38, 1 July 2013)
• 06.26  + (18:55:11, 1 July 2013)
• 06.28  + (18:56:35, 1 July 2013)
• File:GoldenBraid Assembly 082713.png  + (19:59:04, 27 August 2013)
• September 2013 Meetings  + (15:56:56, 28 August 2013)
• File:Firstday data.xlsx  + (20:24:48, 28 August 2013)
• File:OverallfirstGenAssembly.png  + (23:35:35, 28 August 2013)
• Group Schedule, Summer 2013  + (19:08:33, 29 August 2013)
• File:Workday2 IFFL data 082713.xlsx  + (20:20:34, 29 August 2013)
• File:Workday3 IFFL data 082813.xlsx  + (20:22:00, 29 August 2013)
• File:TXTL e11 linear IFFL 082713.xlsx  + (22:25:05, 29 August 2013)
• File:TXTL e11 linear IFFL workshop test plasmid 082813.xlsx  + (22:26:16, 29 August 2013)
• TX-TL Workshop, Aug 2013  + (01:39:42, 30 August 2013)
• File:Workday4 IFFL in vivo data 082913.xlsx  + (17:49:13, 30 August 2013)
• TX-TL Workshop, Aug 2013: Detailed Schedule  + (19:52:55, 4 September 2013)
• Tom Ellis, September 2013  + (18:00:37, 12 September 2013)
• File:GAL-pathway.png  + (02:39:30, 1 October 2013)
• Picture Gallery  + (02:39:55, 1 October 2013)
• Marzia Cescon, Nov 2013  + (15:31:05, 2 November 2013)
• ACM 101/AM 125b/CDS 140a, Winter 2013  + (06:31:26, 11 November 2013)
• Travis Gibson, Nov 2013  + (19:10:15, 25 November 2013)
• Advising meetings, Dec 2013  + (21:36:30, 25 November 2013)
• Alex Mauroy, Nov 2013  + (01:48:02, 26 November 2013)
• Group Schedule, Fall 2013  + (22:25:38, 12 December 2013)
• File:Surf2014-ptolemy-triv-example.jpg  + (04:18:52, 21 December 2013)
• File:Surf2014-aes-rig2012.jpg  + (04:20:07, 21 December 2013)
• File:Surf2014-aes-schematic2012.png  + (04:20:36, 21 December 2013)
• SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed  + (18:02:54, 21 December 2013)
• SURF 2014: Improved methods of discretization for temporal logic planning  + (18:25:59, 28 December 2013)
• File:Surf2014-polytope.png  + (18:26:21, 28 December 2013)
• SURF 2014: Rapid prototyping of moderate complexity biomolecular circuits  + (19:06:09, 28 December 2013)
• File:Surf2014 abstraction.png  + (18:41:13, 29 December 2013)
• File:Surf2014 keymaera train.png  + (18:43:52, 29 December 2013)
• File:Surf2014 partitioning.gif  + (19:08:58, 29 December 2013)
• File:Surf2014 partitioning small.gif  + (19:16:02, 29 December 2013)
• SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers  + (19:26:33, 29 December 2013)
• File:SURF14 rhtlp subsets.png  + (08:30:39, 31 December 2013)
• File:SURF14 rhtlp roadnetwork.png  + (08:35:23, 31 December 2013)
• SURF 2014: Invariant Refinement for Receding Horizon Temporal Logic Planning  + (08:42:32, 31 December 2013)
• File:Cds140-wi14 hw1.pdf  + (22:32:43, 2 January 2014)
• File:14ChenEtAlMulticastIEEETIT2012.pdf  + (19:59:43, 8 January 2014)
• File:08LavaeiCircuits.pdf  + (20:04:28, 8 January 2014)
• File:06GaymeJFM2010.pdf  + (20:06:02, 8 January 2014)
• File:02-2007-FundamentalLimits.pdf  + (20:07:07, 8 January 2014)
• File:13SepsisJCritCareNihms300207.pdf  + (20:08:10, 8 January 2014)
• File:09ScienceGlycolyticOscOnlineFinal.pdf  + (20:09:53, 8 January 2014)
• File:11PhysOfFluidsForcedSolutions2011.pdf  + (20:11:29, 8 January 2014)
• File:10PNASOnlineFinalSackler2011.pdf  + (20:13:06, 8 January 2014)
• File:05AldersonDoyle-tsmca-July2010.pdf  + (20:15:00, 8 January 2014)
• File:03ScienceFire.pdf  + (20:16:01, 8 January 2014)

• File:04AMSNoticesInternet.pdf  + (20:16:53, 8 January 2014)

• File:01IEEEProcNetsLayeringAsOptDecomp.pdf  + (20:18:01, 8 January 2014)
• CDS 110b, Winter 2014- Course Material  + (20:28:18, 8 January 2014)
• File:InvertedPendulum classnote.pdf  + (20:39:06, 8 January 2014)
• File:CDS110bLect1.pdf  + (20:40:07, 8 January 2014)
• File:CDS110bLect1.pptx  + (20:41:04, 8 January 2014)
• CDS 110b: Robustness, fragility, complexity and control  + (20:46:18, 8 January 2014)
• CDS 110b, Winter 2014- Course Schedule  + (21:05:25, 8 January 2014)
• File:Cds110bwi14 hw1.pdf  + (03:01:27, 10 January 2014)
• File:Ln1.pdf  + (05:02:54, 22 January 2014)
• File:Cds140-wi14 hw3.pdf  + (17:56:42, 22 January 2014)
• File:Ln2.pdf  + (06:36:52, 24 January 2014)
• SURF discussions, Jan 2014  + (18:29:05, 24 January 2014)
• File:Cds110bwi14hw2.pdf  + (06:12:38, 27 January 2014)
• File:Cds140-wi14 hw4.pdf  + (06:10:20, 29 January 2014)
• Dennis Bernstein, Jan 2014  + (23:49:33, 29 January 2014)
• File:Cds140-wi14 hw5.pdf  + (16:40:03, 5 February 2014)
• CDS 140a Winter 2014 Homework 1  + (00:02:15, 10 February 2014)
• CDS 140a Winter 2014 Homework 2  + (00:02:34, 10 February 2014)
• File:Cds140-wi14 hw6.pdf  + (06:36:47, 12 February 2014)
• File:2HRVdetails.pdf  + (22:28:58, 14 February 2014)
• File:Main text.pdf  + (22:31:08, 14 February 2014)
• File:SI.PDF  + (22:33:33, 14 February 2014)
• File:Cds110bwi14 hw3.pdf  + (03:03:06, 22 February 2014)
• Cds110b WI14  + (03:04:09, 22 February 2014)
• File:Cds140-wi14 hw7.pdf  + (21:47:07, 22 February 2014)
• EECI 2013: Model Checking  + (18:03:13, 2 March 2014)
• EECI 2013: Algorithmic Verification of Hybrid Systems  + (18:04:11, 2 March 2014)
• EECI 2013: Computer Session: TuLiP  + (18:04:58, 2 March 2014)
• File:Cds140-wi14 hw8.pdf  + (18:42:00, 2 March 2014)
• File:Cds140-wi14 hw9.pdf  + (18:43:05, 2 March 2014)
• Art Krener, Mar 2014  + (16:14:06, 3 March 2014)
• Group Schedule, Winter 2014  + (03:19:40, 5 March 2014)
• CDS 140a Winter 2014 Homework 9  + (00:34:36, 7 March 2014)
• File:Be150 useful matlab.txt  + (22:53:18, 27 March 2014)
• File:Useful matlab1.txt  + (23:01:14, 27 March 2014)
• Raytheon visit, 3 Apr 2014  + (22:13:46, 29 March 2014)
• ACM 101b/AM 125b/CDS 140a, Winter 2014  + (16:25:58, 30 March 2014)
• File:Rec1 pos regdemo.sbproj.zip  + (21:31:28, 30 March 2014)
• File:ODE45 model pos reg.zip  + (21:38:21, 30 March 2014)
• File:Useful matlab.m.zip  + (21:40:13, 30 March 2014)
• Cheng-Zong Bai, Apr 2014  + (18:32:05, 31 March 2014)
• CDS 212 Fall 2010  + (03:46:17, 3 April 2014)
• File:CDS212MatlabV1.zip  + (16:14:04, 3 April 2014)
• File:Readme.txt  + (16:23:01, 3 April 2014)
• Sebastian Maerkl, Apr 2013  + (20:55:11, 6 April 2014)
• CDS 140b Spring 2014 Homework 2  + (16:34:53, 7 April 2014)
• File:YouCandidacy.pdf  + (01:03:10, 9 April 2014)
• File:Report siy.pdf  + (01:03:35, 9 April 2014)
• Information and Decision Systems  + (15:00:55, 11 April 2014)
• Ben Johnson, Apr 2014  + (23:55:58, 21 April 2014)
• File:TutorialSOS.pdf  + (18:08:17, 22 April 2014)
• File:DenniceLogisticsMandelbrot.pdf  + (18:10:27, 22 April 2014)
• File:MandNew.pptx  + (18:11:30, 22 April 2014)
• File:CtrlSysMagHelpSOS.pdf  + (18:13:53, 22 April 2014)
• CDS 140b Spring 2014 Homework 3  + (15:18:34, 27 April 2014)
• CDS course discussion, Apr 2014  + (00:15:32, 29 April 2014)
• CDS 140b Spring 2014 Homework 4  + (15:33:41, 30 April 2014)
• Gupta Visit  + (05:10:10, 6 May 2014)
• File:Chen-201405-CDS212.pdf  + (04:52:35, 8 May 2014)
• Cds212 SP14  + (04:56:33, 8 May 2014)
• CDS 140b Spring 2014 Homework 5  + (17:08:56, 8 May 2014)
• CDS 140b Spring 2014 Homework 6  + (19:49:38, 14 May 2014)
• BE 150/Bi 250 Spring 2014  + (21:10:01, 21 May 2014)
• BE 150/Bi 250 Spring 2014, Project presentation schedule  + (17:40:55, 28 May 2014)
• CDS 140b, Spring 2014  + (03:46:25, 1 June 2014)
• Group Schedule, Spring 2014  + (16:24:12, 2 June 2014)
• CDS 110b, Winter 2008  + (09:05:50, 9 June 2014)
• File:Zipper+Switch image.png  + (06:15:52, 10 June 2014)
• SURF 2014: Fabricating a Toolbox of RNA Thermometers  + (06:31:53, 10 June 2014)
• File:U0.PNG  + (08:28:31, 10 June 2014)
• File:U2.PNG  + (08:31:36, 10 June 2014)
• File:U6.PNG  + (08:33:18, 10 June 2014)
• File:U8.PNG  + (08:34:13, 10 June 2014)
• File:U9.PNG  + (08:34:30, 10 June 2014)
• File:Expression @ 30C and 37C pelleted.png  + (08:37:29, 10 June 2014)
• SURF 2014  + (06:17:22, 20 June 2014)
• TX-TL Workshop, Jun 2014  + (22:58:41, 21 June 2014)
• User:Vsinghal  + (18:56:30, 9 July 2014)
• Model reduction verification in TXTL, with Edward Hancock  + (22:17:48, 9 July 2014)
• Tomoaki Hashimoto, Aug 2014  + (03:22:21, 25 July 2014)
• Group Schedule, Summer 2014  + (08:26:25, 12 September 2014)
• Roy Fox, Oct 2014  + (18:41:52, 29 September 2014)
• File:Cds270lecture1.pdf  + (00:42:33, 2 October 2014)
• File:Cds270lecture2.pdf  + (23:48:24, 3 October 2014)
• George Haller, Oct 2014  + (22:40:58, 9 October 2014)
• File:Cds270lecture4.pdf  + (21:55:11, 13 October 2014)
• File:Cds2703.pdf  + (21:57:02, 13 October 2014)
• File:Cds2705.pdf  + (21:48:21, 14 October 2014)
• File:Cds2706.pdf  + (08:07:08, 16 October 2014)
• File:Cds2707.pdf  + (07:43:32, 21 October 2014)
• Laurent Lessard, 29 Oct 2014  + (02:03:12, 22 October 2014)
• File:Cds2708.pdf  + (19:16:19, 23 October 2014)
• File:Cds2709.pdf  + (16:02:13, 27 October 2014)
• File:Cds27010.pdf  + (05:38:08, 30 October 2014)
• File:Cabin.jpg  + (05:56:50, 31 October 2014)
• File:Nonheatedtent.jpg  + (05:57:29, 31 October 2014)
• File:Heatedtent.jpg  + (05:57:42, 31 October 2014)
• File:Cds27012.pdf  + (09:08:52, 6 November 2014)
• File:Cds27013.pdf  + (19:25:42, 11 November 2014)
• File:Cds27014.pdf  + (20:00:29, 13 November 2014)
• File:Cds27015.pdf  + (19:49:19, 18 November 2014)
• File:Handout.pdf  + (19:44:54, 20 November 2014)
• Group Schedule, Fall 2014  + (17:55:55, 4 December 2014)
• UG meetings, Fall 2014  + (09:13:46, 5 December 2014)
• Pre-CDC 2014 visitors  + (18:16:57, 6 December 2014)
• Douglas Griffith, 8 Dec 2014  + (00:14:05, 9 December 2014)
• Jin Ge, Dec 2014  + (04:08:59, 10 December 2014)
• File:Agent.png  + (22:22:19, 11 December 2014)
• Johan Thunberg, Dec 2014  + (17:53:01, 12 December 2014)
• SURF 2015: Quantitating Differences in Gene Expresion in Linear and Plasmid DNA in a Cell-Free Expression (TXTL) System  + (19:00:38, 16 December 2014)
• Yasuaki Wasa, Dec 2014  + (19:17:46, 16 December 2014)
• File:Juicebox-20130725.jpg  + (21:12:12, 18 December 2014)
• File:Juicebox-UI-20130726.png  + (21:18:13, 18 December 2014)
• File:Violacein.jpg  + (20:21:42, 19 December 2014)
• SURF 2015: Machine-readable protocols and rapid-prototyping for synthetic biology research  + (04:53:35, 22 December 2014)
• SURF 2015: Design space exploration of the violacein pathway in TX-TL  + (00:44:35, 23 December 2014)
• File:SURF15 RSE-Architecture.png  + (07:51:32, 24 December 2014)
• File:SURF15 Pioneer3-DX.jpg  + (07:54:12, 24 December 2014)
• SURF 2015: Improved State Estimation and Control of a Pioneer 3-DX for a Resilient Spacecraft Executive  + (13:53:05, 24 December 2014)
• File:Testbed-photograph-20141222-0833.jpg  + (16:20:09, 24 December 2014)
• SURF 2015: Formal synthesis of switching protocols for estimation and control of aircraft electric power systems  + (20:43:09, 25 December 2014)
• SURF 2015: Designing biomolecular temperature sensors  + (21:20:44, 27 December 2014)
• File:PBD.gif  + (23:55:29, 28 December 2014)
• File:Turtlebot.jpg  + (23:55:39, 28 December 2014)
• SURF 2015: Platform-based design for robotics applications  + (03:40:31, 29 December 2014)
• SURF 2015: Optimal Trajectory Generation under Environmental Uncertainties using Signal Temporal Logic Specifications  + (17:47:44, 29 December 2014)
• SURF 2015: Provably-correct control synthesis for automotive active safety systems  + (17:34:53, 31 December 2014)
• SURF 2015: Design of equilibrium and transient distributions of stochastic biochemical reaction networks  + (22:29:07, 1 January 2015)
• CDS 110b, Winter 2013  + (22:49:07, 2 January 2015)
• File:First Image.jpg  + (04:59:22, 9 January 2015)
• File:Chessboard green.pdf  + (05:00:51, 9 January 2015)
• File:Assignment 1 CS132A V1.pdf  + (05:01:03, 9 January 2015)
• File:Assignment 1 MECS132A.pdf  + (05:05:39, 9 January 2015)
• File:Chessboard 10 7.bmp  + (05:10:52, 9 January 2015)
• ME/CS 132a, Winter 2013  + (06:11:46, 9 January 2015)
• File:Ttt.txt  + (02:29:55, 10 January 2015)
• File:Lecture1 CS132A.pdf  + (05:58:15, 10 January 2015)
• File:Cds140-wi15 hw1.pdf  + (17:27:44, 11 January 2015)
• SURF 2015  + (22:37:32, 12 January 2015)
• SURF 2015: Rapid prototyping of moderate complexity biomolecular circuits  + (22:40:35, 12 January 2015)
• File:Cds140-wi15 hw2.pdf  + (05:47:43, 13 January 2015)
• ME/CS 132a, Winter 2015  + (08:07:12, 14 January 2015)
• CDS 140a Winter 2015 Homework 1  + (23:32:50, 19 January 2015)
• CDS 140a Winter 2014 Homework 3  + (23:40:39, 19 January 2015)
• CDS 140a Winter 2015 Homework 2  + (23:40:49, 19 January 2015)
• CDS 140a Winter 2014 Homework 4  + (00:15:06, 20 January 2015)
• CDS 140a Winter 2015 Homework 3  + (06:15:51, 22 January 2015)
• File:Cds140-wi15 hw3.pdf  + (06:23:50, 22 January 2015)
• CDS 140a Winter 2014 Homework 5  + (02:25:22, 25 January 2015)
• SURF discussions, Jan 2015  + (21:03:59, 29 January 2015)
• File:Cds140-wi15 hw4.pdf  + (20:04:58, 31 January 2015)
• CDS 140a Winter 2014 Homework 6  + (22:58:38, 31 January 2015)
• CDS 140a Winter 2015 Homework 5  + (06:28:12, 5 February 2015)
• CDS 140a Winter 2015 Homework 4  + (23:42:57, 7 February 2015)
• CDS 140a Winter 2014 Homework 7  + (22:50:27, 8 February 2015)
• File:Cds140-wi15 hw5.pdf  + (23:01:29, 8 February 2015)
• Nikolay Atanasov, Feb 2015  + (18:52:35, 9 February 2015)
• File:Cds140-wi15 hw6.pdf  + (23:50:58, 10 February 2015)
• CDS 140a Winter 2014 Homework 8  + (20:58:25, 14 February 2015)
• File:Cds140-wi15 bfs-sensitivity.pdf  + (21:17:27, 14 February 2015)
• CDS 140a Winter 2015 Homework 7  + (06:35:58, 19 February 2015)
• File:Cds140-wi15 hw7.pdf  + (06:36:50, 19 February 2015)
• Group Schedule, Winter 2015  + (20:24:01, 19 February 2015)
• Mark Muller, 20 Feb 2015  + (21:20:47, 20 February 2015)
• CDS 140a Winter 2015 Homework 6  + (22:06:57, 22 February 2015)
• CDS 140a Winter 2015 Homework 8  + (05:57:24, 24 February 2015)
• CDS 140, Winter 2015  + (21:46:58, 1 March 2015)
• Yosemite Trip - 2015  + (22:51:49, 6 March 2015)
• CDS 112,Winter 2015  + (09:06:50, 14 March 2015)
• CDS 112, Winter 2015 - Course Schedule  + (07:43:32, 15 March 2015)
• BE 107, Spring 2015  + (01:08:23, 30 March 2015)
• Sergio Pequito, 31 03 2015  + (20:51:24, 31 March 2015)
• File:ME132BOverview.pdf  + (16:48:19, 3 April 2015)
• File:ME132Lab1.pdf  + (23:05:19, 3 April 2015)
• Tom Ellis, May 2015  + (18:37:19, 18 May 2015)
• ME/CS 132b, Spring 2015  + (22:06:03, 19 May 2015)
• Group Schedule, Spring 2015  + (17:50:04, 24 May 2015)
• UG meetings, Spring 2015  + (05:15:10, 28 May 2015)
• Control Systems Library for Python  + (21:11:07, 31 May 2015)
• TX-TL Bootcamp, Jun 2015  + (17:20:08, 18 June 2015)
• File:IIT-Electric-Car1.jpeg  + (13:19:11, 17 August 2015)
• CASE 2015 Plenary Talk: Specification and Synthesis for Networked Control Systems with Applications to Autonomous Vehicles  + (10:43:33, 26 August 2015)
• Group Schedule, Summer 2015  + (15:00:52, 19 September 2015)
• File:ReviewLAODEs.pdf  + (03:44:27, 30 September 2015)
• CS-EE-ME 75, Fall 2015: Sample GOTChA  + (14:01:45, 4 October 2015)
• File:Gotcha-ex1.pdf  + (14:02:27, 4 October 2015)
• File:Gotcha-ex2.pdf  + (14:02:32, 4 October 2015)
• File:Gotcha-ex3.pdf  + (14:12:11, 4 October 2015)
• CS-EE-ME 75 Fall 2015 Homework 2  + (04:54:36, 6 October 2015)
• Sonja Glavaski, Oct 2015  + (21:09:06, 12 October 2015)
• CS-EE-ME 75 Fall 2015 Homework 3  + (03:12:55, 13 October 2015)
• CDS 110b: Receding Horizon Control  + (18:31:55, 15 October 2015)
• CS-EE-ME 75 Fall 2015 Homework 1  + (03:45:52, 19 October 2015)
• Soheil Feizi, Oct 2015  + (16:19:50, 19 October 2015)
• CS-EE-ME 75 Fall 2015 Homework 4  + (05:38:03, 20 October 2015)
• File:Recitation nov 6.pdf  + (23:51:34, 6 November 2015)
• File:Recitation 110 nov 17.pdf  + (10:19:09, 18 November 2015)
• Property:Start date  + (01:38:07, 26 November 2015)
• Property:End date  + (01:39:27, 26 November 2015)
• Property:Grant number  + (01:41:07, 26 November 2015)
• Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits  + (01:52:47, 26 November 2015)
• 2005 MURI Proposal  + (01:53:12, 26 November 2015)
• Category:Active projects  + (02:19:50, 26 November 2015)
• Caltech Multi-Vehicle Wireless Testbed  + (02:20:28, 26 November 2015)
• Category:Completed projects  + (02:21:49, 26 November 2015)
• RoboFlag 2005  + (02:22:22, 26 November 2015)
• Packet-Based Estimation and Control  + (02:36:19, 26 November 2015)
• CAGEN: Critical Assessment of Genetically Engineered Networks  + (02:37:34, 26 November 2015)
• Network Science and Engineering: A Theory of Network Architecture  + (02:37:57, 26 November 2015)
• Control Design for Cyberphysical Systems Using Slow Computing  + (02:38:28, 26 November 2015)
• Distributed Sense and Control Systems  + (02:39:09, 26 November 2015)
• Model-Based Design and Qualification of Complex Systems  + (02:43:44, 26 November 2015)
• UG meetings, Fall 2015  + (18:49:12, 4 December 2015)
• Group Schedule, Fall 2015  + (22:53:10, 7 December 2015)
• CDS 101/110, Fall 2015  + (03:35:06, 9 December 2015)
• CS/EE/ME 75, 2015-16  + (14:49:44, 2 January 2016)
• CS/EE/ME 75, 2015-16 - Project Organization  + (14:50:27, 2 January 2016)
• CS-EE-ME 75 Winter 2016 Homework 1  + (19:51:14, 4 January 2016)
• CS-EE-ME 75 Winter 2016 Homework 2  + (19:51:29, 4 January 2016)
• TX-TL projects, 2015-16  + (07:08:38, 27 January 2016)
• Research meetings, Jan/Feb 2016  + (18:38:10, 29 January 2016)
• CS/EE/ME 75, 2015-16 - Course Schedule  + (19:03:16, 30 January 2016)
• CS-EE-ME 75 Winter 2016 Midterm Review  + (23:05:33, 1 February 2016)
• Lillian Ratliff, 1-2 Feb 2016  + (04:56:25, 2 February 2016)
• Niklas Karlsson, 9 Feb 2016  + (18:24:33, 9 February 2016)
• Art Krener, Feb 2016  + (20:44:10, 18 February 2016)
• Hiroki Miyazako, Feb 2016  + (17:03:37, 21 February 2016)
• Group Schedule, Winter 2016  + (02:31:28, 7 March 2016)
• BE 107, Spring 2016  + (18:30:36, 28 March 2016)
• CDS 240, Spring 2016: HW 1  + (00:38:54, 18 April 2016)
• CDS 240, Spring 2016: HW 2  + (00:43:49, 18 April 2016)
• Frank Bernhard, April 2016  + (06:07:53, 21 April 2016)
• Chris Mentzel, April 2016  + (04:44:53, 23 April 2016)
• File:Pendulum-wire.png  + (00:07:07, 3 May 2016)
• File:Spherical-pendulum.png  + (00:12:01, 3 May 2016)
• CDS 140b Spring 2014 Homework 1  + (01:26:29, 3 May 2016)
• File:Mls-firetruck.png  + (06:18:16, 5 May 2016)
• CDS 240, Spring 2016: HW 3  + (01:23:33, 8 May 2016)
• Sandbox  + (01:29:04, 8 May 2016)
• Property:Project  + (18:29:42, 14 May 2016)
• The effects of time-varying temperature on delays in genetic networks  + (05:39:15, 15 May 2016)
• Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture  + (05:39:16, 15 May 2016)
• Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks  + (05:39:18, 15 May 2016)
• Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty  + (05:39:18, 15 May 2016)
• Control System Analysis on Symmetric Cones  + (05:39:19, 15 May 2016)
• Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles  + (05:39:21, 15 May 2016)
• Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback  + (05:39:22, 15 May 2016)
• Synthesis from multi-paradigm specifications  + (05:39:24, 15 May 2016)
• Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system  + (05:39:25, 15 May 2016)
• Multi-dimensional state estimation in adversarial environment  + (05:39:27, 15 May 2016)