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

• Formal Methods for V&V and T&E of Autonomous Systems  + (05:47:40, 24 March 2021)
• Undergraduate alumni  + (04:45:51, 30 March 2021)
• Group Schedule, Spring 2021  + (16:52:14, 16 May 2021)
• Assurance for Learning Enabled Systems  + (23:28:55, 13 June 2021)
• Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli  + (16:49:14, 15 June 2021)
• HYCON-EECI, Spring 2009  + (04:51:08, 27 June 2021)
• HYCON-EECI, Spring 2008  + (04:51:13, 27 June 2021)
• CDS 202, Winter 2009  + (04:52:55, 27 June 2021)
• Bi/BE 250c Winter 2011  + (04:54:32, 27 June 2021)
• ACM/EE 116, Fall 2011  + (04:55:10, 27 June 2021)
• ACM 101/AM 125b/CDS 140a, Winter 2011  + (04:55:25, 27 June 2021)
• Preprint archive  + (00:06:12, 15 July 2021)
• Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop  + (02:26:59, 15 July 2021)
• TestSMW  + (23:32:16, 16 July 2021)
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  + (02:42:38, 4 August 2021)
• SURF alumni  + (05:27:39, 21 August 2021)
• File:Biocircuits-overview-23Aug2021.png  + (18:39:18, 23 August 2021)
• Research Overview  + (18:40:30, 23 August 2021)
• Karena Cai  + (16:10:26, 4 September 2021)
• Tung Phan  + (16:13:10, 4 September 2021)
• File:NSF-testandeval.png  + (16:28:30, 4 September 2021)
• Josefine Graebener  + (16:29:12, 4 September 2021)
• Geoffroy Le Courtois Du Manoir  + (16:31:57, 4 September 2021)
• Kellan Moorse  + (16:32:51, 4 September 2021)
• Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation  + (16:34:14, 4 September 2021)
• Rory Williams  + (16:46:10, 4 September 2021)
• Reed McCardell  + (16:46:44, 4 September 2021)
• Mark Prator  + (16:48:21, 4 September 2021)
• Leopold Green  + (16:50:01, 4 September 2021)
• James Parkin  + (16:51:00, 4 September 2021)
• David Garcia  + (16:52:33, 4 September 2021)
• Andrew Halleran  + (16:55:12, 4 September 2021)
• A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression  + (17:00:07, 4 September 2021)
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  + (17:01:18, 4 September 2021)
• Ayush Pandey  + (17:01:58, 4 September 2021)
• Chelsea Hu  + (17:02:21, 4 September 2021)
• Michaelle Mayalu  + (17:02:52, 4 September 2021)
• Xinying (Cindy) Ren  + (17:03:40, 4 September 2021)
• Christian Stromberger  + (17:18:50, 4 September 2021)
• Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints  + (19:53:28, 4 September 2021)
• Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data  + (20:00:24, 4 September 2021)
• Design Guidelines For Sequestration Feedback Networks  + (20:02:01, 4 September 2021)
• Reactive motion planning with probabilistic safety guarantees  + (20:08:15, 4 September 2021)
• VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems  + (20:16:46, 4 September 2021)
• Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping  + (20:21:37, 4 September 2021)
• Time-Optimal Navigation in Uncertain Environments with High-Level Specifications  + (20:30:05, 4 September 2021)
• A Method for Cost-Effective and Rapid Characterization of Genetic Parts  + (20:35:35, 4 September 2021)
• Constrained risk-averse Markov decision processes  + (20:55:29, 4 September 2021)
• A MATLAB toolbox for modeling genetic circuits in cell-free systems  + (01:59:21, 5 September 2021)
• A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression  + (02:02:59, 5 September 2021)

• An automated model reduction tool to guide the design and analysis of synthetic biological circuits  + (02:03:10, 5 September 2021)

• Contracts of Reactivity  + (02:03:19, 5 September 2021)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (02:03:28, 5 September 2021)
• Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits  + (02:03:35, 5 September 2021)
• Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli  + (02:03:41, 5 September 2021)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (02:03:50, 5 September 2021)
• Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations  + (02:03:57, 5 September 2021)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (02:04:06, 5 September 2021)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (02:04:15, 5 September 2021)
• BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts  + (02:04:32, 5 September 2021)
• Analysis of Circuits for Dosage Control in Microbial Populations  + (02:04:40, 5 September 2021)
• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture  + (02:04:49, 5 September 2021)
• Synthetic mammalian signaling circuits for robust cell population control  + (02:04:57, 5 September 2021)
• Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions  + (02:05:06, 5 September 2021)
• Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations  + (02:05:14, 5 September 2021)
• Limits of probabilistic safety guarantees when considering human uncertainty  + (02:05:42, 5 September 2021)
• Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems  + (02:05:49, 5 September 2021)
• Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles  + (02:06:30, 5 September 2021)
• Biographical Sketch  + (16:27:08, 11 September 2021)
• Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications  + (20:21:55, 11 September 2021)
• Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking  + (14:33:08, 12 September 2021)
• Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis  + (14:53:55, 15 September 2021)
• Group Schedule, Summer 2021  + (23:16:27, 17 September 2021)
• CDS 90 2021-22  + (06:11:27, 22 September 2021)
• Elin Larsson  + (04:34:03, 25 October 2021)
• File:Icb-soil-syn-bio.png  + (04:46:40, 25 October 2021)
• Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies  + (04:48:21, 25 October 2021)
• File:Murray-26Oct2021.jpg  + (18:34:49, 1 November 2021)
• RMM photos  + (02:18:27, 7 November 2021)
• File:Nsf21-syncell.pdf  + (06:21:34, 29 November 2021)
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  + (17:17:32, 11 December 2021)
• Enabling Technologies for Cell-Silicon Interfacing  + (17:17:47, 11 December 2021)
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  + (17:18:52, 11 December 2021)
• Field-Programmable, Recombinase-Based Biomolecular Circuits  + (17:19:11, 11 December 2021)
• Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function  + (17:19:42, 11 December 2021)
• File:Icb-multilayer.png  + (17:32:59, 11 December 2021)
• John Marken  + (17:34:01, 11 December 2021)
• Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia  + (17:35:06, 11 December 2021)
• File:Bbsrc-synnucleus.png  + (20:43:00, 11 December 2021)
• Zoila Jurado  + (20:44:46, 11 December 2021)
• William Poole  + (20:46:31, 11 December 2021)
• Group Schedule, Fall 2021  + (20:52:05, 11 December 2021)
• Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles  + (20:27:53, 13 December 2021)
• File:Duckiebot db21.jpg  + (15:46:19, 20 December 2021)
• SURF 2022: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (19:02:16, 20 December 2021)
• File:Screen Shot 2021-12-20 at 11.27.21 PM.png  + (05:29:52, 21 December 2021)
• SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles  + (22:39:08, 21 December 2021)
• File:Feedback syncell.png  + (23:13:45, 29 December 2021)
• SURF 2022: Feedback control system in synthetic cells  + (23:18:34, 29 December 2021)
• SURF 2022  + (17:28:59, 4 January 2022)
• John Doyle's Panamanian Adventure  + (23:22:35, 5 January 2022)