Abstract: Solving constrained multi-objective optimization problems (CMOPs) is a challenging task due to the presence of multiple conflicting objectives and intricate constraints. In order to better ...

The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

Abstract: With a widespread adoption of synthetic aperture radar (SAR) observations in Earth sciences, the volume of annual data updates has soared to petabyte scales. Consequently, the accurate ...

In 2026, many parents feel like they’re fighting a losing battle against the ubiquity of screens in their children’s lives. Between kids demanding smart phones at younger ages, algorithms designed to ...