Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (5)
Download Results
172 research outcomes, page 1 of 18
  • 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 . Preprint . 2019
    Open Access English
    Authors:
    Sarah A. Cepeda-Humerez; Jakob Ruess; Gašper Tkačik;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Biophysics of information... (P 28844)

    Across diverse biological systems -- ranging from neural networks to intracellular signaling and genetic regulatory networks -- the information about changes in the environment is frequently encoded in the full temporal dynamics of the network nodes. A pressing data-ana...

    Add to ORCIDorcid
  • 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 . Article . Conference object . Other literature type . 2018
    Open Access English
    Authors:
    Martin Avanzini; Ugo Dal Lago;
    Publisher: HAL CCSD
    Project: FWF | Complexity Analysis of Hi... (J 3563), ANR | ELICA (ANR-14-CE25-0005)

    International audience; We study how the adoption of an evaluation mechanism with sharing and memoization impacts the class of functions which can be computed in polynomial time. We first show how a natural cost model in which lookup for an already computed result has n...

    Add to ORCIDorcid
  • publication . Conference object . Other literature type . 2012
    English
    Authors:
    Hetzl, Stefan; 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 . Preprint . Other literature type . 2020
    Open Access English
    Authors:
    Chevallier, Julien; Melnykova, Anna; Tubikanec, Irene;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Computational Mathematics... (W 1214)

    Oberwolfach Preprints;2020,09

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

    Comment: 17 pages

  • publication . Article . 2018
    Open Access English
    Authors:
    Katharina Birner; Bert Jüttler; Angelos Mantzaflaris;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Geometry + Simulation (S 117)

    Abstract We analyze the spaces of trivariate C1–smooth isogeometric functions on two-patch domains. Our aim is to generalize the corresponding results from the bivariate (Kapl et al. (2015) [25]) to the trivariate case. In the first part of the paper, we introduce the n...

    Add to ORCIDorcid
  • publication . Article . 2019
    Open Access English
    Authors:
    Erwan Bousse; Tanja Mayerhofer; Benoit Combemale; Benoit Baudry;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: ANR | GeMoC (ANR-12-INSE-0011), FWF | A Generic White-Box Testi... (P 28519)

    Executable Domain-Specific Modeling Languages (xDSMLs) enable the application of early dynamic verification and validation (V&V) techniques for behavioral models. At the core of such techniques, execution traces are used to represent the evolution of models during their...

    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), FWF | Formal methodes for the d... (Z 211), EC | QUAREM (267989)

    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
172 research outcomes, page 1 of 18