Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (6)
Download Results
150 research outcomes, page 1 of 15
  • publication . Preprint . 2020
    Open Access English
    Authors:
    Chevallier, Julien; Melnykova, Anna; Tubikanec, Irene;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Computational Mathematics... (W 1214)

    Oscillatory systems of interacting Hawkes processes with Erlang memory kernels were introduced in Ditlevsen and Löcherbach (2017). They are piecewise deterministic Markov processes (PDMP) and can be approximated by a stochastic diffusion. First, a strong error bound bet...

    Add to ORCIDorcid
  • publication . Conference object . 2016
    Open Access English
    Authors:
    Gabillon, V.; Lazaric, A.; Ghavamzadeh, M.; Ronald Ortner; Bartlett, P.;
    Publisher: HAL CCSD
    Country: France
    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 . Preprint . 2019
    Open Access English
    Authors:
    Cepeda-Humerez, Sarah Anhala; Ruess, Jakob; Tkačik, Gašper;
    Persistent Identifiers
    Country: France
    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 . 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
    Country: France
    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 . Other literature type . Conference object . 2012
    English
    Authors:
    Hetzl, Stefan; Straßburger, Lutz;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    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 . 2019
    Open Access English
    Authors:
    Igor Konnov; Jure Kukovec; Thanh-Hai Tran;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    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
  • publication . Preprint . 2020
    Open Access English
    Authors:
    Faucher, Florian; Fournier, Damien; Pham, Ha;
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Viscoelastic inverse prob... (M 2791)

    We construct C2 representations of the background quantities that characterize the interior of the Sun and its atmosphere starting from the data-points of the standard solar model S. This model is further extended considering an isothermal atmosphere, that we refer to a...

  • publication . Article . 2018
    Open Access English
    Authors:
    Katharina Birner; Bert Jüttler; Angelos Mantzaflaris;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    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
    Country: France
    Project: FWF | A Generic White-Box Testi... (P 28519), ANR | GeMoC (ANR-12-INSE-0011)

    International audience; 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 evolutio...

    Add to ORCIDorcid
  • publication . Conference object . Article . 2016
    Open Access English
    Authors:
    Drăgoi , Cezara; Henzinger , Thomas; Zufferey , Damien;
    Publisher: HAL CCSD
    Country: France
    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
150 research outcomes, page 1 of 15