Notre étude concerne un réseau d'acteurs matériels et logiciels. La notion d'acteur est une approche récente du parallélisme empruntée au modèle des o...
On construit un sous-espace invariant un système de deux opérateurs linéaires bornés non auto-adjoints commutatifs dans un espace de hilbert séparable...
L'objectif de cette étude est la comparaison en terme d'efficacité numérique, de l'algorithme de karmarkar et celui du simplexe, à travers leurs exten...
L'objet de cette thèse est l’étude des systèmes formels du type des systèmes lj et lk de gentzen (couramment appeles calculs des sequents) dans leur r...
