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:Biomolecular-twoloop.png  + (5 January 2017 19:06:46)
• File:Biomolecular-feedback.png  + (5 January 2017 19:06:55)
• File:Slowncs-arch.png  + (5 January 2017 19:07:06)
• File:Alice-gce.jpg  + (5 January 2017 19:10:55)
• File:Dod16-vbff.pdf  + (9 January 2017 23:03:59)
• SURF 2017  + (11 January 2017 16:38:24)
• SURF 2017: Data-driven models for temporal logic control  + (11 January 2017 16:40:49)
• SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications  + (11 January 2017 16:51:27)
• File:TuLiP-SCA.png  + (11 January 2017 17:21:25)
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications  + (13 January 2017 03:25:10)
• Fast Automatic Verification of Large-Scale Systems with Lookup Tables  + (13 January 2017 03:35:09)
• Jan 2017 meeting schedule  + (17 January 2017 15:35:45)
• Michaëlle Mayalu, Jan 2017  + (23 January 2017 16:35:23)
• Henrike Niederholtmeyer, Jan 2017  + (24 January 2017 21:13:41)
• SURF discussions, Jan 2017  + (25 January 2017 01:21:58)
• Leopold Green, 13 Feb 2017  + (11 February 2017 21:57:19)
• Consensus and Cooperation in Networked Multi-Agent Systems  + (26 February 2017 15:26:02)
• Group Schedule, Winter 2017  + (27 February 2017 21:10:01)
• Mar 2017 meeting schedule  + (5 March 2017 18:45:14)
• Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli  + (6 March 2017 05:56:00)
• Engineering pulsatile communication in bacterial consortia  + (6 March 2017 05:59:01)
• Enhancing tolerance to unexpected jumps in GR(1) games  + (22 March 2017 07:22:18)
• The Effect of Compositional Context on Synthetic Gene Networks  + (22 March 2017 07:41:04)
• Population regulation in microbial consortia using dual feedback control  + (22 March 2017 21:40:20)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (28 March 2017 06:00:40)
• AFOSR BRI, DARPA BioCon  + (28 March 2017 06:07:20)
• SRC TerraSwarm, DENSO CPM  + (17 April 2017 04:33:48)
• Hiding variables when decomposing specifications into GR(1) contracts  + (17 April 2017 04:42:48)
• Preprint archive  + (17 April 2017 05:12:35)
• Apr 2017 meeting schedule  + (19 April 2017 15:25:22)
• SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (1 May 2017 19:55:08)
• Group Schedule, Spring 2017  + (8 May 2017 17:59:21)
• May 2017 meeting schedule  + (15 May 2017 00:41:47)
• Gabor Stepan, 30 May 2017  + (30 May 2017 16:19:18)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (23 July 2017 17:04:40)
• Learning-Based Abstractions for Nonlinear Constraint Solving  + (23 July 2017 17:09:48)
• Synthesis of Correct-by-Construction Behavior Trees  + (23 July 2017 17:16:30)
• Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology  + (31 July 2017 14:38:40)
• Group Schedule, Summer 2017  + (28 August 2017 14:26:05)
• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (4 September 2017 05:37:33)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (4 September 2017 14:47:53)
• File:Duncan bozenna.jpg  + (25 September 2017 02:53:29)
• Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis  + (25 September 2017 03:10:08)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (25 September 2017 03:13:30)
• Bozenna Pasik-Duncan, Sep 2017  + (27 September 2017 03:59:20)
• File:Karan Kalsi.jpg  + (28 September 2017 16:28:03)
• Karan Kalsi, Oct 2017  + (3 October 2017 21:54:58)
• Programmable Molecular Technology Initiative  + (7 October 2017 05:07:05)
• UTRC visit, 12 Oct 2017  + (11 October 2017 22:13:09)
• WASP visit, 16-17 Oct 2017  + (12 October 2017 05:26:20)

• Mary Dunlop, Oct 2017  + (20 October 2017 13:46:54)

• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (29 October 2017 14:29:49)
• Analysis and design of a synthetic transcriptional network for exact adaptation  + (29 October 2017 14:30:30)
• Quantifying Crosstalk in Biochemical Systems  + (29 October 2017 14:30:39)
• Feedback architectures to regulate flux of components in artificial gene networks  + (29 October 2017 14:30:48)
• File:Jpl-pdf17.png  + (11 November 2017 21:24:00)
• File:Ncs-hierarchical.png  + (12 November 2017 18:16:05)
• Group Schedule, Fall 2017  + (4 December 2017 06:34:49)
• UG meetings, Fall 2017  + (5 December 2017 14:04:08)
• SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention  + (8 December 2017 17:26:23)
• File:AVP.png  + (8 December 2017 20:21:24)
• File:AVP contracts.png  + (8 December 2017 20:21:58)
• SURF 2018: Resource Usage in TX-TL  + (11 December 2017 22:00:20)
• CS 142, Fall 2017  + (13 December 2017 18:12:30)
• File:ASS DNAPEN.jpg  + (14 December 2017 02:01:51)
• SURF 2018: Integrase-based genetic circuits  + (14 December 2017 02:02:59)
• SURF 2018: Evolutionary Stability of Genetic Circuits  + (15 December 2017 21:54:58)
• SURF 2017: Synthetic modules for control of bacterial growth  + (16 December 2017 00:14:25)
• SURF 2018: Synthetic modules for regulation of bacterial growth  + (16 December 2017 00:15:10)
• SURF 2018: Test design for temporal logic controllers  + (16 December 2017 07:06:57)
• File:PARADOX.jpg  + (16 December 2017 22:35:40)
• SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling  + (16 December 2017 22:50:16)
• SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia  + (18 December 2017 15:58:04)
• SURF 2018: Contract-based Design of Control Systems  + (19 December 2017 07:00:13)
• Synthesizing flight software (FSW) discrete controllers from formal specifications  + (22 December 2017 06:39:31)
• Model-guided Discovery and Optimization of Cell-based Sensors  + (22 December 2017 06:39:47)
• The TerraSwarm Research Center  + (22 December 2017 06:40:02)
• File:Icb-microbial.png  + (1 January 2018 17:35:39)
• SURF 2018  + (3 January 2018 19:45:10)
• SURF discussions, Jan 2018  + (24 January 2018 08:01:32)
• EECI 2013: Automata Theory  + (25 January 2018 01:15:50)
• Distributed Mission and Contingency Management for the DARPA Urban Challenge  + (29 January 2018 06:57:31)
• UG meetings, Winter 2018  + (23 February 2018 00:09:24)
• Thoughts on publishing  + (23 February 2018 01:13:59)
• John McManus, 5 Mar 2018  + (3 March 2018 21:37:15)
• Group Schedule, Winter 2018  + (6 March 2018 05:29:00)
• Emzo de los Santos, 12 Mar 2018  + (8 March 2018 05:18:10)
• Chelsea Hu, Apr 2018  + (9 April 2018 19:53:17)
• Ben Richards, 20 Apr 2018  + (17 April 2018 15:35:58)
• Stochastic systems courses  + (2 May 2018 17:26:50)
• Siva Seetharaman, 10 May 2018  + (9 May 2018 20:12:52)
• CDS 110, Spring 2018  + (19 May 2018 23:05:42)
• UG meetings, Spring 2018  + (5 June 2018 17:33:28)
• Control of bacterial population density with population feedback and molecular sequestration  + (19 June 2018 04:54:08)
• Modeling Dynamic Transcriptional Circuits with CRISPRi  + (19 June 2018 05:04:54)
• Single day construction of multi-gene circuits with 3G assembly  + (19 June 2018 05:10:34)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (19 June 2018 05:12:26)
• Voluntary lane-change policy synthesis with reactive control improvisation  + (19 June 2018 05:25:18)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (19 June 2018 05:31:09)
• Length and time scales of cell-cell signaling circuits in agar  + (14 July 2018 13:59:02)
• On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3  + (15 July 2018 05:46:37)