We present novel mixed-integer programming (MIP) formulations for optimization over
nonconvex piecewise linear functions. We exploit recent advances in the systematic …

Binarized neural networks are an important class of neural network in deep learning due to
their computational efficiency. This paper contributes towards a better understanding of the …

In this thesis, we study transient (time-dependent) gas flow in natural gas networks with a
focus on passive gas networks. We compare different algorithms to approximate flow and …