Oscillatory systems of interacting Hawkes processes with Erlang memory kernels were introduced in Ditlevsen and Löcherbach (2017). They are piecewise deterministic Markov processes (PDMP) and can be approximated by a stochastic diffusion. First, a strong error bound bet...

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...

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...

International audience; Many software systems today provide support for adaptation and reconfiguration at runtime, in response to changes in their environment. Such adaptive systems are designed to run continuously and may not be shut down for reconfiguration or mainten...

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...

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 ...

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:...

We construct C2 representations of the background quantities that characterize the interior of the Sun and its atmosphere starting from the data-points of the standard solar model S. This model is further extended considering an isothermal atmosphere, that we refer to a...

Abstract We analyze the spaces of trivariate C1–smooth isogeometric functions on two-patch domains. Our aim is to generalize the corresponding results from the bivariate (Kapl et al. (2015) [25]) to the trivariate case. In the first part of the paper, we introduce the n...

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...