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

• A Contract-Based Methodology for Aircraft Electric Power System Design  +
• A population-based temporal logic gate for timing and recording chemical events  +
• A robust model predictive control algorithm augmented with a reactive safety mode  +
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry  +
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  +
• Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli  +
• Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions  +
• Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology  +
• Discrete State Estimators for Systems on a Lattice  +
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  +
• Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  +
• Layering assume-guarantee contracts for hierarchical system design  +
• Modelling Efficient Pisciform Swimming for Control  +
• On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3  +
• Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology  +
• Rapid cell-free forward engineering of novel genetic ring oscillators  +
• Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks  +
• Synthesis of Reactive Switching Protocols from Temporal Logic Specifications  +
• Synthetic circuit for exact adaptation and fold-change detection  +
• Timing molecular motion and production with a synthetic transcriptional clock  +