Title: Formal Proofs for Nonlinear OptimizationSpeaker: Dr. Victor MagronAffiliation: Department of Electrical and Electronic Engineering - Imperial College LondonLocation: Room 217 Huxley BuildingTime: 2:00pmAbstract. We present a formally verified global optimization framework. Given a semialgebraic or transcendental function f and a compact semialgebraic domain K, we use the nonlinear maxplus template approximation algorithm to provide... Read more »

Title: Supply Chain Optimization - from strategic to operational decision levelsSpeaker: Prof. Ana Barbosa-PovoaAffiliation: University of LisbonLocation: CPSE seminar room (C615 Roderic Hill)Time: 3:00pmAbstract. Supply Chains are complex systems that involve challenging problems. Such problems require suitable answers so as to guarantee efficiency and responsiveness improvements of the involved systems. When answering to such problems... Read more »

Title: Bifurcation Analysis Using Complete Search Methods Speaker: Dr. Mario Eduardo VillanuevaAffiliation: Centre for Process Systems Engineering at Imperial CollegeLocation: Room 217 Huxley BuildingTime: 2:00pmAbstract. When studying a non-linear dynamic system it is important to locate and characterise its equilibrium manifold and its bifurcation regions within a pre-specified computational domain. Except for very few simple... Read more »

Title: The Complexity of Primal-Dual Fixed Point Methods for Ridge RegressionSpeaker: Prof. Ademir RibeiroAffiliation: Department of Mathematics - Federal University of ParanaLocation: Room 218 Huxley BuildingTime: 2:00pmAbstract. We study the ridge regression (L2 regularized least squares) problem and its dual, which is also a ridge regression problem. We observe that the optimality conditions can be... Read more »