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

• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (4 September 2017 05:37:33)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (4 September 2017 14:47:53)
• File:Duncan bozenna.jpg  + (25 September 2017 02:53:29)
• Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis  + (25 September 2017 03:10:08)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (25 September 2017 03:13:30)
• Bozenna Pasik-Duncan, Sep 2017  + (27 September 2017 03:59:20)
• File:Karan Kalsi.jpg  + (28 September 2017 16:28:03)
• Karan Kalsi, Oct 2017  + (3 October 2017 21:54:58)
• Programmable Molecular Technology Initiative  + (7 October 2017 05:07:05)
• UTRC visit, 12 Oct 2017  + (11 October 2017 22:13:09)
• WASP visit, 16-17 Oct 2017  + (12 October 2017 05:26:20)
• Mary Dunlop, Oct 2017  + (20 October 2017 13:46:54)
• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (29 October 2017 14:29:49)
• Analysis and design of a synthetic transcriptional network for exact adaptation  + (29 October 2017 14:30:30)
• Quantifying Crosstalk in Biochemical Systems  + (29 October 2017 14:30:39)
• Feedback architectures to regulate flux of components in artificial gene networks  + (29 October 2017 14:30:48)
• File:Jpl-pdf17.png  + (11 November 2017 21:24:00)
• File:Ncs-hierarchical.png  + (12 November 2017 18:16:05)
• Group Schedule, Fall 2017  + (4 December 2017 06:34:49)
• UG meetings, Fall 2017  + (5 December 2017 14:04:08)
• SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention  + (8 December 2017 17:26:23)
• File:AVP.png  + (8 December 2017 20:21:24)
• File:AVP contracts.png  + (8 December 2017 20:21:58)
• SURF 2018: Resource Usage in TX-TL  + (11 December 2017 22:00:20)
• CS 142, Fall 2017  + (13 December 2017 18:12:30)
• File:ASS DNAPEN.jpg  + (14 December 2017 02:01:51)
• SURF 2018: Integrase-based genetic circuits  + (14 December 2017 02:02:59)
• SURF 2018: Evolutionary Stability of Genetic Circuits  + (15 December 2017 21:54:58)
• SURF 2017: Synthetic modules for control of bacterial growth  + (16 December 2017 00:14:25)
• SURF 2018: Synthetic modules for regulation of bacterial growth  + (16 December 2017 00:15:10)
• SURF 2018: Test design for temporal logic controllers  + (16 December 2017 07:06:57)
• File:PARADOX.jpg  + (16 December 2017 22:35:40)
• SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling  + (16 December 2017 22:50:16)
• SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia  + (18 December 2017 15:58:04)
• SURF 2018: Contract-based Design of Control Systems  + (19 December 2017 07:00:13)
• Synthesizing flight software (FSW) discrete controllers from formal specifications  + (22 December 2017 06:39:31)
• Model-guided Discovery and Optimization of Cell-based Sensors  + (22 December 2017 06:39:47)
• The TerraSwarm Research Center  + (22 December 2017 06:40:02)
• File:Icb-microbial.png  + (1 January 2018 17:35:39)
• SURF 2018  + (3 January 2018 19:45:10)
• SURF discussions, Jan 2018  + (24 January 2018 08:01:32)
• EECI 2013: Automata Theory  + (25 January 2018 01:15:50)
• Distributed Mission and Contingency Management for the DARPA Urban Challenge  + (29 January 2018 06:57:31)
• UG meetings, Winter 2018  + (23 February 2018 00:09:24)
• Thoughts on publishing  + (23 February 2018 01:13:59)
• John McManus, 5 Mar 2018  + (3 March 2018 21:37:15)
• Group Schedule, Winter 2018  + (6 March 2018 05:29:00)
• Emzo de los Santos, 12 Mar 2018  + (8 March 2018 05:18:10)
• Chelsea Hu, Apr 2018  + (9 April 2018 19:53:17)
• Ben Richards, 20 Apr 2018  + (17 April 2018 15:35:58)
• Stochastic systems courses  + (2 May 2018 17:26:50)
• Siva Seetharaman, 10 May 2018  + (9 May 2018 20:12:52)
• CDS 110, Spring 2018  + (19 May 2018 23:05:42)
• UG meetings, Spring 2018  + (5 June 2018 17:33:28)
• Control of bacterial population density with population feedback and molecular sequestration  + (19 June 2018 04:54:08)
• Modeling Dynamic Transcriptional Circuits with CRISPRi  + (19 June 2018 05:04:54)
• Single day construction of multi-gene circuits with 3G assembly  + (19 June 2018 05:10:34)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (19 June 2018 05:12:26)
• Voluntary lane-change policy synthesis with reactive control improvisation  + (19 June 2018 05:25:18)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (19 June 2018 05:31:09)
• Length and time scales of cell-cell signaling circuits in agar  + (14 July 2018 13:59:02)
• On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3  + (15 July 2018 05:46:37)
• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations  + (15 July 2018 05:56:57)
• Andrew Halleran  + (3 August 2018 12:07:19)
• Ania Baetica  + (3 August 2018 12:10:16)
• Anandh Swaminathan  + (3 August 2018 12:11:26)
• Chelsea Hu  + (3 August 2018 12:12:22)
• Wenlong Xu, 14 Aug 2018  + (12 August 2018 06:49:43)
• File:Murray-14Dec16.jpg  + (8 September 2018 17:26:57)
• RMM photos  + (8 September 2018 17:28:18)
• Group Schedule, Spring 2018  + (8 September 2018 18:16:39)
• Group Schedule, Summer 2018  + (10 September 2018 20:45:43)
• Small comments on papers  + (21 September 2018 01:19:18)
• Daniel Fremont, Sep 2018  + (21 September 2018 21:00:11)
• Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams  + (26 September 2018 13:46:29)
• Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability  + (26 September 2018 13:46:45)
• A modal interface contract theory for guarded input/output automata with an application in traffic system design  + (8 October 2018 05:46:14)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (8 October 2018 05:49:28)
• File:Buildacell.png  + (8 October 2018 05:56:49)
• User:Admin  + (8 October 2018 05:57:11)
• Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards  + (23 October 2018 00:16:31)
• Group Schedule, Fall 2018  + (27 November 2018 07:51:45)
• File:Triple int.png  + (28 November 2018 00:08:58)
• File:Double int.png  + (28 November 2018 00:09:10)
• File:N integrator.png  + (28 November 2018 00:19:45)
• SURF 2019: Geometry of Control-Invariant Sets  + (28 November 2018 03:40:16)
• Paul Van den Hof, Dec 2018  + (7 December 2018 06:47:11)
• File:3-node Message Routing figure.png  + (10 December 2018 18:33:08)
• File:Message Routing Schematic.png  + (10 December 2018 18:58:14)
• SURF 2019: Engineering a synthetic high-bandwidth intercellular communication system through plasmid conjugation  + (10 December 2018 23:12:23)
• UG meetings, Fall 2018  + (11 December 2018 01:23:38)
• CDS 131, Fall 2018  + (11 December 2018 15:28:18)
• SURF 2019: Modeling and Analysis on Robust Synthetic Consortia with Localized Functions  + (12 December 2018 01:15:39)
• File:ADH evo stability.png  + (12 December 2018 03:02:29)
• SURF 2019: Evolutionary Stability of Genetic Circuits  + (12 December 2018 03:18:51)
• File:Aicb19-fieldprogrammable.png  + (25 December 2018 22:27:01)
• File:Arl19-cellfree.png  + (25 December 2018 22:47:08)
• File:Arl19-hybrid.png  + (25 December 2018 22:57:35)
• File:Arl19-zebrafish.png  + (25 December 2018 23:08:35)
• SURF 2019  + (26 December 2018 05:02:19)
• SURF 2019: River Mapping with Autonomous Surface Vehicles for Flood Hazard Monitoring  + (26 December 2018 05:07:37)
• File:Thor-setup.png  + (26 December 2018 05:08:47)
• Robust Estimation Framework with Semantic Measurements  + (27 December 2018 05:12:36)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (27 December 2018 05:18:35)
• Inverse Abstraction of Neural Networks Using Symbolic Interpolation  + (27 December 2018 05:21:34)
• Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits  + (27 December 2018 05:30:38)
• Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia  + (27 December 2018 05:33:33)
• Role of interaction network topology in controlling microbial population in consortia  + (27 December 2018 05:39:02)
• Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems  + (27 December 2018 05:42:27)
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  + (27 December 2018 05:55:05)
• File:Darpa-biocon.png  + (27 December 2018 05:56:49)
• Yong Wu  + (2 January 2019 05:10:52)
• ICB Microbial, ICB Network19  + (2 January 2019 05:12:02)
• Alex White  + (2 January 2019 05:17:48)
• Anu Thubagere  + (2 January 2019 05:18:06)
• Vipul Singhal  + (2 January 2019 05:18:33)
• Andrey Shur  + (2 January 2019 05:19:12)
• Sean Sanchez  + (2 January 2019 05:20:51)
• Mark Prator  + (2 January 2019 05:22:54)
• Andrew Montequin  + (2 January 2019 05:25:00)
• Sofie Haesaert  + (2 January 2019 05:25:39)
• Shaobin Guo  + (2 January 2019 05:26:02)
• Leopold Green  + (2 January 2019 05:26:43)
• Ioannis Filippidis  + (2 January 2019 05:27:30)
• Jonathan Feldstein  + (2 January 2019 05:27:52)
• Jin Ge  + (2 January 2019 05:30:15)
• Joe Meyerowitz  + (2 January 2019 05:32:33)
• Lani Kim  + (2 January 2019 05:44:09)
• Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping  + (13 January 2019 22:56:38)
• Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks  + (13 January 2019 22:57:01)
• SURF 2019: Synthetic modules for regulation of bacterial growth  + (15 January 2019 00:19:52)
• Timing molecular motion and production with a synthetic transcriptional clock  + (19 January 2019 16:05:51)
• User:Admin/Papers  + (19 January 2019 16:11:11)
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (19 January 2019 16:15:08)
• Design Guidelines For Sequestration Feedback Networks  + (26 January 2019 15:47:53)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (26 January 2019 15:54:27)
• Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks  + (26 January 2019 15:54:42)
• Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli  + (26 January 2019 15:54:55)
• Rapid cell-free forward engineering of novel genetic ring oscillators  + (26 January 2019 15:55:15)
• Sara Molinari, 29 Jan 2019  + (30 January 2019 00:17:21)
• Ather Gattami, Feb 2019  + (19 February 2019 18:58:23)
• Elahe Aghapour, Feb 2019  + (19 February 2019 21:09:03)
• Group Schedule, Winter 2019  + (11 March 2019 16:42:16)
• Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing  + (29 March 2019 20:05:02)
• Biographical Sketch  + (27 April 2019 02:17:31)
• Kristin Rozier, May 2019  + (17 May 2019 16:08:15)
• File:Nsf19-cellfree.png  + (21 May 2019 04:22:55)
• File:Arl20-elm.png  + (21 May 2019 04:39:26)
• UG meetings, Spring 2019  + (6 June 2019 05:59:33)
• Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology  + (8 June 2019 20:14:14)
• Layering assume-guarantee contracts for hierarchical system design  + (8 June 2019 20:15:24)
• Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape  + (9 June 2019 23:41:28)
• Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation  + (9 June 2019 23:47:25)
• Proof of concept continuous event logging in living cells  + (9 June 2019 23:49:07)
• Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits  + (9 June 2019 23:50:50)
• Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli  + (9 June 2019 23:53:06)
• Control of density and composition in an engineered two-member bacterial community  + (10 June 2019 00:03:42)
• Design of a genetic layered feedback controller in synthetic biological circuitry  + (10 June 2019 00:09:38)

• Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design  + (10 June 2019 00:11:27)

• Contracts of Reactivity  + (10 June 2019 00:21:14)
• File:Assured-autonomy.png  + (10 June 2019 04:20:45)
• File:Afosr-testandeval.png  + (10 June 2019 04:29:43)
• Group Schedule, Spring 2019  + (10 June 2019 16:09:38)
• An automated model reduction tool to guide the design and analysis of synthetic biological circuits  + (17 June 2019 00:13:37)
• Analysis of primitive genetic interactions for the design of a genetic signal differentiator  + (17 June 2019 00:13:46)
• Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways  + (1 July 2019 20:32:34)
• Molecular Programming Architectures, Abstractions, Algorithms, and Applications  + (1 July 2019 20:33:43)
• Stanley Bak, 8 July 2019  + (8 July 2019 13:50:59)
• Towards Assume-Guarantee Profiles for Autonomous Vehicles  + (1 August 2019 16:22:34)
• Expanded bio  + (10 August 2019 00:20:47)
• Synthetic biology future applications and technology needs  + (27 August 2019 00:41:08)
• Visitors  + (30 August 2019 04:55:52)
• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  + (3 September 2019 16:32:03)
• Group Schedule, Summer 2019  + (7 September 2019 18:17:23)
• Samuel Clamons  + (18 September 2019 14:57:08)
• A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior  + (18 September 2019 14:58:24)
• Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress  + (18 September 2019 15:00:30)
• Safety-Critical Autonomy and Verification for Space Missions  + (18 September 2019 15:03:04)
• Admin/Group members  + (18 September 2019 15:05:46)
• Karena Cai  + (18 September 2019 15:06:08)
• William Poole  + (18 September 2019 15:06:38)
• Michaelle Mayalu  + (18 September 2019 15:07:17)
• John McManus  + (18 September 2019 15:08:46)
• Josefine Graebener  + (18 September 2019 15:12:52)
• Tung Phan  + (18 September 2019 15:13:30)
• Apurva Badithela  + (18 September 2019 15:14:25)
• Jake Beal, 1 Oct 2019  + (30 September 2019 23:04:48)
• Thomas Mohren, 2 Oct 2019  + (2 October 2019 18:19:03)
• File:Caltech-freeways.jpg  + (3 October 2019 21:15:38)
• File:Caltech-streets.jpg  + (3 October 2019 21:16:06)
• File:Campus-map.png  + (3 October 2019 21:18:54)
• Caltech directions  + (3 October 2019 21:21:48)
• Mike Biercuk, 7 Oct 2019  + (7 October 2019 21:02:47)
• Sandeep Chichali, 16 Oct 2019  + (16 October 2019 01:37:34)
• Authorship  + (21 October 2019 23:57:40)
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  + (6 November 2019 16:13:25)
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  + (6 November 2019 16:13:38)
• Enabling Technologies for Cell-Silicon Interfacing  + (6 November 2019 16:13:53)
• Theory-Based Engineering of Biomolecular Circuits in Living Cells  + (6 November 2019 16:14:55)
• Formal Methods for V&V and T&E of Autonomous Systems  + (6 November 2019 16:16:43)
• CMS 273, Winter 2019  + (19 November 2019 17:40:13)
• Group Schedule, Fall 2019  + (3 December 2019 03:09:52)
• File:Slide.png  + (3 December 2019 19:14:47)
• CS 142, Fall 2019  + (5 December 2019 17:01:59)
• File:Architecture auton sys.png  + (8 December 2019 20:16:01)
• James Parkin  + (8 December 2019 20:27:36)
• AFOSR  + (8 December 2019 20:44:06)
• Eric Wolff, 11 Dec 2019  + (10 December 2019 21:16:37)
• File:Gridworld sys env.png  + (10 December 2019 23:07:46)
• File:SynBioModelingPipeline.jpg  + (11 December 2019 06:08:36)
• SURF 2020: Test and Evaluation for Autonomy  + (15 December 2019 21:32:51)
• SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars  + (15 December 2019 21:41:47)
• SURF 2020: Social-Aware Robot Navigation  + (15 December 2019 21:51:09)
• File:2020 SURF fig.png  + (16 December 2019 18:25:09)
• File:SURF 2020 wahl murray.png  + (16 December 2019 18:27:16)
• File:CYHSURF2020.png  + (17 December 2019 05:25:41)
• SURF 2020: System identification of bacterial gene expression as a function of population dynamics  + (17 December 2019 05:26:00)
• CDS 131, Fall 2019  + (18 December 2019 07:20:48)
• SURF 2020: Applications of synthetic differentiation  + (22 December 2019 22:07:38)
• SURF 2020: Hardware Implementation of Contract-Based Design for Automated Valet Parking System  + (30 December 2019 18:08:56)
• SURF 2020  + (12 January 2020 22:22:53)
• SURF discussions, Jan 2019  + (20 January 2020 19:01:26)
• SURF GOTChA chart  + (22 January 2020 00:04:55)
• SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (23 January 2020 15:24:48)
• SURF discussions, Jan 2020  + (23 January 2020 22:26:05)
• Liren Yang, 5-6 Feb 2020  + (6 February 2020 04:48:02)
• Sarah Dean, 11-12 Feb 2020  + (11 February 2020 00:06:55)
• David Garcia, 13 Feb 2020  + (13 February 2020 19:43:53)
• UG meetings, Dec 2019  + (22 February 2020 15:15:28)
• EECI 2020: Discrete Abstractions  + (29 February 2020 17:02:20)
• EECI 2020: Rulebooks  + (29 February 2020 17:31:11)
• EECI 2020: Course Introduction  + (1 March 2020 21:56:28)
• EECI 2020: Automata Theory  + (1 March 2020 22:10:56)
• EECI 2020: Temporal Logic  + (1 March 2020 22:19:30)
• EECI 2020: Reactive Synthesis  + (1 March 2020 22:38:25)
• EECI 2020: Model Checking  + (10 March 2020 07:56:30)
• EECI 2020: Probabilistic Systems  + (10 March 2020 07:57:46)
• EECI 2020: Computer Session: Stormpy  + (10 March 2020 08:00:30)
• Group Schedule, Winter 2020  + (12 March 2020 05:55:16)
• EECI 2020: Minimum Violation Planning  + (13 March 2020 05:12:55)
• EECI 2020: Behavior Specifications  + (13 March 2020 07:26:33)
• EECI 2020: Computer Session: MVP  + (13 March 2020 07:36:24)
• EECI 2020: Safety-Critical Systems  + (13 March 2020 07:37:58)
• EECI 2020: Course Summary  + (13 March 2020 07:39:19)
• EECI 2020: Computer Session: TuLiP  + (18 March 2020 18:50:57)
• Courses  + (22 March 2020 21:00:52)
• File:W1 setup-31Mar2020.pdf  + (2 April 2020 16:32:57)
• EECI-IGSC 2020  + (8 April 2020 13:15:47)
• E/SEC 103, Spring 2020  + (19 April 2020 23:18:45)
• Temporal Logic Specifications for Control System Design in Automotive Systems  + (22 April 2020 16:48:30)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (26 May 2020 05:25:43)
• Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits  + (26 May 2020 05:30:31)
• Ayush Pandey  + (26 May 2020 05:32:17)
• Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli  + (26 May 2020 05:35:06)
• Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations  + (26 May 2020 05:40:30)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (26 May 2020 05:51:51)
• Risk-Averse Planning Under Uncertainty  + (26 May 2020 05:57:43)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (26 May 2020 15:56:37)
• 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  + (26 May 2020 20:48:33)
• Networked Feedback Systems in Biology  + (26 May 2020 21:23:07)
• Characterization of Insect Flight Control Systems  + (26 May 2020 21:23:20)
• Biomolecular Feedback Circuits for Modular, Robust and Rapid Response  + (26 May 2020 21:23:33)
• Biomolecular Circuits for Rapid Detection and Response to Environmental Events  + (26 May 2020 21:23:48)
• Field-Programmable, Recombinase-Based Biomolecular Circuits  + (26 May 2020 21:24:26)
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  + (26 May 2020 21:24:55)
• BE 240, Spring 2020  + (28 May 2020 14:50:01)
• Group Schedule, Spring 2020  + (8 June 2020 14:09:59)
• SBtools Bootcamp, June 2020  + (14 June 2020 02:44:01)
• Zoila Jurado  + (21 June 2020 16:59:18)
• www.cds.caltech.edu/~murray/schedule.html  + (28 June 2020 17:19:50)
• File:RSI-soil syn bio.png  + (20 July 2020 05:03:38)
• Elin Larsson  + (20 July 2020 05:05:15)
• John Marken  + (20 July 2020 05:07:05)
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  + (26 July 2020 06:00:26)
• David Garcia  + (29 July 2020 20:56:24)
• Undergraduate alumni  + (30 July 2020 23:31:56)
• File:Rosen20-simplecell.png  + (8 August 2020 23:53:15)
• Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function  + (8 August 2020 23:53:38)
• Rory Williams  + (8 August 2020 23:54:29)
• Genetic Circuits for Multi-Cellular Machines  + (8 August 2020 23:56:21)
• File:Cellsys-actuation.png  + (9 August 2020 00:10:03)
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  + (9 August 2020 00:11:15)
• Manisha Kapasiawala  + (9 August 2020 00:12:19)
• Assurance for Learning Enabled Systems  + (10 August 2020 17:36:46)
• Chuchu Fan  + (10 August 2020 17:37:39)
• Sumanth Dathathri  + (10 August 2020 17:39:20)
• Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions  + (10 August 2020 17:56:46)
• Bio  + (22 August 2020 04:39:41)
• Geoffroy Le Courtois Du Manoir  + (23 August 2020 05:29:00)
• Property:Current position  + (23 August 2020 05:30:22)
• Synthetic Cell, Summer 2020  + (26 August 2020 15:36:42)
• SURF alumni  + (29 August 2020 05:15:27)
• Schedule  + (1 September 2020 14:14:58)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (12 September 2020 12:27:19)
• Group Schedule, Summer 2020  + (20 September 2020 17:17:12)
• GOTChA Chart  + (25 September 2020 15:43:30)
• Research Overview  + (5 October 2020 04:46:35)
• CMS 273, Winter 2020  + (15 November 2020 16:24:48)
• VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems  + (22 November 2020 00:31:18)
• BE 107, Spring 2019  + (23 November 2020 21:58:39)
• File:Heilmeier-isat.png  + (25 November 2020 17:34:20)
• Heilmeier Catechism  + (25 November 2020 17:37:18)
• Modeling and control of the effects of bilateral asymmetries in insect flight  + (3 December 2020 15:43:28)
• CDS 131, Fall 2020  + (7 December 2020 00:16:44)
• Group Schedule, Fall 2020  + (7 December 2020 15:56:39)
• Group Schedule, Winter 2021  + (21 December 2020 00:57:19)
• SURF 2021: Modeling tools for design and analysis of synthetic biological circuits  + (22 December 2020 04:19:26)
• Main Page  + (22 December 2020 16:48:32)
• CMS 273, Winter 2021  + (26 December 2020 05:56:42)
• File:Experiment prop.png  + (4 January 2021 12:25:29)
• SURF 2021: Test Design for Extremely Resilient System  + (4 January 2021 12:33:22)
• File:ATPase Protoflagellum.png  + (6 January 2021 08:32:54)
• SURF 2021  + (6 January 2021 16:58:09)
• SURF 2021: Optimizing cell extract for a proto-flagellar system  + (6 January 2021 17:00:05)
• File:Synthetic-cell.png  + (7 January 2021 17:54:58)
• SURF 2021: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (7 January 2021 17:56:17)