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

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