BASTRI - Fiches Equipes

127 résultats

• A
• ACES (SR0110RR) - Informatique diffuse et systèmes embarqués
• ADEPT (SR0111BR) - Algorithmes pour des systèmes dynamiques sûrs
• ADP (SR0195QR) - Algorithmes distribués et protocoles
• AIDA (SR0196QR) - Modélisation et Apprentissage pour l'Interprétation de Données et l'Aide à la décision
• ALADIN (SR0198FR) - Algorithmes adaptés au calcul numérique intensif
• ALF (SR0316YR) - La loi d'Amdahl est pour toujours
• ALF (SR0460XR) - La loi d'Amdahl est pour toujours
• ANJA (SR0724ZR) - ANJA
• API (SR0202LR) - Architectures parallèle intégrées
• ARMOR (SR0204SR) - Architectures et modèles de réseaux
• ARTISHAU (SR0966HR) - Intelligence artificielle : sécurité, traçabilité et audit
• AS (SR0205ER) - Automatique et signal
• ASAP (SR0112HR) - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
• ASCOLA (SR0206QR) - Langages d'aspects et de composition
• ASPI (SR0123CR) - Applications statistiques des systèmes de particules en interaction
• ASPI (SR0768WR) - Applications statistiques des systèmes de particules en interaction
• ATLANMOD (SR0322AR) - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
• ATLANMOD (SR0566ZR) - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
• ATLANMODELS (SR0700UR) - Modeling Technologies for Software Production, Operation, and Evolution
• ATLAS (SR0127VR) - Gestion des données complexes dans les systèmes distribués
• B
• BUNRAKU (SR0109UR) - Perception, décision et action d'humains réels et virtuels au sein d'univers virtuels et l'impact sur le monde réel.
• C
• CAIRN (SR0211OR) - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
• CAPS (SR0120OR) - Compilation, architectures parallèles et système
• CAPSULE (SR0935UR) - Cryptographie Appliquée et Sécurité des Implémentations
• CELTIQUE (SR0327HR) - Certification de logiciel par analyse sémantique
• CIDRE (SR0450UR) - Confidentialité, Intégrité, Disponibilité et Répartition
• COMPACT (SR0964JR) - Compression de donn ́ees visuelles massives
• CORDIAL (SR0222HR) - Dialogue oral homme-machine
• COSI (SR0223HR) - Conception de systèmes sur silicium
• D
• DECENTRALISE (SR0658CR) - DECENTRALISE
• DEVINE (SR0953TR) - Vérification efficace pour des systèmes distribués fiables
• DIONYSOS (SR0228NR) - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
• DISTRIBCOM (SR0116KR) - Algorithmes itératifs et distribués pour la gestion de systèmes de télécommunications
• DIVERSE (SR0602BR) - DIVERsity-centric Software Engineering
• DIVERSE (SR0651GR) - Diversity-centric Software Engineering
• DREAM (SR0104HR) - Diagnostic, recommandation d'actions et modélisation
• DYLISS (SR0506PR) - Dynamics, Logics and Inference for biological Systems and Sequences
• DYLISS (SR0589KR) - Dynamics, Logics and Inference for biological Systems and Sequences
• E
• EASE (SR0811AR) - Enabling Affordable Smarter Environment
• EASE (SR0867KR) - Solutions pour des environnements intelligents abordables
• EMPENN (SR0864QR) - Neuroimagerie: méthodes et applications
• EPATR (SR0230QR) - Environnement de programmation d'applications temps réel
• 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
• ESPRESSO (SR0117GR) - Environnement de spécification de programmes réactifs synchrones
• ESPRESSO (SR0546RR) - Environnement de spécification de programmes réactifs synchrones
• ESTASYS (SR0610ER) - Efficient STAtistical methods in SYstems of systems
• F
• FLUMINANCE (SR0339TR) - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
• G
• GALLINETTE (SR0785LR) - GALLINETTE
• GALLINETTE (SR0841VR) - Gallinette : vers une nouvelle génération d'assistant à la preuve
• GENSCALE (SR0507LR) - Scalable, Optimized and Parallel Algorithms for Genomics
• GENSCALE (SR0562MR) - Scalable, Optimized and Parallel Algorithms for Genomics
• H
• HYBRID (SR0543WR) - 3D interaction with virtual environments using body and mind
• HYBRID (SR0583IR) - 3D interaction with virtual environments using body and mind
• HYCOMES (SR0581SR) - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
• HYCOMES (SR0754QR) - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
• I
• I4S (SR0344VR) - Inférence Statistique pour la Surveillance et la Sécurité des Structures
• I4S (SR0574KR) - Inférence pour les InfraStructures Intelligentes et Instrumentées
• IHE-DEVELOPMENT (SR0240VR) - Développement d'outil de test d'interopérabilité pour IHE (Integration the Healthcare Enterprise)
• IPSO (SR0125NR) - Méthodes numériques préservant les invariants
• K
• KERDATA (SR0346XR) - Gestion de données distribuées à très grande échelle pour les grilles et les clouds
• KERDATA (SR0523GR) - Scalable Storage for Clouds and Beyond
• L
• LACODAM (SR0723YR) - Large Scale Collaborative Data Mining
• LACODAM (SR0800DR) - Fouille de données collaborative à grande échelle
• LAGADIC (SR0105PR) - Asservissement visuel en robotique, vision et animation
• LANDE (SR0126ZR) - Conception et validation de logiciels
• LINKMEDIA (SR0653WR) - Creating and exploiting explicit links between multimedia fragments
• M
• MAGELLAN (SR0952DR) - Infrastructures Informatiques Fiables, Responsables, et Décentralisées
• METISS (SR0108ER) - Modélisation et expérimentation pour le traitement des informations et des signaux sonores
• MIMETIC (SR0455VR) - Analysis-Synthesis Approach for Virtual Human Simulation
• MIMETIC (SR0592XR) - Analysis-Synthesis Approach for Virtual Human Simulation
• MINGUS (SR0813MR) - Multi-scale numerical geometric schemes
• MINGUS (SR0847MR) - Schémas numériques géométriques multi-échelles
• MODEL (SR0256TR) - Modélisation de systèmes aléatoires
• MYRIADS (SR0417PR) - Conception et mise en oeuvre de systèmes distribués autonomes
• MYRIADS (SR0503GR) - Conception et mise en oeuvre de systèmes distribués autonomes
• O
• OBASCO (SR0114OR) - Objets, aspects et composants
• ODYSSEY (SR0916ER) - Océan Dynamique Observations Analyse
• P
• PACAP (SR0750NR) - Pushing Architecture and Compilation for Application Performance
• PAMPA (SR0269NR) - modèles et outils pour la programmation des architectures parallèles réparties
• PANAMA (SR0561SR) - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
• PARAGRAPHE (SR0271GR) - Parallélisme et graphes
• PARIS (SR0121IR) - Programmation des systèmes parallèles et distribués pour la simulation numérique à grande échelle
• PIRAT (SR0958BR) - Protection de l’information et résistances aux attaques
• R
• R2D2 (SR0371JR) - Exploration, estimation, prototypage pour la conception de systèmes matériels sur des plates-formes sur silicium reconfigurable
• RAINBOW (SR0814ZR) - Sensor-based and interactive robotics
• RAINBOW (SR0842HR) - robotique interactive et référencée capteurs
• REPCO (SR0282FR) - Représentation des connaissances
• S
• S4 (SR0118ZR) - Synthèse et supervision de systèmes, scénarios
• S4 (SR0547JR) - Synthèse et supervision de systèmes, scénarios
• SAGE (SR0122IR) - Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement
• SAIRPICO (SR0940OR) - Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie
• SEAMLESS (SR0969GR) - Interaction et collaboration fluides à travers le continuum réalité-virtualité
• SERPICO (SR0423LR) - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
• SERPICO (SR0582UR) - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
• SIAMES (SR0292KR) - Synthèse d'images, animation, modélisation et simulation
• SIGMA2 (SR0293GR) - Signaux, modèles, algorithmes
• SIMSMART (SR0812CR) - SIMulation pARTiculaire de Modèles Stochastiques
• SIMSMART (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
• SIROCCO (SR0505NR) - Analysis representation, compression and communication of visual data
• SISTHEM (SR0124PR) - Inférence statistique pour la surveillance d'intégrité de structures
• SOLIDOR (SR0297ZR) - Construction de systèmes et d'applications distribués
• STACK (SR0802PR) - Software Stack for Massively Geo-Distributed Infrastructures
• STACK (SR0854HR) - Pile logicielle pour les infrastructures massivement géo distribuées
• SUMO (SR0559VR) - SUpervision of large MOdular and distributed systems
• SUMO (SR0671YR) - SUpervision of large MOdular and distributed systems
• SUSHI (SR0951JR) - Sécurité à l’interface logiciel/matériel
• SYMBIOSE (SR0102MR) - Systèmes et modèles biologiques, bioinformatique et séquences
• T
• TACOMA (SR0609DR) - TAngible COMputing Architectures
• TAMIS (SR0725XR) - Threat Analysis and Mitigation for Information Security
• TAMIS (SR0825UR) - Analyse de la menace et atténuation pour la sécurité des informations
• TARAN (SR0905HR) - Architectures matérielles spécialisées pour l’ère post loi-de-Moore
• TASC (SR0447MR) - Theory, Algorithms and Systems for Constraints
• TEA (SR0622BR) - Time, Events and Architectures
• TEA (SR0677JR) - Time, Events and Architectures
• TEMICS (SR0106ZR) - Traitement, modélisation et communication d'images numériques
• TEMIS (SR0307JR) - Traitement, exploitation et modélisation d'images séquentielles
• TEXMEX (SR0128GR) - Techniques d'exploitation des données multimédia
• TRISKELL (SR0115YR) - Construction fiable et efficace d'applications par assemblage de composants logiciels
• V
• VERTECS (SR0119XR) - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
• VIRTUS (SR0926VR) - Nous, virtuels
• VISAGES (SR0103YR) - Vision, Action et Gestion d'informations en Santé
• VISTA (SR0107ZR) - Vision spatio-temporelle et active
• VISTAS (SR0389CR) - VIsion Spatio-Temporelle et Apprentissage
• VR4I (SR0454TR) - Virtual Reality for Improved Innovative Immersive Interaction
• W
• WIDE (SR0815NR) - the World Is Distributed Exploring the tension between scale and coordination
• WIDE (SR0840XR) - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination