Formal Methods for Robotics in the Age of Big DataEngineering·Research Seminar·Distributed Systems · Hadas Kress-Gazit · Cornell UniversityHadas Kress-GazitCornell University—1:04:55
How Can Robots Learn to Interact and Coordinate with Others?Systems & CS·Research Seminar·Systems Security · Negar Mehr · UC BerkeleyNegar MehrUC Berkeley—55:33
Shaping the Body of Robots with Soft Skin and MusclesSystems & CS·Research Seminar·Sandboxing & Privilege Separation · Yong-Lae Park · Seoul National UniversityYong-Lae ParkSNSeoul National University—57:01
Haptic Interaction through Lorentz Magnetic Levitation: A Personal JourneyEngineering·Research Seminar·Robot Dynamics & Aerospace Control · Ralph Hollis · Carnegie Mellon UniversityRalph HollisCarnegie Mellon University—1:02:27
Augmenting Bee Colonies with Robotics and AI Technologies for Ecosystem SupportSystems & CS·Research Seminar·Signal Processing & Robotics · Erol Şahin · Middle East Technical University (METU)Erol ŞahinMEMiddle East Technical University (METU)—52:34
Expanding What Robots Can Learn in the Real WorldSystems & CS·Research Seminar·Sandboxing & Privilege Separation · Roberto Martín-Martín · UT AustinRoberto Martín-MartínUT Austin—57:50
Simulation-Driven Robot Learning for the Lazy ResearcherEngineering·Research Seminar·Robot Dynamics & Aerospace Control · Abhishek Gupta · University of WashingtonAbhishek GuptaUniversity of Washington—56:51
Building Playable Virtual Instruments in Julia: Real-Time Saxophone ModelSystems & CS·Conference Talk·Signal Processing & Robotics · Antonio Ortega Brook, Manuel Camilo Eguia, Martín Proscia & Dario Ruiz · JuliaCon GlobalAntonio Ortega Brook&Manuel Camilo EguiaJGJuliaCon Global—14:09