Oldest pages
From Murray Wiki
Jump to navigationJump to search
Showing below up to 50 results in range #901 to #950.
- CS-EE-ME 75 Winter 2016 Homework 1 (19:51, 4 January 2016)
- CS-EE-ME 75 Winter 2016 Homework 2 (19:51, 4 January 2016)
- TX-TL projects, 2015-16 (07:08, 27 January 2016)
- Research meetings, Jan/Feb 2016 (18:38, 29 January 2016)
- CS/EE/ME 75, 2015-16 - Course Schedule (19:03, 30 January 2016)
- CS-EE-ME 75 Winter 2016 Midterm Review (23:05, 1 February 2016)
- Lillian Ratliff, 1-2 Feb 2016 (04:56, 2 February 2016)
- Niklas Karlsson, 9 Feb 2016 (18:24, 9 February 2016)
- Art Krener, Feb 2016 (20:44, 18 February 2016)
- Hiroki Miyazako, Feb 2016 (17:03, 21 February 2016)
- Group Schedule, Winter 2016 (02:31, 7 March 2016)
- BE 107, Spring 2016 (18:30, 28 March 2016)
- CDS 240, Spring 2016: HW 1 (00:38, 18 April 2016)
- CDS 240, Spring 2016: HW 2 (00:43, 18 April 2016)
- Frank Bernhard, April 2016 (06:07, 21 April 2016)
- Chris Mentzel, April 2016 (04:44, 23 April 2016)
- CDS 140b Spring 2014 Homework 1 (01:26, 3 May 2016)
- CDS 240, Spring 2016: HW 3 (01:23, 8 May 2016)
- Sandbox (01:29, 8 May 2016)
- The effects of time-varying temperature on delays in genetic networks (05:39, 15 May 2016)
- Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture (05:39, 15 May 2016)
- Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks (05:39, 15 May 2016)
- Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty (05:39, 15 May 2016)
- Control System Analysis on Symmetric Cones (05:39, 15 May 2016)
- Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles (05:39, 15 May 2016)
- Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback (05:39, 15 May 2016)
- Synthesis from multi-paradigm specifications (05:39, 15 May 2016)
- Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system (05:39, 15 May 2016)
- Multi-dimensional state estimation in adversarial environment (05:39, 15 May 2016)
- Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems (05:39, 15 May 2016)
- Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo (06:14, 15 May 2016)
- A Risk-Aware Architecture for Resilient Spacecraft Operations (06:14, 15 May 2016)
- A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters (06:14, 15 May 2016)
- Online Horizon Selection in Receding Horizon Temporal Logic Planning (06:14, 15 May 2016)
- An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis (06:14, 15 May 2016)
- Variable Elimination for Scalable Receding Horizon Temporal Logic Planning (06:14, 15 May 2016)
- Protein degradation in a TX-TL cell-free expression system using ClpXP protease (06:14, 15 May 2016)
- Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping (06:14, 15 May 2016)
- A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications (06:14, 15 May 2016)
- Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System (06:14, 15 May 2016)
- Designing Robustness to Temperature in a Feedforward Loop Circuit (06:14, 15 May 2016)
- Model Predictive Control with Signal Temporal Logic Specifications (06:14, 15 May 2016)
- Privacy Preserving Average Consensus (06:14, 15 May 2016)
- Hot-swapping robot task goals in reactive formal synthesis (06:14, 15 May 2016)
- Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics (06:14, 15 May 2016)
- Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments (06:14, 15 May 2016)
- Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics (06:14, 15 May 2016)
- Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems (06:14, 15 May 2016)
- Bootstrapping bilinear models of simple vehicles (06:14, 15 May 2016)
- Convex Optimal Uncertainty Quantification (06:15, 15 May 2016)