Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
2,030 Research products, page 1 of 203

  • 2021-2021
  • Preprint
  • FR
  • INRIA a CCSD electronic archive server

10
arrow_drop_down
Date (most recent)
arrow_drop_down
  • Publication . Article . Preprint . 2021
    Open Access English
    Authors: 
    Allamigeon, Xavier; Katz, Ricardo D.; Strub, Pierre-Yves;
    Publisher: HAL CCSD
    Country: France
    Project: ANR | scrypt (ANR-18-CE25-0014), ANR | CAPPS (ANR-17-CE40-0018), ANR | LMH (ANR-11-LABX-0056)

    23 pages, 4 figures, minor revision. Extended version of hal-0315165.; 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 ...

  • Publication . Preprint . Article . 2021
    Open Access English
    Authors: 
    Revol, Nathalie;
    Publisher: HAL CCSD
    Country: France

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

  • Closed Access English
    Authors: 
    Yves Fotso Fotso; Suzanne Touzeau; Berge Tsanou; Frédéric Grognard; Samuel Bowong;
    Publisher: HAL CCSD
    Country: France

    International audience; offee 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...

  • English
    Authors: 
    Gruetzner, Georg,;
    Publisher: HAL CCSD
    Country: France

    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.

  • Open Access English
    Authors: 
    Miolane, Nina; Caorsi, Matteo; Lupo, Umberto; Guerard, Marius; Guigui, Nicolas; Mathe, Johan; Cabanes, yann; Reise, Wojciech; Davies, Thomas; Leitão, António; +23 more
    Publisher: HAL CCSD
    Country: France
    Project: EC | G-Statistics (786854), NSF | CAREER: Role of geometry ... (1452163)

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

  • Open Access English
    Authors: 
    Thomann, Andrea; Iollo, Angelo; Puppo, Gabriella;
    Publisher: HAL CCSD
    Country: France

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

  • English
    Authors: 
    del Val, Anabel; Luís, Diana; Chazot, Olivier;
    Publisher: HAL CCSD
    Country: France

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

  • Open Access English
    Authors: 
    Guillaume Carlier; Arnaud Dupuy; Alfred Galichon; Yifei Sun;
    Publisher: HAL CCSD
    Country: France

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

  • Open Access
    Authors: 
    Marta Zaffaroni; Loup Rimbaud; Ludovic Mailleret; Nik J. Cunniffe; Daniele Bevacqua;
    Publisher: Public Library of Science (PLoS)
    Countries: France, United Kingdom

    Aphids are the primary vector of plant viruses. Transient aphids, which probe several plants per day, are considered to be the principal vectors of non-persistently transmitted (NPT) viruses. However, resident aphids, which can complete their life cycle on a single host...

  • Open Access English
    Authors: 
    Carlier, Guillaume; Friesecke, Gero; Vögler, Daniela;
    Publisher: HAL CCSD
    Country: France

    We present a novel analogue for finite exchangeable sequences of the de Finetti, Hewitt and Savage theorem and investigate its implications for multi-marginal optimal transport (MMOT) and Bayesian statistics. If $(Z_1,...,Z_N)$ is a finitely exchangeable sequence of $N$...