Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
6,907 Research products, page 1 of 691

  • Publications
  • Research software
  • Other research products
  • 2012-2021
  • Report
  • English
  • Hal-Diderot
  • ProdInra

10
arrow_drop_down
Date (most recent)
arrow_drop_down
  • English
    Authors: 
    Jens Gustedt;
    Publisher: HAL CCSD
    Country: France

    Over time C has integrated some new features as keywords (some genuine, some from C++) but the naming strategy has not be entirely consistent: some were integrated using non-reserved names (const, inline) others were integrated in an underscore-capitalized form. For som...

  • Open Access English
    Authors: 
    AMICHI, Licia; CARNEIRO VIANA, Aline; CROVELLA, Mark; LOUREIRO, Antonio;
    Publisher: HAL CCSD
    Country: France

    Predicting how humans move within space and time is a central topic in many scientific domains such as epidemic propagation, urban planning, and ride-sharing. However, current studies neglect individuals' preferences to explore and discover new places. Yet, neglecting n...

  • English
    Authors: 
    Massé, Bruno;
    Publisher: HAL CCSD
    Country: France

    Let Y n be the number of attempts needed to get the nth success in a nonstationary sequence of independent Bernoulli trials and denote by α a fixed irrational number. We prove that, under mild conditions on the probabilities of success, the law of the fractional part of...

  • English
    Authors: 
    Massé, Bruno;
    Publisher: HAL CCSD
    Country: France

    Fix an irrational number α and let Y n be the number of attempts needed to get the nth success in a non-stationary sequence of independent Bernoulli trials. It is known that the law of the fractional part of αY n converges weakly to the uniform distribution on [0, 1) , ...

  • English
    Authors: 
    Upreti, Amit; Rajat, Bothra;
    Publisher: HAL CCSD
    Country: France

    In areas of high security, like airports, etc, X-Ray machines are used to scan baggage to look for hazardous objects such as guns, knives, razor blades. But, in a manual scan, it is easy to miss some details. Also manual scan is a tedious and time-consuming process. We ...

  • English
    Authors: 
    Nasrin, Sabrina; Alavi, Javaneh; Viswanathan, Pamila;
    Publisher: HAL CCSD
    Country: France

    Detecting abnormal tissues can be overlooked during body screening procedures including endoscopy, bronchoscopy, and colonoscopy. Colonoscopy is a routine screening procedure that can examine inside of the large intestine. However, observants might not be able to detect...

  • Publication . 2021
    English
    Authors: 
    Baelde, David; Delaune, Stéphanie; Koutsos, Adrien; Moreau, Solène;
    Publisher: HAL CCSD
    Country: France
    Project: EC | POPSTAR (714955)

    International audience; Bana and Comon have proposed a logical approach to proving protocols in the computational model, which they call the Computationally Complete Symbolic Attacker (CCSA). The proof assistant Squirrel implements a verification technique that elaborat...

  • English
    Authors: 
    Ribes, Edouard,; Cerna, Mines;
    Publisher: HAL CCSD
    Country: France

    This paper proposes a simple economic model describing retirees' use of bequests. The model assumes that retirees need long term care and have preferences regarding the source of this support. Support can either be bought from the market (at a fixed rate) or sourced fro...

  • English
    Authors: 
    Ribes, Edouard,;
    Publisher: HAL CCSD
    Country: France

    This paper proposes a simple economic model describing retirees' use of bequests. The model assumes that retirees need long term care and have preferences regarding the source of this support. Support can either be bought from the market (at a fixed rate) or sourced fro...

  • English
    Authors: 
    Albert Meroño Peñuela; Christophe Guillotel-Nothmann; Jacopo de Berardinis; Delfina Sol Martinez Pandiani; Valentina Anita Carriero; Mari Wigham; Andrea Poltronieri; Fiorela Ciroku; Philippe Rigaux;
    Publisher: HAL CCSD
    Country: France