Long pages

Showing below up to 50 results in range #851 to #900.

851. (hist) ‎EECI 2013: Synthesis of Reactive Control Protocols ‎[1,613 bytes]
852. (hist) ‎Control of density and composition in an engineered two-member bacterial community ‎[1,612 bytes]
853. (hist) ‎Decomposition of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks ‎[1,611 bytes]
854. (hist) ‎Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems ‎[1,610 bytes]
855. (hist) ‎Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty ‎[1,609 bytes]
856. (hist) ‎Mar 2010 meetings ‎[1,609 bytes]
857. (hist) ‎Designing Robustness to Temperature in a Feedforward Loop Circuit ‎[1,607 bytes]
858. (hist) ‎Cross-entropy Temporal Logic Motion Planning ‎[1,605 bytes]
859. (hist) ‎Yilin Mo, 25 February 2013 ‎[1,603 bytes]
860. (hist) ‎A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology ‎[1,602 bytes]
861. (hist) ‎Probabilistic Performance of State Estimation Across a Lossy Network ‎[1,596 bytes]
862. (hist) ‎Fast Automatic Verification of Large-Scale Systems with Lookup Tables ‎[1,595 bytes]
863. (hist) ‎A group-theoretic approach to formalizing bootstrapping problems ‎[1,595 bytes]
864. (hist) ‎Towards a Packet-Based Control Theory - Part I: Stabilization over a Packet-Based Network ‎[1,594 bytes]
865. (hist) ‎ME/CS 132a, Winter 2012, Lab 2 Sign-Up ‎[1,592 bytes]
866. (hist) ‎Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits ‎[1,591 bytes]
867. (hist) ‎SURF discussions, Jan 2018 ‎[1,591 bytes]
868. (hist) ‎Synthesis of Embedded Control Systems with High Sampling Frequencies ‎[1,591 bytes]
869. (hist) ‎A robust model predictive control algorithm augmented with a reactive safety mode ‎[1,591 bytes]
870. (hist) ‎Jin Ge, Dec 2014 ‎[1,590 bytes]
871. (hist) ‎Feb/Mar 2012 Meetings ‎[1,586 bytes]
872. (hist) ‎Synthesis from multi-paradigm specifications ‎[1,583 bytes]
873. (hist) ‎Mar 2009 meetings ‎[1,583 bytes]
874. (hist) ‎An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols ‎[1,579 bytes]
875. (hist) ‎Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity ‎[1,579 bytes]
876. (hist) ‎MVWT hovercraft ‎[1,578 bytes]
877. (hist) ‎Performance Metrics for a Biomolecular Step Response ‎[1,577 bytes]
878. (hist) ‎Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems ‎[1,576 bytes]
879. (hist) ‎.world file ‎[1,572 bytes]
880. (hist) ‎A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications ‎[1,569 bytes]
881. (hist) ‎Rapid in vitro engineering of 16 two-input logic gates ‎[1,569 bytes]
882. (hist) ‎Hovercrafe Batteries and Charger Details ‎[1,566 bytes]
883. (hist) ‎Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth ‎[1,564 bytes]
884. (hist) ‎Counter-example Guided Learning of Bounds on Environment Behavior ‎[1,560 bytes]
885. (hist) ‎Distributed Power Allocation for Vehicle Management Systems ‎[1,560 bytes]
886. (hist) ‎Regulatory activity revealed by dynamic correlations in gene expression noise ‎[1,558 bytes]
887. (hist) ‎SURF 2011: Design of Biomolecular Circuits Using Programmable Protein Scaffolds ‎[1,557 bytes]
888. (hist) ‎SURF discussions, Jan 2024 ‎[1,556 bytes]
889. (hist) ‎Active Control of an Axial Flow Compressor via Pulsed Air Injection ‎[1,553 bytes]
890. (hist) ‎To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels ‎[1,553 bytes]
891. (hist) ‎EECI08: Distributed Estimation and Control ‎[1,551 bytes]
892. (hist) ‎Hiding variables when decomposing specifications into GR(1) contracts ‎[1,543 bytes]
893. (hist) ‎Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation ‎[1,543 bytes]
894. (hist) ‎HW8 Problem 1 Hints ‎[1,537 bytes]
895. (hist) ‎Stochastic Gene Expression in Single Gene Oscillator Variants ‎[1,536 bytes]
896. (hist) ‎Quantifying Crosstalk in Biochemical Systems ‎[1,536 bytes]
897. (hist) ‎How do you actually find the Jordan canonical form of a matrix? ‎[1,536 bytes]
898. (hist) ‎A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems ‎[1,535 bytes]
899. (hist) ‎Estimation over Communication Networks: Performance Bounds and Achievability Results ‎[1,535 bytes]
900. (hist) ‎Online Horizon Selection in Receding Horizon Temporal Logic Planning ‎[1,530 bytes]