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)
• Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools  + (FA9550-22-1-0316)
• Layered T&E for Safety-Critical Autonomous Systems  + (FA9550-22-1-0333)
• Developer Cell: A modular, extensible chassis for building synthetic cells  + (G-2024-22735)
• 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)
• Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles  + (MCB-2152267)
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  + (N/A)