Search by property
From Murray Wiki
Jump to navigationJump to search
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
- Stochastic Gene Expression in Single Gene Oscillator Variants + (2016b)
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + (2016c)
- A population-based temporal logic gate for timing and recording chemical events + (2016d)
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox + (2016e)
- Connected Cruise Control Design Using Probabilistic Model Checking + (2016f)
- Enhancing tolerance to unexpected jumps in GR(1) games + (2016g)
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables + (2016h)
- The Effect of Compositional Context on Synthetic Gene Networks + (2016i)
- Quantifying Resource Competition and its Effects in the TX-TL System + (2016k)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (2016l)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (2016x)
- Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli + (2017a)
- Engineering pulsatile communication in bacterial consortia + (2017a)
- Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology + (2017a)
- Hiding variables when decomposing specifications into GR(1) contracts + (2017b)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (2017b)
- Population regulation in microbial consortia using dual feedback control + (2017b)
- Learning-Based Abstractions for Nonlinear Constraint Solving + (2017c)
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States + (2017d)
- Synthesis of Correct-by-Construction Behavior Trees + (2017e)
- Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks + (2017e)
- Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks + (2017f)
- Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli + (2017g)