Oldest pages

From Murray Wiki
Jump to navigationJump to search

Showing below up to 50 results in range #1,601 to #1,650.

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

  1. SURF 2022: Specification Monitor for Testing of Autonomous Systems (03:32, 20 January 2022)
  2. Group Schedule, Winter 2022 (00:20, 8 March 2022)
  3. CDS 112/Ae 103a, Winter 2022 (01:29, 12 March 2022)
  4. Yan Zhang, 28 Mar 2022 (22:12, 25 March 2022)
  5. Paul Freemont, April 2022 (03:56, 21 April 2022)
  6. Group Schedule, Spring 2022 (17:10, 5 June 2022)
  7. Schedule (18:27, 20 July 2022)
  8. Nacho Gispert, 10 Aug 2022 (15:28, 9 August 2022)
  9. Group Schedule, Summer 2022 (16:15, 8 September 2022)
  10. CDS 90 2022-23 (15:33, 19 September 2022)
  11. Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States (04:25, 26 September 2022)
  12. Guidelines for Designing the Antithetic Feedback Motif (04:30, 26 September 2022)
  13. How to model DNA replication in stochastic models of synthetic genetic circuits (and why) (05:25, 29 September 2022)
  14. Wen-Hua Chen, 4-21 Oct 2022 (19:25, 5 October 2022)
  15. Robustness Guarantees for Structured Model Reduction of Dynamical Systems (17:11, 9 October 2022)
  16. Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems (17:47, 9 October 2022)
  17. Risk-Averse Decision Making Under Uncertainty (17:49, 9 October 2022)
  18. Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions (17:54, 9 October 2022)
  19. Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture (18:03, 9 October 2022)
  20. Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking (18:16, 9 October 2022)
  21. Counter-example Guided Learning of Bounds on Environment Behavior (18:17, 9 October 2022)
  22. Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits (18:17, 9 October 2022)
  23. Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data (18:18, 9 October 2022)
  24. Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems (18:18, 9 October 2022)
  25. Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop (18:19, 9 October 2022)
  26. A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression (18:20, 9 October 2022)
  27. Analysis of Circuits for Dosage Control in Microbial Populations (18:20, 9 October 2022)
  28. Synthetic mammalian signaling circuits for robust cell population control (18:21, 9 October 2022)
  29. Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions (18:21, 9 October 2022)
  30. Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations (18:21, 9 October 2022)
  31. Reactive motion planning with probabilistic safety guarantees (18:22, 9 October 2022)
  32. A MATLAB toolbox for modeling genetic circuits in cell-free systems (18:23, 9 October 2022)
  33. Time-Optimal Navigation in Uncertain Environments with High-Level Specifications (18:23, 9 October 2022)
  34. Limits of probabilistic safety guarantees when considering human uncertainty (18:23, 9 October 2022)
  35. The Python Control Systems Library (python-control) (18:23, 9 October 2022)
  36. Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems (18:24, 9 October 2022)
  37. A Method for Cost-Effective and Rapid Characterization of Genetic Parts (18:24, 9 October 2022)
  38. Data-driven network models for genetic circuits from time-series data with incomplete measurements (18:25, 9 October 2022)
  39. Clare Hayes (05:06, 10 October 2022)
  40. Ersin Das (05:37, 10 October 2022)
  41. Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA (03:02, 11 October 2022)
  42. Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates (03:31, 11 October 2022)
  43. Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows (03:42, 11 October 2022)
  44. Evaluation Metrics for Object Detection for Autonomous Systems (04:23, 12 October 2022)
  45. BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts (05:09, 15 October 2022)
  46. Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks (05:12, 15 October 2022)
  47. Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models (05:12, 15 October 2022)
  48. Minimally Constrained Testing for Autonomy with Temporal Logic Specifications (00:21, 22 October 2022)
  49. Manos Alexis, Oct 2022 (15:28, 24 October 2022)
  50. Group Schedule, Fall 2022 (06:17, 5 December 2022)

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

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