BASTRI - Fiches Equipes

31 résultats

• C
• CAPSULE (SR0935UR) - Cryptographie Appliquée et Sécurité des Implémentations
• CIDRE (SR0450UR) - Confidentialité, Intégrité, Disponibilité et Répartition
• D
• DEVINE (SR0953TR) - Vérification efficace pour des systèmes distribués fiables
• DIVERSE (SR0651GR) - Diversity-centric Software Engineering
• DYLISS (SR0589KR) - Dynamics, Logics and Inference for biological Systems and Sequences
• E
• EMPENN (SR0864QR) - Neuroimagerie: méthodes et applications
• EPICURE (SR0922AR) - Analyse sémantique et compilation pour la sécurité des environnements d'exécution
• ERMINE (SR0923GR) - Gestion et mesures des opérations et de l'économie des réseaux
• G
• GALLINETTE (SR0841VR) - Gallinette : vers une nouvelle génération d'assistant à la preuve
• GENSCALE (SR0562MR) - Scalable, Optimized and Parallel Algorithms for Genomics
• H
• HYBRID (SR0583IR) - 3D interaction with virtual environments using body and mind
• HYCOMES (SR0754QR) - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
• I
• I4S (SR0574KR) - Inférence Statistique pour la Surveillance et la Sécurité des Structures
• K
• KERDATA (SR0523GR) - Scalable Storage for Clouds and Beyond
• L
• LACODAM (SR0800DR) - Fouille de données collaborative à grande échelle
• LINKMEDIA (SR0653WR) - Creating and exploiting explicit links between multimedia fragments
• M
• MAGELLAN (SR0952DR) - Infrastructures Informatiques Fiables, Responsables, et Décentralisées
• MIMETIC (SR0592XR) - Analysis-Synthesis Approach for Virtual Human Simulation
• MINGUS (SR0847MR) - Schémas numériques géométriques multi-échelles
• O
• ODYSSEY (SR0916ER) - Océan Dynamique Observations Analyse
• P
• PACAP (SR0750NR) - Pushing Architecture and Compilation for Application Performance
• PIRAT (SR0958BR) - Protection de l’information et résistances aux attaques
• R
• RAINBOW (SR0842HR) - robotique interactive et référencée capteurs
• S
• SAIRPICO (SR0940OR) - Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie
• SIMSMART (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
• SIROCCO (SR0505NR) - Analysis representation, compression and communication of visual data
• STACK (SR0854HR) - Pile logicielle pour les infrastructures massivement géo distribuées
• SUSHI (SR0951JR) - Sécurité à l’interface logiciel/matériel
• T
• TARAN (SR0905HR) - Architectures matérielles spécialisées pour l’ère post loi-de-Moore
• V
• VIRTUS (SR0926VR) - Nous, virtuels
• W
• WIDE (SR0840XR) - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination