Batya Kenig

127 I-C3 Approximate Implication with d-Separation

UAI 2021 • Jul 28, 2021

Wai Lum William Mah

Synthetic antiferromagnetic domain wall device as artificial neuron for neuromorphic computing

MATERIALS FOR HUMANITY (MH 21) • Jul 7, 2021

Chris Wolverton

Using Artificial Intelligence to Discover New Materials

MATERIALS FOR HUMANITY (MH 21) • Jul 7, 2021

Samantha Morris

Webinar 3, July 1st // New single-cell technologies to dissect reprogramming and development

AIM Seminar Series 2021 • Jul 1, 2021

Tutorial 1 - Programming mobile robots with ROS2 and the RCLAda Ada Client Library

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies • Jun 9, 2021

Tutorial 2 - Introduction to the development of safety‐critical software

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies • Jun 9, 2021

Tutorial 3 - Parallel programming with Ada and OpenMP

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies • Jun 9, 2021

Tutorial 4 - Timing verification from UML & MARTE design models: techniques & tools

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies • Jun 9, 2021

Tutorial 5 - Programming shared memory computers

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies • Jun 9, 2021

TS6-3(prerecord) - Reliability-oriented design of on-board satellite boot software against single event effects

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies • Jun 8, 2021