A snap-stabilizing protocol guarantees that the system always behaves according to its specification provided some processor initiated the protocol. We present how to snap-stabilize some important protocols, like Leader Election, Reset, Snapshot, and Termination Detection. We use a Snap-stabilizing Propagation of Information with Feedback protocol for arbitrary networks as the key module in the...

When advanced AIs begin to choose their own destiny, one decision they will need to make is whether or not to transfer or copy themselves (software and memory) to new hardware devices. For humans this possibility is not (yet) available and so it is not obvious how such a question should be approached. Furthermore, the traditional singleagent reinforcement-learning framework is not adequate for ...

We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit format are generated automatically. The advantages of the approach are: (i) it exploits the full information available in the IUT and in its formal model giving very good hybrid coverage; (ii) a non-trivial formal mod...

This paper presents a new approach to test the performance of protocols, services, or application implementations (IUT) under normal and overload situations, to identify performance levels of the IUT for ranges of parameter settings and to assess the measured performance. A performance test describes precisely the configuration of the IUT, the configuration of the network, and the load characte...

Asynchronous events sequences are widely distributed in the natural world and human activities, such as earthquakes records, users’ activities social media, so on. How to distill information from these seemingly disorganized data is a persistent topic that researchers focus One of most useful models point process model, on basis, obtain many noticeable results. Moreover, recent years, foundatio...

BACKGROUND Our aim was to compare different thresholds of middle cerebral artery peak systolic velocity (MCA-PSV) and amniotic fluid delta optical density (Delta-OD) with fetal hemoglobin (Hb) during first and second intrauterine transfusions (IUT). METHODS We determined serial MCA-PSV and Delta-OD in 27 red blood cell alloimmunized fetuses who needed IUT. Before the second IUT, MCA-PSV was m...

A high-performance contactless electrical energy transmission (CEET) technique which employs the inductive energy transmission principle is described. The proposed technique enables the implementation of high-efficiency high-power-density fully regulated CEET systems suitable for applications with a wide input and load range. A high efficiency of the system is achieved by recovering the energy ...

To assess the role of the aerobactin-related system in the virulence of bovine opportunistic Escherichia coli, and to determine the stage(s) of the overall infectious process at which it is acting, germfree lambs were mixedly infected orally with two derivative strains of this bacterium differing in their ability (Iut+) or inability (Iut-) to express a functional aerobactin-mediated iron transp...

Cet article s’appuie sur une enquête menée actuellement dans le cadre d’un projet ANR (RENOIR-IUT) les ressources pédagogiques en IUT et vise à analyser processus par lesquels des acteurs (des enseignants IUT) attribuent de la valeur qui leur sont proposées site collectif enseignant. Fondé consacrée l’association AECIUT1 articulée l’analyse techno-sémiotique son Web, travail questionner conditi...