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

• Biomolecular Feedback Circuits for Modular, Robust and Rapid Response  +
• Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  +
• Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  +
• Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  +
• Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits  +
• Programmable Molecular Technology Initiative  +
• Programmable Molecular Technology Initiative  +
• Model-guided Discovery and Optimization of Cell-based Sensors  +
• Model-guided Discovery and Optimization of Cell-based Sensors  +
• Model-guided Discovery and Optimization of Cell-based Sensors  +
• Model-guided Discovery and Optimization of Cell-based Sensors  +
• The TerraSwarm Research Center  +
• ICyPhy: Industrial Cyber-Physical Systems  +
• Molecular Programming Architectures, Abstractions, Algorithms, and Applications  +
• Molecular Programming Architectures, Abstractions, Algorithms, and Applications  +
• Molecular Programming Architectures, Abstractions, Algorithms, and Applications  +
• Biomolecular Circuits for Rapid Detection and Response to Environmental Events  +
• Biomolecular Circuits for Rapid Detection and Response to Environmental Events  +
• Theory-Based Engineering of Biomolecular Circuits in Living Cells  +
• Theory-Based Engineering of Biomolecular Circuits in Living Cells  +
• Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments  +
• Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments  +
• Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments  +
• Improvement of E. coli transcription-translation (TX-TL) system  +
• Improvement of E. coli transcription-translation (TX-TL) system  +
• Improvement of E. coli transcription-translation (TX-TL) system  +
• Improvement of E. coli transcription-translation (TX-TL) system  +
• Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks  +
• Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks  +
• Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery  +
• Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery  +
• Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery  +
• Admin/Group members  +
• Admin/Group members  +
• Admin/Group members  +
• Admin/Group members  +
• Admin/Group members  +
• Temporal Logic Specifications for Control System Design in Automotive Systems  +
• Temporal Logic Specifications for Control System Design in Automotive Systems  +
• Temporal Logic Specifications for Control System Design in Automotive Systems  +
• Temporal Logic Specifications for Control System Design in Automotive Systems  +
• VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems  +
• VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems  +
• Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping  +
• Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping  +
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  +
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  +
• Synthesizing flight software (FSW) discrete controllers from formal specifications  +
• Synthesizing flight software (FSW) discrete controllers from formal specifications  +
• Synthesizing flight software (FSW) discrete controllers from formal specifications  +
• Synthesizing flight software (FSW) discrete controllers from formal specifications  +
• Safety-Critical Autonomy and Verification for Space Missions  +
• Safety-Critical Autonomy and Verification for Space Missions  +
• A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior  +
• Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress  +
• Genetic Circuits for Multi-Cellular Machines  +
• Genetic Circuits for Multi-Cellular Machines  +
• Genetic Circuits for Multi-Cellular Machines  +
• Genetic Circuits for Multi-Cellular Machines  +
• Field-Programmable, Recombinase-Based Biomolecular Circuits  +
• Field-Programmable, Recombinase-Based Biomolecular Circuits  +
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  +
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  +
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  +
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  +
• Enabling Technologies for Cell-Silicon Interfacing  +
• Enabling Technologies for Cell-Silicon Interfacing  +
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  +
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  +
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  +
• Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways  +
• Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways  +
• Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways  +
• Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways  +
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  +
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  +
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  +
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  +
• Assurance for Learning Enabled Systems  +
• Assurance for Learning Enabled Systems  +
• Assurance for Learning Enabled Systems  +
• Assurance for Learning Enabled Systems  +
• Formal Methods for V&V and T&E of Autonomous Systems  +
• Formal Methods for V&V and T&E of Autonomous Systems  +
• Formal Methods for V&V and T&E of Autonomous Systems  +
• Formal Methods for V&V and T&E of Autonomous Systems  +
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  +
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  +
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  +
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  +
• Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function  +
• Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function  +
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  +
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  +
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  +
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  +
• Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation  +
• Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation  +
• Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation  +
• Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation  +
• Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies  +
• Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies  +
• Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies  +
• Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies  +
• Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia  +
• Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia  +
• Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia  +
• Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia  +
• Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles  +
• Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles  +
• Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles  +
• Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles  +
• Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools  +
• Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools  +
• Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools  +
• Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools  +
• Admin/Group members  +
• Yong Wu  +
• Josefine Graebener  +
• Alex Johnson  +
• Chelsea Hu  +
• Ioannis Mandralis  +
• Michaelle Mayalu  +
• Ayush Pandey  +
• John Marken  +
• Andrey Shur  +
• Miki Yun  +
• Jonathan Feldstein  +
• Ivan Papusha  +
• Clare Hayes  +
• James Parkin  +
• Andrew Halleran  +
• Anandh Swaminathan  +
• Anandh Swaminathan  +
• Richard M. Murray  +
• Jin Ge  +
• Zoila Jurado  +
• David Garcia  +
• Mark Prator  +
• Ania Baetica  +
• Ania Baetica  +
• Chuchu Fan  +
• Joe Meyerowitz  +
• Nancy Cao  +
• Victoria Hsiao  +
• Ioannis Filippidis  +
• Shaobin Guo  +
• Kellan Moorse  +
• Reed McCardell  +
• Enoch Yeung  +
• Mengyi Cao  +
• William Poole  +
• Samuel Clamons  +
• Abhishek Dey  +
• Rory Williams  +
• Karena Cai  +
• Leopold Green  +
• Alex White  +
• Xinying (Cindy) Ren  +
• Geoffroy Le Courtois Du Manoir  +
• Anu Thubagere  +
• Apurva Badithela  +
• Mary Dunlop  +
• Elin Larsson  +
• David Prober  +
• Domitilla Del Vecchio  +
• Azita Emami  +
• Tom Ellis  +
• Matt Thomson  +
• Niles Pierce  +
• Paul Freemont  +
• Dianne Newman  +
• Victoria Orphan  +
• Aaron Ames  +
• Eduardo Sontag  +
• Michael Elowitz  +
• Yuval Elani  +
• Erik Winfree  +
• Zach Martinez  +
• Programmable Molecular Technology Initiative  +
• Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles  +
• Mory Gharib  +
• Soon-Jo Chung  +
• The TerraSwarm Research Center  +
• The TerraSwarm Research Center  +
• Sanjit Seshia  +
• Chris Voigt  +
• Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks  +
• Sebastian Maerkl  +
• Molecular Programming Architectures, Abstractions, Algorithms, and Applications  +
• Theory-Based Engineering of Biomolecular Circuits in Living Cells  +
• Enabling Technologies for Cell-Silicon Interfacing  +
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  +
• John Doyle  +
• Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function  +
• Kaihang Wang  +
• Field-Programmable, Recombinase-Based Biomolecular Circuits  +
• Center for Harnessing Microbiota from Military Environments (CHARMME)  +
• Center for Harnessing Microbiota from Military Environments (CHARMME)  +
• Center for Harnessing Microbiota from Military Environments (CHARMME)  +
• Center for Harnessing Microbiota from Military Environments (CHARMME)  +
• Center for Harnessing Microbiota from Military Environments (CHARMME)  +
• Manisha Kapasiawala  +
• Layered T&E for Safety-Critical Autonomous Systems  +
• Layered T&E for Safety-Critical Autonomous Systems  +
• Layered T&E for Safety-Critical Autonomous Systems  +
• Layered T&E for Safety-Critical Autonomous Systems  +
• Layered T&E for Safety-Critical Autonomous Systems  +
• Inigo Incer  +
• Research Overview  +
• Research Overview  +
• Admin/Group members  +
• Upscaling Engineering of Synthetic Biomachines  +
• Upscaling Engineering of Synthetic Biomachines  +
• Upscaling Engineering of Synthetic Biomachines  +
• Yan Zhang  +
• Andrew Montequin  +
• Tung Phan  +
• Sofie Haesaert  +
• Lani Kim  +
• Sumanth Dathathri  +
• John McManus  +
• Vipul Singhal  +
• Ersin Das  +
• Sean Sanchez  +
• Catharine (Cat) McGhan  +
• Christian Stromberger  +
• Admin/Group members  +
• Control of Functional Bioenabled Materials using Synthetic Cells  +
• Control of Functional Bioenabled Materials using Synthetic Cells  +
• Control of Functional Bioenabled Materials using Synthetic Cells  +
• Control of Functional Bioenabled Materials using Synthetic Cells  +
• Blade Olson  +
• Steve Mayo  +
• Control of Functional Bioenabled Materials using Synthetic Cells  +
• Admin/Group members  +
• Admin/Group members  +
• Admin/Group members  +
• Admin/Group members  +
• Admin/Group members  +
• Kimia Hassibi  +
• Admin/Group members  +
• Admin/Group members  +
• Admin/Group members  +
• Matthieu Kratz  +
• Nikos Mynhier  +
• Richard Andersen  +
• Design and Implementation of Multi-Component Synthetic Cells  +
• Design and Implementation of Multi-Component Synthetic Cells  +
• Design and Implementation of Multi-Component Synthetic Cells  +