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

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