Fennell, Christopher R J Mauger, Alexis R Hopker, James G
Published in
European journal of applied physiology

To investigate the inter-day reliability of time-domain, frequency-domain, and nonlinear HRV metrics in healthy highly active younger and older adults. The study also assessed the effect of age on the HRV metrics. Forty-four older adults (34 M, 10F; 59 ± 5 years; V ˙ O 2peak = 40.9 ± 7.6 ml kg-1 min-1) and twenty-two younger adults (16 M, 6F; 22 ± ...

Azevedo de Amorim, Arthur Zhang, Cheng Gaboardi, Marco

We prove that the equational theory of Kleene algebra with commutativity conditions on atomic terms is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. In fact, we show that this undecidability result holds even if we drop the induction axioms of Kleene algebra, which leads to a simpler equational theory. ...

Aboulfath, Ylène Watel, Dimitri Weisser, Marc-Antoine Mautor, Thierry Barth, Dominique

We address a specific case of the matroid intersection problem: given a set of graphs sharing the same set of vertices, select a minimum cycle basis for each graph to maximize the size of their intersection. We provide a comprehensive complexity analysis of this problem, which finds applications in chemoinformatics. We establish a complete partitio...

Dussault, Jean-Pierre Gilbert, Jean Charles Plaquevent-Jourdain, Baptiste

This paper focuses on the description and computation of the B-differential of the componentwise minimum of two affine vector functions. This issue arises in the reformulation of the linear complementarity problem with the Min C-function. The question has many equivalent formulations and we identify some of them in linear algebra, convex analysis a...

Villard, Gilles

Given two polynomials a and b in Fq[x,y] which have no non-trivial common divisors, we prove that a generator of the elimination ideal ⟨a, b⟩ ∩ Fq [x] can be computed in quasi-linear time. To achieve this, we propose a randomized algorithm of the Monte Carlo type which requires (de log q)1+o(1) bit operations, where d and e bound the input degrees ...

Bia Figueiredo, Marie Morley, Chantal

En France, J.-L. Le Moigne a apporté une nouvelle perspective à l’ingénierie des systèmes d’information (SI), en promouvant l’analyse et la modélisation des systèmes. L’utilisation de modèles a apporté une contribution majeure à la conception des SI. Les méthodologies systémiques se sont multipliées à partir des années 1980, avant de céder la place...

von Wegner, Frederic Wiemers, Milena Hermann, Gesine Tödt, Inken Tagliazucchi, Enzo Laufs, Helmut
Published in
Brain topography

EEG microstate sequence analysis quantifies properties of ongoing brain electrical activity which is known to exhibit complex dynamics across many time scales. In this report we review recent developments in quantifying microstate sequence complexity, we classify these approaches with regard to different complexity concepts, and we evaluate excess ...

Nzaou-Kongo, Aubin

International audience

Bok, Jan Dailly, Antoine Lehtilä, Tuomo

A resolving set R in a graph G is a set of vertices such that every vertex of G is uniquely identified by its distances to the vertices of R. Introduced in the 1970s, this concept has been since then extensively studied from both combinatorial and algorithmic point of view. We propose a generalization of the concept of resolving sets to temporal gr...

Niers, Jesse (author)

This research investigates the application of a digital twin in managing challenges of variability and complexity within systems by using a case study at KLM Engineering & Maintenance. Using the DMADV (define, measure, analyse, design and verify) methodology, the research evaluates the problem using a literature review, measures and analyses the cu...