Pages with the fewest revisions

Showing below up to 50 results in range #751 to #800.

751. NME130/Uncertainty‏‎ (2 revisions)
752. Recent research in cooperative control of multivehicle systems‏‎ (2 revisions)
753. SURF 2012: Formal verification of patching algorithms for SLAM tasks‏‎ (2 revisions)
754. EECI 2012: Hybrid Systems Verification‏‎ (2 revisions)
755. MVWT network‏‎ (2 revisions)
756. Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing‏‎ (2 revisions)
757. SURF 2013: Synthetic biological circuit design implementing protein degradation in-vitro‏‎ (2 revisions)
758. Ncsbook/notation‏‎ (2 revisions)
759. EECI 2013: Temporal Logic‏‎ (2 revisions)
760. Problem 2 -- Missing parameter‏‎ (2 revisions)
761. SURF 2013: Understanding the Effect of Compositional Context on Biocircuit Performance‏‎ (2 revisions)
762. Model Predictive Control for Signal Temporal Logic Specifications‏‎ (2 revisions)
763. Problem 2 -- Parameter values missing‏‎ (2 revisions)
764. EECI 2020: Reactive Synthesis‏‎ (2 revisions)
765. Timing molecular motion and production with a synthetic transcriptional clock‏‎ (2 revisions)
766. Problem 2 -- What's the second element in the state of the system?‏‎ (2 revisions)
767. Efficient local validation of partially ordered models via Baysian directed sampling‏‎ (2 revisions)
768. End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks‏‎ (2 revisions)
769. Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor‏‎ (2 revisions)
770. SURF 2015: Designing biomolecular temperature sensors‏‎ (2 revisions)
771. Ersin Das‏‎ (2 revisions)
772. Estimation over Communication Networks: Performance Bounds and Achievability Results‏‎ (2 revisions)
773. Jonathan Feldstein‏‎ (2 revisions)
774. What does the at symbol mean in front of a function in matlab?‏‎ (2 revisions)
775. Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications‏‎ (2 revisions)
776. Friday lectures for 101 students‏‎ (2 revisions)
777. What are the Di parameters in the power grid model?‏‎ (2 revisions)
778. What is a plant in the context of this class?‏‎ (2 revisions)
779. Problem 3 (c) -- Errata‏‎ (2 revisions)
780. What do kr and r represent?‏‎ (2 revisions)
781. What does the 45 mean in ode45?‏‎ (2 revisions)
782. SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars‏‎ (2 revisions)
783. How would you make the dynamics in the cruise control example more realistic?‏‎ (2 revisions)
784. Risk-Averse Decision Making Under Uncertainty‏‎ (2 revisions)
785. What is fuzzy logic?‏‎ (2 revisions)
786. HW 7 Prob 3 Hint‏‎ (2 revisions)
787. In slide 12, what is special about the red cycle as opposed to the blue curves?‏‎ (2 revisions)
788. Research Progress Report‏‎ (2 revisions)
789. A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior‏‎ (3 revisions)
790. A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology‏‎ (3 revisions)
791. Pre-CDC 2014 visitors‏‎ (3 revisions)
792. MVWT Meeting 2004 07 15‏‎ (3 revisions)
793. MVWT Meeting 2004-06-24‏‎ (3 revisions)
794. Should we bring our computers with Matlab installed to the review Friday?‏‎ (3 revisions)
795. MVWT Meeting 2004 08 05‏‎ (3 revisions)
796. MVWT Meeting 2004 07 22‏‎ (3 revisions)
797. Proof of concept continuous event logging in living cells‏‎ (3 revisions)
798. Cooperative Communications and Control‏‎ (3 revisions)
799. Counter-example Guided Learning of Bounds on Environment Behavior‏‎ (3 revisions)
800. DGC Follow-On Discussion Notes 2005-11-23‏‎ (3 revisions)