Coffee production is an important agriculture activity which contributes significantly to the economic growth of many countries in the world. One of the major constraints to coffee production throughout the world is the damage caused by the coffee berry borer (CBB), Hyp...

We introduce a notion of discrete-conformal equivalence of closed convex polyhedra in Euclidean 3-space. Using this notion, we prove a uniformization theorem for closed convex polyhedra in Euclidean 3-space.

Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and...

Affine iterations of the form x(n+1) = Ax(n) + b converge, using real arithmetic, if the spectral radius of the matrix A is less than 1. However, substituting interval arithmetic to real arithmetic may lead to divergence of these iterations, in particular if the spectra...

This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative contributions to the fields of c...

We present an implicit relaxation scheme for the simulation of compressible flows in all Mach number regimes based on a Jin Xin relaxation approach. The main features of the proposed scheme lie in its simplicity and effectiveness. Thanks to the linearity of the flux in ...

This work focuses on the development of a dedicated experimental methodology that allows for a better stochastic characterization of catalytic recombination parameters for reusable ceramic matrix composite materials when dealing with uncertain measurements and model par...

We characterize geometrically the regularizing effects of the semigroups generated by accretive non-selfadjoint quadratic differential operators. As a byproduct, we establish the subelliptic estimates enjoyed by these operators, being expected to be optimal. These resul...

We study the scenario where individuals (speakers) contribute to the publication of an anonymized speech corpus. Data users then leverage this public corpus to perform downstream tasks (such as training automatic speech recognition systems), while attackers may try to d...

In this paper, we describe a novel iterative procedure called SISTA to learn the underlying cost in optimal transport problems. SISTA is a hybrid between two classical methods, coordinate descent ("S"-inkhorn) and proximal gradient descent ("ISTA"). It alternates betwee...