Pages with the fewest revisions

From Murray Wiki
Jump to navigationJump to search

Showing below up to 50 results in range #901 to #950.

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

  1. Problem 2 - Actuator block‏‎ (3 revisions)
  2. Proof of concept continuous event logging in living cells‏‎ (3 revisions)
  3. Quantifying Crosstalk in Biochemical Systems‏‎ (3 revisions)
  4. RMM research meetings, Mar 2026‏‎ (3 revisions)
  5. Rapid in vitro engineering of 16 two-input logic gates‏‎ (3 revisions)
  6. Reasoning over Test Specifications using Assume-Guarantee Contracts‏‎ (3 revisions)
  7. Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems‏‎ (3 revisions)
  8. Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models‏‎ (3 revisions)
  9. Roee Francos, 7 Jun 2023‏‎ (3 revisions)
  10. SURF 2012: Aircraft electric power system modeling in SIMULINK/Stateflow‏‎ (3 revisions)
  11. SURF 2012: Design and construction of novel synthetic biochemical switches‏‎ (3 revisions)
  12. SURF 2013: Experiments with dynamic obstacles and correct-by-construction controllers‏‎ (3 revisions)
  13. SURF 2013: Investigating physical methods of protecting linear DNA fragments in cell-free expression systems‏‎ (3 revisions)
  14. SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed‏‎ (3 revisions)
  15. SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers‏‎ (3 revisions)
  16. SURF 2015: Formal synthesis of switching protocols for estimation and control of aircraft electric power systems‏‎ (3 revisions)
  17. SURF 2015: Machine-readable protocols and rapid-prototyping for synthetic biology research‏‎ (3 revisions)
  18. SURF 2015: Platform-based design for robotics applications‏‎ (3 revisions)
  19. SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications‏‎ (3 revisions)
  20. SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications‏‎ (3 revisions)
  21. SURF 2017: Synthetic modules for control of bacterial growth‏‎ (3 revisions)
  22. SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia‏‎ (3 revisions)
  23. SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention‏‎ (3 revisions)
  24. SURF 2018: Integrase-based genetic circuits‏‎ (3 revisions)
  25. SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines‏‎ (3 revisions)
  26. SURF 2022: Feedback control system in synthetic cells‏‎ (3 revisions)
  27. SURF 2023: Lysate Optimization to Extend Cell-Free Reaction Lifetime‏‎ (3 revisions)
  28. SURF 2023: Membrane Proteins‏‎ (3 revisions)
  29. Should we bring our computers with Matlab installed to the review Friday?‏‎ (3 revisions)
  30. Stanley Bak, 8 July 2019‏‎ (3 revisions)
  31. Steelebots quickstart‏‎ (3 revisions)
  32. Symbolic construction of GR(1) contracts for systems with full information‏‎ (3 revisions)
  33. Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications‏‎ (3 revisions)
  34. Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems‏‎ (3 revisions)
  35. Synthetic logic circuits using RNA aptamer against T7 RNA polymerase‏‎ (3 revisions)
  36. The Caltech Multi-Vehicle Wireless Testbed‏‎ (3 revisions)
  37. There are some problems with Ex 6‏‎ (3 revisions)
  38. Towards Assume-Guarantee Profiles for Autonomous Vehicles‏‎ (3 revisions)
  39. Trinity Lee‏‎ (3 revisions)
  40. Victoria Orphan‏‎ (3 revisions)
  41. WASC: CCSC meeting, 17 Apr 06‏‎ (3 revisions)
  42. WASC 2005-04-13‏‎ (3 revisions)
  43. What are methods for determining errors in a real system?‏‎ (3 revisions)
  44. What is the Nyquist contour for discrete systems?‏‎ (3 revisions)
  45. Where can I get a more detailed description of how the flyball governor works?‏‎ (3 revisions)
  46. Why are the initial conditions of the integrator and engine in hw1cruise.mdl set to 55*50?‏‎ (3 revisions)
  47. Why is dB defined as 20log 10?‏‎ (3 revisions)
  48. Why was there only one damper in the mass/spring model?‏‎ (3 revisions)
  49. Will the midterm cover material from Week 5?‏‎ (3 revisions)
  50. 2007 NSF Expeditions Proposal‏‎ (4 revisions)

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