Oldest pages

From Murray Wiki
Jump to navigationJump to search

Showing below up to 50 results in range #1,501 to #1,550.

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

  1. Towards Assume-Guarantee Profiles for Autonomous Vehicles (16:22, 1 August 2019)
  2. Synthetic biology future applications and technology needs (00:41, 27 August 2019)
  3. A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks (16:32, 3 September 2019)
  4. Group Schedule, Summer 2019 (18:17, 7 September 2019)
  5. A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior (14:58, 18 September 2019)
  6. Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress (15:00, 18 September 2019)
  7. Jake Beal, 1 Oct 2019 (23:04, 30 September 2019)
  8. Thomas Mohren, 2 Oct 2019 (18:19, 2 October 2019)
  9. Mike Biercuk, 7 Oct 2019 (21:02, 7 October 2019)
  10. Sandeep Chichali, 16 Oct 2019 (01:37, 16 October 2019)
  11. CMS 273, Winter 2019 (17:40, 19 November 2019)
  12. Group Schedule, Fall 2019 (03:09, 3 December 2019)
  13. CS 142, Fall 2019 (17:01, 5 December 2019)
  14. AFOSR (20:44, 8 December 2019)
  15. Eric Wolff, 11 Dec 2019 (21:16, 10 December 2019)
  16. SURF 2020: Test and Evaluation for Autonomy (21:32, 15 December 2019)
  17. SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars (21:41, 15 December 2019)
  18. SURF 2020: Social-Aware Robot Navigation (21:51, 15 December 2019)
  19. SURF 2020: System identification of bacterial gene expression as a function of population dynamics (05:26, 17 December 2019)
  20. CDS 131, Fall 2019 (07:20, 18 December 2019)
  21. SURF 2020: Applications of synthetic differentiation (22:07, 22 December 2019)
  22. SURF 2020: Hardware Implementation of Contract-Based Design for Automated Valet Parking System (18:08, 30 December 2019)
  23. SURF 2020 (22:22, 12 January 2020)
  24. SURF discussions, Jan 2019 (19:01, 20 January 2020)
  25. SURF GOTChA chart (00:04, 22 January 2020)
  26. SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines (15:24, 23 January 2020)
  27. SURF discussions, Jan 2020 (22:26, 23 January 2020)
  28. Liren Yang, 5-6 Feb 2020 (04:48, 6 February 2020)
  29. Sarah Dean, 11-12 Feb 2020 (00:06, 11 February 2020)
  30. David Garcia, 13 Feb 2020 (19:43, 13 February 2020)
  31. UG meetings, Dec 2019 (15:15, 22 February 2020)
  32. EECI 2020: Discrete Abstractions (17:02, 29 February 2020)
  33. EECI 2020: Rulebooks (17:31, 29 February 2020)
  34. EECI 2020: Course Introduction (21:56, 1 March 2020)
  35. EECI 2020: Automata Theory (22:10, 1 March 2020)
  36. EECI 2020: Temporal Logic (22:19, 1 March 2020)
  37. EECI 2020: Reactive Synthesis (22:38, 1 March 2020)
  38. EECI 2020: Model Checking (07:56, 10 March 2020)
  39. EECI 2020: Probabilistic Systems (07:57, 10 March 2020)
  40. EECI 2020: Computer Session: Stormpy (08:00, 10 March 2020)
  41. Group Schedule, Winter 2020 (05:55, 12 March 2020)
  42. EECI 2020: Minimum Violation Planning (05:12, 13 March 2020)
  43. EECI 2020: Behavior Specifications (07:26, 13 March 2020)
  44. EECI 2020: Computer Session: MVP (07:36, 13 March 2020)
  45. EECI 2020: Safety-Critical Systems (07:37, 13 March 2020)
  46. EECI 2020: Course Summary (07:39, 13 March 2020)
  47. EECI 2020: Computer Session: TuLiP (18:50, 18 March 2020)
  48. EECI-IGSC 2020 (13:15, 8 April 2020)
  49. E/SEC 103, Spring 2020 (23:18, 19 April 2020)
  50. Risk-Averse Planning Under Uncertainty (05:57, 26 May 2020)

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