Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (7)
Download Results
50 research outcomes, page 1 of 5
  • 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 . 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 . 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 . Article . Preprint . 2019
    Open Access English
    Authors:
    Ruess, Jakob; Pleška, Maroš; Guet, Cǎlin C.; Tkačik, Gašper;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    Project: ANR | MEMIP (ANR-16-CE33-0018), FWF | Biophysics of information... (P 28844), ANR | CyberCircuits (ANR-18-CE91-0002)

    Author summary Mathematical understanding of how randomness at the molecular scale, also known as molecular noise, ultimately affects the fate of organisms and whole populations is widely recognized as a challenging problem in multi-scale modeling. Here, we develop an a...

    Add to ORCIDorcid
  • publication . Conference object . Article . Preprint . 2008
    Open Access
    Authors:
    Alin Bostan; Manuel Kauers;
    Persistent Identifiers
    Publisher: Centre pour la Communication Scientifique Directe (CCSD)
    Country: France
    Project: FWF | Summation//Integration an... (P 19462), FWF | Symbolic Integration and ... (P 20162)

    International audience We propose an $\textit{experimental mathematics approach}$ leading to the computer-driven $\textit{discovery}$ of various conjectures about structural properties of generating functions coming from enumeration of restricted lattice walks in 2D and...

    Add to ORCIDorcid
  • publication . Article . Conference object . 2003
    Closed Access English
    Authors:
    Peter Wonka; Michael Wimmer; Francois X. Sillion;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Real-Time Visualization o... (P 13867)

    International audience; We present an online occlusion culling system which computes visibility in parallel to the rendering pipeline. We show how to use point visibility algorithms to quickly calculate a tight potentially visible set (PVS) which is valid for several fr...

    Add to ORCIDorcid
  • publication . Conference object . Preprint . Article . 2018
    Open Access English
    Authors:
    Matthias Függer; Thomas Nowak; Manfred Schwarz;
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Self-stabilizing Byzantin... (P 26436), FWF | Gracefullly Degrading Agr... (P 28182)

    Agreeing on a common value among a set of agents is a fundamental problem in distributed computing, which occurs in several variants: In contrast to exact consensus, approximate variants are studied in systems where exact agreement is not possible or required, e.g., in ...

    Add to ORCIDorcid
  • publication . Article . 2016
    Open Access English
    Authors:
    Blanchette, Jasmin C.; Kaliszyk, Cezary; Paulson, Lawrence C.; Urban, Josef;
    Publisher: Alma Mater Studiorum - University of Bologna
    Countries: France, Netherlands, United Kingdom, France, France
    Project: NWO | Knowledge-based Automated... (2300175473), FWF | Interactive Proof: Proof ... (P 26201), EC | AI4REASON (649043)

    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 . Article . 2017
    Open Access English
    Authors:
    Philippe Chartier; Florian Méhats; Mechthild Thalhammer; Yong Zhang;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Numerical methods for non... (P 21620)

    International audience; The convergence behaviour of multi-revolution composition methods combined with time-splitting methods is analysed for highly oscillatory linear differential equations of Schrödinger type. Numerical experiments illustrate and complement the theor...

    Add to ORCIDorcid
50 research outcomes, page 1 of 5