Oldest pages
From Murray Wiki
Jump to navigationJump to search
Showing below up to 50 results in range #1,351 to #1,400.
- Sergei Avedisov, June 2016 (17:33, 13 June 2016)
- Google Calendar (17:56, 17 June 2016)
- Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems (15:08, 19 June 2016)
- Moclo (19:14, 29 June 2016)
- Aug 2016 meeting schedule (17:59, 4 August 2016)
- Alice: An information-rich autonomous vehicle for high-speed desert navigation (21:53, 20 August 2016)
- Group Schedule, Summer 2016 (17:41, 19 September 2016)
- Sep/Oct 2016 meeting schedule (03:22, 29 September 2016)
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox (15:41, 17 October 2016)
- Connected Cruise Control Design Using Probabilistic Model Checking (15:48, 17 October 2016)
- Quantifying Resource Competition and its Effects in the TX-TL System (15:59, 17 October 2016)
- Admin/Projects (16:12, 29 October 2016)
- Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery (16:52, 29 October 2016)
- Nov 2016 meeting schedule (01:08, 11 November 2016)
- Improvement of E. coli transcription-translation (TX-TL) system (15:54, 19 November 2016)
- Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments (23:09, 19 November 2016)
- Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization (00:54, 27 November 2016)
- Group Schedule, Fall 2016 (06:10, 2 December 2016)
- IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems (19:28, 14 December 2016)
- SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications (06:38, 21 December 2016)
- SURF 2017: Integrase based circuits for sequential and temporal control of gene expression (01:47, 3 January 2017)
- SURF 2017: Length and time scales of cell-cell signalling circuits in agar (00:17, 4 January 2017)
- Image gallery (19:01, 5 January 2017)
- SURF 2017 (16:38, 11 January 2017)
- SURF 2017: Data-driven models for temporal logic control (16:40, 11 January 2017)
- SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications (16:51, 11 January 2017)
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications (03:25, 13 January 2017)
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables (03:35, 13 January 2017)
- Jan 2017 meeting schedule (15:35, 17 January 2017)
- Michaëlle Mayalu, Jan 2017 (16:35, 23 January 2017)
- Henrike Niederholtmeyer, Jan 2017 (21:13, 24 January 2017)
- SURF discussions, Jan 2017 (01:43, 25 January 2017)
- Leopold Green, 13 Feb 2017 (21:57, 11 February 2017)
- Consensus and Cooperation in Networked Multi-Agent Systems (15:26, 26 February 2017)
- Group Schedule, Winter 2017 (21:10, 27 February 2017)
- Mar 2017 meeting schedule (18:45, 5 March 2017)
- Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli (05:56, 6 March 2017)
- Engineering pulsatile communication in bacterial consortia (05:59, 6 March 2017)
- Enhancing tolerance to unexpected jumps in GR(1) games (07:22, 22 March 2017)
- The Effect of Compositional Context on Synthetic Gene Networks (07:41, 22 March 2017)
- Population regulation in microbial consortia using dual feedback control (21:40, 22 March 2017)
- The role of single occupancy effects on integrase dynamics in a cell-free system (06:00, 28 March 2017)
- AFOSR BRI, DARPA BioCon (06:07, 28 March 2017)
- SRC TerraSwarm, DENSO CPM (04:33, 17 April 2017)
- Hiding variables when decomposing specifications into GR(1) contracts (04:42, 17 April 2017)
- Apr 2017 meeting schedule (15:25, 19 April 2017)
- SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines (19:55, 1 May 2017)
- Group Schedule, Spring 2017 (17:59, 8 May 2017)
- May 2017 meeting schedule (00:41, 15 May 2017)
- Gabor Stepan, 30 May 2017 (16:19, 30 May 2017)
