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