This article describe a mechanism of well-typed communications able to abstract the underlying physical transport protocol MOTS-CLÉS : communication typé, migration de code, middleware

ions. Une abstraction pouvant être utilisée en dehors du contexte où elle est définie, on doit mémoriser la liaison des variables apparaissant dans son corps au moment de sa définition. C’est à cette fin qu’on utilise une fermeture, c’est-à-dire l’association d’une abstraction (ident * term) et de l’environnement dans lequel elle a été définie (env) via le constructeur ValAbs. Lecture/écriture ...

Cette application, sans prendre parti, aborde le sujet délicat qu’est l’automatisation cognitive. Elle propose la mise en place d’une chaîne informatique complète pour supporter chacune des étapes de la décision, en particulier la phase d’apprentissage en faisant de la connaissance actionnable (CA) une entité informatique manipulable par des algorithmes. La connaissance est extraite directement...

Nomao est un moteur de recherche de lieux qui classe les résultats en fonction de vos goûts et ceux de vos amis. Son développement soulève de nombreuses problématiques scientifiques : extraction et structuration de contenu local, interprétation de requête et recherche d’information, classement de résultats, personnalisations et recommandations. Présent sur le web et en application iphone et and...

Exploiting opinions as a source of information to identify the trends can be very useful in many scenarios, such as political parties who are interested in monitoring their impact. In this paper, we present an unsupervised technique to classify users based on their political orientations. Our approach is based on two main concepts: (1) the selection of the aspects and the sentiments users have ...

étant considérée comme une conséquence immédiate de la définition de la dérivée, c’est sur la réciproque que nous nous concentrons. La démonstration qui vient le plus souvent à l’esprit fait appel à l’inégalité (ou à l’égalité) des accroissements finis. Elle se situe aux bordures mouvantes du programme des classes scientifiques. Nous avons essayé en nous situant à dire vrai plus dans le program...

We give some conditions that ensure the validity of a Comparison principle for the minimizers of integral functionals, without assuming the validity of the Euler–Lagrange equation. We deduce a weak maximum principle for (possibly) degenerate elliptic equations and, together with a generalization of the bounded slope condition, the Lipschitz continuity of minimizers. To prove the main theorem we...