Ceci est la version 3 de la troisième partie du cours de lambda-calcul, datant du 02 juin 2014. La version 2 datait du 28 janvier 2011. La première version datait du 15 avril 2002. Merci à Hang Zhou et à Arthur Milchior. Aucune machine réelle n’exécute directement la relation de β-réduction du λcalcul, ou même d’un langage fonctionnel plus pratique comme Caml ou Haskell. Il est donc nécessaire ...

Nous présentons une stratégie dynamique pour le choix de canaux dans un réseau radio cognitif. Notre stratégie se base essentiellement sur l’estimation de l’occupation du canal radio provoquée par l’activité des nœuds primaires plus prioritaires sur les canaux en questions. Notre technique, et grâce à une écoute permanante sur les canaux, dote les nœuds cognitifs de la capacité d’inférer les ca...

Un théorème de Pillay [17] affirme que tout groupe différentiellement constructible se plonge dans un groupe algébrique. Chatzidakis et Hrushovski [7] ont obtenu le même résultat pour les groupes constructibles sur un corps de différence. Ces deux exemples nous montrent que des groupes définissables dans des structures enrichies peuvent être analysés à partir de la structure de base. Dans les d...

Résumé. Cet article décrit une méthode de prétraitement destinée à faciliter la découverte de motifs fréquents dans un log d'alarmes. Au cours d'une première étape les types d'alarmes qui présentent un comportement temporel similaire sont regroupés à l'aide d'une carte auto-organisatrice. Puis on recherche les parties du log qui sont riches en alarmes pour les différents groupes. Des sous logs ...

Résumé. Le concept de SKYLINE a été introduit pour mettre en évidence les objets « les meilleurs » selon différents critères. Une généralisation multidimensionnelle du SKYLINE a été proposée à travers le SKYCUBE qui réunit tous les SKYLINES possibles selon toutes les combinaisons de critères et permet d’analyser les liens entre objets SKYLINES. Comme le data cube, le SKYCUBE s’avère extrêmement...

Résumé L’échographie est un précieux outil utilisé quotidiennement en salle de travail. Ses applications sont multiples. L’objectif est d’évaluer si le recours systématique à une estimation échographique du poids fœtal et en salle de naissances augmente le risque d’accouchement par césarienne. Etude de cohorte monocentrique. Nous avons inclus toutes les parturientes avec des grossesses monofœta...

— We classify Veech groups of tame non-compact flat surfaces. In particular we prove that all countable subgroups of GL+(2, R) avoiding the set of mappings of norm less than 1 appear as Veech groups of tame non-compact flat surfaces which are Loch Ness monsters. Conversely, a Veech group of any tame flat surface is either countable, or one of three specific types. Résumé. — Nous classifions les...

Résumé Le benchmarking de performance est devenu un thème important dans la robotique. C’est en effet un moyen essentiel de comparer des solutions dans des conditions différentes. Dans cet article, nous nous intéressons sur l’analyse comparative des performances des systèmes multi-robots qui explorent et cartographient des terrains inconnus. Nous proposons une sélection de métriques pour compar...

marcel proust est un des écrivains le plus fameux de la première moitié du xxe siècle. son ouvrage, a la recherche du temps perdu, en sept volumes, est à la fois le livre de sa propre vie et de la société de son époque. les personnages féminins sont au centre de son œuvre. la duchesse de guermantes est une de ces figures féminines qui occupe une place centrale dans la recherche du temps perdu. ...