Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons ...

Si cette introduction vous est utile dans vos études, merci de m'envoyer un mail ici ou là pour m'indiquer votre année d'étude et université ; bien entendu vos commentaires et/ou suggestions pour corriger ou améliorer ce petit document sont les bienvenus. 4 Automates finis et expressions régulières 5 5 Automates minimaux 6 De nombreux livres traitent ce sujet. Pour des références générales on p...

Résumé-Nous présentons dans ce travail une approche automatique de haut niveau pour l’analyse de code de la cospécification java, et pour la description des composants qui composent l’architecture cible sur laquelle l’application s’exécute dessus. Dans ce contexte, nous avons développé deux outils pour extraire toutes les informations pertinentes concernant les entités matérielles et logicielle...

RÉSUMÉ Nous présentons ici les premiers travaux concernant l’établissement d’une passerelle bidirectionnelle entre d’une, part les schémas d’annotation syntaxique en dépendances qui ont été définis pour convertir les annotations du French Treebank en arbres de dépendances de surface pour l’analyseur syntaxique Bonsai, et d’autre part le formalisme d’annotation PASSAGE développé initialement pou...

Laure Stella Ghoma Linguissi1,2, Cyrille Bisseye1,3, Pierre Poulain2, Francine Ntoumi2,4,5 and Jacques Simpore1,6* 1Centre de Recherche Biomoléculaire Pietro Annigoni (CERBA), LABIOGENE, Université de Ouagadougou, 01 BP 364 Ouaga 01, Burkina Faso 2Fondation Congolaise pour la Recherche Médicale (FCRM), Brazzaville, Republic of Congo 3Laboratoire de Biologie Moléculaire et Cellulaire (LABMC), Un...

Motivated by a result of Fiebig (2007), we categorify some properties of Kazhdan-Lusztig polynomials via sheaves on Bruhat moment graphs. In order to do this, we develop new techniques and apply them to the combinatorial data encoded in these moment graphs. Résumé. Motivés par un resultat de Fiebig (2007), nous categorifions certaines propriétés des polynômes de KazhdanLusztig en utilisant fais...

Résumé. L’analogue des coefficients de Littlewood-Richardson pour les polynômes de Schubert est relié à l’énumération de chaines dans l’ordre partiel de Bruhat de Sn. Pour mieux comprendre ce lien, nous le raffinons en réduisant le problème à des sous-ordres partiels liés aux sous-groupes paraboliques du groupe symétrique. Nous montrons ici certaines identités géométriques reliant ces coefficie...

Les corpus sont très utiles pour de nombreuses tâches dans le domaine du traitement automatique des langues naturelles. Les corpus annotés syntaxiquement sont devenus une ressource importante en TAL. Ils sont couramment utilisés, par exemple comme banc d’essai pour la génération, l’analyse et la désambiguı̈sation sémantique, et comme source pour l’acquisition de ressources (collocations, informa...

Résumé Les accélérateurs matériels, telles les cartes FPGA ou les cartes graphiques, apportent une alternative ou un complément intéressant aux processeurs multi-cœurs classiques pour de nombreuses applications scientifiques. Il est cependant coûteux et difficile d’y porter des applications existantes ; et les compilateurs standards, traditionnellement portés sur la génération de code pour proc...