Résumé. L’intégration de l’information fournie par de multiples sources de données hétérogènes est de plus en plus importante dans les systèmes d’information modernes. Dans ce contexte, les besoins des applications sont décrits par un schéma cible et la façon dont les instances du schéma cible sont dérivées à partir des sources de données est exprimée par des mappings. L’un des problèmes qui mé...

Dans leurs précédents travaux [17, 18, 19], les auteurs ont proposé une théorie générale des schémas de programmes récursifs et de leurs solutions. Ces travaux généralisaient des approches plus anciennes, qui utilisaient les ensembles ordonnés ou les espaces métriques en offrant une théorie utilisant le concept de coalgèbre finale, d’algèbre d’Elgot, et une grande partie de ce que l’on sait à l...

— Here we present well-posedness results for first order stochastic differential inclusions, more precisely for sweeping process with a stochastic perturbation. These results are provided in combining both deterministic sweeping process theory (recently developed in [18] and [19]) and methods concerning the reflection of a Brownian motion ([23] and [31]). In addition, we prove convergence resul...

RÉSUMÉ. Dans cet article, nous présentons une modélisation des interactions biologiques par la théorie des jeux. Dans un premier temps, nous appliquons cette modélisation à un réseau de régulation génétique. Dans un deuxième temps nous l’appliquons au système activateur du plasminogène (PAs, Plasminogen Activator system) qui représente un réseau d’interactions biologiques impliqué dans la migra...

RÉSUMÉ. Les documents XML et les données semi-structurées peuvent être représentées par des graphes étiquetés. Dans cet article, nous établissons un lien direct entre ces graphes de données et les modèles d’un langage de la logique multi-modale hybride. Ce lien est ensuite exploré dans deux directions. Tout d’abord, nous nous intéressons à l’expression de contraintes d’intégrité sur des données...

The cosimplicial scheme ∆• = ∆ →∆1 → → → . . . ; ∆ n := Spec ( k[t0, . . . , tn]/( ∑ ti − t) ) was used in[3] to define higher Chow groups. In this note, we let t tend to 0 and replace ∆• by a degenerate version Q• = Q →Q1 → → → . . . ; Q n := Spec ( k[t0, . . . , tn]/( ∑ ti) ) to define an additive version of the higher Chow groups. For a field k, we show the Chow group of 0-cycles on Q in thi...

Dans l’étude des fonctions symétriques, la théorie des λ-anneaux est une méthode particulièrement efficace, et pourtant peu utilisée. On trouvera une illustration de cette théorie dans [5]. Le but de cet article est d’en présenter une nouvelle application. Notre résultat principal donne la spécialisation des fonctions symétriques monomiales sur l’alphabet (a− b)/(1− q). Il s’agit d’une générali...

dans une conception traditionnelle, l’intelligence est fixée et peut être mesurée par un nombre dans un contexte déconnecté de toute réalité et s’attribuer une forme unique. dans une vision nouvelle, en se basant sur la théorie des intelligences multiples de gardner, l’intelligence a  en revanche de différentes composantes et peut être développée  durant toute la vie. le présent article s’intro...