Abstract: Recent years have seen a surging interest in developing under-approximations of reachable sets due to their potential applications in control synthesis and verification. In this letter, we ...

Abstract: We consider the problem of online sparse linear approximation, where a learner sequentially predicts the best sparse linear approximations of an as yet unobserved sequence of measurements in ...

Hilbert is a project that will contain numerous implementations of the Hilbert transform for discrete data. This will hopefully enable users to compare different implementation, such as the newly ...

Discover a fast and powerful calculus-based method for finding square roots with impressive accuracy. This explanation shows how derivatives and iterative approximation can be used to quickly zero in ...