Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (4)
Download Results
4,324 research outcomes, page 1 of 433
  • publication . Conference object . 2021
    English
    Authors:
    Sanchez, Téo; Caramiaux, Baptiste; Françoise, Jules; Bevilacqua, Frédéric; Mackay, Wendy;
    Publisher: HAL CCSD
    Project: EC | SISCODE (788217)

    International audience; Machine learning systems became pervasive in modern interactive technology but provide users with little, if any, agency with respect to how their models are trained from data. In this paper, we are interested in the way novices handle learning a...

  • publication . Article . Conference object . 2021
    Open Access English
    Authors:
    DrăgoiCezara; EneaConstantin; OzkanBurcu Kulahcioglu; MajumdarRupak; NiksicFilip;
    Project: ANR | SAFTA (ANR-17-CE25-0008), EC | IMPACT (610150), EC | FOVEDIS (678177)

    International audience; Large scale production distributed systems are difficult to design and test. Correctness must be ensured when processes run asynchronously, at arbitrary rates relative to each other, and in the presence of failures, e.g., process crashes or messa...

    Add to ORCIDorcid
  • publication . Conference object . Preprint . 2021
    Open Access English
    Authors:
    Lecouat, Bruno; Ponce, Jean; Mairal, Julien;
    Publisher: HAL CCSD
    Project: EC | SOLARIS (714381), ANR | MIAI (ANR-19-P3IA-0003), ANR | PRAIRIE (ANR-19-P3IA-0001)

    International audience; This presentation addresses the problem of reconstructing a high-resolution image from multiple lower-resolution snapshots captured from slightly different viewpoints in space and time. Key challenges for solving this super-resolution problem inc...

  • publication . Preprint . Conference object . 2021
    Open Access English
    Authors:
    Caron, Mathilde; Touvron, Hugo; Misra, Ishan; Jegou, Hervé; Mairal, Julien; Bojanowski, Piotr; Joulin, Armand;
    Project: EC | SOLARIS (714381)

    Comment: 21 pages

  • publication . Conference object . Part of book or chapter of book . 2021
    Restricted English
    Authors:
    Rasha Faqeh; Christof Fetzer; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Maximilian A. Köhl; Marcel Steinmetz; Christoph Weidenbach;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | POWVER (695614)

    International audience; Future cyber-physical systems are expected to be dynamic, evolving while already being deployed. Frequent updates of software components are likely to become the norm even for safety-critical systems. In this setting, a full re-certification befo...

    Add to ORCIDorcid
  • publication . Conference object . 2021
    English
    Authors:
    Zucchelli, Mauro; Deslauriers-Gauthier, Samuel; Deriche, Rachid;
    Publisher: HAL CCSD
    Project: EC | CoBCoM (694665)

    OPAL-Meso; International audience; In recent years, multi-compartmental models have been widely used to try to characterize brain tissue microstructure from Diffusion Magnetic Resonance Imaging (dMRI) data. One of the main drawbacks of this approach is that the number o...

  • publication . Conference object . 2021
    English
    Authors:
    Sedlar, Sara; Alimi, Abib; Papadopoulo, Théodore; Deriche, Rachid; Deslauriers-Gauthier, Samuel;
    Publisher: HAL CCSD
    Project: EC | CoBCoM (694665)

    International audience; Diffusion Magnetic Resonance Imaging (dMRI) is a powerful non-invasive and in-vivo imaging modality for probing brain white matter structure. Convolutional neural networks (CNNs) have been shown to be a powerful tool for many computer vision prob...

  • publication . Preprint . Conference object . 2021
    Open Access English
    Authors:
    Schurr, Hans-Jörg; Fleury, Mathias; Barbosa, Haniel; Fontaine, Pascal;
    Project: EC | Matryoshka (713999)

    Comment: In Proceedings PxTP 2021, arXiv:2107.01544

  • publication . Conference object . 2021
    Open Access English
    Authors:
    Fontaine, Pascal; Schurr, Hans-Jörg;
    Publisher: HAL CCSD
    Project: EC | Matryoshka (713999)

    International audience; Quantifier reasoning in SMT solvers relies on instantiation: ground instances are generated heuristically from the quantified formulas until a contradiction is reached at the ground level. Current instantiation heuristics, however, often fail in ...

    Add to ORCIDorcid
  • publication . Conference object . 2021
    English
    Authors:
    Marcu, Ovidiu-Cristian; Costan, Alexandru; Nicolae, Bogdan; Antoniu, Gabriel;
    Publisher: HAL CCSD
    Project: EC | BigStorage (642963)

    International audience; Over the past decade, given the higher number of data sources (e.g., Cloud applications, Internet of things) and critical business demands, Big Data transitioned from batchoriented to real-time analytics. Stream storage systems, such as Apache Ka...

4,324 research outcomes, page 1 of 433