research
∙
06/17/2023
On the Applicability of Network Coordinate Systems for Fog Computing
Identifying the closest fog node is crucial for mobile clients to benefi...
share
research
∙
05/02/2022
Measuring DNS over TCP in the Era of Increasing DNS Response Sizes: A View from the Edge
The Domain Name System (DNS) is one of the most crucial parts of the Int...
research
∙
04/20/2022
Differentiable Collision Avoidance Using Collision Primitives
A central aspect of robotic motion planning is collision avoidance, wher...
research
∙
02/18/2019
Homotopy canonicity for cubical type theory
Cubical type theory provides a constructive justification of homotopy ty...
research
∙
01/29/2019
A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning
We introduce Deep500: the first customizable benchmarking infrastructure...
research
∙
02/04/2018
On Higher Inductive Types in Cubical Type Theory
Cubical type theory provides a constructive justification to certain asp...
research
∙
10/30/2017