HiGHS is a high performance serial and parallel solver for large scale sparse linear optimization problems of the form $$ \min \quad \dfrac{1}{2}x^TQx + c^Tx \qquad ...

Professor Stephen Luketero Wanyonyi of the University of Nairobi has become a full professor of Pure Mathematics, celebrating decades of impactful teaching.

Each academic year, the University of Vermont explores an aspect of today’s society through several components of its Presidential Lecture Series. Each lecture, made possible by endowments from ...

The GA/LA/UD hosts a diverse series of lectures and events that enrich the intellectual life of students, faculty, and the broader community. These programs foster critical discourse, ...

Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...

Abstract: The Benders’ decomposition algorithm is a technique in mathematical programming for complex mixed-integer linear programming (MILP) problems with a particular block structure. The strategy ...

Please Don't Scroll Past This Can you chip in? The Internet Archive partners with libraries, archives, and institutions across the globe to preserve cultural heritage that would otherwise be lost ...