The combination of big data and deep learning is a world-shattering
tech...
Healthcare data is sensitive and requires great protection. Encrypted
el...
We introduce LRT-NG, a set of techniques and an associated toolset that
...
Quantization, a commonly used technique to reduce the memory footprint o...
An Implantable Cardioverter Defibrillator (ICD) is a medical device used...
We introduce continuous Lagrangian reachability (CLRT), a new algorithm ...
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm...