Résumé. Cet article présente une analyse détaillée d’un ensemble de 2 millions de résultats de recherche d’information obtenus par différents paramétrages de systèmes de recherche d’information. Plus spécifiquement, nous avons utilisé la plateforme Terrier et l’interface RunGeneration pour créer différentes exécutions (run en anglais) en modifiant les modèles d’indexation et de recherche. Nous ...

Résumé. Nous rendons compte d'une démarche mise en place pour construire une représentation fine des usages d'internet et de leur évolution, en procédant à du traitement secondaire de données de trafic, provenant de panels représentatifs d'internautes. Après avoir présenté les caractéristiques des cohortes étudiées et les différents modes d'enrichissement des données de trafic mis en place, nou...

This paper presents a framework we developed for the second Large Scale Hierarchical Text Categorization challenge LSHTC2 . The main idea is to propose a method allowing to deal with the terms variability among the categories in order to be able to find similarities between collections of documents belonging to the same category but having few common terms. Thus, we used a co-similarity based a...

In this paper, we study k-parabolic arrangements, a generalization of the k-equal arrangement for any finite real reflection group. When k = 2, these arrangements correspond to the well-studied Coxeter arrangements. Brieskorn (1971) showed that the fundamental group of the complement of the type W Coxeter arrangement (over C) is isomorphic to the pure Artin group of type W . Khovanov (1996) gav...

ion des données : on peut définir des actions plus abstraites que lecture/écriture. Le modèle RBAC modélise le système informatique considéré en séparant les entités actives des entités passives. Les entités actives correspondent aux utilisateurs du système et les entités passives correspondent aux objets du système. Au contraire du modèle de LaPadula, qui associe des niveaux de sécurité aux di...

RÉSUMÉ. Les réseaux sociaux contiennent trois types de variables : structurelles, représentant les interactions entre acteurs, de composition ou sémantiques, qui décrivent les caractéristiques de chaque acteur, et d’affiliation, qui sont utilisées pour représenter l’appartenance des nœuds aux différents groupes. À l’heure actuelle, la plupart des approches d’analyse des réseaux sociaux n’utilis...

This paper proposes a method to factorise the verification of temporal properties for multi-threaded programs over groups of different threads. Essentially, the method boils down to showing that there exists a group of threads that establishes the property of interest, while the remaining threads do not affect it. We fine-tune the method by identifying for each property particular conditions un...

Résumé. Ce travail s’intègre dans la problématique générale de la recherche d’information ; et plus particulièrement dans la personnalisation et la qualité d’information. Dans cet article nous proposons un modèle multidimensionnel de la qualité de l’information décrivant les différents facteurs de qualité influant sur la personnalisation de l’information. Ce modèle permet de structurer les diff...

We prove that for any affine variety S defined over Q, there exists an Artin group G such that a Zariski open subset U of S is biregular isomorphic to a Zariski open subset U’ of the character variety X(G,P0(3)) = Hom(G,P0(3))//P0(3). The subset U contains all real points of 5’. As an application, we construct new examples of finitely-presented groups which are not fundamental groups of smooth ...

We relate the problem of computing the closure of a nitely generated subgroup of the free group in the pro-V topology, where V is a pseudovariety of nite groups, with an extension problem for inverse automata which can be stated as follows: given partial one-to-one maps on a nite set, can they be extended into permutations generating a group in V? The two problems are equivalent when V is exten...