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