In this paper, we are interested in modeling a how-to instructional
proc...
Currently, in the numerical linear algebra community, it is thought that...
We create classical (non-quantum) dynamic data structures supporting que...
We study the problem of testing whether a matrix A ∈R^n ×
n with bounded...
Automatic machine learning () is a family of techniques to automate the
...
Recently, Musco and Woodruff (FOCS, 2017) showed that given an n × n
pos...
We study the Maximum Independent Set problem for geometric objects given...