output
20052025
most citedDegenerate parabolic stochastic partial differential equations: Quasilinear case

90 citations

Showing 2021Show all

5 papers · 1 filter

cs.LG2021★ 1 cited

Nonasymptotic one-and two-sample tests in high dimension with unknown covariance structure

Gilles Blanchard, Jean-Baptiste Fermanian

Let be an i.i.d. sample of square-integrable variables in , \GB{with common expectation and covariance matrix , both unkn…

math.OC2021

Polygons as maximizers of Dirichlet energy or first eigenvalue of Dirichlet-Laplacian among convex planar domains

Jimmy Lamboley, Arian Novruzi, Michel Pierre

In this paper we prove that solutions to several shape optimization problems in the plane, with a convexity constraint on the admissible domains, are polygons. The main terms of th…

cs.PL2021

Verified Functional Programming of an Abstract Interpreter

Lucas Franceschino, David Pichardie, Jean-Pierre Talpin

Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to…

math.AP2021★ 1 cited

Invariant Gibbs measure for a Schrodinger equation with exponential nonlinearity

Tristan Robert

We investigate the invariance of the Gibbs measure for the fractional Schrodinger equation of exponential type (expNLS) on -d…

math.AP2021

Heat equation on the Heisenberg group: observability and applications

Karine Beauchard, Piermarco Cannarsa

We investigate observability and Lipschitz stability for the Heisenberg heat equation on the rectangular domain taking as observation…