Zobrazeno 1 - 10
of 104
pro vyhledávání: '"Gonnord, P."'
Publikováno v:
Fundamenta Informaticae, Volume 192, Issue 2: LOPSTR 2022 (November 10, 2024) fi:11397
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2305.18250
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even different results. Even in domains such as high-performance computing whe
Externí odkaz:
http://arxiv.org/abs/2210.15202
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2208.01005
Autor:
David Clarys, Veronique David, Virginie Migeot, Tiphanie Gonnord, Olivier Dupuy, Marion Albouy, Rebeca Grangeiro, Catherine Esnard, Geoffroy Boucard, Pierre Faivre, Soleane Vielotte, Maxime Pilon, Linda Boureau, Nicolas Troubat, Thomas Faugeroux, Paulin Lacombe, Thomas Chassin, Thomas Abascal, Camille Revel
Publikováno v:
BMJ Open Sport & Exercise Medicine, Vol 9, Iss 4 (2023)
The number of older people worldwide is constantly increasing. However, ageing is accompanied by a decline in cognitive ability that can affect quality of life. Cognitive, physical and social activities can all slow this decline but social factors an
Externí odkaz:
https://doaj.org/article/f62bec1bfd544ee396e5f2c25d3f53e2
Publikováno v:
Frontiers in Psychology, Vol 14 (2023)
IntroductionThis review identified and examined the research literature on the effect of participating in physical and/or cognitive activities on older people’s quality of life, to establish whether the social relationships fostered by these activi
Externí odkaz:
https://doaj.org/article/8f1363bcb8e84b9bbaecc8c612035e8c
In this paper we consider a statistical estimation problem known as atomic deconvolution. Introduced in reliability, this model has a direct application when considering biological data produced by flow cytometers. In these experiments, biologists me
Externí odkaz:
http://arxiv.org/abs/1710.04023
Autor:
Monniaux, David, Gonnord, Laure
Automatically verifying safety properties of programs is hard, and it is even harder if the program acts upon arrays or other forms of maps. Many approaches exist for verifying programs operating upon Boolean and integer values (e.g. abstract interpr
Externí odkaz:
http://arxiv.org/abs/1509.09092
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Monniaux, David, Gonnord, Laure
Two classical sources of imprecision in static analysis by abstract interpretation are widening and merge operations. Merge operations can be done away by distinguishing paths, as in trace partitioning, at the expense of enumerating an exponential nu
Externí odkaz:
http://arxiv.org/abs/1106.2637
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.