Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (5)
Download Results
173 research outcomes, page 1 of 18
  • 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 . Preprint . Conference object . 2021
    Open Access
    Authors:
    Jürgen Maier; Daniel Öhlinger; Ulrich Schmid; Matthias Függer; Thomas Nowak;
    Persistent Identifiers
    Publisher: ACM
    Country: France
    Project: ANR | FREDDA (ANR-17-CE40-0013), FWF | Gracefullly Degrading Agr... (P 28182), FWF | Digital Modeling of Async... (P 32431), ANR | IPS (ANR-11-IDEX-0003)

    We introduce the Composable Involution Delay Model (CIDM) for fast and accurate digital simulation. It is based on the Involution Delay Model (IDM) [F\"ugger et al., IEEE TCAD 2020], which has been shown to be the only existing candidate for faithful glitch propagation ...

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