Concept
Multivariable calculus
Publications associées (39)
Resistances to change in urban travel behaviors
Marc-Edouard Baptiste Grégoire Schultheiss
The social discourse surrounding the climate emergency progressively infuses the society, transforming into both micro- and macro-social injunctions to change. Yet, society - grounded in a territorial, social, and cultural contingency - appears to resist t ...
EPFL2023Stability of Image-Reconstruction Algorithms
Michaël Unser, Sebastian Jonas Neumayer, Pol del Aguila Pla
Robustness and stability of image-reconstruction algorithms have recently come under scrutiny. Their importance to medical imaging cannot be overstated. We review the known results for the topical variational regularization strategies ( ℓ2 and ℓ1 regulariz ...
2023Revisiting the General Identifiability Problem
Negar Kiyavash, Ehsan Mokhtarian, Yaroslav Kivva, Seyed Jalal Etesami
We revisit the problem of general identifiability originally introduced in [Lee et al., 2019] for causal inference and note that it is necessary to add positivity assumption of observational distribution to the original definition of the problem. We show t ...
2022Gradient-based optimisation of the conditional-value-at-risk using the multi-level Monte Carlo method
Fabio Nobile, Sundar Subramaniam Ganesh
In this work, we tackle the problem of minimising the Conditional-Value-at-Risk (CVaR) of output quantities of complex differential models with random input data, using gradient-based approaches in combination with the Multi-Level Monte Carlo (MLMC) method ...
2022Accurate equilibrium-based interlaminar stress recovery for isogeometric laminated composite Kirchhoff plates
Pablo Antolin Sanchez, Alessandro Reali
Despite the accelerated deployment of laminated composites in a wide variety of markets due to their peculiar engineering features, the design of those materials is often restrained by the lack of cost-efficient modeling techniques. In fact, the existing s ...
ELSEVIER SCI LTD2021Linear Lipschitz and C-1 extension operators through random projection
We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and C-1 functions. This way we prove more directly a result by Lee and Naor [5] and we generalize the C-l extension theorem by ...
ACADEMIC PRESS INC ELSEVIER SCIENCE2021A Mechanized Theory of Quoted Code Patterns
The pattern matching on code from the new macro system of Scala 3 is modeled by a calculus called λ half-circle. We present a mechanized proof of soundness of the calculus in Coq and discuss encountered challenges. ...
2020Formal foundations for GADTs in Scala
GADTs are a very useful language feature that allow encoding some invariants in types. GADT reasoning is currently implemented in Scala and Dotty, but it’s plagued with soundness issues. To get a better understanding of GADTs in Scala, we explore how they ...
2020