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

• User:Sdathath  + (12:19:46, 30 November 2016)
• Group Schedule, Fall 2016  + (06:10:19, 2 December 2016)
• IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems  + (19:28:16, 14 December 2016)
• SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications  + (06:38:01, 21 December 2016)
• File:2017 integrase SURF RLW.pdf  + (15:34:10, 2 January 2017)
• File:Integrase clock circuit.pdf  + (16:31:09, 2 January 2017)
• File:Nsf integrase clock.png  + (21:53:29, 2 January 2017)
• SURF 2017: Integrase based circuits for sequential and temporal control of gene expression  + (01:47:11, 3 January 2017)
• SURF 2017: Length and time scales of cell-cell signalling circuits in agar  + (00:17:22, 4 January 2017)
• Image gallery  + (19:01:03, 5 January 2017)
• File:Bfs-overview.png  + (19:01:43, 5 January 2017)
• File:Pmti11.png  + (19:02:58, 5 January 2017)
• File:Muri11-synbio.png  + (19:03:19, 5 January 2017)
• File:Afosr13-synbio.png  + (19:03:34, 5 January 2017)
• File:Nsf13-mpp.png  + (19:03:49, 5 January 2017)
• File:Icb13-synbio.png  + (19:04:09, 5 January 2017)
• File:Hfsp15-oscillators.png  + (19:04:28, 5 January 2017)
• File:Denso16-cpm.png  + (19:04:47, 5 January 2017)
• File:Vehical-overview.png  + (19:05:00, 5 January 2017)
• File:Kiss-architecture.png  + (19:06:10, 5 January 2017)
• File:Breadboards-process.png  + (19:06:19, 5 January 2017)
• File:Rate-regulator.png  + (19:06:35, 5 January 2017)
• File:Biomolecular-twoloop.png  + (19:06:46, 5 January 2017)
• File:Biomolecular-feedback.png  + (19:06:55, 5 January 2017)
• File:Slowncs-arch.png  + (19:07:06, 5 January 2017)

• File:Alice-gce.jpg  + (19:10:55, 5 January 2017)

• File:Dod16-vbff.pdf  + (23:03:59, 9 January 2017)
• SURF 2017  + (16:38:24, 11 January 2017)
• SURF 2017: Data-driven models for temporal logic control  + (16:40:49, 11 January 2017)
• SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications  + (16:51:27, 11 January 2017)
• File:TuLiP-SCA.png  + (17:21:25, 11 January 2017)
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications  + (03:25:10, 13 January 2017)
• Fast Automatic Verification of Large-Scale Systems with Lookup Tables  + (03:35:09, 13 January 2017)
• Jan 2017 meeting schedule  + (15:35:45, 17 January 2017)
• Michaëlle Mayalu, Jan 2017  + (16:35:23, 23 January 2017)
• Henrike Niederholtmeyer, Jan 2017  + (21:13:41, 24 January 2017)
• SURF discussions, Jan 2017  + (01:43:36, 25 January 2017)
• Leopold Green, 13 Feb 2017  + (21:57:19, 11 February 2017)
• Consensus and Cooperation in Networked Multi-Agent Systems  + (15:26:02, 26 February 2017)
• Group Schedule, Winter 2017  + (21:10:01, 27 February 2017)
• Mar 2017 meeting schedule  + (18:45:14, 5 March 2017)
• Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli  + (05:56:00, 6 March 2017)
• Engineering pulsatile communication in bacterial consortia  + (05:59:01, 6 March 2017)
• Enhancing tolerance to unexpected jumps in GR(1) games  + (07:22:18, 22 March 2017)
• The Effect of Compositional Context on Synthetic Gene Networks  + (07:41:04, 22 March 2017)
• Population regulation in microbial consortia using dual feedback control  + (21:40:20, 22 March 2017)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (06:00:40, 28 March 2017)
• AFOSR BRI, DARPA BioCon  + (06:07:20, 28 March 2017)
• SRC TerraSwarm, DENSO CPM  + (04:33:48, 17 April 2017)
• Hiding variables when decomposing specifications into GR(1) contracts  + (04:42:48, 17 April 2017)
• Apr 2017 meeting schedule  + (15:25:22, 19 April 2017)