Concept
Théorème des valeurs intermédiaires
Publications associées (15)
Generalized Bradley-Terry Models for Score Estimation from Paired Comparisons
Julien René Pierre Fageot, Sadegh Farhadkhani, Oscar Jean Olivier Villemaud, Le Nguyen Hoang
Many applications, e.g. in content recommendation, sports, or recruitment, leverage the comparisons of alternatives to score those alternatives. The classical Bradley-Terry model and its variants have been widely used to do so. The historical model conside ...
AAAI Press2024Rational-based model order reduction of Helmholtz frequency response problems with adaptive finite element snapshots
Francesca Bonizzoni, Davide Pradovera
We introduce several spatially adaptive model order reduction approaches tailored to non-coercive elliptic boundary value problems, specifically, parametric-in-frequency Helmholtz problems. The offline information is computed by means of adaptive finite el ...
2021On Proving and Disproving Equivalence of Functional Programming Assignments
Viktor Kuncak, Dragana Milovancevic
We present an automated approach for verifying the correctness of programming assignments, such as ones arising in a functional programming course. Our approach takes a small set of reference implementations and a set of student implementations and checks, ...
2021Decay for the nonlinear KdV equations at critical lengths
We consider the nonlinear Korteweg-de Vries (KdV) equation in a bounded interval equipped with the Dirichlet boundary condition and the Neumann boundary condition on the right. It is known that there is a set of critical lengths for which the solutions of ...
2020Global Solutions To Stochastic Reaction-Diffusion Equations With Super-Linear Drift And Multiplicative Noise
Robert Dalang, Davar Khoshnevisan
Let xi(t, x) denote space-time white noise and consider a reaction-diffusion equation of the form (t, x) = 1/2u ''(t, x) + b(u(t, x)) + sigma(u(t,x))xi(t,x) on R+ x [0, 1], with homogeneous Dirichlet boundary conditions and suitable initial d ...
INST MATHEMATICAL STATISTICS2019On the Soil-Structure Interaction of Surface Strip Footings at Ultimate Limit State
Lyesse Laloui, Cristiano Garbellini
Theoretical methods for estimating the bearing capacity of surface strip footings usually do not consider soil-structure interaction. A few publications deal with the subject, but all of these either do not apply rigorous methods or do not consider the gen ...
ISSMGE2018The mechanics of punching in reinforced concrete slabs and footings without shear reinforcement
João Tiago Ramos Bernardo de Santa Rita Simões
Punching shear failures of structural concrete members have been the focus of attention of numerous works presented over the last decades. Although various rational approaches have been developed to predict these failures, there is still no unanimity on a ...
EPFL2018A High–Performance Parallel Implementation of the Chambolle Algorithm
David Atienza Alonso, Abdulkadir Akin, Ivan Beretta, Alessandro Antonio Nacci
The determination of the optical flow is a central problem in image processing, as it allows to describe how an image changes over time by means of a numerical vector field. The estimation of the optical flow is however a very complex problem, which has be ...
ACM and IEEE Press2011