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

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