Exact Machine Learning: Improving Space and Speed of MaxSAT Solvers for Correlation Clustering

Clustering is an important unsupervised learning task, with many applications in machine learning, computer vision, formal program verification and finance. Heuristic approaches such as local search are an excellent strategy for estimating the optimal solution, but they run the danger of getting stuck in local optima. Furthermore, it is non...

A study on the ambient noise field at a hydroacoustic array near Robinson Crusoe Island

Continuous long-term sound sources are recorded at hydroacoustic station H03S, a threeelement hydrophone array south of Robinson Crusoe Island between 2014 April 23 and 2017 August 20. The origin of the signal between 3 and 20 Hz is investigated by using cross-correlation, array processing using plane wave beamforming and spectral analysis....