This paper deals with queries involving two components: one describing desired associations, another specifying forbidden associations. In addition, those preferences are cited in the context of a hierarchy expressing some strength about what is wanted and rejected. So ...

Despite excellent results on pilot projects, formal validation based on standard Formal Description Techniques (FDTs) never really catch up in the industry. We claim that this is mainly due to standard FDTs lack of support for the modern software development methods and...

Nouvelle méthode pour la détection des armatures dans un mur en béton armé; International audience; This paper presents a NDT by infrared thermography with a microwave excitation system. The advantages of such stimulation lie in the volumetric absorption of incoming wav...

Granular materials belong to amorphous media and display localization of deformation when submitted to a large enough stress. Indeed, shear bands appear at the failure of a granular medium and this solid/liquid transition is still an open question. In order to character...

International audience

International audience; We consider the asymptotic behavior for large time of solutions to reaction-diffusion systems modeling reversible chemical reactions. We focus on the case where multiple equilibria exist. In this case, due to the existence of so-called " boundary...

International audience; This paper proposes a new definition of Watermarking Security which is more in line with the cryptographic viewpoint. To this end, we derive the effective key length of a watermarking system from the probability of guessing a key equivalent to th...

Cet ouvrage constitue les actes du 52ème colloque de la Société française pour le droit international qui s'est tenu à Rennes du 31 mai au 1er juin 2018.; International audience

International audience; Due to the high stresses at crack tips, stress-enhanced water diffusion into silica occurs and gives rise to a volume expansion zone around the tip. This zone leads to a fracture mechanics shielding effect. In the present paper, the diffusion equ...

International audience; Recent sequencing projects and technological progress in the field are giving access to an ever increasing amount of DNA, RNA and proteins macromolecular sequences. To annotate these sequences, fundamental and important tasks in Bioinformatics ar...