BASTRI - Fiches Equipes

111 résultats

• A
• A3 (SR0192DR) - Analyse avancée appliquée à l'optimisation de codes
• ALCHEMY (SR0135SR) - Architectures, Languages and Compilers to Harness the End of Moore Years
• ALCHEMY (SR0453MR) - Architectures, Languages and Compilers to Harness the End of Moore Years
• ALIEN (SR0136SR) - algèbre pour Identification et Estimation Numériques
• AMIB (SR0318HR) - Algorithmes et modèles pour la Biologie Intégrative
• AMIB (SR0436BR) - Algorithmes et modèles pour la Biologie Intégrative
• AMIBIO (SR0781CR) - Algorithms and Models for Integrative BIOlogy
• APIS (SR0319ZR) - Analyse de Processus, Images et Signaux irréguliers,applications en biologie et médecine.
• ASCII (SR0885KR) - Analyse d’interactions stochastiques intelligentes et coopératives
• AVIZ (SR0132LR) - Analyse et visualisation
• AVIZ (SR0406WR) - Analyse Visuelle
• B
• BENAGIL (SR0945LR) - Systèmes répartis performants et sûrs
• C
• CEDAR (SR0734UR) - Rich Data Exploration at Cloud Scale
• CEDAR (SR0837TR) - Analyse et traitement de données complexes à grande échelle
• CELESTE (SR0873YR) - statistique mathématique et apprentissage
• COMETE (SR0134KR) - Vie privée, équité et robustesse dans la gestion de l'information
• COMMANDS (SR0217BR) - Controle, Optimisation, modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
• COMPOSE (SR0218WR) - Conception de programmes et systèmes adaptatifs
• D
• DAHU (SR0226ER) - Verification en bases de données
• DATASHAPE (SR0726XR) - Understanding the Shape of Data
• DATASHAPE (SR0792FR) - Comprendre la forme des données
• DEDUCTEAM (SR0479ER) - Deduction modulo, interopérabilité et démonstration automatique
• DEDUCTEAM (SR0774GR) - DEDUCTEAM
• DEFI (SR0227ER) - Détermination de Formes Et Identification
• DIANNAO (SR0603FR) - Neuro-Inspired Accelerators for Computing
• DIGIPLANTE (SR0129SR) - Modélisation de la croissance et de l'architecture des plantes
• DIGIPLANTE (SR0510RR) - Modélisation de la croissance et de l'architecture des plantes
• DISCO (SR0412QR) - Systèmes dynamiques interconnectés dans des environnements complexes
• DISCO (SR0520MR) - Systèmes dynamiques interconnectés dans des environnements complexes
• E
• EX-SITU (SR0680PR) - Extreme Interaction
• EX-SITU (SR0787TR) - Interaction Située Extrême
• F
• FAIRPLAY (SR0917SR) - IA coopérative : équité, vie privée, incitations
• G
• GALEN (SR0341GR) - Modélisation d'organes à travers l'Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• GALEN (SR0594WR) - Modélisation d'organes à travers l'Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• GALEN (SR0831GR) - Images, modèles et algorithmes pour la médecine et les neurosciences
• GAMMA (SR0880VR) - Génération Adaptative de Maillage et Méthodes numériques Avancées
• GAMMA3 (SR0399RR) - Génération automatique de maillages et méthodes avancées
• GAMMAO (SR0939TR) - Génération Adaptative de Maillage et Méthodes numériques Avancées
• GECO (SR0457VR) - Geometric Control Design
• GECO (SR0577WR) - Geometric Control Design
• GEMO (SR0145VR) - Intégration de données et de connaissances distribuées sur le Web
• GEOMERIX (SR0930JR) - La Géometrie au Service du Numérique
• GEOMETRICA (SR0182KR) - Calcul géométrique
• GRACE (SR0511VR) - Geometry, arithmetic, algorithms, codes and encryption
• GRACE (SR0591TR) - Geometry, arithmetic, algorithms, codes and encryption
• GRAND-LARGE (SR0139FR) - Calcul parallèle et distribué à grande échelle
• H
• HIPERCOM (SR0071UR) - Communication hautes performances
• I
• IDEFIX (SR0909IR) - Solution d’ Equations Differentielles pour l’Imagerie et la physique
• ILDA (SR0681VR) - Interacting with Large Data
• ILDA (SR0760KR) - Interacting with Large Data
• IN-SITU (SR0133NR) - Interaction située
• INFINE (SR0647UR) - INFormation NEtworks
• INFINE (SR0762YR) - INFormation NEtworks
• L
• LEO (SR0414TR) - Données et connaissances hétérogènes et distribuées
• LIFEWARE (SR0691IR) - Computational systems biology and optimization
• LOGICAL (SR0248RR) - Logique et Calcul
• M
• M3DISIM (SR0564FR) - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
• M3DISIM (SR0746LR) - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
• MACS (SR0086CR) - Modélisation, analyse et contrôle pour le calcul des structures
• MATHEXP (SR0920CR) - Calcul formel, mathématiques expérimentales et interactions
• MAXPLUS (SR0138HR) - algèbres max-plus et mathématiques de la décision
• MAXPLUS (SR0676DR) - algèbres max-plus et mathématiques de la décision
• MERGE (SR0936YR) - Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence
• MEXICO (SR0358LR) - Modeling and Exploitation of Interaction and Concurrency
• MEXICO (SR0468FR) - Modeling and Exploitation of Interaction and Concurrency
• MIND (SR0921IR) - modèles et inférence pour les données de Neuroimagerie
• MUSCA (SR0895VR) - Dynamiques de populations multi-échelles pour des systèmes physiologiques
• O
• OAK (SR0517YR) - Optimizations and Architectures for Complex large data
• OAK (SR0576UR) - Database optimizations and architectures for complex large data
• OPIS (SR0876PR) - OPtimisation Imagerie et Santé
• P
• PARIETAL (SR0367NR) - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
• PARMA (SR0955YR) - Méthodes particulaires utilisant Monge-Ampère
• PARSIFAL (SR0140OR) - Recherche de preuve et raisonnement sur des spécifications logiques
• PARTOUT (SR0887MR) - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
• PETRUS (SR0773NR) - Personal Trusted cloud
• PETRUS (SR0793XR) - Cloud personnel sécurisé
• PETSCRAFT (SR0962IR) - Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
• PLATON (SR0899UR) - Quantification des Incertitudes en calcul scientifique pour l’ingénierie
• POEMS (SR0089RR) - Propagation des Ondes : Étude Mathématique et Simulation
• POEMS (SR0832GR) - Propagation des Ondes: Etude Mathématique et Simulation
• POEMS (SR0882NR) - Propagation des Ondes : Etude Mathématique et Simulation
• POPIX (SR0568CR) - Modélisation en pharmacologie de population
• POSTALE (SR0635BR) - Performance Optimization by Software Transformation and Algorithms & Librairies Enhancement
• PROVAL (SR0141OR) - Preuve de programmes
• PROVAL (SR0512LR) - Proof of Programs
• Q
• QUACS (SR0913XR) - Structures de calcul quantique
• QURIOSITY (SR0934SR) - Communication et Traitement Quantiques de l'Information
• R
• RANDOPT (SR0761SR) - Randomized Optimisation
• RANDOPT (SR0855ZR) - Optimisation par algorithmes stochastiques
• REGULARITY (SR0420NR) - Modélisation probabiliste de l'irrégularité et application à la gestion des incertitudes
• REGULARITY (SR0515MR) - Modélisation probabiliste de la régularité et application à la gestion des incertitudes
• S
• SECSI (SR0142GR) - Sécurité des systèmes d'information
• SECSI (SR0565JR) - Sécurité des systèmes d'information
• SELECT (SR0130LR) - Sélection de modèles en apprentissage statistique
• SELECT (SR0866IR) - Sélection de modèles en apprentissage statistique
• SIMBIOTX (SR0902IR) - SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires
• SMIS (SR0100IR) - Systèmes d'informations sécurisés et mobiles
• SODA (SR0918NR) - Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données
• SPECFUN (SR0538HR) - Symbolic Special Functions : Fast and Certified
• SPECFUN (SR0654LR) - Symbolic Special Functions : Fast and Certified
• T
• TANC (SR0144PR) - Théorie algorithmique des nombres pour la cryptologie
• TAO (SR0131HR) - thème Apprentissage et Optimisation
• TAU (SR0780IR) - IA : vers des problèmes mieux posés
• TOCCATA (SR0530HR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TOCCATA (SR0646IR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TRIBE (SR0872OR) - Pour un Internet non-conventionnel
• TROPICAL (SR0732TR) - TROPICAL
• TROPICAL (SR0844QR) - Méthodes tropicales: structures, algorithmes et interactions
• TYPICAL (SR0143IR) - Types, logique et calcul
• W
• WEBDAM (SR0648DR) -
• X
• XPOP (SR0795QR) - Modélisation statistique pour les sciences du vivant