The authors would like to thank Zdeněk Dvořák for his comments and insights on a computer-assisted approach towards a possible solution of Steinberg’s Conjecture.

Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture.

A fundamental problem in distributed computing is the distribution of requests to a set of uniform servers without a centralized controller. Classica…

This paper proposes an abstract mathematical frame for describing some features of biological time. The key point is that usual physical (linear) rep…

We study the problem of reconstructing a hidden graph given access to a distance oracle. We design randomized algorithms for the following problems: …

We consider $d$-dimensional simplicial complexes which can be PL embedded in the $2d$-dimensional euclidean space. In short, we show that in any such…

For a wide range of problems and parameters we provide instance-optimal algorithms that are round efficient. On the other side, we show that in certain ranges no instance-optimal algorithm exists. For those settings where there exist instance-optima…

Motivated by crowdsourced computation, peer-grading, and recommendation systems, Braver- man et al. [STOC'16] recently studied the query and round co…

Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models…

We improve complexity bounds for energy-efficient speed scheduling problems for both the single processor and multi-processor cases. Energy conservat…

In time series classification, signals are typically mapped into some intermediate representation which is used to construct models. We introduce the…

Regularized nonlinear acceleration (RNA) estimates the minimum of a function by post-processing iterates from an algorithm such as the gradient metho…

This paper proposes an abstract mathematical frame for describing some features of cognitive and biological time. We focus here on the so called "ext…

By signing up you accept our content policy

Already have an account? Sign in

No a member yet? Create an account