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

• Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively  +
• Use of population-level cell-state switching for recording transient inducer pulses  +
• Linear System Identifiability from Distributional and Time Series Data  +
• Symbolic construction of GR(1) contracts for systems with full information  +
• Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture  +
• Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks  +
• Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty  +
• Control System Analysis on Symmetric Cones  +
• An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis  +
• Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles  +
• Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback  +
• Model Predictive Control for an Uncertain Smart Thermal Grid  +
• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  +
• Synthesis from multi-paradigm specifications  +
• Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system  +
• Design of a Toolbox of RNA Thermometers  +
• Multi-dimensional state estimation in adversarial environment  +
• Characterization of minimum inducer separation time for a two-input integrase-based event detector  +
• Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo  +
• A Risk-Aware Architecture for Resilient Spacecraft Operations  +