Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
726 Research products, page 1 of 73

  • Research software
  • Hyper Article en Ligne
  • Hyper Article en Ligne - Sciences de l'Homme et de la Société

10
arrow_drop_down
Date (most recent)
arrow_drop_down
  • English
    Authors: 
    Bontems, Thierry; David, Marie; Rivet, Alain;
    Publisher: HAL CCSD
  • Research software . 2022
    English
    Authors: 
    Barnier, Julien; Privé, Florian;
    Publisher: HAL CCSD
  • Open Access English
    Authors: 
    Jonic, Slavica; Harastani, Mohamad;
    Publisher: HAL CCSD
    Country: France

    ContinuousFlex allows analyzing single particle cryo electron microscopy data and in vitro and in situ cryo electron subtomogram data for continuous conformational variability of biomolecular complexes. It has been developed as a plugin of Scipion 3 software (https://gi...

  • English
    Authors: 
    Moine, Alexandre; Charguéraud, Arthur; Pottier, François;
    Publisher: HAL CCSD
    Country: France

    This repository contains the formalization of a transient stack and its iterator, as described in the CPP'22 paper "Specification and Verification of a Transient Stack".

  • English
    Authors: 
    Mouton, Alexandre; Rey, Thomas;
    Publisher: HAL CCSD
    Country: France

    KINEBEC is a simulation code developed in C dedicated to classical and quantum Boltzmann equations in 2D and 3D in velocity.This code is based on spectral methods in velocity and can uses MPI, OpenMP or CUDA tools for speeding up its execution and for managing large dat...

  • Research software . 2021
    English
    Authors: 
    Bertin, Gilles; Pignal, Marc; Klasnja, Srdjan; Bottini, Thomas; Scopsi, Claire; Zacklad, Manuel; Pimparé, Eva Pérez; Dusoulier, François; Chupin, Lisa; Rouhan, Germinal; +1 more
    Publisher: HAL CCSD
  • Research software . 2021
    English
    Authors: 
    Bertin, Gilles; Pignal, Marc; Klasnja, Srdjan; Bottini, Thomas; Scopsi, Claire; Zacklad, Manuel; Pimparé, Eva Pérez; Dusoulier, François; Chupin, Lisa; Rouhan, Germinal; +1 more
    Publisher: HAL CCSD
  • Research software . 2021
    English
    Authors: 
    Da Costa, Georges;
    Publisher: HAL CCSD

    An Open Source System, Energy and Network Monitoring Tools at the O/S level

  • English
    Authors: 
    Touati, Sid;
    Publisher: HAL CCSD
    Country: France

    Vincent Bouchitté was one of my former professors at Ecole Normale Supérieure de Lyon (France). He taught me deep and excellent fundamental results of graph theory, lattices and orders. Thanks to his courses, we were able to produce fundamental results on code optimisat...

  • English
    Authors: 
    Touati, Sid;
    Publisher: HAL CCSD
    Country: France

    This is a generic C++ library that handles data dependence graphs (DDG) for optimising compilation. It is built on top of the LEDA graph library (from algorithmic-solutions company). Our graph library is specially though for research purposes where people are willing to...