Quick search
Advanced search in
Field to searchTerm
Add rule
Download Results
29 research outcomes, page 1 of 3
  • software . 2018
    Open Access English
    Authors:
    Brault, Vincent; Cougoulat, Glenn; Ouadah, Sarah; Sansonnet, Laure;
    Publisher: HAL CCSD

    Nonparametric approach to estimate the location of block boundaries (change-points) of non-overlapping blocks in a random symmetric matrix which consists of random variables whose distribution changes from block to block.

  • software . 2018
    Open Access English
    Authors:
    Brault, Vincent; Chiquet, Julien;
    Publisher: HAL CCSD

    This package is designed to segment a matrix in blocks with constant values.

  • software . 2018
    Open Access English
    Authors:
    Girka, Thibaut;
    Publisher: HAL CCSD
  • software . 2018
    Open Access English
    Authors:
    Beeson, Michael; Boutry, Pierre; Braun, Gabriel; Gries, Charly; Narboux, Julien;
    Publisher: HAL CCSD

    A formalization of geometry in Coq.This library contains a formalization of geometry using the Coq proof assistant. It contains both proofs about the foundations of geometry and high-level proofs in the same style as in high-school.

  • software . 2019
    Open Access English
    Authors:
    Chen, Fati; Phan, Nhathai; Poncelet, Pascal; Teisseire, Maguelonne;
    Publisher: HAL CCSD

    Recent improvements in positioning technology have led to a much wider availability of massive moving object data. A crucial task is to find the moving ob jects that travel together. Usually, these ob ject sets are called object movement patterns. Due to the emergence o...

  • software . 2010
    Open Access English
    Authors:
    Trommenschlager, Jean-Marie; Gaujour, Etienne;
    Publisher: HAL CCSD

    support matériel (CDROM ou DVD) à la demande/commandeWindows 7; La mise en place de l'expérimentation-système sur l'installation expérimentale (IE) de l'unité de recherche "ASTER" à l'INRA de Mirecourt a induit l'augmentation du nombre de données recueillies ainsi que l...

  • software . 2019
    Open Access English
    Authors:
    Ingalalli, Vijay; Ienco, Dino; Poncelet, Pascal;
    Publisher: HAL CCSD

    For more than a decade, extracting frequent patterns from single large graphs has been one of the research focuses. However, in this era of data eruption, rich and complex data is being generated at an unprecedented rate. This complex data can be represented as a multig...

  • software . 2018
    Open Access English
    Authors:
    Barnier, Julien; Briatte, François; Larmarange, Joseph;
    Publisher: HAL CCSD

    R package to make surveys processing easier

  • software . 2019
    Open Access English
    Authors:
    Deraux, Martin;
    Publisher: HAL CCSD
  • software . 2018
    Open Access English
    Authors:
    Moussaoui, Saïd; Chouzenoux, Emilie; Idier, Jérôme; Mariette, Francois;
    Publisher: HAL CCSD

    Ce logiciel, nommé EMILIO, permet de réaliser l’inversion numérique d'une transformée de Laplace mono ou bidimensionnelle dans le cadres de traitement de données de relaxométrie en résonnance magnétique nucléaire. Il propose une interface graphique permettant de supervi...

29 research outcomes, page 1 of 3