Pages with the most revisions

Showing below up to 50 results in range #1,071 to #1,120.

1071. Stanley Bak, 8 July 2019‏‎ (3 revisions)
1072. Steelebots quickstart‏‎ (3 revisions)
1073. Symbolic construction of GR(1) contracts for systems with full information‏‎ (3 revisions)
1074. Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications‏‎ (3 revisions)
1075. Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems‏‎ (3 revisions)
1076. Synthetic logic circuits using RNA aptamer against T7 RNA polymerase‏‎ (3 revisions)
1077. The Caltech Multi-Vehicle Wireless Testbed‏‎ (3 revisions)
1078. There are some problems with Ex 6‏‎ (3 revisions)
1079. Towards Assume-Guarantee Profiles for Autonomous Vehicles‏‎ (3 revisions)
1080. Trinity Lee‏‎ (3 revisions)
1081. Victoria Orphan‏‎ (3 revisions)
1082. WASC: CCSC meeting, 17 Apr 06‏‎ (3 revisions)
1083. WASC 2005-04-13‏‎ (3 revisions)
1084. What are methods for determining errors in a real system?‏‎ (3 revisions)
1085. What is the Nyquist contour for discrete systems?‏‎ (3 revisions)
1086. Where can I get a more detailed description of how the flyball governor works?‏‎ (3 revisions)
1087. Why are the initial conditions of the integrator and engine in hw1cruise.mdl set to 55*50?‏‎ (3 revisions)
1088. Why is dB defined as 20log 10?‏‎ (3 revisions)
1089. Why was there only one damper in the mass/spring model?‏‎ (3 revisions)
1090. Will the midterm cover material from Week 5?‏‎ (3 revisions)
1091. "HW6 Question 3"‏‎ (2 revisions)
1092. .cfg file‏‎ (2 revisions)
1093. A Contract-Based Methodology for Aircraft Electric Power System Design‏‎ (2 revisions)
1094. A Method for Cost-Effective and Rapid Characterization of Genetic Parts‏‎ (2 revisions)
1095. A Model-Free Algorithm for Extremely Resilient Navigation‏‎ (2 revisions)
1096. A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode‏‎ (2 revisions)
1097. A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease‏‎ (2 revisions)
1098. A group-theoretic approach to formalizing bootstrapping problems‏‎ (2 revisions)
1099. A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor‏‎ (2 revisions)
1100. A modal interface contract theory for guarded input/output automata with an application in traffic system design‏‎ (2 revisions)
1101. A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks‏‎ (2 revisions)
1102. A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression‏‎ (2 revisions)
1103. Academic Descendants‏‎ (2 revisions)
1104. Addressable and adaptable intercellular communication via DNA messaging‏‎ (2 revisions)
1105. Admin/Courses‏‎ (2 revisions)
1106. Alberto Sangiovanni-Vincentelli‏‎ (2 revisions)
1107. Alice: An information-rich autonomous vehicle for high-speed desert navigation‏‎ (2 revisions)
1108. An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis‏‎ (2 revisions)
1109. An analytical approach to bistable biological circuit discrimination using real algebraic geometry‏‎ (2 revisions)
1110. Analysis of primitive genetic interactions for the design of a genetic signal differentiator‏‎ (2 revisions)
1111. Are there any advances in applying feedback modeling to social systems other than in an economic sense?‏‎ (2 revisions)
1112. Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop‏‎ (2 revisions)
1113. Azita Emami‏‎ (2 revisions)
1114. BE 107, Spring 2016‏‎ (2 revisions)
1115. BFS‏‎ (2 revisions)
1116. Backtracking temporal logic synthesis for uncertain environments‏‎ (2 revisions)
1117. Bacteria Design Challenge‏‎ (2 revisions)
1118. Bandwidth command, HW 6‏‎ (2 revisions)
1119. Benefits of Flocking‏‎ (2 revisions)
1120. Bioligically Inspired Feedback Design for Drosophila Flight‏‎ (2 revisions)