Résumé. Pour améliorer les pratiques dans le domaine de la validation formelle de modèles, nous explorons un axe de recherche dans lequel nous formalisons la notion de « contexte de preuve » intégrant la description du comportement de l’environnement interagissant avec le modèle et les propriétés à vérifier dans ce contexte. L'article présente le langage CDL (Context Description Language) propo...

L’agitation post-opératoire constitue une pathologie extrêmement fréquente. Les étiologies à évoquer en réanimation sont nombreuses. Le syndrome de sevrage à la nicotine est une cause possible mais rarement évoquée. Nous rapportons le cas d’un patient tabagique qui a été admis en unité de soins intensifs pour un triple pontage aorto-coronaire sous circulation extracorporelle. Les suites opérato...

Résumé. Depuis l’émergence du concept des patrons de conception, plusieurs chercheurs se sont intéressés à offrir de l’aide aux concepteurs pour faciliter la mise en œuvre des patrons de conception. Cette dernière est très utilisée dans l’approche par Objets. Cependant l’approche par Objets pose plusieurs problèmes et limites, principalement liés à la dispersion et à l’enchevêtrement du code de...

Discrimination of surface textures using tactile sensors has attracted increasing attention. Intelligent robotics with the ability to recognize and discriminate grasped objects are crucial. In this paper, a novel method for texture classification based on signals is proposed. For proposed method, first, each channel (X, Y, Z, S) decomposed empirical mode decomposition (EMD). Then, intrinsic fun...