Domaines d'expertise des équipes de recherche
Thématiques des champs d'application :
Bioingénierie et sciences du vivant
Equipe de recherche
| | | Symbiose | Génomique : recherche de signatures de familles de séquences, étude de réseaux de régulation gènique et métabolique
| | Bunraku | Modélisation de systèmes vivants : modéles biomécaniques pour le mouvement humain et humanoïdes virtuels
| | Vista | Traitement automatique des images pour l'étude de la dynamique moléculaire en biologie | | Dream | Monitoring Zootechnique des Animaux d'Élevage |
liste des domaines d'expertise
Clusters et grilles de calculateurs - Calcul distribué
Equipe de recherche
| | | Paris | Clusters de PC : Système d'exploitation transformant un cluster de PCs en une unique machine virtuelle
| | Paris | Grilles : Intergiciels pour les grilles de calcul et de données -
Gestion de ressources dans les grappes - Exécutifs pour les langages parallèles - Outils logiciels pour la simulation numérique distribuée
|
liste des domaines d'expertise
Environnement
Equipe de recherche
| | Vista
| Météorologie : mesure du mouvement fluide dans des images météorologiques
| | Sage | Simulations pour la géophysique et l'hydrologie (réseaux de fractures, écoulements transitoires hétérogènes, intrusion d'eau salée, transport réactif ) |
liste des domaines d'expertise
Embarqué - Logiciels enfouis, critiques, temps réel et systèmes embarqués
| Equipe de recherche | | | Lande | Conception et validation de logiciels : analyse statique, test de progarmmes & sécurité des logiciels - Vérification automatique de logiciels - Validation et vérification d'une plate-forme et d'applications Java Card | Vertecs
| Tests : synthèse automatique de tests à base de modèles pour les systèmes réactifs
| | Caps | Compilation : environnements pour architectures hautes performances - Optimisation de codes haute performance - Architectures de processeurs
| | Espresso | Environnement d'aide à la conception de systèmes embarqués fondé sur l'approche synchrone multi-horloges | | S4 | Conception de contrôleurs embarqués pour des systèmes critiques | | Aces | Systeme d'exploitation Java embarqué | | R2D2 | Conception de systèmes matériels spécialisés sur des plates-formes reconfigurables |
liste des domaines d'expertise
Ingénierie du logiciel
Equipe de recherche
| | | Espresso | Méthodes et outils permettant la conception des composants logiciels répondant au plus haut niveau de fiabilité pour l'ingénierie des systèmes embarqués | | Triskell | Manipulation de modèles UML, conception par contrat avec composants et aspects, validation intra et intercomposants | | Atlas | Model transformation & model management architecture | | Caps | Compilation : environnements pour architectures hautes performances - Optimisation de codes haute performance - Architectures de processeurs
| | Obasco | Construction d'architectures logicielles à base de composants et d'aspects | | Lande | Conception et validation de logiciels : analyse statique, test de progarmmes & sécurité des logiciels - Vérification automatique de logiciels | | Vertecs | Tests : synthèse automatique de tests à base de modèles pour les systèmes réactifs | LIS
| Outils pour navigation dans des collections de données hétérogènes - Système de fichiers logique
|
liste des domaines d'expertise
Multimedia : Systèmes interactifs, multimédia et audiovisuel| Equipe de recherche | | | Metiss | Traitement de la parole et du son | Bunraku
| Réalité virtuelle - Interaction multimodale - Humains virtuels autonomes expressifs - Langages de scénarisation de sessions interactives
| | Temics | Analyse de séquences vidéo, Compression d'images et de signaux vidéo, Communication vidéo sur réseaux Internet et/ou sans fils, Protection de contenus (images et vidéo) | | Texmex | Descripteurs des documents multimédias - organisation et gestion des bases de documents multimedia - exploration, navigation et recherche dans de grandes bases de documents multimedia | | Vista | Analyse et indexation par le contenu de documents video | | Lagadic | Vision et asservissement visuel pour la robotique et la réalité augmentée | | Cordial | Synthèse de la parole et systèmes oraux interactifs | | Imadoc | Reconnaissance de l'écriture manuscrite - Analyse et traitement de documents manuscrits |
liste des domaines d'expertise
Santé| Equipe de recherche | | | Visages | Neurochirurgie assistée par ordinateur - traitement d'images médicales et systèmes d'aide aux interventions chirurgicales guidées par l'ordinateur dans les pathologies de la tête et du cou (fusion, segmentation, recalage et analyse d'images , gestion d'informations relatives à l'image en santé, etc.) - mise en œuvre et validation clinique de nouvelles méthodes d’analyse d’images (TEP, IRM) de sclérose en plaque
| | IHE | Compatibilité des systèmes d'informatique médicale : animation des développements techniques en Europe pour l'organisation internationale IHE ( Integrating the Healthcare Enterprise) qui oeuvre à la standardisation des systèmes d'informatique médicale | | Dream | Aide à la décision médicale - cardiologie : tuteur intelligent pour le diagnostic médical en cardiologie - Monitoring cardiaque analyse en ligne d'electrocardiogrammes, étude de prothèses cardiaques "intelligentes" | | Vista | Mesure des mouvements dans des images médicales durant des interventions | | Lagadic | Echographie 3D robotisée - Assistance à la saisie d'objets pour assistance aux personnes handicapées |
liste des domaines d'expertise
SécuritéEquipe de recherche
| | | Dionysos | Les extensions de sécurité DNS (DNSSEC) | | Temics | Marquage (ou tatouage) des images et des signaux vidéo à des fins de protection contre les copies illicites, et à des fins d'authentification
| | Texmex | Vérification des informations de marquage dans de grands volumes de données multimedia |
liste des domaines d'expertise
Simulation de phénomènes et outils pour la conception de produits ou de systèmesEquipe de recherche
| | | Bunraku | Conception de systèmes industriels : réalité virtuelle et bureau d'étude du futur ("usine numérique")
| | Sisthem | Surveillance d'intégrité de structures pour l'aéronautique, le génie civil et la mécanique | | Sage | Simulations pour la géophysique et l'hydrologie (réseaux de fractures, écoulements transitoires hétérogènes, intrusion d'eau salée, transport réactif ) | | Aspi | Simulation d'évènements rares, évaluation de risques - Filtrage particulaire, localisation, navigation et poursuite - Méthodes de Monte carlo en interaction - Inférence statistique des modèles de Markov - Contrôle aérien | | Ipso | Simulations en physique des lasers, interactions laser.matière et dynamique moléculaire | | Paris | Outils de calcul : outils logiciels pour la simulation numérique distribuée sur clusters de PCs ou sur grille |
liste des domaines d'expertise
Systèmes d’information étendus via Internet
Equipe de recherche
| | | Adept | Algorithmes pour des systèmes dynamiques, large-échelle et sûrs - Services de communication de groupe dans un système réparti | | Dionysos | Architectures et modèles de réseaux - Ingénierie des protocoles et analyse des performances ( IPv4, IPv6, TCP, MPLS, ROCH,...) - Contrôle des flux pour satisfaction de critères variés de qualité de service (mesure de la qualité globale des flux multimedia) | | Paris | Construction de systèmes d'exploitation pour grappes de PC et d'intergiciels pour les grilles de calcul et de données - Gestion de ressources dans les grappes - Exécutifs pour les langages parallèles - Outils logiciels pour la simulation numérique distribuée | | Asap | Systèmes large-échelle dynamiques : Peer to Peer (P2P), réseaux de contenus, réseaux de capteurs, systèmes de stockage sur IP, .. | | Aces | Systèmes pour l'informatique diffuse (ambient computing) | | Atlas | Techniques de gestion de données distribuées - Bases de données autonomes et hétérogènes | | Badins | Interrogation flexible de sources de données dynamiques et versatiles (Web) |
liste des domaines d'expertise
TélécommunicationsEquipe de recherche
| | | Distribcom | Gestion autonome (auto-gestion) des réseaux et des services Web | | Dionysos | Architectures et modèles de réseaux - Ingénierie des protocoles et analyse des performances ( IPv4, IPv6, TCP, MPLS, ROCH,...) - Contrôle des flux pour satisfaction de critères variés de qualité de service (mesure de la qualité globale des flux multimedia) | Temics
| Analyse, codage et communication video sur réseaux filaires et wireless
| | Asap | Systèmes large-échelle dynamiques : Peer to Peer (P2P), réseaux de contenus, réseaux de capteurs, systèmes de stockage sur IP, ... | | Aces | Systèmes pour l'informatique diffuse (ambient computing) | | Aspi | Localisation et tracking de terminaux mobiles |
liste des domaines d'expertise
Dernière modification
30.08.2007 13h55
|
|
