Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (3)
Download Results
6,093 research outcomes, page 1 of 610
  • publication . Article . 2021
    Open Access English
    Authors:
    Bonnet, Benoit; Furon, Teddy; Bas, Patrick;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France

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

    Add to ORCIDorcid
  • publication . Article . Preprint . 2021
    Open Access English
    Authors:
    Allamigeon, Xavier; Katz, Ricardo D.; Strub, Pierre-Yves;
    Persistent Identifiers
    Country: France
    Project: ANR | LMH (ANR-11-LABX-0056), ANR | CAPPS (ANR-17-CE40-0018), ANR | scrypt (ANR-18-CE25-0014)

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

    Add to ORCIDorcid
  • publication . Article . 2021
    Closed Access English
    Authors:
    Ma, Dan; Boussaada, Islam; Chen, Jianqi; Bonnet, Catherine; Niculescu, Silviu-Iulian; Chen, Jie;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France

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

    Add to ORCIDorcid
  • publication . Preprint . Article . 2021
    Open Access English
    Authors:
    Revol, Nathalie;
    Persistent Identifiers
    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...

    Add to ORCIDorcid
  • publication . Report . 2021
    English
    Authors:
    Gustedt, Jens; Seacord, Robert,;
    Publisher: HAL CCSD
    Country: France
  • publication . Article . 2021
    French
    Authors:
    Berthaud, Christine; Charnay, Daniel; Fargier, Nathalie;
    Publisher: HAL CCSD
    Country: France

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

  • publication . Preprint . 2021
    English
    Authors:
    Fotso Fotso, Yves; Touzeau, Suzanne; Tsanou, Berge; Grognard, Frédéric; Bowong, Samuel;
    Publisher: HAL CCSD
    Country: France

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

  • publication . Preprint . 2021
    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.

  • publication . Article . 2021
    Open Access English
    Authors:
    Hugo Monzón Maldonado; Hernán Aguirre; Sébastien Verel; Arnaud Liefooghe; Bilel Derbel; Kiyoshi Tanaka;
    Persistent Identifiers
    Publisher: Hindawi Limited
    Country: France

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

    Add to ORCIDorcid
  • publication . Article . 2021
    English
    Authors:
    Kitajima, Muneo; Toyota, Makoto; Dinet, Jérôme;
    Publisher: HAL CCSD
    Country: France

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

6,093 research outcomes, page 1 of 610