3 papers
math.OC2025
Optimization under uncertainty: understanding orders and testing programs with specifications
Patrik Jansson, Nicola Botta, Tim Richter
One of the most ubiquitous problems in optimization is that of finding all the elements of a finite set at which a function attains its minimum (or maximum). When the codomain…
physics.soc-ph2023
Lost options commitment: how short-term policies affect long-term scope of action
Marina Martinez Montero, Nuria Brede, Victor Couplet +3
We propose to explore the sustainability of climate policies based on a novel commitment metric. This metric allows to quantify how future generations' scope of action is affected…
cs.PL2023
Types, equations, dimensions and the Pi theorem
Nicola Botta, Patrik Jansson
The languages of mathematical physics and modelling are endowed with a rich ``grammar of dimensions'' that common abstractions of programming languages fail to represent. We propos…