Nous étudions le comportement des extensions linéaires au travers de deux invariants de comparabilité: le nombre de sauts et la dimension. La reconnaissance des ordres de Dilworth est montrée comme étant NP-complète, nous donnons des algorithmes polynomiaux pour résoudre ce problème sur deux sous-classes. Nous définissons les notions de dimension gloutonne et dimension dfgloutonne et étudions les cas d'égalité avec la dimension classique. Nous montrons la relation très étroite entre les extensions linéaires dfgloutonnes et les parcours en profondeur. Deux problèmes concernant les extensions linéaires dfgloutonnes sont montrés comme étant NP-difficiles.No abstrac
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Le suivi d'apprenants lors de la résolution de problèmes est difficile, surtout lorsque le nombre d'...
La théorie des noeuds est une branche de la topologie algébrique. On peut imaginer un noeud comme ét...
Le but principal de ce travail est de développer une nouvelle classe d'algorithmes de type intérieur...
La terminaison des programmes est un sujet actif de recherche en informatique. Ces dernières années ...
Dans cette thèse, nous étudions différents aspects liés à la localité des algorithmes distribués. D'...
Les méthodes modulaires conduisent à des algorithmes très efficaces dans de nombreux domaines en cal...
International audienceUne décomposition linéaire (path-decomposition) d'un graphe G = (V, E) est une...
Un logiciel pour les solutions formelles d'équations différentielles linéaires d'ordre 2 au voisinag...
Un logiciel pour les solutions formelles d'équations différentielles linéaires d'ordre 2 au voisinag...
La théorie des noeuds est une branche de la topologie algébrique. On peut imaginer un noeud comme ét...
Le but principal de ce travail est de développer des algorithmes pour résoudre des programmes linéai...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Le suivi d'apprenants lors de la résolution de problèmes est difficile, surtout lorsque le nombre d'...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Le suivi d'apprenants lors de la résolution de problèmes est difficile, surtout lorsque le nombre d'...
La théorie des noeuds est une branche de la topologie algébrique. On peut imaginer un noeud comme ét...
Le but principal de ce travail est de développer une nouvelle classe d'algorithmes de type intérieur...
La terminaison des programmes est un sujet actif de recherche en informatique. Ces dernières années ...
Dans cette thèse, nous étudions différents aspects liés à la localité des algorithmes distribués. D'...
Les méthodes modulaires conduisent à des algorithmes très efficaces dans de nombreux domaines en cal...
International audienceUne décomposition linéaire (path-decomposition) d'un graphe G = (V, E) est une...
Un logiciel pour les solutions formelles d'équations différentielles linéaires d'ordre 2 au voisinag...
Un logiciel pour les solutions formelles d'équations différentielles linéaires d'ordre 2 au voisinag...
La théorie des noeuds est une branche de la topologie algébrique. On peut imaginer un noeud comme ét...
Le but principal de ce travail est de développer des algorithmes pour résoudre des programmes linéai...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Le suivi d'apprenants lors de la résolution de problèmes est difficile, surtout lorsque le nombre d'...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Le suivi d'apprenants lors de la résolution de problèmes est difficile, surtout lorsque le nombre d'...
La théorie des noeuds est une branche de la topologie algébrique. On peut imaginer un noeud comme ét...