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

• Sarah Dean, 11-12 Feb 2020  + (00:06:55, 11 February 2020)
• David Garcia, 13 Feb 2020  + (19:43:53, 13 February 2020)
• UG meetings, Dec 2019  + (15:15:28, 22 February 2020)
• EECI 2020: Discrete Abstractions  + (17:02:20, 29 February 2020)
• EECI 2020: Rulebooks  + (17:31:11, 29 February 2020)
• EECI 2020: Course Introduction  + (21:56:28, 1 March 2020)
• EECI 2020: Automata Theory  + (22:10:56, 1 March 2020)
• EECI 2020: Temporal Logic  + (22:19:30, 1 March 2020)
• EECI 2020: Reactive Synthesis  + (22:38:25, 1 March 2020)
• EECI 2020: Model Checking  + (07:56:30, 10 March 2020)
• EECI 2020: Probabilistic Systems  + (07:57:46, 10 March 2020)
• EECI 2020: Computer Session: Stormpy  + (08:00:30, 10 March 2020)
• Group Schedule, Winter 2020  + (05:55:16, 12 March 2020)
• EECI 2020: Minimum Violation Planning  + (05:12:55, 13 March 2020)
• EECI 2020: Behavior Specifications  + (07:26:33, 13 March 2020)
• EECI 2020: Computer Session: MVP  + (07:36:24, 13 March 2020)
• EECI 2020: Safety-Critical Systems  + (07:37:58, 13 March 2020)
• EECI 2020: Course Summary  + (07:39:19, 13 March 2020)
• EECI 2020: Computer Session: TuLiP  + (18:50:57, 18 March 2020)
• File:W1 setup-31Mar2020.pdf  + (16:32:57, 2 April 2020)
• EECI-IGSC 2020  + (13:15:47, 8 April 2020)
• E/SEC 103, Spring 2020  + (23:18:45, 19 April 2020)
• Risk-Averse Planning Under Uncertainty  + (05:57:43, 26 May 2020)
• Networked Feedback Systems in Biology  + (21:23:07, 26 May 2020)
• Characterization of Insect Flight Control Systems  + (21:23:20, 26 May 2020)

• Biomolecular Feedback Circuits for Modular, Robust and Rapid Response  + (21:23:33, 26 May 2020)

• BE 240, Spring 2020  + (14:50:01, 28 May 2020)
• Group Schedule, Spring 2020  + (14:09:59, 8 June 2020)
• SBtools Bootcamp, June 2020  + (02:44:01, 14 June 2020)
• File:RSI-soil syn bio.png  + (05:03:38, 20 July 2020)
• File:Rosen20-simplecell.png  + (23:53:15, 8 August 2020)
• Genetic Circuits for Multi-Cellular Machines  + (23:56:21, 8 August 2020)
• File:Cellsys-actuation.png  + (00:10:03, 9 August 2020)
• Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions  + (17:56:46, 10 August 2020)
• Synthetic Cell, Summer 2020  + (15:36:42, 26 August 2020)
• Group Schedule, Summer 2020  + (17:17:12, 20 September 2020)
• GOTChA Chart  + (15:43:30, 25 September 2020)
• CMS 273, Winter 2020  + (16:24:48, 15 November 2020)
• BE 107, Spring 2019  + (21:58:39, 23 November 2020)
• File:Heilmeier-isat.png  + (17:34:20, 25 November 2020)
• Heilmeier Catechism  + (17:37:18, 25 November 2020)
• Modeling and control of the effects of bilateral asymmetries in insect flight  + (15:43:28, 3 December 2020)
• CDS 131, Fall 2020  + (00:16:44, 7 December 2020)
• Group Schedule, Fall 2020  + (15:56:39, 7 December 2020)
• SURF 2021: Modeling tools for design and analysis of synthetic biological circuits  + (04:19:26, 22 December 2020)
• CMS 273, Winter 2021  + (05:56:42, 26 December 2020)
• File:Experiment prop.png  + (12:25:29, 4 January 2021)
• SURF 2021: Test Design for Extremely Resilient System  + (12:33:22, 4 January 2021)
• File:ATPase Protoflagellum.png  + (08:32:54, 6 January 2021)
• SURF 2021  + (16:58:09, 6 January 2021)
• SURF 2021: Optimizing cell extract for a proto-flagellar system  + (17:00:05, 6 January 2021)