Filters (5)
Download Results
1,469 research outcomes, page 1 of 147
  • publication . Report . 2011
    English
    Authors:
    Sacomoto, Gustavo Akio Tominaga; Kielbassa, J.; Antoniou, Pavlos; Chikhi, Rayan; Uricaru, Raluca; Sagot, Marie-France; Peterlongo, Pierre; Lacroix, Vincent;
    Publisher: HAL CCSD
    Project: EC | SISYPHE (247073)

    In this paper, we address the problem of identifying polymorphisms in RNA-seq data when no reference genome is available, without performing an assembly of the transcripts. Based on the fundamental idea that each polymor- phism will correspond to a recognisable pattern ...

  • publication . Report . Preprint . 2020
    Open Access English
    Authors:
    Friedemann, Sebastian; Raffin, Bruno;
    Publisher: HAL CCSD
    Project: EC | EoCoE-II (824158)

    Prediction of chaotic systems relies on a floating fusion of sensor data (observations) with a numerical model to decide on a good system trajectory and to compensate nonlinear feedback effects. Ensemble-based data assimilation (DA) is a major method for this concern de...

  • publication . Report . Article . 2008
    Open Access English
    Authors:
    Bruno Vallet; Bruno Levy;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | GOODSHAPE (205693)

    We present a new method to convert the geometry of a mesh into frequency space. The eigenfunctions of the Laplace-Beltrami operator are used to define Fourier-like function basis and transform. Since this generalizes the classical Spherical Harmonics to arbitrary manifo...

    Add to ORCIDorcid
  • publication . Report . 2017
    English
    Authors:
    López Peña, Miguel Angel; Monjas ErLlorente, Miguel-Angel; Bascuñana, Alejandro; Ordozgoiti, Bruno; Mozo, Alberto; Gomez, Sandra; Apileti, Daniele; Tzaferis, Athanasios; Owezarski, Philippe; Arias, Fernando; ...
    Publisher: HAL CCSD
    Project: EC | ONTIC (619633)

    This deliverable presents the progress in the exploitation and dissemination plans for the project [1] [2] [3] during the third period (third year) of the project by describing the activities performed in order to implement these plans and it is and update of deliverabl...

  • publication . Report . Article . 2010
    Open Access English
    Authors:
    Ioana Pasca;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | FORMATH (243847)

    We discuss a formal development for the certification of Newton's method. We address several issues encountered in the formal study of numerical algorithms: developing the necessary libraries for our proofs, adapting paper proofs to suit the features of a proof assistan...

    Add to ORCIDorcid
  • publication . Report . External research report . 2015
    Open Access English
    Authors:
    Vicovaro, Marcello; Loconto, Allison Marie; Santacoloma, Pilar; Vandecandelaere, Emilie;
    Publisher: HAL CCSD
    Project: EC | RES-AGORA (321427)

    As an output of the international workshop held in Bogota from 23 to 25 June, the Plant Production and Protection and Division and the Rural Infrastructure and Agro-Industries Division of FAO have launched a report on innovative approaches for linking sustainable and ag...

  • publication . Report . Preprint . 2010
    Open Access English
    Authors:
    Amadio, Roberto M.; Ayache, Nicolas; Régis-Gianas, Yann; Saillard, Ronan;
    Publisher: HAL CCSD
    Project: EC | CERCO (243881)

    We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the source code. To this end, we need a clear and flexible picture of: (i) the meaning of cost an...

  • publication . Report . 2015
    English
    Authors:
    Argillier, Christine; Teichert, Nils; Sagouis, A.; Lepage, Mario; Schinegger, R.; Palt, M.; Schmutz, S.; Segurado, P.; Ferrera, M.T.; Chust, G.; ...
    Publisher: HAL CCSD
    Project: EC | MARS (603378)

    Aquatic ecosystems facing multiple stressors lead to challenging conditions for their management, as stressors can have additive, but also interactive effects on organisms, populations and communities. Accounting for these interactions is important in the assessment of ...

  • publication . Article . Report . 2016
    English
    Authors:
    Sardashti, Somayeh; Seznec, André; Wood, David A.;
    Publisher: HAL CCSD
    Project: NSF | XPS: FULL: CCA: An Initia... (1438992), NSF | CSR: Small: Codesign of A... (1117280), EC | DAL (267175), NSF | CSR: Medium: WasteNot: St... (1302260), NSF | XPS: FULL: CCA: NUMB: Exp... (1533885), NSF | SHF: Small:Energy-Optimiz... (1218323)

    Cache memories play a critical role in bridging the latency, bandwidth, and energy gaps between cores and off-chip memory. However, caches frequently consume a significant fraction of a multicore chip’s area, and thus account for a significant fraction of its cost. Comp...

  • publication . Report . 2017
    English
    Authors:
    Annichiarico, Paolo; Julier, Bernadette; Burstin, Judith; Bouizgaren, Abdelaziz; Abbas, Khaled; Abdelguerfi, Aissa; Porqueddu, Claudio; Brummer, E. Charles; Hayek, Taoufik; Basigalup, Daniel;
    Publisher: HAL CCSD
    Project: EC | ARIMNET (219262)
1,469 research outcomes, page 1 of 147