Oldest pages

From Murray Wiki
Jump to navigationJump to search

Showing below up to 50 results in range #1,351 to #1,400.

View ( | ) (20 | 50 | 100 | 250 | 500)

  1. Sep/Oct 2016 meeting schedule‏‎ (03:22, 29 September 2016)
  2. Control design for hybrid systems with TuLiP: The temporal logic planning toolbox‏‎ (15:41, 17 October 2016)
  3. Connected Cruise Control Design Using Probabilistic Model Checking‏‎ (15:48, 17 October 2016)
  4. Quantifying Resource Competition and its Effects in the TX-TL System‏‎ (15:59, 17 October 2016)
  5. Admin/Projects‏‎ (16:12, 29 October 2016)
  6. Nov 2016 meeting schedule‏‎ (01:08, 11 November 2016)
  7. Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization‏‎ (00:54, 27 November 2016)
  8. Group Schedule, Fall 2016‏‎ (06:10, 2 December 2016)
  9. IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems‏‎ (19:28, 14 December 2016)
  10. SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications‏‎ (06:38, 21 December 2016)
  11. SURF 2017: Integrase based circuits for sequential and temporal control of gene expression‏‎ (01:47, 3 January 2017)
  12. SURF 2017: Length and time scales of cell-cell signalling circuits in agar‏‎ (00:17, 4 January 2017)
  13. Image gallery‏‎ (19:01, 5 January 2017)
  14. SURF 2017‏‎ (16:38, 11 January 2017)
  15. SURF 2017: Data-driven models for temporal logic control‏‎ (16:40, 11 January 2017)
  16. SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications‏‎ (16:51, 11 January 2017)
  17. Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications‏‎ (03:25, 13 January 2017)
  18. Fast Automatic Verification of Large-Scale Systems with Lookup Tables‏‎ (03:35, 13 January 2017)
  19. Jan 2017 meeting schedule‏‎ (15:35, 17 January 2017)
  20. Michaëlle Mayalu, Jan 2017‏‎ (16:35, 23 January 2017)
  21. Henrike Niederholtmeyer, Jan 2017‏‎ (21:13, 24 January 2017)
  22. SURF discussions, Jan 2017‏‎ (01:43, 25 January 2017)
  23. Leopold Green, 13 Feb 2017‏‎ (21:57, 11 February 2017)
  24. Consensus and Cooperation in Networked Multi-Agent Systems‏‎ (15:26, 26 February 2017)
  25. Group Schedule, Winter 2017‏‎ (21:10, 27 February 2017)
  26. Mar 2017 meeting schedule‏‎ (18:45, 5 March 2017)
  27. Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli‏‎ (05:56, 6 March 2017)
  28. Engineering pulsatile communication in bacterial consortia‏‎ (05:59, 6 March 2017)
  29. Enhancing tolerance to unexpected jumps in GR(1) games‏‎ (07:22, 22 March 2017)
  30. The Effect of Compositional Context on Synthetic Gene Networks‏‎ (07:41, 22 March 2017)
  31. Population regulation in microbial consortia using dual feedback control‏‎ (21:40, 22 March 2017)
  32. The role of single occupancy effects on integrase dynamics in a cell-free system‏‎ (06:00, 28 March 2017)
  33. AFOSR BRI, DARPA BioCon‏‎ (06:07, 28 March 2017)
  34. SRC TerraSwarm, DENSO CPM‏‎ (04:33, 17 April 2017)
  35. Hiding variables when decomposing specifications into GR(1) contracts‏‎ (04:42, 17 April 2017)
  36. Apr 2017 meeting schedule‏‎ (15:25, 19 April 2017)
  37. SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines‏‎ (19:55, 1 May 2017)
  38. Group Schedule, Spring 2017‏‎ (17:59, 8 May 2017)
  39. May 2017 meeting schedule‏‎ (00:41, 15 May 2017)
  40. Gabor Stepan, 30 May 2017‏‎ (16:19, 30 May 2017)
  41. Learning-Based Abstractions for Nonlinear Constraint Solving‏‎ (17:09, 23 July 2017)
  42. Synthesis of Correct-by-Construction Behavior Trees‏‎ (17:16, 23 July 2017)
  43. Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology‏‎ (14:38, 31 July 2017)
  44. Group Schedule, Summer 2017‏‎ (14:26, 28 August 2017)
  45. System-level studies of a cell-free transcription-translation platform for metabolic engineering‏‎ (05:37, 4 September 2017)
  46. A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response‏‎ (14:47, 4 September 2017)
  47. Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis‏‎ (03:10, 25 September 2017)
  48. An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System‏‎ (03:13, 25 September 2017)
  49. Bozenna Pasik-Duncan, Sep 2017‏‎ (03:59, 27 September 2017)
  50. Karan Kalsi, Oct 2017‏‎ (21:54, 3 October 2017)

View ( | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://murray.cds.caltech.edu/Special:AncientPages"