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 -- Use equations in book errata. (3 revisions)
  2. Problem 2 - Actuator block (3 revisions)
  3. Proof of concept continuous event logging in living cells (3 revisions)
  4. Quantifying Crosstalk in Biochemical Systems (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)