Filters (7)
Download Results
95 research outcomes, page 1 of 10
  • 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 . 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 . 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 . 2017
    English
    Authors:
    Bessemoulin-Chatard, Marianne; Chainais-Hillairet, Claire; Jüngel, Ansgar;
    Publisher: HAL CCSD
    Country: France
    Project: ANR | CEMPI (ANR-11-LABX-0007), FWF | Dissipation and dispersio... (W 1245), FWF | Discrete entropy structur... (P 24304), FWF | Cross-diffusion in chemot... (P 22108)

    International audience; We establish uniform L ∞ bounds for approximate solutions of the drift-diffusion system for electrons and holes in semiconductor devices, computed with the Schar-fetter-Gummel finite-volume scheme. The proof is based on a Moser iteration techniqu...

  • publication . Conference object . Other literature type . 2016
    English
    Authors:
    Avanzini, Martin; Moser, Georg;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Automated Complexity Anal... (P 25781), FWF | Complexity Analysis of Hi... (J 3563)

    International audience; Term rewriting has been used as a formal model to reason about the complexity of logic, functional , and imperative programs. In contrast to term rewriting, term graph rewriting permits sharing of common sub-expressions, and consequently is able ...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Article . Conference object . 2011
    Open Access English
    Authors:
    Thomas Nowak; Matthias Függer; Alexander Kößler;
    Persistent Identifiers
    Publisher: Elsevier B.V.
    Country: France
    Project: FWF | Partially Synchronous Dis... (P 20529), FWF | Modelling Fault-tolerant ... (P 21694)

    International audience; Designing algorithms for distributed systems that provide a round abstraction is often simpler than designing for those that do not provide such an abstraction. Further, distributed systems need to tolerate various kinds of failures. The concept ...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2019
    Open Access English
    Authors:
    Combemale, Benoit; Wimmer, Manuel;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Language Engineering for ... (P 30525), FWF | A Generic White-Box Testi... (P 28519)

    The emerging field of Cyber-Physical Systems (CPS) calls for new scenarios of the use of models. In particular, CPS require to support both the integration of physical and cyber parts in innovative complex systems or production chains, together with the management of th...

    Add to ORCIDorcid
95 research outcomes, page 1 of 10