Harvesting optimization with stochastic differential equations models: is the optimal enemy of the good?
Book of Abstracts: International Workshop on Mathematics and Physical Sciences
Stateful Realizers for Nonstandard Analysis
Hardwiring truth in functional interpretations
Strong convergence for the alternating Halpern-Mann iteration in CATp0q spaces