logo inria

Actualités
L'INRIA
Recherche scientifique
Valorisation et Transfert
Publications et Documentation
Travailler et se former à l'INRIA

English version Annuaire Plan du site
 Recherche avancée et aide

Information de meme niveau :

| Équipes de recherche | Actions coopératives | Collaborations scientifiques internationales | Des nouvelles des chercheurs |

-----------------------
ALGO : Algorithmes (équipe-projet)
-----------------------

illustration projet En savoir plus sur l’équipe-projet :
Site de l’équipe-projet Rapport d'activité La médiathèque
Rapports de recherche
Thèses

Thème : Sym
Systèmes symboliques

Centre de recherche Paris - Rocquencourt


ALGO a été arrêté le 31/12/2007
Il a été remplacé par ALGORITHMS

Présentation de l’équipe-projet

L'objectif de l'équipe-projet ALGO est l'analyse et l'optimisation fines de systèmes complexes discrets présentant une forte composante aléatoire. De nombreux problèmes de grande taille rentrent dans ce cadre tels l'étude quantitative d'algorithmes probabilistes sur des structures discrètes, ou l'optimisation de l'allocation de ressources dans les réseaux de communication. La réalisation de cet objectif passe par la compréhension en profondeur de l'aléa discret et des problèmes de nature mathématique que pose sa quantification. Cela suppose de dégager des méthodes générales pour obtenir des résultats présentés de manière exacte ou asymptotique. Ces résultats fournissent alors des informations très précises sur le comportement qualitatif ou quantitatif des systèmes étudiés.

Étant donné le caractère très systématique de l'approche poursuivie, des méthodes de décision réalisables en calcul formel font aussi partie des objectifs du projet. Cette approche est un moteur puissant de renouvellement qui conduit à la révision d'approches classiques dans le domaine des fonctions spéciales et des développements en séries. L'objectif est de disposer d'une algorithmique fiable et complète pour de grandes classes de problèmes précisément caractérisés; voir déjà nos bibliothèques gfun et Mgfun assez largement utilisées dans la communauté combinatoire et présentes dans les dernières versions de Maple. Les résultats sont susceptibles de nombreuses applications bien au delà du domaine de la modélisation combinatoire : ainsi une meilleure intégration des fonctions spéciales au calcul formel est visée, ce qui s'applique à de larges classes de problèmes dans les sciences de l'ingénieur.

Axes de recherche

  • Analyse d'algorithmes;
  • calcul formel;
  • algorithmique des séquences;
  • algorithmique et modélisation des réseaux.

Relations internationales et industrielles

  • Relations internationales suivies avec les universités de Barcelone, Canterbury, Florence, Hong-Kong, Montréal, Moscou, Princeton, Purdue, Rome, Vienne, Vancouver, ...
  • Participation au projet Esprit BRA Alcom-FT (Algorithms and Complexity--Future Technologies) de l'Union Européenne (10 partenaires). Programmes bilatéraux Procore (Hong-Kong) et Amadeus (Autriche).
  • Accord avec la société Waterloo Maple Inc. qui est à l'origine de l'un des deux principaux logiciels de calcul formel (Maple).
  • Participation au projet INTAS ``Methods, algorithms, and software for functional and structural annotation of complete genoms'' (4 partenaires).
  • CTI France Télécom R&D pour l'optimisation de la gestion du trafic TCP; RNRT Métropolis pour l'utilisation de la métrologie dans l'étude des réseaux IP.

Responsable scientifique

Bruno SALVY
+33 1 39 63 55 20
Bruno.Salvy@inria.fr
Secrétariat : +33 1 39 63 54 43

--------------------------------
|  début de la page    | page d'accueil du site
© INRIA - mise à jour: 08/02/2008 - webmaster@inria.fr