Filters (7)
Download Results
93 research outcomes, page 1 of 10
  • 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 . 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 . 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 . 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
  • publication . Conference object . 2017
    English
    Authors:
    Bessemoulin-Chatard, Marianne; Chainais-Hillairet, Claire; Jüngel, Ansgar;
    Publisher: HAL CCSD
    Project: ANR | CEMPI (ANR-11-LABX-0007), FWF | Discrete entropy structur... (P 24304), FWF | Dissipation and dispersio... (W 1245), 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
    Project: FWF | Complexity Analysis of Hi... (J 3563), FWF | Automated Complexity Anal... (P 25781)

    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 . 2019
    Open Access English
    Authors:
    Benoit Combemale; Manuel Wimmer;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | A Generic White-Box Testi... (P 28519), FWF | Language Engineering for ... (P 30525)

    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
  • publication . Article . 2016
    Open Access
    Authors:
    Blanchette, Jasmin C; Kaliszyk, Cezary; Paulson, Lawrence; Urban, Josef;
    Project: EC | AI4REASON (649043), FWF | Interactive Proof: Proof ... (P 26201), NWO | Knowledge-based Automated... (2300175473)

    This paper surveys the emerging methods to automate reasoning over large libraries developed with formal proof assistants. We call these methods hammers. They give the authors of formal proofs a strong "one-stroke" tool for discharging difficult lemmas without the need ...

    Add to ORCIDorcid
  • publication . Conference object . Article . Part of book or chapter of book . 2011
    Open Access English
    Authors:
    Thomas Nowak; Matthias Függer; Alexander Köíler;
    Publisher: HAL CCSD
    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
93 research outcomes, page 1 of 10