Français Anglais
Accueil Annuaire Plan du site
Equipes
Algorithmique


Mots-clés:
  - Algorithmes probabilistes
  - Algorithmes évolutionnaires
  - Algorithmes approchés
  - Algorithmes en ligne
  - Algorithmique de graphes

Equipes
  Algorithmique et Complexité
  Toccata

Equipes-projets Inria communes


Resultats majeurs
  The Average Complexity of Tree Alignment
  Automated motif extraction and classification in RNA tertiary structures
  Average complexity of the Jiang-Wang-Zhang pairwise tree alignment algorithm and of a RNA secondary structure alignment algorithm
  Coverage-biased random explo-ration of large models and application to testing
  Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots
  A new dichotomic algorithm for the uniform random generation of words in regular languages

Contrats
  Brasero
  PASAPAS

Logiciels et brevets
  GenRGenS
  VARNA

Collaborations


Membres
  DE ROUGEMONT Michel
  LAPLANTE Sophie
  MAGNIEZ Frédéric
  SANTHA Miklos
  HERRBACH Claire
  ZHOU Yu
  KERENIDIS Iordanis
  ROSEN Adi
  KAPLAN Marc
  FAYOLLE Julien
  SAULE Cédric
  THEVENIN Annelyse
  CHAILLOUX André
  BOROZAN Valentin
  DJELLOUL Mahassine
  FERNANDEZ DE LA VEGA Wenceslas
  PONTY Yann
  VISHNOI Nisheeth
  MALLA Noor
  FEZZANI Riadh
  JACQUELIN Mathias
  VALICOV Petru

Thèses et habilitations
  Structures aléatoires, modèles et analyse des génomes
  Aspects Algorithmiques des Réarrangements Génomiques : Duplications et ordres partiels


Activités de recherche
° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs
° Intégration de données et de connaissances
° Interaction Homme-Machine
° Langages et systèmes centrés données