Search by property
From MurrayWiki
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
- 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)