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

• Property:Title  + (11 June 2016 11:43:49)
• Property:Reports  + (11 June 2016 11:44:06)
• Category:Project  + (11 June 2016 11:44:27)
• Projects  + (11 June 2016 12:20:53)
• User:Murray  + (11 June 2016 12:51:36)
• Molecular Programming Project  + (11 June 2016 19:11:52)
• Property:Graduated  + (11 June 2016 20:16:59)
• Property:Previous positions  + (11 June 2016 20:37:15)
• Enoch Yeung  + (11 June 2016 20:37:47)
• Nancy Cao  + (11 June 2016 20:38:25)
• Ivan Papusha  + (11 June 2016 20:44:59)
• Miki Yun  + (11 June 2016 20:47:29)
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry  + (11 June 2016 20:57:52)
• Rapid in vitro engineering of 16 two-input logic gates  + (11 June 2016 20:58:49)
• Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively  + (11 June 2016 21:01:35)
• Design of a Toolbox of RNA Thermometers  + (11 June 2016 21:02:00)
• Synthetic logic circuits using RNA aptamer against T7 RNA polymerase  + (11 June 2016 21:02:32)
• Synthetic circuit for exact adaptation and fold-change detection  + (11 June 2016 21:02:45)
• Sergei Avedisov, June 2016  + (13 June 2016 17:33:05)
• Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  + (19 June 2016 15:08:26)
• File:CIDAR.png  + (22 June 2016 02:21:34)
• Moclo  + (29 June 2016 19:14:40)
• Aug 2016 meeting schedule  + (4 August 2016 17:59:22)
• Alice: An information-rich autonomous vehicle for high-speed desert navigation  + (20 August 2016 21:53:29)
• Group Schedule, Summer 2016  + (19 September 2016 17:41:37)

• Sep/Oct 2016 meeting schedule  + (29 September 2016 03:22:36)

• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (17 October 2016 15:41:29)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (17 October 2016 15:48:59)
• Quantifying Resource Competition and its Effects in the TX-TL System  + (17 October 2016 15:59:46)
• Admin/Projects  + (29 October 2016 16:12:22)
• Clare Hayes  + (29 October 2016 16:31:50)
• Reed McCardell  + (29 October 2016 16:34:17)
• Catharine (Cat) McGhan  + (29 October 2016 16:36:31)
• Xinying (Cindy) Ren  + (29 October 2016 16:37:36)
• Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery  + (29 October 2016 16:52:28)
• Nov 2016 meeting schedule  + (11 November 2016 01:08:06)
• Improvement of E. coli transcription-translation (TX-TL) system  + (19 November 2016 15:54:12)
• Victoria Hsiao  + (19 November 2016 23:05:52)
• Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments  + (19 November 2016 23:09:56)
• Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization  + (27 November 2016 00:54:42)
• User:Sdathath  + (30 November 2016 12:19:46)
• Group Schedule, Fall 2016  + (2 December 2016 06:10:19)
• IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems  + (14 December 2016 19:28:16)
• SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications  + (21 December 2016 06:38:01)
• File:2017 integrase SURF RLW.pdf  + (2 January 2017 15:34:10)
• File:Integrase clock circuit.pdf  + (2 January 2017 16:31:09)
• File:Nsf integrase clock.png  + (2 January 2017 21:53:29)
• SURF 2017: Integrase based circuits for sequential and temporal control of gene expression  + (3 January 2017 01:47:11)
• SURF 2017: Length and time scales of cell-cell signalling circuits in agar  + (4 January 2017 00:17:22)
• Image gallery  + (5 January 2017 19:01:03)
• File:Bfs-overview.png  + (5 January 2017 19:01:43)