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

• Gabor Stepan, 30 May 2017  + (16:19:18, 30 May 2017)
• Learning-Based Abstractions for Nonlinear Constraint Solving  + (17:09:48, 23 July 2017)
• Synthesis of Correct-by-Construction Behavior Trees  + (17:16:30, 23 July 2017)
• Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology  + (14:38:40, 31 July 2017)
• Group Schedule, Summer 2017  + (14:26:05, 28 August 2017)
• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (05:37:33, 4 September 2017)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (14:47:53, 4 September 2017)
• File:Duncan bozenna.jpg  + (02:53:29, 25 September 2017)
• Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis  + (03:10:08, 25 September 2017)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (03:13:30, 25 September 2017)
• Bozenna Pasik-Duncan, Sep 2017  + (03:59:20, 27 September 2017)
• File:Karan Kalsi.jpg  + (16:28:03, 28 September 2017)
• Karan Kalsi, Oct 2017  + (21:54:58, 3 October 2017)
• UTRC visit, 12 Oct 2017  + (22:13:09, 11 October 2017)
• WASP visit, 16-17 Oct 2017  + (05:26:20, 12 October 2017)
• Mary Dunlop, Oct 2017  + (13:46:54, 20 October 2017)
• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (14:29:49, 29 October 2017)
• Analysis and design of a synthetic transcriptional network for exact adaptation  + (14:30:30, 29 October 2017)
• Quantifying Crosstalk in Biochemical Systems  + (14:30:39, 29 October 2017)
• Feedback architectures to regulate flux of components in artificial gene networks  + (14:30:48, 29 October 2017)
• File:Jpl-pdf17.png  + (21:24:00, 11 November 2017)
• File:Ncs-hierarchical.png  + (18:16:05, 12 November 2017)
• Group Schedule, Fall 2017  + (06:34:49, 4 December 2017)
• UG meetings, Fall 2017  + (14:04:08, 5 December 2017)
• SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention  + (17:26:23, 8 December 2017)

• File:AVP.png  + (20:21:24, 8 December 2017)

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