Le fast marching est un algorithme efficace pour la résolution de l'équation eikonale, qui permet de calculer le plus court chemin entre deux points d'un domaine de R^d. Ses applications sont nombreuses, et vont de la planification de mouvement à la segmentation d'images médicales. L'unité de longueur, pour la mesure du chemin, peut varier dans le domaine. Motivés par certaines applications, nous généralisons l'algorithme au cas où l'unité de longueur dépend également de la direction, voire de l'orientation du chemin. Un conflit apparait entre cette géométrie anisotrope et la grille […]

Soit K un sous-corps de C, que l'on suppose de dimension finie sur Q. La norme N(x) d'un élément de K est définie comme le déterminant de la multiplication par x dans le Q-espace vectoriel K. On s'intéresse dans cet exposé au sous-groupe N(K*) du groupe multiplicatif Q*. On expliquera comment dans certaines situations on peut détecter si un élément de Q* appartient à N(K*). On verra aussi que le quotient Q*/N(K*) est toujours infini, mais que la preuve de ce résultat nécessite des outils sophistiqués aussi bien de théorie […]

Les problèmes de raisonnement inductif ou d'extrapolation comme deviner la suite d'une série de nombres, ou plus généralement, comprendre la structure cachée dans des observations, sont fondamentaux si l'on veutun jour construire une intelligence artificielle. On a parfois l'impression que ces problèmes ne sont pas mathématiquement bien définis. Or il existe une théorie mathématique rigoureuse du raisonnement inductif et de l'extrapolation, basée sur la théorie de l'information. Cettethéorie est très élégante, mais difficile à appliquer.En pratique aujourd'hui, ce sont les réseaux de neurones qui donnent les meilleurs résultats sur toute une série de problèmes concrets d'induction et […]