Pages with the most revisions

From Murray Wiki
Jump to navigationJump to search

Showing below up to 50 results in range #1,051 to #1,100.

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

  1. SURF 2012: Aircraft electric power system modeling in SIMULINK/Stateflow‏‎ (3 revisions)
  2. SURF 2012: Design and construction of novel synthetic biochemical switches‏‎ (3 revisions)
  3. SURF 2013: Experiments with dynamic obstacles and correct-by-construction controllers‏‎ (3 revisions)
  4. SURF 2013: Investigating physical methods of protecting linear DNA fragments in cell-free expression systems‏‎ (3 revisions)
  5. SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed‏‎ (3 revisions)
  6. SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers‏‎ (3 revisions)
  7. SURF 2015: Formal synthesis of switching protocols for estimation and control of aircraft electric power systems‏‎ (3 revisions)
  8. SURF 2015: Machine-readable protocols and rapid-prototyping for synthetic biology research‏‎ (3 revisions)
  9. SURF 2015: Platform-based design for robotics applications‏‎ (3 revisions)
  10. SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications‏‎ (3 revisions)
  11. SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications‏‎ (3 revisions)
  12. SURF 2017: Synthetic modules for control of bacterial growth‏‎ (3 revisions)
  13. SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia‏‎ (3 revisions)
  14. SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention‏‎ (3 revisions)
  15. SURF 2018: Integrase-based genetic circuits‏‎ (3 revisions)
  16. SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines‏‎ (3 revisions)
  17. SURF 2022: Feedback control system in synthetic cells‏‎ (3 revisions)
  18. SURF 2023: Lysate Optimization to Extend Cell-Free Reaction Lifetime‏‎ (3 revisions)
  19. SURF 2023: Membrane Proteins‏‎ (3 revisions)
  20. Should we bring our computers with Matlab installed to the review Friday?‏‎ (3 revisions)
  21. Stanley Bak, 8 July 2019‏‎ (3 revisions)
  22. Steelebots quickstart‏‎ (3 revisions)
  23. Symbolic construction of GR(1) contracts for systems with full information‏‎ (3 revisions)
  24. Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications‏‎ (3 revisions)
  25. Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems‏‎ (3 revisions)
  26. Synthetic logic circuits using RNA aptamer against T7 RNA polymerase‏‎ (3 revisions)
  27. The Caltech Multi-Vehicle Wireless Testbed‏‎ (3 revisions)
  28. There are some problems with Ex 6‏‎ (3 revisions)
  29. Towards Assume-Guarantee Profiles for Autonomous Vehicles‏‎ (3 revisions)
  30. Trinity Lee‏‎ (3 revisions)
  31. Victoria Orphan‏‎ (3 revisions)
  32. WASC: CCSC meeting, 17 Apr 06‏‎ (3 revisions)
  33. WASC 2005-04-13‏‎ (3 revisions)
  34. What are methods for determining errors in a real system?‏‎ (3 revisions)
  35. What is the Nyquist contour for discrete systems?‏‎ (3 revisions)
  36. Where can I get a more detailed description of how the flyball governor works?‏‎ (3 revisions)
  37. Why are the initial conditions of the integrator and engine in hw1cruise.mdl set to 55*50?‏‎ (3 revisions)
  38. Why is dB defined as 20log 10?‏‎ (3 revisions)
  39. Why was there only one damper in the mass/spring model?‏‎ (3 revisions)
  40. Will the midterm cover material from Week 5?‏‎ (3 revisions)
  41. "HW6 Question 3"‏‎ (2 revisions)
  42. .cfg file‏‎ (2 revisions)
  43. A Contract-Based Methodology for Aircraft Electric Power System Design‏‎ (2 revisions)
  44. A Method for Cost-Effective and Rapid Characterization of Genetic Parts‏‎ (2 revisions)
  45. A Model-Free Algorithm for Extremely Resilient Navigation‏‎ (2 revisions)
  46. A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode‏‎ (2 revisions)
  47. A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease‏‎ (2 revisions)
  48. A group-theoretic approach to formalizing bootstrapping problems‏‎ (2 revisions)
  49. A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor‏‎ (2 revisions)
  50. A modal interface contract theory for guarded input/output automata with an application in traffic system design‏‎ (2 revisions)

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

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