Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (2)
Download Results
58,136 research outcomes, page 1 of 5,814
  • publication . Article . 2013
    Restricted English
    Authors:
    Laurent Sulpice; Michel Rayar; Bruno Laviolle; Diane Cunin; Aude Merdrignac; Karim Boudjema; Bernard Meunier;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; PURPOSE: The aim of the current study was to evaluate the outcome after primary repair in comparison to other surgical treatments and the advantage of reinforcing the sutures with an absorbable polyglactin 910 prosthesis. METHODS: All esophageal ...

    Add to ORCIDorcid
  • publication . Conference object . 2020
    Open Access English
    Authors:
    Thomas Letan; Yann Régis-Gianas;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; FreeSpec is a framework for the Coq theorem prover whichallows for specifying and verifying complex systems as hierarchies of components verified both in isolation and incomposition. While FreeSpec was originally introduced forreasoning about har...

    Add to ORCIDorcid
  • publication . Article . 2014
    Restricted English
    Authors:
    Lucie Raymond; Jean-Pierre Sarthou; Manuel Plantegenest; Bertrand Gauffre; Sylvie Ladet; Aude Vialatte;
    Persistent Identifiers
    Publisher: HAL CCSD

    Abstract This study was based on broad monitoring of spring emergence of hoverflies and of aphid populations in two French agro-ecosystems. Its aim was to determine whether hoverflies overwinter in agricultural fields and/or in field margins at immature stages and to wh...

    Add to ORCIDorcid
  • publication . Article . 2013
    Open Access English
    Authors:
    Sébastien Castelltort; Philippe Yamato;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; We investigate the influence of initial conditions of slope and surface roughness on the shape (length to width aspect ratio) of incipient drainage basins in numerical experiments of simple tilted surfaces using the CASCADE code of landscape evol...

    Add to ORCIDorcid
  • publication . Article . 2019
    Open Access English
    Authors:
    William Erb; Thierry Roisnel;
    Persistent Identifiers
    Publisher: HAL CCSD

    A four-step approach toward the first hetero-1,2,3,4,5-pentasubstituted ferrocene derivatives was successfully explored. Starting from Ugi's amine, enantioenriched compounds were made through the first asymmetric halogen ‘dance’ reaction reported.

    Add to ORCIDorcid
  • publication . Article . 2015
    Restricted
    Authors:
    Viviane Kovess; Sabine Choppin; Fei Gao; Mathilde Pivette; Mathilde M. Husky; Emmanuelle Leray;
    Persistent Identifiers
    Publisher: Mary Ann Liebert Inc

    International audience; OBJECTIVE: The purpose of this study was to describe the patterns of psychotropic drug use in a large representative population of children and adolescents drawn from the French National Health Insurance databank. METHODS: Data were drawn from a ...

    Add to ORCIDorcid
  • publication . Conference object . 2020
    Open Access English
    Authors:
    Aman Framewala; Sarvesh Harale; Shreya Khatal; Dhiren R. Patel; Yann Busnel; Muttukrishnan Rajarajan;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; While cryptocurrencies like Bitcoin have the potential to break traditional financial barriers, there are growing concerns about such currencies being used to fund illegal activities. Blockchain keeps the complete history of all transactions ever...

    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 . Article . 2016
    Restricted English
    Authors:
    Damien Bergeat; David Lechaux; Adil Ghaina; Ronan Thibault; Vianney Bouygues;
    Persistent Identifiers
    Publisher: HAL CCSD

    The online version of this article (doi: 10.1007/s11695-016-2517-1) contains supplementary material, which is available to authorized users.; International audience; BACKGROUND: Laparoscopic bariatric surgery (LBS) in older obese patients remains debated regarding posto...

    Add to ORCIDorcid
  • publication . Conference object . 2015
    English
    Authors:
    Manzillo, F. F.; Mauro Ettorre; Casaletti, M.; Sauleau, R.; Capet, N.;
    Publisher: HAL CCSD

    International audience

58,136 research outcomes, page 1 of 5,814