The arrangements of particles and forces in granular materials have a complex organization
on multiple spatial scales that range from local structures to mesoscale and system-wide …

A certifying algorithm is an algorithm that produces, with each output, a certificate or witness
(easy-to-verify proof) that the particular output has not been compromised by a bug. A user …

The power flow equations relate the power injections and voltages in an electric power
system and are therefore key to many power system optimization and control problems …

This paper proposes three strong second order cone programming (SOCP) relaxations for
the AC optimal power flow (OPF) problem. These three relaxations are incomparable to …

Repetitive and ambiguous visual structures in general pose a severe problem in many
computer vision applications. Identification of incorrect geometric relations between images …

This paper provides an overview of railway timetable design in practice and the
combinatorial optimization models that have been proposed for this application, putting …

While many approaches exist for the automated segmentation of retinal vessels in fundus
photographs, limited work has focused on the problem of separating the arterial from the …

This work investigates the pose graph optimization problem, which arises in maximum
likelihood approaches to simultaneous localization and mapping (SLAM). State-of-the-art …

Localization and Mapping (SLAM) from the perspective of linear estimation theory. The
problem is first formulated in terms of graph embedding: a graph describing robot poses at …

Periodic timetabling is an important, yet computationally challenging, problem in public
transportation planning. The usual objective when designing a timetable is to minimize …