Défi OmicFinder Biological data indexation Les données génomiques produites grâce à la lecture de l'ADN des cellules permettent des avancées...
Action Exploratoire Réal Réal : Réécriture algébrique La réécriture est une branche du calcul formel consistant à transformer des expressions...
Action Exploratoire REPAS Vers de nouvelles Représentations des Applications HPC. Quelle est la bonne manière de représenter une application en vue de l’exécuter sur une machine...
Equipe-projet ABS Algorithmes et Biologie Structurale La bioinformatique structurale est le domaine scientifique développant des méthodes algorithmiques...
Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
Equipe-projet AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
Equipe-projet CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments CAGIRE rassemble depuis Mai 2016 des chercheurs et enseignants-chercheurs venus de différents...
Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet CAMUS Compilation pour les Architectures MUlti-processeurs et multi-coeurS L'équipe CAMUS s'attache à développer, adapter et étendre des techniques de parallélisation et d...
Equipe-projet CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Nos travaux visent le domaine général d'application de la cryptographie et de la cryptanalyse, d'un...
Equipe-projet CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts Des EDPs à la simulation numérique certifiée: ce projet a pour but de proposer une méthodologie...
Equipe-projet CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...
Equipe-projet CASH Compilation et Analyse, Logiciel et Matériel L'avènement du parallélisme dans les ordinateurs et les supercalculateurs amène de nouveaux besoins...