Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (6)
Download Results
50 research outcomes, page 1 of 5
  • publication . Article . Preprint . 2020
    Open Access English
    Authors:
    Matthias Függer; Thomas Nowak; Kyrill Winkler;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Gracefullly Degrading Agr... (P 28182), FWF | Self-stabilizing Byzantin... (P 26436)

    A nonsplit graph is a directed graph where each pair of nodes has a common incoming neighbor. We show that the radius of such graphs is in $O(\log \log n)$, where $n$ is the number of nodes. We then generalize the result to products of nonsplit graphs. The analysis of n...

    Add to ORCIDorcid
  • publication . Article . Preprint . 2020
    Open Access English
    Authors:
    Crouseilles, Nicolas; Einkemmer, Lukas; Massot, Josselin;
    Publisher: HAL CCSD
    Project: EC | EUROfusion (633053), FWF | Exponential integrators f... (P 32143)

    International audience; The efficient numerical solution of many kinetic models in plasma physics is impeded by the stiffness of these systems. Exponential integrators are attractive in this context as they remove the CFL condition induced by the linear part of the syst...

  • publication . Article . 2015
    Open Access English
    Authors:
    Karlheinz Mörth; Laurent Romary; Gerhard Budin; Daniel Schopper;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Arabic in the Middle Atla... (P 21722)

    International audience; Academic dictionary writing is making greater and greater use of the TEI Guidelines’ dictionary module. And as increasing numbers of TEI dictionaries become available, there is an ever more palpable need to work towards greater interoperability a...

    Add to ORCIDorcid
  • publication . Article . Other literature type . 2020
    Open Access English
    Authors:
    Dorian Leroy; Erwan Bousse; Manuel Wimmer; Tanja Mayerhofer; Benoit Combemale; Wieland Schwinger;
    Publisher: HAL CCSD
    Project: FWF | A Generic White-Box Testi... (P 28519), FWF | Language Engineering for ... (P 30525)

    AbstractExecutable domain-specific languages (DSLs) enable the execution of behavioral models. While an execution is mostly driven by the model content (e.g., control structures), many use cases require interacting with the running model, such as simulating scenarios in...

    Add to ORCIDorcid
  • publication . Conference object . Article . 2018
    Open Access
    Authors:
    Matthias Fuegger; Attila Kinali; Christoph Lenzen; Ben Wiederhake;
    Project: EC | ToRH (716562), FWF | Self-stabilizing Byzantin... (P 26436)

    International audience; Naive handling of supply voltage droops in synchronous circuits results in conservative bounds on clock speeds, resulting in poor performance even if droops are rare. Adaptive strategies detect such potentially hazardous events and either initiat...

    Add to ORCIDorcid
  • publication . Article . Preprint . 2018
    Open Access English
    Authors:
    Cancès, Clément; Chainais-Hillairet, Claire; Gerstenmayer, Anita; Jüngel, Ansgar;
    Publisher: HAL CCSD
    Project: FWF | Derivation and analysis o... (P 30000), FWF | Dissipation and dispersio... (W 1245), FWF | Analysis of diffusion mod... (P 27352)

    International audience; An implicit Euler finite-volume scheme for a degenerate cross-diffusion system describing the ion transport through biological membranes is analyzed. The strongly coupled equations for the ion concentrations include drift terms involving the elec...

  • publication . Article . 2019
    Open Access English
    Authors:
    Belcaid, Mahdi; Casaburi, Giorgio; McAnulty, Sarah J.; Schmidbaur, Hannah; Suria, Andrea M.; Moriano-Gutierrez, Silvia; Pankey, M. Sabrina; Oakley, Todd H.; Kremer, Natacha; Koch, Eric J.; ...
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: NIH | Vibrio fischeri as a mode... (1R01AI050661-01), FWF | Genome dynamics in cephal... (P 30686), NIH | Vibrio Virulence Determin... (8R01OD011024-16), NSF | Characterizing the Role o... (1557914)

    Microbes have been critical drivers of evolutionary innovation in animals. To understand the processes that influence the origin of specialized symbiotic organs, we report the sequencing and analysis of the genome of Euprymna scolopes, a model cephalopod with richly cha...

    Add to ORCIDorcid
  • publication . Article . Conference object . Preprint . 2016
    Open Access
    Authors:
    Matthias Függer; Thomas Nowak; Ulrich Schmid;
    Publisher: Institute of Electrical and Electronics Engineers (IEEE)
    Project: FWF | Modelling Fault-tolerant ... (P 21694), FWF | Self-stabilizing Byzantin... (P 26436)

    We show that no existing continuous-time, binary value-domain model for digital circuits is able to correctly capture glitch propagation. Prominent examples of such models are based on pure delay channels (P), inertial delay channels (I), or the elaborate PID channels p...

    Add to ORCIDorcid
  • publication . Conference object . Other literature type . Article . Preprint . 2019
    Open Access English
    Authors:
    Kerber, Michael; Lesnick, Michael; Oudot, Steve;
    Publisher: HAL CCSD
    Project: FWF | Algorithms for topologica... (P 29984)

    The matching distance is a pseudometric on multi-parameter persistence modules, defined in terms of the weighted bottleneck distance on the restriction of the modules to affine lines. It is known that this distance is stable in a reasonable sense, and can be efficiently...

    Add to ORCIDorcid
  • publication . Article . 2020
    Open Access English
    Authors:
    Dorian Leroy; Pierre Jeanjean; Erwan Bousse; Manuel Wimmer; Benoit Combemale;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: FWF | Language Engineering for ... (P 30525), FWF | A Generic White-Box Testi... (P 28519)

    International audience; Runtime monitoring is a fundamental technique used throughout the lifecycle of a system for many purposes, such as debugging, testing, or live analytics. While runtime monitoring for general purpose programming languages has seen a great amount o...

    Add to ORCIDorcid
50 research outcomes, page 1 of 5