Property:Type

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 202050100250500next 20
Showing 20 pages using this property.
C
Connected Cruise Control Design Using Probabilistic Model Checking +
Conference paper  +
Q
Quantifying Resource Competition and its Effects in the TX-TL System +
Conference paper  +
F
Fast Automatic Verification of Large-Scale Systems with Lookup Tables +
Conference paper  +
R
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli +
Conference paper  +
E
Engineering pulsatile communication in bacterial consortia +
Conference paper  +
H
Hiding variables when decomposing specifications into GR(1) contracts +
Conference paper  +
D
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis +
Conference paper  +
P
Population regulation in microbial consortia using dual feedback control +
Conference paper  +
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States +
Conference paper  +
L
Learning-Based Abstractions for Nonlinear Constraint Solving +
Conference paper  +
S
Synthesis of Correct-by-Construction Behavior Trees +
Conference paper  +
A
A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response +
Conference paper  +
An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System +
Conference paper  +
L
Length and time scales of cell-cell signaling circuits in agar +
Conference paper  +
C
Control of bacterial population density with population feedback and molecular sequestration +
Conference paper  +
P
Proof of concept continuous event logging in living cells +
Conference paper  +
M
Modeling Dynamic Transcriptional Circuits with CRISPRi +
Conference paper  +
S
Single day construction of multi-gene circuits with 3G assembly +
Conference paper  +
L
Long-distance communication in synthetic bacterial consortia through active signal propagation +
Conference paper  +
V
Voluntary lane-change policy synthesis with reactive control improvisation +
Conference paper  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"