Hemant Tyagi

activity

20122023

most citedFormal Verification of Obstacle Avoidance and Navigation of Ground Robots

72 citations · 157 across the 23 of their papers we have counts for

collaborators

Showing 2018Show all

4 papers · 1 filter

cs.IT2018

Multi-kernel unmixing and super-resolution using the Modified Matrix Pencil method

Stéphane Chrétien, Hemant Tyagi

Consider $L$ groups of point sources or spike trains, with the $l^{th}$ group represented by $x_{l} (t)$ . For a function $g : R \to R$ , let $g_l(t) = g(…

math.OC2018

Sparse non-negative super-resolution -- simplified and stabilised

Armin Eftekhari, Jared Tanner, Andrew Thompson +2

The convolution of a discrete measure, $x = \sum_{i = 1}^{k} a_{i} δ_{t_{i}}$ , with a local window function, $ϕ (s - t)$ , is a common model for a measurement device whose resolution is substantia…

stat.ML2018★ 12 cited

Provably robust estimation of modulo 1 samples of a smooth function with applications to phase unwrapping

Mihai Cucuringu, Hemant Tyagi

Consider an unknown smooth function $f : [0, 1]^{d} \to R$ , and say we are given $n$ noisy mod 1 samples of $f$ , i.e., $y_{i} = (f (x_{i}) + η_{i}) mod 1$ , for $x_i \in [0,1]…

math.NA2018

Learning general sparse additive models from point queries in high dimensions

Hemant Tyagi, Jan Vybiral

We consider the problem of learning a $d$ -variate function $f$ defined on the cube $[- 1, 1]^{d} \subset R^{d}$ , where the algorithm is assumed to have black box access to sampl…