Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Résumé. Cet article décrit des travaux réalisés dans le cadre du développement du correcteur automatique d’un logiciel commercial d’aide à la rédaction du français. Nous voulons corriger des erreurs uniquement détectables lorsque l’antécédent de certains pronoms est connu. Nous décrivons un algorithme de résolution des anaphores pronominales intraet interphrastiques s’appuyant peu sur la corres...

L’etude que propose Marjorie Curry Woods se penche sur les pratiques d’apprentissage des ecoliers du Moyen Âge, en portant son attention emotions vehiculent textes classiques utilises dans ce contexte a travers commentaires laisses manuscrits. Elle suggere la charge emotionnelle contiennent œuvres apprises salles de classe medievales constitue un formidable outil pedagogique pour ancrer lecons ...

Résumé : Nous présentons le système RELIEFS pour RELevance Information Extraction Fuzzy System dédié au filtrage adaptatif de documents textuels. Ce système s'inspire très largement de mécanismes cognitifs intervenant dans les processus de sélection d'information. En particulier, il implémente l'idée de résonance introduite dans la théorie cognitive ART [GROS 76] qui rend compte de la façon don...

Avec M. Abensour, Claude Lefort fait partie des rares théoriciens du politique à reconnaître au Discours de la servitude volontaire l’importance d’un classique doté d’une véritable puissance d’intelligibilité. Il en propose une lecture scrupuleuseen 1977. suit également sa trace chez Camille Desmoulins, Constant, Guizot, Michelet, Quinet... Orwell. Mais il s’emploie surtout le mettre l’épreuve ...

Tes kystes du grand Epiploon sont assez rares, ct es lymphangiomies kystiques de grand epiploon asscz exceptionnelles.Le coutenu de ces kystes lymphatiques peuvent etres soit sereux soit chyleux.  Au point de vue pathogenic, Ladd et Gross pell­sent que ces kystes proviennent de l'isolemcnt ct du tlevelopement d'un ou plusieurs kystes lymphatiquc, primitifs.  Dans !'observation que nous prcsen...

Les exostoses représentent la forme la plus fréquente des tumeurs osseuses bénignes, elles peuvent être uniques ou multiples se formant au niveau des métaphyses des os longs avec une prédilection pour le fémur et l'humérus. Elles sont le plus souvent asymptomatiques mais peuvent parfois être révélées par une complication osseuse ou à l'occasion de la compression de tissus mous de voisinage. Les...

Résumé. Nous proposons une démonstration de la Plateforme de l’Equipex ORTOLANG (Open Resources and Tools for LANGuage : www.ortolang.fr) en cours de mise en place dans le cadre du programme d’investissements d’avenir (PIA) lancé par le gouvernement français. S’appuyant entre autres sur l’existant des centres de ressources CNRTL (Centre National de Ressources Textuelles et Lexicales : www.cnrtl...

The increasing presence of various substances in our environment has brought about a growing need for rapid emergence of new materials and devices in the quest for efficient and reliable chemical sensors. Massive technological progress have made available an extensive range of technical tools to serve their development, accounting for the requirements to be fulfilled (selectivity, quick respons...

Recensé : Daniela Moreau et Luis Nicolau Parés, Images du Dahomey. Edmond Fortier le colonialisme français dans la terre des voduns, Milan, 5 Continents, 2020, 257 p.