This report combines checkpointing and replication for the reliable executionof linear workows. While both methods have been studied separately, their combinationhas not yet been investigated despite its promising potential to minimize the execution timeof linear workow...

Emergence is a concept that is easy to exhibit, but very hard to formally handle. This paper is about cubic sand grains moving around on nicely packed columns in one dimension (the physical sandpile is two dimensional, but the support of sand columns is one dimensional)...

International audience; Depuis la fin des années 1990, l’encadrement législatif des utilisations des cellules souches embryonnaires humaines fait l’objet de réexamens réguliers dans le contexte français. Nous analysons ici les enjeux épistémiques et éthiques de cette co...

International audience; We present a new anomaly detector for data traffic, `SMS', based on combining random projections (sketches) with multiscale analysis, which has low computational complexity. The sketches allow `normal' traffic to be automatically and robustly ext...

National audience; The Raman frequencies of quartz are used to evaluate deviatoric stresses in rocksalt-structure media in diamond-anvil cell experiments to pressures up to 20 GPa. The piezospectroscopic effect in quartz is modeled by first-principles calculations. Non-...

Checking language equivalence (or inclusion) of finite automata is a classical problem in Computer Science, which has recently received a renewed interest and found novel and more effective solutions, such as approaches based on antichains or bisimulations up-to. Severa...

A terrain is an x-monotone polygonal curve, that is, every vertical line crosses the curve at most once. In the Terrain Guarding problem, a special case of the famous art gallery problem, one has to place at most $k$ guards on the vertices of a $n$-vertex terrain, in or...

International audience; Context semantics is a tool inspired by Girard' s geometry of interaction. It has had many applications from study of optimal reduction to proofs of complexity bounds. Yet, context semantics have been defined only on $\lambda$-calculus and linear...

International audience; Both the design of tasks and the design of technology have been identified as important factors in the effective use of technology-based tasks in the classroom. By analyzing both the design of a sequence of tasks (based on didactical principles f...

The twin-width of a graph $G$ is the minimum integer $d$ such that $G$ has a $d$-contraction sequence, that is, a sequence of $|V(G)|-1$ iterated vertex identifications for which the overall maximum number of red edges incident to a single vertex is at most $d$, where a...