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

We investigate ways for the exchange of information (explicit communication) among deaf and dumb mobile robots scattered in the plane. We introduce the use of movement-signals (analogously to flight signals and bees waggle) as a mean to transfer messages, enabling the u...

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

International audience; Looking into the future, this paper presents the effects of having packets of large sizes, called XLFrames (XLFs), in a network. The analysis is motivated by the fact that the Internet is soon to witness stupendous amounts of traffic that have to...

Relic density calculations are often used to constrain particle physics models, and in particular supersymmetry. We will show that the presence of additional energy or entropy before the Big-Bang nucleosynthesis can however completely change the relic density constraint...

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