Property:ID
From Murray Wiki
Jump to navigationJump to search
This is a property of type Text.
R
Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models +
2022a +
T
F
R
E
L
2022d +
S
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows +
2022d +
F
2022k +
I
Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli +
2022k +
M
C
Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline +
2022n +
B
2022o +
R
B
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications +
2023a +
C
E
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems +
2023b +
A
A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths +
2023c +
C
M
Showing 1 related entity.
...