Property:Query string

From Murray Wiki
Jump to navigationJump to search
Showing 20 pages using this property.
D
[[Current project::Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles]]
[[Category:Group member]] [[Other projects::Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles]]
[[Category:Group member]] [[Previous projects::Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles]]
[[Category:Papers]] [[Funding::Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles]]
R
[[Current project::Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools]]
[[Category:Group member]] [[Other projects::Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools]]
[[Category:Group member]] [[Previous projects::Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools]]
[[Category:Papers]] [[Funding::Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools]]
A
[[:Formal Methods for V&V and T&E of Autonomous Systems]]
[[:Theory-Based Engineering of Biomolecular Circuits in Living Cells, Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors]]
[[:VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems]]
[[:The TerraSwarm Research Center, VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems, Assurance for Learning Enabled Systems]]
[[:Assurance for Learning Enabled Systems]]
[[:Synthesizing flight software (FSW) discrete controllers from formal specifications]]
[[:The TerraSwarm Research Center, Temporal Logic Specifications for Control System Design in Automotive Systems]]
[[:Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping, Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function]]
[[:Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation]]
[[:Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors, Rosen Microbiome]]
[[:Synthesizing flight software (FSW) discrete controllers from formal specifications, Safety-Critical Autonomy and Verification for Space Missions]]
[[:Biomolecular Circuits for Rapid Detection and Response to Environmental Events, Theory-Based Engineering of Biomolecular Circuits in Living Cells, Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors]]