Les arbres sont principalement la structure de donnée utilisés pour stocker des données ordonnées et d’après Knuth la plus importante structure non-linéaire intervenant dans l’informatique. Ils sont très utilisés dans tous les domaines, parce que bien adaptés à la représentation naturelle d’information organisée homogène, et d’une grande rapidité et commodité de manipulation. On trouve cette st...

In this work, conventional (non-coherent), coherent-jet, and high pressure coolant delivery systems are compared for profile creep-feed grinding, under non-continuous dressing conditions. To facilitate this comparison, an analytical method of determining the available flow (coolant that hits the wheel or workpiece) was presented. The coolant delivery systems were compared for five different fee...

Résumé : Les guides de bonnes pratiques cliniques (GBPC) sont des textes constitués de recommandations valides dont le but est de diffuser des synthèses de résultats démontrés et de normaliser des conduites à tenir dans des situations cliniques données. L’adhésion des médecins à ces guides doit conduire à une médecine de qualité basée sur des preuves scientifiques. Cet article présente un outil...

RÉSUMÉ. Les systèmes de médiation actuels permettent un accès transparent à un ensemble de sources de données hétérogènes. Le but de la personnalisation est de faciliter l’expression du besoin de l’utilisateur et lui permettre d’obtenir des informations pertinentes en exploitant au mieux ses préférences regroupées dans un profil. Dans un contexte de médiation, la personnalisation doit tenir com...

Résumé Nous définissons une notion de raffinement pour les modèles AltaRica afin de permettre l’analyse de la sécurité de systèmes décrits à différents niveaux de détails. Nous montrons comment s’assurer automatiquement qu’un modèle raffine un autre à l’aide de l’outil de vérification Mec V. Nous présentons deux résultats théoriques, l’un permet de vérifier le raffinement en se focalisant sur u...

Résumé. Dans les systèmes DSMS (Data Stream Management Systems), les données en entrée sont infinies et les requêtes sur celles-ci sont actives tout le temps. Dans le but de satisfaire ces caractéristiques, le fenêtrage temporel est largement utilisée pour convertir le flux infini de données sous forme de relations finies. Mais cette technique est inadaptée pour de nombreuses applications émerg...

Résumé. En fouille de textes comme en recherche d’information, différents modèles, de type probabiliste, vectoriel ou booléen, se sont révélés bien adaptés pour représenter des documents textuels mais, ces modèles présentent l’inconvénient de ne pas tenir compte de la structure du document. Or la plupart des informations disponibles aujourd’hui sur Internet ou dans des bases documentaires sont ...