Models and Algorithms for Global Optimization