BASTRI - Fiches Equipes

20 résultats

• C
• CAMUS (SR0870KR) - Compilation pour les Architectures MUlti-processeurs et multi-coeurS
• CAPSID (SR0709ER) - Computational Algorithms for Protein Structures and Interactions
• CARAMBA (SR0755YR) - Cryptology, arithmetic : algebraic methods for better algorithms
• COAST (SR0708YR) - Web Scale Trustworthy Collaborative Service Systems
• G
• GAMBLE (SR0791BR) - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
• L
• LARSEN (SR0803ZR) - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
• M
• MACARON (SR0959TR) - Apprentissage automatique pour des méthodes numériques optimisées
• MFX (SR0835ZR) - Informatique graphique pour la fabrication numérique
• MIMESIS (SR0711RR) - Simulation médicale guidée par les données
• MOCQUA (SR0828JR) - Modèles de calcul émergents
• MULTISPEECH (SR0707BR) - La parole multimodale en interaction
• P
• PASTA (SR0900AR) - Processus Aléatoires Spatio-Temporels et Applications
• PESTO (SR0758TR) - Techniques de Preuves pour les Protocoles de Sécurité
• PIXEL (SR0892UR) - Structurer des formes géométriques
• R
• RESIST (SR0827CR) - Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques
• S
• SEMAGRAMME (SR0590XR) - Analyse Sémantique de la Langue
• SIMBA (SR0956AR) - Inférence Statistique et Modélisation pour les Applications Biologiques
• SPHINX (SR0742ER) - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• T
• TANGRAM (SR0898KR) - Recalage visuel avec des modèles physiquement réalistes
• V
• VERIDIS (SR0524TR) - Modeling and Verification of Distributed Algorithms and Systems