Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (5)
Download Results
117,033 research outcomes, page 1 of 11,704
  • publication . Conference object . Part of book or chapter of book . 2016
    Open Access English
    Authors:
    Somia Rahmoun; Fabrice Mairesse; Hiroshi Uji-i; Johan Hofkens; Tadeusz Sliwa;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; In the molecular field, researchers analyze dynamics of polymers by microscopy: several measurements such as length and curvature are performed in their studies. To achieve correct analysis they need to extract the curve representing as good as p...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2017
    Restricted English
    Authors:
    Marc Beunardeau; Aisling Connolly; Houda Ferradi; Rémi Géraud; David Naccache; Damien Vergnaud;
    Persistent Identifiers
    Publisher: HAL CCSD

    The provably secure Schnorr signature scheme is popular and efficient. However, each signature requires a fresh modular exponentiation, which is typically a costly operation. As the increased uptake in connected devices revives the interest in resource-constrained signa...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2017
    French
    Authors:
    FLORIN Bénédicte;
    Publisher: HAL CCSD

    International audience; Au Caire, à Casablanca ou à Istanbul, les récupérateurs ont toujours été repoussés aux marges, aux limites, dans les interstices et les « trous » des métropoles. Ces espaces constituent des marges urbaines au coeur de la ville du fait de leur rép...

  • International audience; Cet article a pour premier objet une lecture de l’ensemble des travaux de Richard Maire et de leurs contributions à l’évolution de la karstologie francophone depuis les années 1970. Par la place qu’il a donnée à l’étude des formes et des dépôts s...

  • publication . Part of book or chapter of book . 2017
    French
    Authors:
    Parachkévova, Irina;
    Publisher: HAL CCSD

    International audience

  • publication . Part of book or chapter of book . 2012
    French
    Authors:
    ISHIKAWA, Fumiya;
    Publisher: HAL CCSD

    texte de la communication présentée à la Journée scientifique : « La construction d’un répertoire didactique. Analyse des interactions et des discours produits en situation de formation à l’enseignement du FLE », organisé à l’Université Paris III-Sorbonne nouvelle (Pari...

  • publication . Conference object . Part of book or chapter of book . 2012
    Open Access English
    Authors:
    Fredy Huaylla; Lamia Berrah; Vincent Clivillé;
    Persistent Identifiers
    Publisher: HAL CCSD

    Part 1: Sustainability; International audience; In the last decade the interest for electric production using PhotoVoltaic System (PVS) has strongly increased; namely for the citizen who is able to use roofs or personal surfaces to put in place such systems. For instanc...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2019
    Restricted English
    Authors:
    Lucie Pheulpin; Vito Bacchi; Nathalie Bertrand;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; In recent years, flooding hazard is usually assessed through numerical modelling. However, depending on the nature (e.g. 1D, 2D) and the breach characteristics (e.g. river geometry, bottom roughness, levees geometry) of the numerical model, the u...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2017
    Open Access English
    Authors:
    Frédéric Besson; Sandrine Blazy; Pierre Wilke;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: NSF | Collaborative Research: E... (1521523), ANR | AnaStaSec (ANR-14-CE28-0014)

    International audience; The CompCert C compiler provides the formal guarantee that the observable behaviour of the compiled code improves on the observable behaviour of the source code. In this paper, we present a formally verified C compiler, CompCertS, which is essent...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2016
    Open Access English
    Authors:
    Felipe Castillo; Emmanuel Witrant; Christophe Prieur; Luc Dugard;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; In this chapter, we address the problem of the dynamic boundary stabilization of linear, quasilinear and LPV first-order hyperbolic systems. We provide sufficient conditions for the exponential stability for this class of infinite dimensional sys...

    Add to ORCIDorcid
117,033 research outcomes, page 1 of 11,704