Search by property
From Murray Wiki
Jump to navigationJump to search
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
- 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)