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

• Assurance for Learning Enabled Systems  + (FA8750-19-C-0089)

• Theory-Based Engineering of Biomolecular Circuits in Living Cells  + (FA9550-14-1-0060)
• Formal Methods for V&V and T&E of Autonomous Systems  + (FA9550-19-1-0302)
• Programmable Molecular Technology Initiative  + (GBMF2809)
• Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits  + (HR0011-12-C-0065)
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  + (HR0011-17-2-0008)
• Synthesizing flight software (FSW) discrete controllers from formal specifications  + (IAMS100322)
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  + (MCB-2039277)
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  + (N/A)
• Model-guided Discovery and Optimization of Cell-based Sensors  + (N00014-13-1-0074)
• Biomolecular Feedback Circuits for Modular, Robust and Rapid Response  + (W911NF-09-0001)
• Genetic Circuits for Multi-Cellular Machines  + (W911NF-09-D-0001)
• Field-Programmable, Recombinase-Based Biomolecular Circuits  + (W911NF-19-2-0026)
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  + (W911NF-19-D-0001)