Pages with the fewest revisions
From Murray Wiki
Jump to navigationJump to search
Showing below up to 50 results in range #701 to #750.
- Connected Cruise Control Design Using Probabilistic Model Checking (2 revisions)
- SURF 2013: Synthetic biological circuit design implementing protein degradation in-vitro (2 revisions)
- Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA (2 revisions)
- Contracts of Reactivity (2 revisions)
- SURF 2020: Social-Aware Robot Navigation (2 revisions)
- Control on the Sphere and Reduced Attitude Stabilization (2 revisions)
- Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia (2 revisions)
- Could we move office hours? (2 revisions)
- WASC teleconference, 23 Oct 06 (2 revisions)
- Cross-entropy Temporal Logic Motion Planning (2 revisions)
- SURF 2020: System identification of bacterial gene expression as a function of population dynamics (2 revisions)
- What's the difference between control "over" network and control "of" network? (2 revisions)
- SURF 2013: Understanding the Effect of Compositional Context on Biocircuit Performance (2 revisions)
- ME/CS 132a, Winter 2010, Lab 1 FAQ (2 revisions)
- Data-driven network models for genetic circuits from time-series data with incomplete measurements (2 revisions)
- SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars (2 revisions)
- Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization (2 revisions)
- Sanjit Seshia (2 revisions)
- Do we have to bring our laptop with Matlab installed for Friday's Matlab tutorial? (2 revisions)
- Do we have to consider complex states when trying to find equilibrium points analytically? (2 revisions)
- Does my Simulink model need to change gears? (2 revisions)
- Reactive Synthesis from Signal Temporal Logic Specifications (2 revisions)
- Hot-swapping robot task goals in reactive formal synthesis (2 revisions)
- Mud cards (2 revisions)
- UAV as a Reliable Wingman: A Flight Demonstration (2 revisions)
- Metabolic perturbations to an E. coli-based cell-free system reveal a trade-off between transcription and translation (2 revisions)
- EECI 2012: Hybrid Systems Verification (2 revisions)
- Recent research in cooperative control of multivehicle systems (2 revisions)
- Problem 2 -- Missing parameter (2 revisions)
- EECI 2013: Temporal Logic (2 revisions)
- Problem 2b -- Does this mean exactly or at least fifty percent? (2 revisions)
- Research Progress Report (2 revisions)
- MVWT network (2 revisions)
- EECI 2020: Reactive Synthesis (2 revisions)
- Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response (2 revisions)
- Efficient local validation of partially ordered models via Baysian directed sampling (2 revisions)
- Problem 2 -- What's the second element in the state of the system? (2 revisions)
- End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks (2 revisions)
- System-level studies of a cell-free transcription-translation platform for metabolic engineering (2 revisions)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor (2 revisions)
- Risk-Averse Decision Making Under Uncertainty (2 revisions)
- Risk-Averse Planning Under Uncertainty (2 revisions)
- Ersin Das (2 revisions)
- Problem 3 - Is the A matrix zero? (2 revisions)
- Estimation over Communication Networks: Performance Bounds and Achievability Results (2 revisions)
- Hw6 ex3.b - setting the velocities (2 revisions)
- WASC: John Hall meeting, 5 Apr 06 (2 revisions)
- Typo in exercise 4 (2 revisions)
- Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications (2 revisions)
- Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications (2 revisions)
