Résumé : Un des obstacles principaux à l'intégration de sources de données est l’hétérogénéité des schémas des sources et en particulier la disparité des éléments de données (EDs) associés. Dans ce cadre, nous proposons des approches visant à intégrer les EDs de onze sources biomédicales. Tout d'abord, au niveau schéma, nous cherchons à mettre en correspondance les EDs avec des concepts d'une r...

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...

La théorie des réseaux de Petri est née de la thèse de Carl Adam Petri [PE 62]. Mais, bien d’autres chercheurs ont contribué à ce qui est devenu “les réseaux de Petri”. Certains sont explicitement partis des travaux de Carl Adam Petri, les ont légèrement modifiés et ont développé les notions que ce dernier avait introduites. D’autres ont menés indépendamment des travaux sur la représentation et...

RÉSUMÉ. La théorie des jeux computationnelle est un moyen d’étudier et évaluer des comportements d’entités virtuelles en utilisant des modèles de théorie des jeux. L’un des exemples les plus connus de cette approche est le célèbre dilemme itéré du prisonnier classique (DIP). Cette technique permet d’établir non seulement des comportements sophistiqués mais aussi de les comparer et les évaluer. ...

Contents Introduction 9 1 General definitions of the cyclostationarity property 16 1. References 111 6 List of figures 120 7 8 Introduction Les astres ont toujours été une source de crainte, de passion, d'inspiration et de quête pour l'Homme à travers les âges. Cette quête de connaissance de l'inconnu avait, à l'antiquité, pris forme de science de prédictions écliptiques, telle que la prédictio...

Tout processus de développement logiciel effectué dans un cadre industriel inclut désormais une phase de test ou de vérification formelle, y compris pour le développement des programmes à contraintes. Notre travail vise à poser les jalons d’une Théorie du test des programmes à contraintes qui puisse servir de socle à cette vérification. Cette nouvelle théorie est également motivée par le dévelo...

RÉSUMÉ. La fragmentation de données est une des techniques utilisée dans la conception physique des entrepôts de données. Elle permet d’accélérer l’exécution des requêtes OLAP et de faciliter la gestion des données de l’entrepôt. Pour fragmenter un entrepôt de données relationnel, la meilleure manière consiste d’abord à décomposer les tables de dimension ensuite à utiliser leurs schémas de frag...

We first propose a “geometrical” axiomatization for the theory of closed ordered differential fields (denoted CODF) introduced by M.Singer in 1978 (see [Si]). This axiomatization is the analogue of the Pierce-Pillay axiomatization for the theory of differentially closed fields of characteristic zero (see [PP]). We also remark that a differential lifting principle can be used to prove that CODF ...

La mise en œuvre d’un entrepôt de données nécessite un important travail d’étude de l’existant et de recueil de données pour bien traiter les besoins d’analyses. Hors, il est impossible de définir de façon exhaustive ces besoins pour l’ensemble des utilisateurs. La prise en compte de nouveaux besoins d’analyses nécessite l’évolution du schéma de l’entrepôt de données. Deux alternatives existent...