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

Admin/Projects + (table)
Enabling Technologies for Cell-Silicon Interfacing + (template)
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + (template)
Formal Methods for V&V and T&E of Autonomous Systems + (template)
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors + (template)
Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks + (template)
Model-guided Discovery and Optimization of Cell-based Sensors + (template)
Actuation of Synthetic Cells Via Proto-Flagellar Motors + (template)
Safety-Critical Autonomy and Verification for Space Missions + (template)
Biomolecular Circuits for Rapid Detection and Response to Environmental Events + (template)
Theory-Based Engineering of Biomolecular Circuits in Living Cells + (template)
Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function + (template)
An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil + (template)
Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery + (template)
Synthesizing flight software (FSW) discrete controllers from formal specifications + (template)
Genetic Circuits for Multi-Cellular Machines + (template)
Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks + (template)
Enabling Technologies for Cell-Silicon Interfacing + (template)
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + (template)
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors + (template)
Improvement of E. coli transcription-translation (TX-TL) system + (template)
Model-guided Discovery and Optimization of Cell-based Sensors + (template)
Assurance for Learning Enabled Systems + (template)
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping + (template)
Actuation of Synthetic Cells Via Proto-Flagellar Motors + (template)
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping + (template)
Theory-Based Engineering of Biomolecular Circuits in Living Cells + (template)
Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials + (template)
An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil + (template)
Synthesizing flight software (FSW) discrete controllers from formal specifications + (template)
Genetic Circuits for Multi-Cellular Machines + (template)
Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology + (template)
Assurance for Learning Enabled Systems + (template)
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors + (template)
Improvement of E. coli transcription-translation (TX-TL) system + (template)
Field-Programmable, Recombinase-Based Biomolecular Circuits + (template)
Programmable Molecular Technology Initiative + (template)
Assurance for Learning Enabled Systems + (template)
Actuation of Synthetic Cells Via Proto-Flagellar Motors + (template)
Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery + (template)
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems + (template)
Molecular Programming Architectures, Abstractions, Algorithms, and Applications + (template)
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways + (template)
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping + (template)
Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials + (template)
An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil + (template)
Preprint archive + (template)
Genetic Circuits for Multi-Cellular Machines + (template)
Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments + (template)
Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology + (template)
Temporal Logic Specifications for Control System Design in Automotive Systems + (template)
Molecular Programming Architectures, Abstractions, Algorithms, and Applications + (template)
Improvement of E. coli transcription-translation (TX-TL) system + (template)
Field-Programmable, Recombinase-Based Biomolecular Circuits + (template)
Programmable Molecular Technology Initiative + (template)
Formal Methods for V&V and T&E of Autonomous Systems + (template)
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems + (template)
Theory-Based Engineering of Biomolecular Circuits in Living Cells + (template)
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping + (template)
Molecular Programming Architectures, Abstractions, Algorithms, and Applications + (template)
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways + (template)
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping + (template)
Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function + (template)
Safety-Critical Autonomy and Verification for Space Missions + (template)
Biomolecular Circuits for Rapid Detection and Response to Environmental Events + (template)
Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology + (template)
Temporal Logic Specifications for Control System Design in Automotive Systems + (template)
Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials + (template)
Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks + (template)
Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments + (template)
The TerraSwarm Research Center + (template)
Enabling Technologies for Cell-Silicon Interfacing + (template)
Programmable Molecular Technology Initiative + (template)
Formal Methods for V&V and T&E of Autonomous Systems + (template)
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems + (template)
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping + (template)
Model-guided Discovery and Optimization of Cell-based Sensors + (template)
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways + (template)
Admin/Group members + (template)
Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function + (template)
Safety-Critical Autonomy and Verification for Space Missions + (template)
Biomolecular Circuits for Rapid Detection and Response to Environmental Events + (template)
Field-Programmable, Recombinase-Based Biomolecular Circuits + (template)
Temporal Logic Specifications for Control System Design in Automotive Systems + (template)
Synthesizing flight software (FSW) discrete controllers from formal specifications + (template)
Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks + (ul)
Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments + (ul)
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems + (ul)
Field-Programmable, Recombinase-Based Biomolecular Circuits + (ul)
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways + (ul)
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping + (ul)
Projects + (ul)
Research Overview + (ul)
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping + (ul)
Temporal Logic Specifications for Control System Design in Automotive Systems + (ul)
Formal Methods for V&V and T&E of Autonomous Systems + (ul)
Projects + (ul)
Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology + (ul)
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + (ul)
Safety-Critical Autonomy and Verification for Space Missions + (ul)
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits + (ul)
Enabling Technologies for Cell-Silicon Interfacing + (ul)
Biomolecular Circuits for Rapid Detection and Response to Environmental Events + (ul)
Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery + (ul)
Projects + (ul)
The TerraSwarm Research Center + (ul)
Main Page + (ul)
Molecular Programming Architectures, Abstractions, Algorithms, and Applications + (ul)
Research Overview + (ul)
Chelsea Hu + (ul)
Improvement of E. coli transcription-translation (TX-TL) system + (ul)
Assurance for Learning Enabled Systems + (ul)
ICyPhy: Industrial Cyber-Physical Systems + (ul)
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors + (ul)
Actuation of Synthetic Cells Via Proto-Flagellar Motors + (ul)
Synthesizing flight software (FSW) discrete controllers from formal specifications + (ul)
A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior + (ul)
Programmable Molecular Technology Initiative + (ul)
Theory-Based Engineering of Biomolecular Circuits in Living Cells + (ul)
Genetic Circuits for Multi-Cellular Machines + (ul)
Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials + (ul)
Biomolecular Feedback Circuits for Modular, Robust and Rapid Response + (ul)
Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress + (ul)
Ania Baetica + (ul)
Model-guided Discovery and Optimization of Cell-based Sensors + (ul)
Research Overview + (ul)
Anandh Swaminathan + (ul)
An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil + (ul)
Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function + (ul)
Research Overview + (ul)

Search by property

List of results

Navigation menu

Views

Personal tools

Navigation

Search

Tools