a l’heure de la mondialisation dans quelles langues faut-il communiquer? c’est une question centrale. étant donné que les langues ne sont pas interchangeables, et que chacune d’entre elles porte une vision du monde, traduire reste donc la meilleure solution pour communiquer. lors des communications internationales les interprètes assurent le bon déroulement des séances. lorsque les intervenants...

Nous présentons une méthode pour spécifier et vérifier des programmes en séparant les préoccupations. En particulier, nous décrivons la spécification puis la vérification par interprétation abstraite de programmes distribués. Un programme est composé de deux parties, une partie concurrente et une partie fonctionnelle. Elles sont ensuite composées en utilisant un mécanisme de tissage simple (syn...

In 2003, Haglund’s bounce statistic gave the first combinatorial interpretation of the q, t-Catalan numbers and the Hilbert series of diagonal harmonics. In this paper we propose a new combinatorial interpretation in terms of the affine Weyl group of type A. In particular, we define two statistics on affine permutations; one in terms of the Shi hyperplane arrangement, and one in terms of a new ...

l'objectif de ce travail consiste à étudier le caractère pluriel de l’interprétation du texte littéraire.  ce caractère pluriel se manifeste aussi dans le travail de traduction littéraire qui est elle-même une interprétation. la preuve est la manifestation ou la publication de plusieurs traductions d'un texte littéraire donné dans une culture donnée. ce phénomène n'est pas spécif...

Résumé. Ce papier présente une vue spectrale sur l’approche de l’analyse relationnelle pour la classification des données catégorielles. Il établit d’abord le lien théorique entre l’approche de l’analyse relationnelle et le problème de classification spectrale. En particulier, le problème de classification relationnelle est présenté comme un problème de maximisation de trace, ce problème est do...

Résumé. L’aire sous la courbe ROC est un outil pertinent pour mesurer la performance d’un classifieur et possède de nombreux avantages par rapport aux mesures de rappel et précision par classe : la performance est indiquée par une seule mesure et ne dépend pas des populations des classes. Cet avantage se transforme néanmoins en inconvénient lorsqu’il s’agit, lors de la lecture de la courbe, de ...

We give a topological interpretation of the space of L-harmonic forms of finite-volume manifolds with sufficiently pinched negative curvature. We give examples showing that this interpretation fails if the curvature is not sufficiently pinched. The method used applies to other situations, e.g. asymptotically complex hyperbolic manifolds, or harmonic forms with weights. Résumé Nous donnons une i...

We give a topological interpretation of the space of L-harmonic forms of finite-volume manifolds with sufficiently pinched negative curvature. We give examples showing that this interpretation fails if the curvature is not sufficiently pinched and that our result is sharp with respect to the pinching constants. The method consists first in comparing L2−cohomology with weighted L2−cohomology tha...