Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• CS-EE-ME 75 Winter 2016 Midterm Review  + (23:05:33, 1 February 2016)
• Lillian Ratliff, 1-2 Feb 2016  + (04:56:25, 2 February 2016)
• Niklas Karlsson, 9 Feb 2016  + (18:24:33, 9 February 2016)
• Art Krener, Feb 2016  + (20:44:10, 18 February 2016)
• Hiroki Miyazako, Feb 2016  + (17:03:37, 21 February 2016)
• Group Schedule, Winter 2016  + (02:31:28, 7 March 2016)
• BE 107, Spring 2016  + (18:30:36, 28 March 2016)
• CDS 240, Spring 2016: HW 1  + (00:38:54, 18 April 2016)
• CDS 240, Spring 2016: HW 2  + (00:43:49, 18 April 2016)
• Frank Bernhard, April 2016  + (06:07:53, 21 April 2016)
• Chris Mentzel, April 2016  + (04:44:53, 23 April 2016)
• File:Pendulum-wire.png  + (00:07:07, 3 May 2016)
• File:Spherical-pendulum.png  + (00:12:01, 3 May 2016)
• CDS 140b Spring 2014 Homework 1  + (01:26:29, 3 May 2016)
• File:Mls-firetruck.png  + (06:18:16, 5 May 2016)
• CDS 240, Spring 2016: HW 3  + (01:23:33, 8 May 2016)
• Sandbox  + (01:29:04, 8 May 2016)
• Property:Project  + (18:29:42, 14 May 2016)
• The effects of time-varying temperature on delays in genetic networks  + (05:39:15, 15 May 2016)
• Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture  + (05:39:16, 15 May 2016)
• Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks  + (05:39:18, 15 May 2016)
• Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty  + (05:39:18, 15 May 2016)
• Control System Analysis on Symmetric Cones  + (05:39:19, 15 May 2016)
• Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles  + (05:39:21, 15 May 2016)
• Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback  + (05:39:22, 15 May 2016)

• Synthesis from multi-paradigm specifications  + (05:39:24, 15 May 2016)

• Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system  + (05:39:25, 15 May 2016)
• Multi-dimensional state estimation in adversarial environment  + (05:39:27, 15 May 2016)
• Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems  + (05:39:28, 15 May 2016)
• Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo  + (06:14:37, 15 May 2016)
• A Risk-Aware Architecture for Resilient Spacecraft Operations  + (06:14:38, 15 May 2016)
• A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters  + (06:14:39, 15 May 2016)
• Online Horizon Selection in Receding Horizon Temporal Logic Planning  + (06:14:40, 15 May 2016)
• An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis  + (06:14:41, 15 May 2016)
• Variable Elimination for Scalable Receding Horizon Temporal Logic Planning  + (06:14:43, 15 May 2016)
• Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping  + (06:14:45, 15 May 2016)
• Protein degradation in a TX-TL cell-free expression system using ClpXP protease  + (06:14:45, 15 May 2016)
• A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications  + (06:14:46, 15 May 2016)
• Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System  + (06:14:49, 15 May 2016)
• Designing Robustness to Temperature in a Feedforward Loop Circuit  + (06:14:50, 15 May 2016)
• Model Predictive Control with Signal Temporal Logic Specifications  + (06:14:51, 15 May 2016)
• Privacy Preserving Average Consensus  + (06:14:52, 15 May 2016)
• Hot-swapping robot task goals in reactive formal synthesis  + (06:14:53, 15 May 2016)
• Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics  + (06:14:54, 15 May 2016)
• Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments  + (06:14:55, 15 May 2016)
• Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics  + (06:14:56, 15 May 2016)
• Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems  + (06:14:58, 15 May 2016)
• Bootstrapping bilinear models of simple vehicles  + (06:14:59, 15 May 2016)
• Convex Optimal Uncertainty Quantification  + (06:15:00, 15 May 2016)
• Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution  + (06:15:03, 15 May 2016)
• System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system  + (06:15:04, 15 May 2016)