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

• 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)