-
The monotonicity of f-vectors of random polytopes
Let K be a compact convex body in Rd, let Kn be the convex hull of n points chosen uniformly and independently in K, and let fi(Kn) denote the number of i-dimensional... -
F0 Declination in French : Broadcast News versus spontaneous speech.
International audience -
Application of MGDA to domain partitioning
This report is a sequel to several publications in which a {\em Multiple-Gradient Descent Algorithm (MGDA)} has been proposed and tested for the treatment of... -
Optimal Blurred Segments Decomposition in Linear Time
Blurred (previously named fuzzy) segments were introduced by Debled-Rennesson et al as an extension of the arithmetical approach of Reveillès on discrete lines, to... -
Formal Proof in Coq and Derivation of a Program in C++ to Compute Convex Hulls
International audience -
Designing and proving correct a convex hull algorithm with hypermaps in Coq
International audience -
Real-time scheduling for optimal energy use
Colloque avec actes et comité de lecture. nationale.
