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 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)