International audience; Many adversarial attacks produce floating-point tensors which are no longer adversarial when converted to raster or JPEG images due to rounding. This paper proposes a method dedicated to quantize adversarial perturbations. This "smart" quantizati...

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...

International audience; The PID control is favored in controlling industrial processes for its ease of implementation. In this paper we present an analytical study, with an aim at stability robustness, tracking performance, and pole placement of first-order unstable pla...

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...

International audience; Initiated by the CNRS for its researchers in 2001, HAL has become, in 20 years of existence, anational shared platform at the service of all scientific communities. HAL is at the same time amultidisciplinary OA repository and the repository of th...

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.

International audience; Achieving a high-resolution approximation and hitting the Pareto optimal set with some if not all members of the population is the goal for multi- and many-objective optimization problems, and more so in real-world applications where there is als...

International audience; Meme is a type of behavior that is passed from one member of a group to another, not through the genes but by other means. This paper claims that the concept of resonance should play an important role in the propagation of memes among group membe...