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

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