Nom
|
Titre de l'exposé s'il y a lieu
|
Luntala Macky
|
|
Andriamampianina Tsiry
|
Hypergraphes
|
Stehlé Damien
|
Algorithme récursif
binaire pour le calcul de pgcd
|
Fousse Laurent
|
|
Tecourt Jean-Pierre
|
|
Bekhiekh Mohammed
|
|
Pernet Clément
|
Calcul du polynôme
caractéristique sur des corps finis
|
Graillat Stef
|
Pseudozéros
de polynômes : théorie et applications
|
Cheze Guillaume
|
Une méthode de
factorisation absolue des polynomes en deux variable
|
Tournier Laurent
|
Modèles
hybrides de systèmes de régulation biologiques |
Farcot Etienne
|
Réseaux
de régulation génétique affines par morceaux
|
Veyrat Charvillon Nicolas
|
|
Ayadi Syrine
|
Timed
Mirroring Typed Decision Graphs
: Un Modèle de Structure Symbolique pour la Vérification
des
Systèmes Temps-Réel
|
Slama Yosr
|
Génération
de code parallèle à partir d'une fonction de placement
|
Nafkha Ibtissem
|
La recherche d'information
conceptuelle
|
Demange Marc
|
|
Roch Jean-Louis
|
|
Trystram Denis
|
|
Debunne Gilles
|
|
Décoret Xavier
|
|
Soler Cyril
|
|
Revol Nathalie
|
|
Zimmermann Paul
|
|
Tisserand Arnaud
|
|
Dang Thao
|
|
Girard Antoine
|
|
Dumas Jean-Guillaume
|
|
Khoudary Mohamed
|
|
Laucoin Eli
|
|
Stouls Nicolas
|
|
Elamri Sanaa
|
|
Mahboubi Assia
|
Certification d'un
algorithme
d'elimination des quantificateur sur R
|
Martig Cyrille
|
Approximation d'un systeme
dynamique jusqu'a l'ordre 2
|
Bardet Magali
|
|
Lyaudet Laurent
|
|
Hainry Emmanuel
|
|
Rondepierre Aude
|
|
Lachartre Sylvain
|
|
Bernard Florent
|
|
Giorgi Pascal
|
LinBox:
une bibliothèque générique pour l'algèbre
linéaire exacte
|
Bernardi Vincent
|
|
Moez Krichen
|
|
Raina Saurabh Kumar
|
|
| Ortega Michael |
|
Jeannerod Claude-Pierre
|
|
Melquiond Guillaume
|
|
| Magnien Clémence |
|
Guillaume Jean-Loup
|
Exploration massivement
distribuee du
graphe d'Internet : une approche experimentale
|
Brassel Morgan
|
|
Varouchas Georges
|
|
Vienne Jerome
|
|
Latapy Matthieu
|
|
Jung Françoise
|
|
Dubrois Jacques
|
|
Tournier Evelyne
|
|
Idani Akram
|
|
