Search by property
From MurrayWiki
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
- 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)
- File:Pmti11.png + (5 January 2017 19:02:58)
- File:Muri11-synbio.png + (5 January 2017 19:03:19)
- File:Afosr13-synbio.png + (5 January 2017 19:03:34)
- File:Nsf13-mpp.png + (5 January 2017 19:03:49)
- File:Icb13-synbio.png + (5 January 2017 19:04:09)
- File:Hfsp15-oscillators.png + (5 January 2017 19:04:28)
- File:Denso16-cpm.png + (5 January 2017 19:04:47)
- File:Vehical-overview.png + (5 January 2017 19:05:00)
- File:Kiss-architecture.png + (5 January 2017 19:06:10)
- File:Breadboards-process.png + (5 January 2017 19:06:19)
- File:Rate-regulator.png + (5 January 2017 19:06:35)
- File:Biomolecular-twoloop.png + (5 January 2017 19:06:46)
- File:Biomolecular-feedback.png + (5 January 2017 19:06:55)
- File:Slowncs-arch.png + (5 January 2017 19:07:06)
- File:Alice-gce.jpg + (5 January 2017 19:10:55)
- File:Dod16-vbff.pdf + (9 January 2017 23:03:59)
- SURF 2017 + (11 January 2017 16:38:24)
- 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)
- Hiding variables when decomposing specifications into GR(1) contracts + (17 April 2017 04:42:48)
- Preprint archive + (17 April 2017 05:12:35)
- Apr 2017 meeting schedule + (19 April 2017 15:25:22)