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

• Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation  + (CNS-1932091)

• 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)
• 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)
• 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)
• Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia  + (W911NF-19-2-0026)
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  + (W911NF-19-D-0001)
• Enabling Technologies for Cell-Silicon Interfacing  + (W911NF-19-D-0001)
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  + (W911NF-19-D-0001)
• Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies  + (W911NF-19-D-0001)
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  + (W911NF-19-D-0001/KK1956 (Task 6))
• Control of Functional Bioenabled Materials using Synthetic Cells  + (W911NF-19-D-90001)
• Center for Harnessing Microbiota from Military Environments (CHARMME)  + (W911NF-22-2-0210)