Mis à jour le 05/02/2020
Retrouvez ci-dessous la liste des équipes-projets.
- Ascii - Analysis of Stochastic Cooperative Intelligent Interactions
- Aviz - Analysis and Visualization
- Cedar - Rich Data Exploration at Cloud Scale
- Celeste - Mathematical statistics and learning
- Commands - Control, Optimization, Models, Methods and Applications for Nonlinear
- Datashape - Understanding the shape of data
- Deducteam - DEDUCTEAM
- Defi - Shape reconstruction and identification
- Disco - Dynamical Interconnected Systems in COmplex Environments
- Ex-situ - Extreme Situated Interaction
- Gamma3 - Automatic mesh generation and advanced methods
- Grace - Geometry, arithmetic, algorithms, codes and encryption
- Ilda - Interacting with Large Data
- Lifeware - Computational systems biology and optimization
- M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
- Mexico - Modeling and Exploitation of Interaction and Concurrency
- Opis - OPtImization for large Scale biomedical data
- Parietal - Modelling brain structure, function and variability based on high-field MRI data.
- Partout - Proof Automation and RepresenTation: a fOundation of compUtation and deducTion
- Petrus - PErsonal & TRUSted cloud
- Poems - Wave propagation: mathematical analysis and simulation
- Randopt - Randomized Optimisation
- Specfun - Symbolic Special Functions : Fast and Certified
- Tau - TAckling the Underspecified
- Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
- Tribe - inTeRnet BEyond the usual
- Tropical - Tropical methods: structures, algorithms and interactions
- Xpop - Statistical modelling for life sciences