Dans un Système de Recherche d’Information (SRI), les démarches pour la reformulation de la requête sont nombreuses. Elles peuvent être classées selon les ressources utilisées en trois grandes approches : l’utilisation des ressources externes, l’analyse globale et l’analyse locale. Dans ce contexte et dans le cadre des SRI pour les textes Arabes, nous nous intéressons à l’évaluation des perform...

— Relational morphisms betweenfinite monoids (a notion due to Tilson) are used to study the effect certain opérations on recognizabie sets have on the syntactic monoids ofthose sets. This leads to concise proofs ofa number ofknown results concerning the product opération, and a new resuit concerning the star opération. Résumé. — On utilise les morphismes relationnels (dus à Tilson) pour étudier...

RiSUME (1) Pendant une p%riode de deux ans, l'action de " Dolcin " (specialite medicale de comprimes contenant de l'aspirine 3 * 9 gr. et du succinate de calcium 2 * 5 gr.) fut comparee a celle. de l'aspirine seule en doses similaires. (2) On soumettait les malades a une cure complete selon les instructions des fabricants et on comparait 1'effet i celui obtenu par une cure similaire d'aspirine ...

RÉSUMÉ. La construction d'un analyseur syntaxique pour un langage de spécification formelle tel que l'Object Z n'est pas une tâche facile. En effet, elle nécessite une double compétence aussi bien dans le domaine de la compilation que dans le domaine de la spécification formelle. Dans cet article, nous présentons tout d'abord quelques outils de vérifications des spécifications écrites en Z et O...

L'analyse syntaxique automatique, première étape d'une procédure d'interprétation fine des textes par ordinateur, a recours à des outils comme les grammaires et les dictionnaires. Ces outils, tels qu'ils sont actuellement disponibles, ne sont pas suffisants. Ils doivent en effet prendre une forme électronique qui impose des révisions majeures de leur forme et contenu. Nous présentons une méthod...

In this paper we describe some research directions in social choice and aggregation theory taken at the "Centre de Mathématique Sociale" since the fifties. We begin by presenting some institutional aspects concerning this center. Then we sketch a thematic history by considering the following questions about the "effet Condorcet" ("voting paradox"): What is it? How is it overcome? Why does it oc...

RÉSUMÉ. L’existence de valeurs manquantes dans les séries temporelles est un problème récurrent lors de l’utilisation de modèles financiers. En effet, de tels modèles requièrent que les bases soient cylindrées et complètes. De plus, de nombreuses bases de données financières contiennent des valeurs manquantes. Ce papier présente une nouvelle technique pour le recouvrement des valeurs manquantes...

We show the necessity of the non trapping condition for the plain smoothing effect (H) for Schrödinger equation with Dirichlet boundary conditions in exterior problems. We also give a class of trapped obstacles (Ikawa’s example) for which we can prove a weak (H) smoothing effect Résumé. On démontre que l’hypothèse de non capture est nécessaire pour l’effet régularisant (H) pour l’équation de Sc...

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

La famille des langages de parentheses est une giniralisation judicieuse (due % Takahashi [9]) de la famille des langages parenthetiques. En effet, pour cette famille qui jouit de nombreuses prorriitis de cloture (comme la cloture par intersection, par exemple), Takahashi itend ies rksultaas connus sur les parenthetiques pour decider de l’iquivaience [9]. A i’inverse, nous prouvons ici que la f...