tex2html_wrap187 Ecole d'automne AMIcale

Nice, 9-12 décembre 1996


BERTAULT Tracé automatique de graphes composés avec le logiciel CGraph.
BERTET, MORVAN Quelques résultats sur un codage des treillis.
CAPELLE Décomposition en blocs de graphes d'héritage.
CARBONNEAUX, LABORDE, MADANI Cabri-Graph : un outil pour la recherche et l'enseignement en théorie des graphes.
CEOLA Décidabilité du graphe d'une application dans le modèle BSS.
CLAROU Un algorithme linéaire de reconnaissance et de test d'isomorphisme pour les tournois de Moon.
COUPRY Un algorithme linéaire très simple pour le flot unitaire maximum dans un graphe planaire.
DIDIER, KAMDEM Estimation du mouvement en ligne.
DUONG PHAN, MORVAN, GOLES Extension du modèle de piles de sable et sous-treillis du treillis des partitions d'un entier.
DURAND-LOSE Simulation espace-temps réversible d'un automate cellulaire non-réversible.
DUTOUR, FEDOU Grammaires d'objets et génération aléatoire uniforme d'objets combinatoires.
EICHENLAUB Calcul du groupe de Galois des polynômes de degré <= 11.
FLOURET, LAUGEROTTE Calcul symbolique de polynômes minimaux et applications.
FOURRE Inversion experimentale d'un q-analogue du produit de mélange.
GABORIT Les codes autoduaux sur Z/4Z jusqu'à la longueur 13.
HANUSSE Algorithme de dessin de cartes planaires avec arêtes courbes.
LEHOBEY Calcul de résolvante par les résultants sans puissances superflues.
MAGNIER Sur les problèmes de préservation des contraintes d'intégrité.
PAUL, VIENNOT Quelques algorithmes linéaires de reconnaissance autour de Lex-BFS.
PORROT, DAUCHET, POMORSKI La dimension fractale d'une figure calculable est égale à la dimension moyenne normalisée de ses points.
ROSSA Graphes semi-extraplanaires: un algorithme de reconnaissance linéaire.
SEYNHAEVE Automates à test et contraintes ensemblistes: deux résultats d'indécidabilité.


Courrier électronique : ecole-AMI at essi.fr

tex2html_wrap187