BASTRI - Fiches Equipes

34 résultats

• A
• AIO (SR0919VR) - Mise en réseau fiable, sans fil à faible consommation et micro-robotique
• ALMANACH (SR0776AR) - Modélisation et analyse linguistique automatique et humanités computationnelles
• ALPINES (SR0649HR) - Algorithms and parallel tools for integrated numerical simulations
• ANGE (SR0631GR) - Analyse Numérique, Géophysique et Environnement
• ANTIQUE (SR0695XR) - Analyse Statique par Interprétation Abstraite
• ARAMIS (SR0642TR) - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
• ARGO (SR0947DR) - Apprentissage, graphes et optimisation distribuée
• ASTRA (SR0927ZR) - Systèmes de transport automatisés et sécurisés
• C
• CAGE (SR0848TR) - Contrôle et géométrie
• CAMBIUM (SR0881NR) - Langages de programmation : systèmes de types, concurrence, preuve de programme
• CASCADE (SR0095XR) - Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées
• COMMEDIA (SR0877NR) - Mathématiques et calcul scientifique pour les applications bio-médicales
• COSMIQ (SR0886CR) - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
• D
• DYOGENE (SR0586FR) - Dynamics of Geometric Networks
• E
• EPIMETHEE (SR0946HR) - Approches expérimentales et numériques pour explorer le cerveau des insectes
• H
• HEKA (SR0912NR) - Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances
• I
• INBIO (SR0884MR) - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
• K
• KOPERNIC (SR0845AR) - Adapter le raisonnement pire cas à différentes criticités
• M
• MAMBA (SR0693OR) - Modelling and Analysis for Medical and Biological Applications
• MATHERIALS (SR0696JR) - MATHematics for MatERIALS
• MATHRISK (SR0540WR) - Mathematical Risk handling
• MIMOVE (SR0829ZR) - Middleware on the Move
• MOKAPLAN (SR0716ER) - Avancées en calcul numérique des variations
• N
• NERV (SR0948QR) - Neuroingénierie des systèmes pour modéliser et interfacer les réseaux cérébraux
• O
• OURAGAN (SR0875NR) - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
• P
• PARKAS (SR0521SR) - Parallélisme de Kahn Synchrone
• PICUBE (SR0932BR) - Les assistants à la démonstration au cœur du raisonnement mathématique
• PROSECCO (SR0526LR) - Programming securely with cryptography
• Q
• QUANTIC (SR0692YR) - QUANTum Information Circuits
• S
• SERENA (SR0784ZR) - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• SIERRA (SR0463RR) - Apprentissage Statistique et Parcimonie
• V
• VALDA (SR0824OR) - Valeur à partir des données
• W
• WHISPER (SR0720UR) - Well Honed Infrastructure Software for Programming Environments and Runtimes
• WILLOW (SR0066IR) - Vision par ordinateur incarnée