We present a high-level and accessible Application Programming Interface...
The performance of CPU-based and GPU-based systems is often low for PDE
...
We consider the problem of type-directed component based synthesis where...
Online Normalization is a new technique for normalizing the hidden
activ...
Modeling dynamical systems, both for control purposes and to make predic...