Filters (5)
Download Results
165 research outcomes, page 1 of 17
  • publication . Conference object . 2016
    Open Access English
    Authors:
    Gabillon, V.; Lazaric, A.; Ghavamzadeh, M.; Ronald Ortner; Bartlett, P.;
    Publisher: HAL CCSD
    Project: FWF | Structured and Continuous... (P 26219)

    International audience; We study the problem of combinatorial pure exploration in the stochastic multi-armed bandit problem. We first construct a new measure of complexity that provably characterizes the learning performance of the algorithms we propose for the fixed co...

  • publication . Conference object . Other literature type . 2012
    English
    Authors:
    Hetzl, Stefano; Straßburger, Lutz;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Proof-theoretic applicati... (P 22028)

    International audience; We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and mathematically mo...

    Add to ORCIDorcid
  • publication . Article . 2020
    Open Access English
    Authors:
    Clément Quinton; Michael Vierhauser; Rick Rabiser; Luciano Baresi; Paul Grünbacher; Christian Schuhmayer;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Requirements Monitoring a... (J 3998)

    International audience; Many software systems today provide support for adaptation and reconfiguration at runtime, in response to changes in their environment. Such adaptive systems are designed to run continuously and may not be shut down for reconfiguration or mainten...

    Add to ORCIDorcid
  • publication . Article . 2018
    English
    Authors:
    Cattel, Julien; Nikolouli, Katerina; Andrieux, Thibault; Martinez, Julien; Jiggins, Francis; Charlat, Sylvain; Vavre, Fabrice; Lejon, David; Gibert, Patricia; Mouton, Laurence;
    Publisher: HAL CCSD
    Project: FWF | Managing cold tolerance t... (I 2604), ANR | Suzukill (ANR-15-CE21-0017)

    International audience; 1. Since its recent invasion of the European and American continents, the spotted wing Drosophila Drosophila suzukii has become a burden of the fruit industry. Armed with a highly sclerotized ovipositor, females can lay eggs in a wider variety of...

  • publication . Preprint . 2020
    Open Access English
    Authors:
    Faucher, Florian; Fournier, Damien; Pham, Ha;
    Project: FWF | Viscoelastic inverse prob... (M 2791)

    Comment: 17 pages

  • publication . Preprint . Other literature type . 2020
    Open Access English
    Authors:
    Chevallier, Julien; Melnykova, Anna; Tubikanec, Irene;
    Persistent Identifiers
    Project: FWF | Computational Mathematics... (W 1214)

    Oberwolfach Preprints;2020,09

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2019
    Restricted English
    Authors:
    Maria Waldl; Sebastian Will; Michael T. Wolfinger; Ivo L. Hofacker; Peter F. Stadler;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Prediction of RNA-RNA int... (I 2874)

    International audience; RNA molecules may be subject to independent selection pressures on sequence and structure. This can, in principle, lead to the preservation of structural features without maintaining the exact position on the conserved sequence. Consequently, str...

    Add to ORCIDorcid
  • publication . Conference object . Article . 2016
    Open Access English
    Authors:
    Cezara Drăgoi; Thomas A. Henzinger; Damien Zufferey;
    Publisher: HAL CCSD
    Project: NSF | Collaborative Research: A... (1138967), EC | QUAREM (267989), FWF | Formal methodes for the d... (Z 211)

    International audience; Fault-tolerant distributed algorithms play an important role in many critical/high-availability applications. These algorithms are notoriously difficult to implement correctly, due to asynchronous communication and the occurrence of faults, such ...

    Add to ORCIDorcid
  • publication . Article . 2013
    Closed Access English
    Authors:
    Crouseilles , Nicolas; Einkemmer , Lukas; Faou , Erwan;
    Publisher: HAL CCSD
    Project: EC | GEOPARDI (279389), FWF | Splitting methods for the... (P 25346)

    International audience; A new splitting is proposed for solving the Vlasov--Maxwell system. This splitting is based on a decomposition of the Hamiltonian of the Vlasov--Maxwell system and allows for the construction of arbitrary high order methods by composition (indepe...

  • publication . Article . 2019
    Open Access English
    Authors:
    Igor Konnov; Jure Kukovec; Thanh-Hai Tran;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | PRAVDA - Parametrized Ver... (P 27722)

    TLA+ is a language for formal specification of all kinds of computer systems. System designers use this language to specify concurrent, distributed, and fault-tolerant protocols, which are traditionally presented in pseudo-code. TLA+ is extremely concise yet expressive:...

    Add to ORCIDorcid
165 research outcomes, page 1 of 17