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:AVP contracts.png  + (20:21:58, 8 December 2017)
• SURF 2018: Resource Usage in TX-TL  + (22:00:20, 11 December 2017)
• CS 142, Fall 2017  + (18:12:30, 13 December 2017)
• File:ASS DNAPEN.jpg  + (02:01:51, 14 December 2017)
• SURF 2018: Integrase-based genetic circuits  + (02:02:59, 14 December 2017)
• SURF 2018: Evolutionary Stability of Genetic Circuits  + (21:54:58, 15 December 2017)
• SURF 2017: Synthetic modules for control of bacterial growth  + (00:14:25, 16 December 2017)
• SURF 2018: Synthetic modules for regulation of bacterial growth  + (00:15:10, 16 December 2017)
• SURF 2018: Test design for temporal logic controllers  + (07:06:57, 16 December 2017)
• File:PARADOX.jpg  + (22:35:40, 16 December 2017)
• SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling  + (22:50:16, 16 December 2017)
• SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia  + (15:58:04, 18 December 2017)
• SURF 2018: Contract-based Design of Control Systems  + (07:00:13, 19 December 2017)
• Synthesizing flight software (FSW) discrete controllers from formal specifications  + (06:39:31, 22 December 2017)
• Model-guided Discovery and Optimization of Cell-based Sensors  + (06:39:47, 22 December 2017)
• File:Icb-microbial.png  + (17:35:39, 1 January 2018)
• SURF 2018  + (19:45:10, 3 January 2018)
• SURF discussions, Jan 2018  + (08:01:32, 24 January 2018)
• EECI 2013: Automata Theory  + (01:15:50, 25 January 2018)
• Distributed Mission and Contingency Management for the DARPA Urban Challenge  + (06:57:31, 29 January 2018)
• UG meetings, Winter 2018  + (00:09:24, 23 February 2018)
• John McManus, 5 Mar 2018  + (21:37:15, 3 March 2018)
• Group Schedule, Winter 2018  + (05:29:00, 6 March 2018)
• Emzo de los Santos, 12 Mar 2018  + (05:18:10, 8 March 2018)
• Chelsea Hu, Apr 2018  + (19:53:17, 9 April 2018)

• Ben Richards, 20 Apr 2018  + (15:35:58, 17 April 2018)

• Stochastic systems courses  + (17:26:50, 2 May 2018)
• Siva Seetharaman, 10 May 2018  + (20:12:52, 9 May 2018)
• CDS 110, Spring 2018  + (23:05:42, 19 May 2018)
• UG meetings, Spring 2018  + (17:33:28, 5 June 2018)
• Control of bacterial population density with population feedback and molecular sequestration  + (04:54:08, 19 June 2018)
• Modeling Dynamic Transcriptional Circuits with CRISPRi  + (05:04:54, 19 June 2018)
• Single day construction of multi-gene circuits with 3G assembly  + (05:10:34, 19 June 2018)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (05:12:26, 19 June 2018)
• Voluntary lane-change policy synthesis with reactive control improvisation  + (05:25:18, 19 June 2018)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (05:31:09, 19 June 2018)
• Length and time scales of cell-cell signaling circuits in agar  + (13:59:02, 14 July 2018)
• On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3  + (05:46:37, 15 July 2018)
• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations  + (05:56:57, 15 July 2018)
• Wenlong Xu, 14 Aug 2018  + (06:49:43, 12 August 2018)
• File:Murray-14Dec16.jpg  + (17:26:57, 8 September 2018)
• Group Schedule, Spring 2018  + (18:16:39, 8 September 2018)
• Group Schedule, Summer 2018  + (20:45:43, 10 September 2018)
• Small comments on papers  + (01:19:18, 21 September 2018)
• Daniel Fremont, Sep 2018  + (21:00:11, 21 September 2018)
• Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams  + (13:46:29, 26 September 2018)
• Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability  + (13:46:45, 26 September 2018)
• A modal interface contract theory for guarded input/output automata with an application in traffic system design  + (05:46:14, 8 October 2018)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (05:49:28, 8 October 2018)
• File:Buildacell.png  + (05:56:49, 8 October 2018)
• Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards  + (00:16:31, 23 October 2018)