Sex Allocation: L’Enfer C’est les Autres?

Métaphore verbale et approximation

Lorsque l’on parcourt les principales investigations linguistiques sur le phénomène « métaphore », quel que soit le niveau d’analyse considéré (syntaxique, sémantique ou pragmatique), un premier constat s’impose : on assiste à des approches massives de la structure métaphorique nominale de caractérisation (SN1 + copule + SN2) tandis que peu d’attention est consacrée aux autres structures de la ...

Le voyageur de commerce et ses variations : un tour d’horizon de ses résolutions

Toute personne qui se confronte un jour à la recherche opérationnelle croise nécessairement sur son chemin le problème du voyageur de commerce (noté usuellement TSP). Ce qui donne ce caractère incontournable au TSP, c’est à la fois sa facilité d’appréhension et sa proximité conjointe avec des problèmes simples et complexes. Un problème parlant : on imagine aisément le représentant de commerce t...

Construction de descripteurs pour classer à partir d'exemples bruités

Résumé. En classification supervisée, la présence de bruit sur les valeurs des descripteurs peut avoir des effets désastreux sur la performance des classifieurs et donc sur la pertinence des décisions prises au moyen de ces modèles. Traiter ce problème lorsque le bruit affecte un attribut classe a été très étudié. Il est plus rare de s’intéresser au bruit sur les autres attributs. C’est notre c...

Role de l'Institut Razi dans la prophylaxie de la Fièvre Aphteuse (Virus type ASIA 1) en Iran et dans les autres pays

Algèbres de réalisabilité: un programme pour bien ordonner R

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...