Filters (6)
Download Results
49 research outcomes, page 1 of 5
  • 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 . 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 . 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
  • publication . Article . Preprint . Conference object . 2008
    Open Access English
    Authors:
    Alin Bostan; Manuel Kauers;
    Persistent Identifiers
    Project: FWF | Symbolic Integration and ... (P 20162), FWF | Summation//Integration an... (P 19462)

    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 . Conference object . Article . 2003
    Closed Access English
    Authors:
    Wonka, Peter; Wimmer, Michael; Sillion, François X.;
    Persistent Identifiers
    Publisher: HAL CCSD
    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 . Article . Preprint . Other literature type . 2019
    Open Access English
    Authors:
    Jakob Ruess; Maroš Pleška; Călin C. Guet; Gašper Tkačik;
    Publisher: HAL CCSD
    Project: ANR | CyberCircuits (ANR-18-CE91-0002), FWF | Biophysics of information... (P 28844), ANR | MEMIP (ANR-16-CE33-0018)

    Mathematical models have been used successfully at diverse scales of biological organization, ranging from ecology and population dynamics to stochastic reaction events occurring between individual molecules in single cells. Generally, many biological processes unfold a...

    Add to ORCIDorcid
  • publication . Article . 2017
    Open Access English
    Authors:
    Philippe Chartier; Florian Méhats; Mechthild Thalhammer; Yong Zhang;
    Persistent Identifiers
    Publisher: HAL CCSD
    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
  • publication . Article . 2017
    Open Access English
    Authors:
    Remy Chait; Jakob Ruess; Tobias Bergmiller; Gašper Tkačik; Călin C. Guet;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | ISTFELLOW (291734), FWF | Biophysics of information... (P 28844), ANR | COGEX (ANR-16-CE12-0025), ANR | MEMIP (ANR-16-CE33-0018)

    Bacteria in groups vary individually, and interact with other bacteria and the environment to produce population-level patterns of gene expression. Investigating such behavior in detail requires measuring and controlling populations at the single-cell level alongside pr...

    Add to ORCIDorcid
49 research outcomes, page 1 of 5