Pages without language links
From Murray Wiki
Jump to navigationJump to search
The following pages do not link to other language versions.
Showing below up to 50 results in range #1,521 to #1,570.
- SURF 2021
- SURF 2021: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines
- SURF 2021: Modeling tools for design and analysis of synthetic biological circuits
- SURF 2021: Optimizing cell extract for a proto-flagellar system
- SURF 2021: Test Design for Extremely Resilient System
- SURF 2022
- SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles
- SURF 2022: Feedback control system in synthetic cells
- SURF 2022: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines
- SURF 2022: Specification Monitor for Testing of Autonomous Systems
- SURF 2023
- SURF 2023: Formal compositional design of electro-mechanical systems
- SURF 2023: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines
- SURF 2023: Lysate Optimization to Extend Cell-Free Reaction Lifetime
- SURF 2023: Membrane Proteins
- SURF 2023: Towards a Minimal Model for Virus-Host Interactions
- SURF 2024
- SURF 2024: Bioengineering toolkit development for genetic alterations in the entomopathogenic nematode symbiont Xenorhabdus griffiniae
- SURF 2024: Establish synthetic biology toolkits for Steinernema nematode transgene expression
- SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems
- SURF 2024: Making Purer PURE
- SURF 2024: Task-Relevant Metrics for Perception
- SURF 2024: Towards a Minimal Model for Virus-Host Interactions
- SURF GOTChA chart
- SURF alumni
- SURF discussions, Feb 2021
- SURF discussions, Feb 2023
- SURF discussions, Jan 2013
- SURF discussions, Jan 2014
- SURF discussions, Jan 2015
- SURF discussions, Jan 2017
- SURF discussions, Jan 2018
- SURF discussions, Jan 2019
- SURF discussions, Jan 2020
- SURF discussions, Jan 2024
- SURF meetings, July 2012
- Safety-Critical Autonomy and Verification for Space Missions
- Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
- Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty
- Sal Ibarra
- Samuel Clamons
- Sandbox
- Sandeep Chichali, 16 Oct 2019
- Sanjit Seshia
- Sara Molinari, 29 Jan 2019
- Sarah Dean, 11-12 Feb 2020
- Schedule
- Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step
- Sean Sanchez
- Sebastian Maerkl