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

• Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions  + (10 June 2016 05:57:16)
• Category:NCS projects  + (10 June 2016 06:00:57)
• A Contract-Based Methodology for Aircraft Electric Power System Design  + (10 June 2016 06:06:44)
• Symbolic construction of GR(1) contracts for systems with full information  + (10 June 2016 06:06:52)
• Cross-entropy Temporal Logic Motion Planning  + (10 June 2016 06:07:00)
• Reactive Synthesis from Signal Temporal Logic Specifications  + (10 June 2016 06:07:10)
• Model Predictive Control for Signal Temporal Logic Specifications  + (10 June 2016 06:08:16)
• Property:Current project  + (10 June 2016 22:36:27)
• Property:First name  + (10 June 2016 22:36:29)
• Property:Last name  + (10 June 2016 22:36:29)
• Category:Group member  + (10 June 2016 22:36:38)
• Property:Type  + (10 June 2016 22:43:12)
• Property:Department  + (10 June 2016 23:09:23)
• Property:Other projects  + (11 June 2016 01:35:51)
• Synthesis of Control Protocols for Autonomous Systems  + (11 June 2016 05:12:33)
• Property:Support  + (11 June 2016 11:43:27)
• Property:Agency  + (11 June 2016 11:43:37)
• 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)
• Bio  + (11 June 2016 12:50:06)
• 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:Current position  + (11 June 2016 20:26:30)

• 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)
• Temporal Logic Specifications for Control System Design in Automotive Systems  + (12 August 2016 21:34:58)
• 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)