Résumé. Les modèles d’entrepôts dits classiques (étoile, etc.) ont émergé et connu un vif succès au sein des entreprises de part leur présentation graphique facile à lire. Ceci est nécessaire dans un contexte où la modélisation multidimensionnelle doit être confrontée à l’avis des décideurs. Dans des travaux antérieurs, nous avons mis en avant un certain manque d’expressivité de ces modèles. Pa...

Dans la plupart des approches pour le raisonnement en présence d’incohérence, en particulier celles basées sur la sélection de sous-ensembles cohérents de formules, une hypothèse sous-jacente est que des formules différentes sont liées par un lien moins fort qu’une conjonction logique. Dans le cas où elle est cohérente, une base de croyances , où les sont des formules propositionnelles, est équ...

Let ξ ∈ (0, 1) be an irrational with aperiodic continued fraction expansion: ξ = [0; u0, u1, u2, . . .], and suppose the sequence (un)n≥0 of partial quotients takes only values from the finite set {a1, a2, . . . , ak} with 1 ≤ a1 < a2 < · · · < ak, k ≥ 2. We prove that if the frequency of a1 (or ak) in (un)n≥0 is at least 1/2, and (un)n≥0 begins with arbitrarily long blocks that are almost squa...

We answer a recent question of Bienvenu, Muchnik, Shen, and Vereshchagin. In particular, we prove an effective version of the standard fact from analysis which says that, for any ε > 0 and any Lebesgue-measurable subset of Cantor space, X ⊆ 2, there is an open set Uε ⊆ 2, Uε ⊇ X, such that μ(Uε) ≤ μ(X) + ε, where μ(Z) denotes the Lebesgue measure of Z ⊆ 2. More specifically, our main result sho...

Résumé. Une architecture logicielle peut être définie à différents niveaux d’abstraction, correspondants aux différentes étapes de son processus de développement : spécification, implémentation et déploiement. La cohérence entre les différentes définitions d’une architecture doit être maintenue : sa définition à un niveau d’abstraction doit être conforme à sa définition au niveau d’abstraction ...