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

• Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits  + (23:50:50, 9 June 2019)
• Control of density and composition in an engineered two-member bacterial community  + (00:03:42, 10 June 2019)
• Design of a genetic layered feedback controller in synthetic biological circuitry  + (00:09:38, 10 June 2019)
• Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design  + (00:11:27, 10 June 2019)
• File:Assured-autonomy.png  + (04:20:45, 10 June 2019)
• File:Afosr-testandeval.png  + (04:29:43, 10 June 2019)
• Group Schedule, Spring 2019  + (16:09:38, 10 June 2019)
• Analysis of primitive genetic interactions for the design of a genetic signal differentiator  + (00:13:46, 17 June 2019)
• Stanley Bak, 8 July 2019  + (13:50:59, 8 July 2019)
• Towards Assume-Guarantee Profiles for Autonomous Vehicles  + (16:22:34, 1 August 2019)
• Synthetic biology future applications and technology needs  + (00:41:08, 27 August 2019)
• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  + (16:32:03, 3 September 2019)
• Group Schedule, Summer 2019  + (18:17:23, 7 September 2019)
• A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior  + (14:58:24, 18 September 2019)
• Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress  + (15:00:30, 18 September 2019)
• Jake Beal, 1 Oct 2019  + (23:04:48, 30 September 2019)
• Thomas Mohren, 2 Oct 2019  + (18:19:03, 2 October 2019)
• File:Caltech-freeways.jpg  + (21:15:38, 3 October 2019)
• File:Caltech-streets.jpg  + (21:16:06, 3 October 2019)
• File:Campus-map.png  + (21:18:54, 3 October 2019)
• Mike Biercuk, 7 Oct 2019  + (21:02:47, 7 October 2019)
• Sandeep Chichali, 16 Oct 2019  + (01:37:34, 16 October 2019)
• CMS 273, Winter 2019  + (17:40:13, 19 November 2019)
• Group Schedule, Fall 2019  + (03:09:52, 3 December 2019)
• File:Slide.png  + (19:14:47, 3 December 2019)
• CS 142, Fall 2019  + (17:01:59, 5 December 2019)
• File:Architecture auton sys.png  + (20:16:01, 8 December 2019)
• AFOSR  + (20:44:06, 8 December 2019)
• Eric Wolff, 11 Dec 2019  + (21:16:37, 10 December 2019)
• File:Gridworld sys env.png  + (23:07:46, 10 December 2019)
• File:SynBioModelingPipeline.jpg  + (06:08:36, 11 December 2019)
• SURF 2020: Test and Evaluation for Autonomy  + (21:32:51, 15 December 2019)
• SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars  + (21:41:47, 15 December 2019)
• SURF 2020: Social-Aware Robot Navigation  + (21:51:09, 15 December 2019)
• File:2020 SURF fig.png  + (18:25:09, 16 December 2019)
• File:SURF 2020 wahl murray.png  + (18:27:16, 16 December 2019)
• File:CYHSURF2020.png  + (05:25:41, 17 December 2019)
• SURF 2020: System identification of bacterial gene expression as a function of population dynamics  + (05:26:00, 17 December 2019)
• CDS 131, Fall 2019  + (07:20:48, 18 December 2019)
• SURF 2020: Applications of synthetic differentiation  + (22:07:38, 22 December 2019)
• SURF 2020: Hardware Implementation of Contract-Based Design for Automated Valet Parking System  + (18:08:56, 30 December 2019)
• SURF 2020  + (22:22:53, 12 January 2020)
• SURF discussions, Jan 2019  + (19:01:26, 20 January 2020)
• SURF GOTChA chart  + (00:04:55, 22 January 2020)
• SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (15:24:48, 23 January 2020)
• SURF discussions, Jan 2020  + (22:26:05, 23 January 2020)
• Liren Yang, 5-6 Feb 2020  + (04:48:02, 6 February 2020)
• Sarah Dean, 11-12 Feb 2020  + (00:06:55, 11 February 2020)
• David Garcia, 13 Feb 2020  + (19:43:53, 13 February 2020)
• UG meetings, Dec 2019  + (15:15:28, 22 February 2020)
• EECI 2020: Discrete Abstractions  + (17:02:20, 29 February 2020)
• EECI 2020: Rulebooks  + (17:31:11, 29 February 2020)
• EECI 2020: Course Introduction  + (21:56:28, 1 March 2020)
• EECI 2020: Automata Theory  + (22:10:56, 1 March 2020)
• EECI 2020: Temporal Logic  + (22:19:30, 1 March 2020)
• EECI 2020: Reactive Synthesis  + (22:38:25, 1 March 2020)
• EECI 2020: Model Checking  + (07:56:30, 10 March 2020)
• EECI 2020: Probabilistic Systems  + (07:57:46, 10 March 2020)
• EECI 2020: Computer Session: Stormpy  + (08:00:30, 10 March 2020)
• Group Schedule, Winter 2020  + (05:55:16, 12 March 2020)
• EECI 2020: Minimum Violation Planning  + (05:12:55, 13 March 2020)
• EECI 2020: Behavior Specifications  + (07:26:33, 13 March 2020)
• EECI 2020: Computer Session: MVP  + (07:36:24, 13 March 2020)
• EECI 2020: Safety-Critical Systems  + (07:37:58, 13 March 2020)
• EECI 2020: Course Summary  + (07:39:19, 13 March 2020)
• EECI 2020: Computer Session: TuLiP  + (18:50:57, 18 March 2020)
• File:W1 setup-31Mar2020.pdf  + (16:32:57, 2 April 2020)
• EECI-IGSC 2020  + (13:15:47, 8 April 2020)
• E/SEC 103, Spring 2020  + (23:18:45, 19 April 2020)
• Risk-Averse Planning Under Uncertainty  + (05:57:43, 26 May 2020)
• Networked Feedback Systems in Biology  + (21:23:07, 26 May 2020)
• Characterization of Insect Flight Control Systems  + (21:23:20, 26 May 2020)
• Biomolecular Feedback Circuits for Modular, Robust and Rapid Response  + (21:23:33, 26 May 2020)
• BE 240, Spring 2020  + (14:50:01, 28 May 2020)
• Group Schedule, Spring 2020  + (14:09:59, 8 June 2020)
• SBtools Bootcamp, June 2020  + (02:44:01, 14 June 2020)
• File:RSI-soil syn bio.png  + (05:03:38, 20 July 2020)
• File:Rosen20-simplecell.png  + (23:53:15, 8 August 2020)
• Genetic Circuits for Multi-Cellular Machines  + (23:56:21, 8 August 2020)
• File:Cellsys-actuation.png  + (00:10:03, 9 August 2020)
• Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions  + (17:56:46, 10 August 2020)
• Synthetic Cell, Summer 2020  + (15:36:42, 26 August 2020)
• Group Schedule, Summer 2020  + (17:17:12, 20 September 2020)
• GOTChA Chart  + (15:43:30, 25 September 2020)
• CMS 273, Winter 2020  + (16:24:48, 15 November 2020)
• BE 107, Spring 2019  + (21:58:39, 23 November 2020)
• File:Heilmeier-isat.png  + (17:34:20, 25 November 2020)
• Heilmeier Catechism  + (17:37:18, 25 November 2020)
• Modeling and control of the effects of bilateral asymmetries in insect flight  + (15:43:28, 3 December 2020)
• CDS 131, Fall 2020  + (00:16:44, 7 December 2020)
• Group Schedule, Fall 2020  + (15:56:39, 7 December 2020)
• SURF 2021: Modeling tools for design and analysis of synthetic biological circuits  + (04:19:26, 22 December 2020)
• CMS 273, Winter 2021  + (05:56:42, 26 December 2020)
• File:Experiment prop.png  + (12:25:29, 4 January 2021)
• SURF 2021: Test Design for Extremely Resilient System  + (12:33:22, 4 January 2021)
• File:ATPase Protoflagellum.png  + (08:32:54, 6 January 2021)
• SURF 2021  + (16:58:09, 6 January 2021)
• SURF 2021: Optimizing cell extract for a proto-flagellar system  + (17:00:05, 6 January 2021)
• File:Synthetic-cell.png  + (17:54:58, 7 January 2021)
• SURF 2021: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (17:56:17, 7 January 2021)
• SURF discussions, Feb 2021  + (20:06:12, 28 January 2021)
• smw/schema:Group:Schema properties  + (17:43:17, 26 February 2021)
• smw/schema:Group:Predefined properties  + (17:43:18, 26 February 2021)
• Property:Foaf:knows  + (17:43:19, 26 February 2021)
• Property:Foaf:name  + (17:43:20, 26 February 2021)
• Property:Owl:differentFrom  + (17:43:21, 26 February 2021)
• Property:Foaf:homepage  + (17:43:21, 26 February 2021)
• Group Schedule, Winter 2021  + (05:28:10, 17 March 2021)
• Temporal Logic Specifications for Control System Design in Automotive Systems  + (04:54:21, 18 March 2021)
• Group Schedule, Spring 2021  + (16:52:14, 16 May 2021)
• Assurance for Learning Enabled Systems  + (23:28:55, 13 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)
• TestSMW  + (23:32:16, 16 July 2021)
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  + (02:42:38, 4 August 2021)
• File:Biocircuits-overview-23Aug2021.png  + (18:39:18, 23 August 2021)
• File:NSF-testandeval.png  + (16:28:30, 4 September 2021)
• Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints  + (19:53:28, 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)
• Constrained risk-averse Markov decision processes  + (20:55:29, 4 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)
• 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)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (02:04:15, 5 September 2021)
• Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications  + (20:21:55, 11 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)
• File:Icb-soil-syn-bio.png  + (04:46:40, 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)
• File:Icb-multilayer.png  + (17:32:59, 11 December 2021)
• File:Bbsrc-synnucleus.png  + (20:43:00, 11 December 2021)
• Group Schedule, Fall 2021  + (20:52:05, 11 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)
• The Caltech Multi-Vehicle Wireless Testbed  + (03:18:37, 16 January 2022)
• SURF 2022: Specification Monitor for Testing of Autonomous Systems  + (03:32:45, 20 January 2022)
• Group Schedule, Winter 2022  + (00:20:48, 8 March 2022)
• CDS 112/Ae 103a, Winter 2022  + (01:29:53, 12 March 2022)
• Yan Zhang, 28 Mar 2022  + (22:12:20, 25 March 2022)
• Paul Freemont, April 2022  + (03:56:09, 21 April 2022)
• Group Schedule, Spring 2022  + (17:10:22, 5 June 2022)
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  + (15:03:35, 19 June 2022)
• Schedule  + (18:27:11, 20 July 2022)
• Nacho Gispert, 10 Aug 2022  + (15:28:09, 9 August 2022)
• File:Afosr22-synbio.png  + (18:26:22, 6 September 2022)
• Group Schedule, Summer 2022  + (16:15:20, 8 September 2022)
• CDS 90 2022-23  + (15:33:05, 19 September 2022)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (04:25:48, 26 September 2022)
• Guidelines for Designing the Antithetic Feedback Motif  + (04:30:32, 26 September 2022)
• How to model DNA replication in stochastic models of synthetic genetic circuits (and why)  + (05:25:52, 29 September 2022)
• Wen-Hua Chen, 4-21 Oct 2022  + (19:25:38, 5 October 2022)
• Robustness Guarantees for Structured Model Reduction of Dynamical Systems  + (17:11:01, 9 October 2022)
• Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems  + (17:47:22, 9 October 2022)
• Risk-Averse Decision Making Under Uncertainty  + (17:49:09, 9 October 2022)
• Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions  + (17:54:09, 9 October 2022)
• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture  + (18:03:17, 9 October 2022)
• Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking  + (18:16:12, 9 October 2022)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (18:17:05, 9 October 2022)
• Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits  + (18:17:20, 9 October 2022)
• Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data  + (18:18:32, 9 October 2022)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (18:18:44, 9 October 2022)
• Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop  + (18:19:52, 9 October 2022)
• A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression  + (18:20:22, 9 October 2022)
• Analysis of Circuits for Dosage Control in Microbial Populations  + (18:20:36, 9 October 2022)
• Synthetic mammalian signaling circuits for robust cell population control  + (18:21:08, 9 October 2022)
• Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions  + (18:21:26, 9 October 2022)
• Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations  + (18:21:55, 9 October 2022)
• Reactive motion planning with probabilistic safety guarantees  + (18:22:09, 9 October 2022)
• A MATLAB toolbox for modeling genetic circuits in cell-free systems  + (18:23:00, 9 October 2022)
• Time-Optimal Navigation in Uncertain Environments with High-Level Specifications  + (18:23:11, 9 October 2022)
• Limits of probabilistic safety guarantees when considering human uncertainty  + (18:23:24, 9 October 2022)
• The Python Control Systems Library (python-control)  + (18:23:53, 9 October 2022)
• Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems  + (18:24:06, 9 October 2022)
• A Method for Cost-Effective and Rapid Characterization of Genetic Parts  + (18:24:31, 9 October 2022)
• Data-driven network models for genetic circuits from time-series data with incomplete measurements  + (18:25:49, 9 October 2022)
• Property:Previous positions  + (05:05:06, 10 October 2022)
• Clare Hayes  + (05:06:05, 10 October 2022)
• Property:Current position  + (05:07:57, 10 October 2022)
• Property:Previous projects  + (05:08:18, 10 October 2022)
• Ersin Das  + (05:37:25, 10 October 2022)
• Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA  + (03:02:25, 11 October 2022)
• Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates  + (03:31:46, 11 October 2022)
• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  + (03:42:40, 11 October 2022)
• Property:Authors  + (03:50:19, 11 October 2022)
• Evaluation Metrics for Object Detection for Autonomous Systems  + (04:23:11, 12 October 2022)
• BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts  + (05:09:17, 15 October 2022)
• Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks  + (05:12:04, 15 October 2022)
• Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models  + (05:12:48, 15 October 2022)
• Bio  + (14:44:50, 21 October 2022)
• Minimally Constrained Testing for Autonomy with Temporal Logic Specifications  + (00:21:03, 22 October 2022)
• Manos Alexis, Oct 2022  + (15:28:38, 24 October 2022)
• Group Schedule, Fall 2022  + (06:17:49, 5 December 2022)
• SURF 2023: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (15:41:53, 9 December 2022)
• Property:Projects  + (18:38:08, 10 December 2022)
• Property:First name  + (18:38:26, 10 December 2022)
• Property:Last name  + (18:38:30, 10 December 2022)
• Michael Elowitz  + (18:44:03, 10 December 2022)
• Property:Organization  + (18:47:36, 10 December 2022)
• Property:Co-advisor  + (18:58:40, 10 December 2022)
• Admin/Collaborators  + (19:12:27, 10 December 2022)
• David Prober  + (19:33:23, 10 December 2022)
• Category:Collaborators  + (19:39:32, 10 December 2022)
• Collaborators  + (19:39:49, 10 December 2022)
• Azita Emami  + (01:12:14, 11 December 2022)
• Paul Freemont  + (01:29:45, 11 December 2022)
• Yuval Elani  + (01:32:12, 11 December 2022)
• Tom Ellis  + (01:33:00, 11 December 2022)
• Erik Winfree  + (01:37:35, 11 December 2022)
• Niles Pierce  + (01:38:09, 11 December 2022)
• Programmable Molecular Technology Initiative  + (01:59:44, 11 December 2022)
• Mory Gharib  + (02:16:51, 11 December 2022)
• Soon-Jo Chung  + (02:20:17, 11 December 2022)
• The TerraSwarm Research Center  + (02:24:53, 11 December 2022)
• Safety-Critical Autonomy and Verification for Space Missions  + (02:34:16, 11 December 2022)
• Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks  + (02:35:46, 11 December 2022)
• Sebastian Maerkl  + (02:37:27, 11 December 2022)
• Molecular Programming Architectures, Abstractions, Algorithms, and Applications  + (02:38:52, 11 December 2022)
• Biomolecular Circuits for Rapid Detection and Response to Environmental Events  + (02:57:23, 11 December 2022)
• Theory-Based Engineering of Biomolecular Circuits in Living Cells  + (02:58:26, 11 December 2022)
• Domitilla Del Vecchio  + (02:58:58, 11 December 2022)
• Eduardo Sontag  + (02:59:16, 11 December 2022)
• Enabling Technologies for Cell-Silicon Interfacing  + (03:00:52, 11 December 2022)
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  + (03:01:39, 11 December 2022)
• Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function  + (03:03:46, 11 December 2022)
• Kaihang Wang  + (03:04:44, 11 December 2022)
• Sanjit Seshia  + (03:05:42, 11 December 2022)
• Field-Programmable, Recombinase-Based Biomolecular Circuits  + (03:06:29, 11 December 2022)
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  + (03:07:15, 11 December 2022)
• File:Charmme-sbtools.png  + (15:49:53, 12 December 2022)
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  + (15:54:57, 12 December 2022)
• Chris Voigt  + (22:35:15, 18 December 2022)
• Dianne Newman  + (22:35:33, 18 December 2022)
• Aaron Ames  + (22:43:14, 18 December 2022)
• File:Afosr-t&e2.png  + (22:44:38, 18 December 2022)