Search by property
From Murray Wiki
Jump to navigationJump to search
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
- File:Duncan bozenna.jpg + (02:53:29, 25 September 2017)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (03:10:08, 25 September 2017)
- An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System + (03:13:30, 25 September 2017)
- Bozenna Pasik-Duncan, Sep 2017 + (03:59:20, 27 September 2017)
- File:Karan Kalsi.jpg + (16:28:03, 28 September 2017)
- Karan Kalsi, Oct 2017 + (21:54:58, 3 October 2017)
- UTRC visit, 12 Oct 2017 + (22:13:09, 11 October 2017)
- WASP visit, 16-17 Oct 2017 + (05:26:20, 12 October 2017)
- Mary Dunlop, Oct 2017 + (13:46:54, 20 October 2017)
- Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems + (14:29:49, 29 October 2017)
- Analysis and design of a synthetic transcriptional network for exact adaptation + (14:30:30, 29 October 2017)
- Quantifying Crosstalk in Biochemical Systems + (14:30:39, 29 October 2017)
- Feedback architectures to regulate flux of components in artificial gene networks + (14:30:48, 29 October 2017)
- File:Jpl-pdf17.png + (21:24:00, 11 November 2017)
- File:Ncs-hierarchical.png + (18:16:05, 12 November 2017)
- Group Schedule, Fall 2017 + (06:34:49, 4 December 2017)
- UG meetings, Fall 2017 + (14:04:08, 5 December 2017)
- SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention + (17:26:23, 8 December 2017)
- File:AVP.png + (20:21:24, 8 December 2017)
- File:AVP contracts.png + (20:21:58, 8 December 2017)
- SURF 2018: Resource Usage in TX-TL + (22:00:20, 11 December 2017)
- CS 142, Fall 2017 + (18:12:30, 13 December 2017)
- File:ASS DNAPEN.jpg + (02:01:51, 14 December 2017)
- SURF 2018: Integrase-based genetic circuits + (02:02:59, 14 December 2017)
- SURF 2018: Evolutionary Stability of Genetic Circuits + (21:54:58, 15 December 2017)
- SURF 2017: Synthetic modules for control of bacterial growth + (00:14:25, 16 December 2017)
- SURF 2018: Synthetic modules for regulation of bacterial growth + (00:15:10, 16 December 2017)
- SURF 2018: Test design for temporal logic controllers + (07:06:57, 16 December 2017)
- File:PARADOX.jpg + (22:35:40, 16 December 2017)
- SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling + (22:50:16, 16 December 2017)
- SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia + (15:58:04, 18 December 2017)
- SURF 2018: Contract-based Design of Control Systems + (07:00:13, 19 December 2017)
- Synthesizing flight software (FSW) discrete controllers from formal specifications + (06:39:31, 22 December 2017)
- Model-guided Discovery and Optimization of Cell-based Sensors + (06:39:47, 22 December 2017)
- File:Icb-microbial.png + (17:35:39, 1 January 2018)
- SURF 2018 + (19:45:10, 3 January 2018)
- SURF discussions, Jan 2018 + (08:01:32, 24 January 2018)
- EECI 2013: Automata Theory + (01:15:50, 25 January 2018)
- Distributed Mission and Contingency Management for the DARPA Urban Challenge + (06:57:31, 29 January 2018)
- UG meetings, Winter 2018 + (00:09:24, 23 February 2018)
- John McManus, 5 Mar 2018 + (21:37:15, 3 March 2018)
- Group Schedule, Winter 2018 + (05:29:00, 6 March 2018)
- Emzo de los Santos, 12 Mar 2018 + (05:18:10, 8 March 2018)
- Chelsea Hu, Apr 2018 + (19:53:17, 9 April 2018)
- Ben Richards, 20 Apr 2018 + (15:35:58, 17 April 2018)
- Stochastic systems courses + (17:26:50, 2 May 2018)
- Siva Seetharaman, 10 May 2018 + (20:12:52, 9 May 2018)
- CDS 110, Spring 2018 + (23:05:42, 19 May 2018)
- UG meetings, Spring 2018 + (17:33:28, 5 June 2018)
- Control of bacterial population density with population feedback and molecular sequestration + (04:54:08, 19 June 2018)
- Modeling Dynamic Transcriptional Circuits with CRISPRi + (05:04:54, 19 June 2018)
- Single day construction of multi-gene circuits with 3G assembly + (05:10:34, 19 June 2018)
- Long-distance communication in synthetic bacterial consortia through active signal propagation + (05:12:26, 19 June 2018)
- Voluntary lane-change policy synthesis with reactive control improvisation + (05:25:18, 19 June 2018)
- Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts + (05:31:09, 19 June 2018)
- Length and time scales of cell-cell signaling circuits in agar + (13:59:02, 14 July 2018)
- On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 + (05:46:37, 15 July 2018)
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations + (05:56:57, 15 July 2018)
- Wenlong Xu, 14 Aug 2018 + (06:49:43, 12 August 2018)
- File:Murray-14Dec16.jpg + (17:26:57, 8 September 2018)
- Group Schedule, Spring 2018 + (18:16:39, 8 September 2018)
- Group Schedule, Summer 2018 + (20:45:43, 10 September 2018)
- Small comments on papers + (01:19:18, 21 September 2018)
- Daniel Fremont, Sep 2018 + (21:00:11, 21 September 2018)
- Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams + (13:46:29, 26 September 2018)
- Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability + (13:46:45, 26 September 2018)
- A modal interface contract theory for guarded input/output automata with an application in traffic system design + (05:46:14, 8 October 2018)
- Risk-aware motion planning for automated vehicle among human-driven cars + (05:49:28, 8 October 2018)
- File:Buildacell.png + (05:56:49, 8 October 2018)
- Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards + (00:16:31, 23 October 2018)
- Group Schedule, Fall 2018 + (07:51:45, 27 November 2018)
- File:Triple int.png + (00:08:58, 28 November 2018)
- File:Double int.png + (00:09:10, 28 November 2018)
- File:N integrator.png + (00:19:45, 28 November 2018)
- SURF 2019: Geometry of Control-Invariant Sets + (03:40:16, 28 November 2018)
- Paul Van den Hof, Dec 2018 + (06:47:11, 7 December 2018)
- File:3-node Message Routing figure.png + (18:33:08, 10 December 2018)
- File:Message Routing Schematic.png + (18:58:14, 10 December 2018)
- SURF 2019: Engineering a synthetic high-bandwidth intercellular communication system through plasmid conjugation + (23:12:23, 10 December 2018)
- UG meetings, Fall 2018 + (01:23:38, 11 December 2018)
- CDS 131, Fall 2018 + (15:28:18, 11 December 2018)
- SURF 2019: Modeling and Analysis on Robust Synthetic Consortia with Localized Functions + (01:15:39, 12 December 2018)
- File:ADH evo stability.png + (03:02:29, 12 December 2018)
- SURF 2019: Evolutionary Stability of Genetic Circuits + (03:18:51, 12 December 2018)
- File:Aicb19-fieldprogrammable.png + (22:27:01, 25 December 2018)
- File:Arl19-cellfree.png + (22:47:08, 25 December 2018)
- File:Arl19-hybrid.png + (22:57:35, 25 December 2018)
- File:Arl19-zebrafish.png + (23:08:35, 25 December 2018)
- SURF 2019 + (05:02:19, 26 December 2018)
- SURF 2019: River Mapping with Autonomous Surface Vehicles for Flood Hazard Monitoring + (05:07:37, 26 December 2018)
- File:Thor-setup.png + (05:08:47, 26 December 2018)
- Robust Estimation Framework with Semantic Measurements + (05:12:36, 27 December 2018)
- End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks + (05:18:35, 27 December 2018)
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation + (05:21:34, 27 December 2018)
- Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits + (05:30:38, 27 December 2018)
- Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia + (05:33:33, 27 December 2018)
- Role of interaction network topology in controlling microbial population in consortia + (05:39:02, 27 December 2018)
- Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems + (05:42:27, 27 December 2018)
- File:Darpa-biocon.png + (05:56:49, 27 December 2018)
- ICB Microbial, ICB Network19 + (05:12:02, 2 January 2019)
- Alex White + (05:17:48, 2 January 2019)
- Andrew Montequin + (05:25:00, 2 January 2019)
- Jonathan Feldstein + (05:27:52, 2 January 2019)
- Lani Kim + (05:44:09, 2 January 2019)
- SURF 2019: Synthetic modules for regulation of bacterial growth + (00:19:52, 15 January 2019)
- Timing molecular motion and production with a synthetic transcriptional clock + (16:05:51, 19 January 2019)
- User:Admin/Papers + (16:11:11, 19 January 2019)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (16:15:08, 19 January 2019)
- Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks + (15:54:27, 26 January 2019)
- Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks + (15:54:42, 26 January 2019)
- Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli + (15:54:55, 26 January 2019)
- Rapid cell-free forward engineering of novel genetic ring oscillators + (15:55:15, 26 January 2019)
- Sara Molinari, 29 Jan 2019 + (00:17:21, 30 January 2019)
- Ather Gattami, Feb 2019 + (18:58:23, 19 February 2019)
- Elahe Aghapour, Feb 2019 + (21:09:03, 19 February 2019)
- Group Schedule, Winter 2019 + (16:42:16, 11 March 2019)
- Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing + (20:05:02, 29 March 2019)
- Kristin Rozier, May 2019 + (16:08:15, 17 May 2019)
- File:Nsf19-cellfree.png + (04:22:55, 21 May 2019)
- File:Arl20-elm.png + (04:39:26, 21 May 2019)
- UG meetings, Spring 2019 + (05:59:33, 6 June 2019)
- Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology + (20:14:14, 8 June 2019)
- Layering assume-guarantee contracts for hierarchical system design + (20:15:24, 8 June 2019)
- Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation + (23:47:25, 9 June 2019)
- Proof of concept continuous event logging in living cells + (23:49:07, 9 June 2019)
- 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)
- File:SURF2023-CBD.png + (19:11:52, 19 December 2022)
- File:Integrated-membrane.png + (03:02:27, 21 December 2022)
- SURF 2023: Lysate Optimization to Extend Cell-Free Reaction Lifetime + (05:25:06, 21 December 2022)
- SURF 2023: Formal compositional design of electro-mechanical systems + (05:35:59, 21 December 2022)
- SURF 2023: Membrane Proteins + (06:27:42, 21 December 2022)
- File:Phage Infecting Synthetic Cell.png + (17:00:46, 21 December 2022)
- SURF 2023: Towards a Minimal Model for Virus-Host Interactions + (17:02:09, 21 December 2022)
- SURF 2023 + (16:28:21, 27 December 2022)
- Reasoning over Test Specifications using Assume-Guarantee Contracts + (17:10:59, 7 January 2023)
- Paul Freemont, January 2023 + (01:12:27, 24 January 2023)
- SURF discussions, Feb 2023 + (17:16:13, 28 January 2023)
- Yasmine Marani, 8 Mar 2023 + (20:40:35, 8 March 2023)
- CDS 112/Ae 103b, Winter 2023 + (05:08:21, 11 March 2023)
- Group Schedule, Winter 2023 + (01:01:38, 13 March 2023)
- ICB visit, 15 Mar 2023 + (14:49:07, 14 March 2023)
- Lars Nielsen, March 2023 + (16:03:19, 17 March 2023)
- Authorship + (23:58:28, 23 March 2023)
- Property:DOI + (17:52:09, 27 March 2023)
- E/SEC 103, Spring 2023 + (04:44:50, 30 May 2023)
- Formal Methods for V&V and T&E of Autonomous Systems + (05:03:38, 30 May 2023)
- Roee Francos, 7 Jun 2023 + (02:21:15, 6 June 2023)
- Group Schedule, Spring 2023 + (14:57:08, 8 June 2023)
- File:Schmidt-syncell.png + (00:48:17, 10 July 2023)
- Marta Kwiatkowska, Jul 2023 + (23:55:03, 18 July 2023)
- Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems + (15:23:42, 2 August 2023)
- Andras Gyorgy, Aug 2023 + (20:48:53, 7 August 2023)
- Group Schedule, Summer 2023 + (01:59:26, 17 September 2023)
- Thoughts on publishing + (17:06:41, 30 September 2023)
- Property:Term + (15:32:20, 15 October 2023)
- Property:Course number + (15:32:54, 15 October 2023)
- Category:Courses + (15:33:02, 15 October 2023)
- User:Admin + (15:33:11, 15 October 2023)
- Property:Year + (15:33:14, 15 October 2023)
- Admin/Courses + (15:36:23, 15 October 2023)
- ACM 101/AM 125b/CDS 140a, Winter 2011 + (15:41:39, 15 October 2023)
- Property:Course title + (16:11:13, 15 October 2023)
- Property:Instructors + (16:12:11, 15 October 2023)
- Naira Hovakimyan, Oct 2023 + (04:06:35, 18 October 2023)
- Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies + (02:42:29, 1 November 2023)
- Property:LinkedIn + (18:28:09, 26 November 2023)
- Property:Instructor office hours + (21:13:29, 3 December 2023)
- Property:TA office hours + (21:13:37, 3 December 2023)
- Property:Lecture schedule + (22:29:19, 3 December 2023)
- Group Schedule, Fall 2023 + (18:49:18, 10 December 2023)
- File:Lifecycle.png + (02:09:06, 11 December 2023)
- Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia + (05:22:56, 11 December 2023)
- File:Icb-synbiofilm.png + (05:39:04, 11 December 2023)
- Steve Mayo + (05:52:18, 11 December 2023)
- Matt Thomson + (05:52:33, 11 December 2023)
- File:SURF2024 Fig2.png + (11:59:12, 11 December 2023)
- SURF 2024: Bioengineering toolkit development for genetic alterations in the entomopathogenic nematode symbiont Xenorhabdus griffiniae + (12:02:20, 11 December 2023)
- File:Autonomous robotic systems.png + (19:02:04, 13 December 2023)
- File:Single switch.mp4 + (20:26:11, 15 December 2023)
- File:Double switch.mp4 + (20:54:00, 15 December 2023)
- SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems + (22:12:01, 15 December 2023)
- SURF 2024: Task-Relevant Metrics for Perception + (00:11:33, 16 December 2023)
- SURF 2024: Towards a Minimal Model for Virus-Host Interactions + (04:02:18, 18 December 2023)
- File:Transgene modularity Library (1).jpeg + (00:03:48, 19 December 2023)
- SURF 2024: Establish synthetic biology toolkits for Steinernema nematode transgene expression + (20:29:49, 20 December 2023)
- Christian Stromberger + (06:21:55, 27 December 2023)
- Sean Sanchez + (06:24:17, 27 December 2023)
- Blade Olson + (06:28:53, 27 December 2023)
- Richard M. Murray + (06:29:23, 27 December 2023)
- Kellan Moorse + (06:29:53, 27 December 2023)
- Zach Martinez + (06:34:23, 27 December 2023)
- Ioannis Mandralis + (06:34:54, 27 December 2023)
- Geoffroy Le Courtois Du Manoir + (06:35:25, 27 December 2023)
- Elin Larsson + (06:36:05, 27 December 2023)
- Property:Subsequent positions + (16:50:32, 27 December 2023)
- Enoch Yeung + (17:07:37, 27 December 2023)
- Ivan Papusha + (17:15:23, 27 December 2023)
- John McManus + (17:18:02, 27 December 2023)
- Catharine (Cat) McGhan + (17:18:26, 27 December 2023)
- Michaelle Mayalu + (17:19:28, 27 December 2023)
- Chelsea Hu + (17:20:05, 27 December 2023)
- Victoria Hsiao + (17:20:37, 27 December 2023)
- Andrew Halleran + (17:21:25, 27 December 2023)
- Sofie Haesaert + (17:21:55, 27 December 2023)
- Shaobin Guo + (17:23:45, 27 December 2023)
- Leopold Green + (17:24:28, 27 December 2023)
- Jin Ge + (17:25:11, 27 December 2023)
- Chuchu Fan + (17:29:12, 27 December 2023)
- Mary Dunlop + (17:30:09, 27 December 2023)
- Mengyi Cao + (17:30:56, 27 December 2023)
- Matthieu Kratz + (17:38:53, 27 December 2023)
- Nikos Mynhier + (17:40:48, 27 December 2023)
- Richard Andersen + (17:42:05, 27 December 2023)
- Preprint archive + (20:26:56, 27 December 2023)
- Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications + (20:32:24, 27 December 2023)
- Context-Aided Variable Elimination for Requirement Engineering + (20:39:05, 27 December 2023)
- A Model-Free Algorithm for Extremely Resilient Navigation + (20:40:32, 27 December 2023)
- A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths + (20:44:39, 27 December 2023)
- Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles + (20:49:11, 27 December 2023)
- Control education for societal-scale challenges: A community roadmap + (20:52:08, 27 December 2023)
- Center for Harnessing Microbiota from Military Environments (CHARMME) + (20:55:02, 27 December 2023)
- Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli + (21:19:47, 27 December 2023)
- Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli + (21:22:29, 27 December 2023)
- SURF 2024: Making Purer PURE + (02:01:22, 30 December 2023)
- SURF 2024 + (15:19:29, 4 January 2024)
- Caltech directions + (06:03:51, 12 January 2024)
- File:ICB24-syncell.png + (20:16:16, 15 January 2024)
- SURF discussions, Jan 2024 + (05:59:15, 23 January 2024)
- Admin/Group members + (06:17:13, 29 January 2024)
- Ania Baetica + (06:00:28, 3 February 2024)
- Ayush Pandey + (06:01:18, 3 February 2024)
- John Marken + (06:01:52, 3 February 2024)
- Joe Meyerowitz + (06:02:28, 3 February 2024)
- Samuel Clamons + (06:02:56, 3 February 2024)
- Andrey Shur + (06:03:55, 3 February 2024)
- Rory Williams + (06:04:18, 3 February 2024)
- Karena Cai + (06:05:17, 3 February 2024)
- Reed McCardell + (06:05:52, 3 February 2024)
- James Parkin + (06:06:22, 3 February 2024)
- Tung Phan + (06:07:04, 3 February 2024)
- Xinying (Cindy) Ren + (06:07:32, 3 February 2024)
- Sumanth Dathathri + (06:08:06, 3 February 2024)
- Ioannis Filippidis + (06:08:31, 3 February 2024)
- Vipul Singhal + (06:09:02, 3 February 2024)
- Anthony Fragoso + (06:11:50, 3 February 2024)
- Anandh Swaminathan + (06:12:48, 3 February 2024)
- Yong Wu + (06:13:32, 3 February 2024)
- Anu Thubagere + (06:14:09, 3 February 2024)
- E/SEC 103, Winter 2024 + (21:51:05, 4 March 2024)
- Bi/BE/CS 183, Winter 2024 + (18:58:57, 12 March 2024)
- David Moore, 5 Apr 2023 + (19:45:28, 2 April 2024)