Short pages

Showing below up to 50 results in range #1,651 to #1,700.

1651. (hist) ‎SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers ‎[4,105 bytes]
1652. (hist) ‎Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies ‎[4,105 bytes]
1653. (hist) ‎Naira Hovakimyan, Jan 2012 ‎[4,114 bytes]
1654. (hist) ‎CDS 101/110a, Fall 2006 - Course Schedule ‎[4,133 bytes]
1655. (hist) ‎SURF 2024 ‎[4,135 bytes]
1656. (hist) ‎SURF 2017: Synthetic modules for control of bacterial growth ‎[4,150 bytes]
1657. (hist) ‎2007 Urban Challenge ‎[4,164 bytes]
1658. (hist) ‎CDS 110b: Introduction to Robust Control ‎[4,165 bytes]
1659. (hist) ‎CDS 101/110 - Introduction and Review ‎[4,173 bytes]
1660. (hist) ‎Group Schedule, Spring 2013 ‎[4,177 bytes]
1661. (hist) ‎EECI 2013: Introduction: Protocol-Based Control Systems ‎[4,183 bytes]
1662. (hist) ‎CDS 140a Winter 2015 Homework 7 ‎[4,199 bytes]
1663. (hist) ‎SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed ‎[4,235 bytes]
1664. (hist) ‎SURF 2015: Provably-correct control synthesis for automotive active safety systems ‎[4,271 bytes]
1665. (hist) ‎MPP STC ‎[4,288 bytes]
1666. (hist) ‎SURF 2020 ‎[4,306 bytes]
1667. (hist) ‎CS-EE-ME 75 Winter 2016 Midterm Review ‎[4,313 bytes]
1668. (hist) ‎CDS 110b: Optimal Control ‎[4,315 bytes]
1669. (hist) ‎CDS 140a Winter 2014 Homework 7 ‎[4,315 bytes]
1670. (hist) ‎SURF 2023: Membrane Proteins ‎[4,357 bytes]
1671. (hist) ‎DGC Follow-On Discussion Notes 2005-11-23 ‎[4,368 bytes]
1672. (hist) ‎Wen-Hua Chen, 4-21 Oct 2022 ‎[4,383 bytes]
1673. (hist) ‎NCS: Packet-based Control: the UDP case ‎[4,407 bytes]
1674. (hist) ‎TX-TL projects, 2015-16 ‎[4,423 bytes]
1675. (hist) ‎SURF 2018 ‎[4,465 bytes]
1676. (hist) ‎CDS catalog revisions, 2009-10 ‎[4,499 bytes]
1677. (hist) ‎E/SEC 103, Spring 2020 ‎[4,525 bytes]
1678. (hist) ‎CDS 101/110a, Fall 2007 - Recitation Schedule ‎[4,562 bytes]
1679. (hist) ‎Group Schedule, Fall 2012 ‎[4,564 bytes]
1680. (hist) ‎CMI 2006 workshop TODO ‎[4,579 bytes]
1681. (hist) ‎WASC Undergraduate Education Committee ‎[4,580 bytes]
1682. (hist) ‎2010 plans for visual stabilization/servoing ‎[4,584 bytes]
1683. (hist) ‎SURF 2019: Synthetic modules for regulation of bacterial growth ‎[4,610 bytes]
1684. (hist) ‎SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling ‎[4,611 bytes]
1685. (hist) ‎Yosemite Trip - Winter 2007 ‎[4,627 bytes]
1686. (hist) ‎CS-EE-ME 75, Fall 2015: Sample GOTChA ‎[4,671 bytes]
1687. (hist) ‎Broken/Networked Sensing, Estimation and Control Systems ‎[4,691 bytes]
1688. (hist) ‎SURF 2015: Design of equilibrium and transient distributions of stochastic biochemical reaction networks ‎[4,698 bytes]
1689. (hist) ‎CDS 202, Spring 2013 ‎[4,720 bytes]
1690. (hist) ‎SURF 2015: Formal synthesis of switching protocols for estimation and control of aircraft electric power systems ‎[4,739 bytes]
1691. (hist) ‎SURF 2018: Synthetic modules for regulation of bacterial growth ‎[4,745 bytes]
1692. (hist) ‎SURF 2018: Integrase-based genetic circuits ‎[4,746 bytes]
1693. (hist) ‎Understanding the Effect of Compositional Context on Biocircuit Performance ‎[4,765 bytes]
1694. (hist) ‎SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications ‎[4,789 bytes]
1695. (hist) ‎CDS 212, Homework 9, Fall 2010 ‎[4,808 bytes]
1696. (hist) ‎CDS 140a Winter 2014 Homework 8 ‎[4,851 bytes]
1697. (hist) ‎SURF 2020: Test and Evaluation for Autonomy ‎[4,861 bytes]
1698. (hist) ‎CMI 2006 workshop ‎[4,875 bytes]
1699. (hist) ‎The TerraSwarm Research Center ‎[4,878 bytes]
1700. (hist) ‎SURF 2015 ‎[4,915 bytes]