BASTRI - Fiches Equipes

163 résultats

• A
• ABSTRACTION (SR0091IR) - Interprétation abstraite et analyse statique
• ADOPT (SR0311LR) - Optimisation discrète et analyse exploratrice de données
• AIO (SR0919VR) - Mise en réseau fiable, sans fil à faible consommation et micro-robotique
• AIR (SR0197IR) - Traitement d'image et données satellites dynamiques
• AIR2 (SR0313BR) - Traitement d'image et donnees satellites dynamiques (action)
• ALGO (SR0199VR) - Algorithmes
• ALGORITHMS (SR0094PR) - Algorithmes
• ALMANACH (SR0776AR) - Modélisation et analyse linguistique automatique et humanités computationnelles
• ALPAGE (SR0098OR) - Analyse linguistique profonde à grande échelle
• ALPINES (SR0544DR) - Algorithms and parallel tools for integrated numerical simulations
• ALPINES (SR0649HR) - Algorithms and parallel tools for integrated numerical simulations
• ANGE (SR0534MR) - Analyse Numérique, Géophysique et Ecologie
• ANGE (SR0631GR) - Analyse Numérique, Géophysique et Environnement
• ANTIQUE (SR0605CR) - Analyse Statique par Interprétation Abstraite
• ANTIQUE (SR0695XR) - Analyse Statique par Interprétation Abstraite
• AOSTE (SR0165VR) - modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
• AOSTE2 (SR0779DR) - Models and methods of analysis and optimization for systems with real-time and embedded contraints
• ARAMIS (SR0532BR) - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
• 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
• ARLES (SR0067CR) - Architectures logicielles et systèmes distribués
• ARLES2 (SR0636PR) - Architectures Logicielles et systèmes distribués
• ASTRA (SR0927ZR) - Systèmes de transport automatisés et sécurisés
• ATGC (SR0321WR) - Action transversale génome et calcul
• ATOLL (SR0207CR) - Atelier d'outils logiciels pour le langage naturel
• AXIS (SR0153FR) - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
• B
• BANG (SR0082DR) - Analyse numérique de modèles non linéaires pour la Bio et Géophysique
• C
• CAGE (SR0790ZR) - Control And GEometry
• CAGE (SR0848TR) - Contrôle et géométrie
• CAMBIUM (SR0881NR) - Langages de programmation : systèmes de types, concurrence, preuve de programme
• CARAVEL (SR0212SR) - Systèmes de médiation d'information
• CASCADE (SR0095XR) - Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées
• CHARME (SR0214VR) - Compilation
• CLASSIC (SR0398HR) - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
• CLASSIC (SR0430WR) - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
• CLIME (SR0078YR) - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
• CLIME2 (SR0770HR) - Couplage de la donnée environnementale et des données de simulation numérique pour une intégration logicielle
• CLOREC (SR0215ZR) - Classification automatique et reconnaissance des formes
• CODES (SR0216RR) - Codes et cryptographie
• COML (SR0786HR) - Apprentissage machine cognitif
• COMMEDIA (SR0877NR) - Mathématiques et calcul scientifique pour les applications bio-médicales
• COMPLEX (SR0330ZR) - Evolution Artificielle et Fractales
• CONTRAINTES (SR0092GR) - Programmation par contraintes
• COQ (SR0221NR) - Spécifications et preuves de programmes
• COSIVIE (SR0331TR) - COuplage de modèles pour la SImulation numérique pour des problématiques enVIronnementalEs
• COSMIQ (SR0886CR) - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
• CRISTAL (SR0224GR) - Programmation typée, modularité et compilation
• D
• DELYS (SR0818MR) - Algorithmes pour systèmes distribués
• DELYS (SR0865UR) - Algorithmes et systèmes distribués
• DYOGEN (SR0563GR) - Dynamics of Geometric Networks
• DYOGENE (SR0586FR) - Dynamics of Geometric Networks
• E
• EIFFEL (SR0229NR) - Cognition et coopération en conception
• EIFFEL2 (SR0335CR) - Cognition et coopération en conception
• EPIMETHEE (SR0946HR) - Approches expérimentales et numériques pour explorer le cerveau des insectes
• ESTIME (SR0084OR) - Estimation de paramètres et modélisation en milieu hétérogène
• EVA (SR0694LR) - Wireless Networking for Evolving & Adaptive Applications
• EVA (SR0741KR) - Réseaux sans fil pour applications adaptatives et susceptibles d'évoluer
• F
• FRACTALES (SR0233AR) - Fractales, modèles complexes et évolution artificielle
• G
• GALLIUM (SR0093AR) - Langages de programmation, types, compilation et preuves
• GAMMA (SR0085IR) - Génération automatique de maillages et méthodes d'adaptation
• GANG (SR0070SR) - Réseaux, graphes et algorithmes
• GYROWEB (SR0342KR) - Graphes dynamiques et graphe du web
• H
• HEKA (SR0912NR) - Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances
• HIPERCOM (SR0071UR) - Communication hautes performances
• HIPERCOM2 (SR0545VR) - High PERformance COMmunications
• I
• IDENT (SR0238YR) - Estimation de paramètres et applications industrielles
• IMARA (SR0076NR) - Informatique, Mathématiques et Automatique pour la Route Automatisée
• IMEDIA (SR0065MR) - Images et multimédia : indexation, navigation et recherche
• IMEDIA2 (SR0480PR) - Images et multimédia : indexation, navigation et recherche
• INBIO (SR0884MR) - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
• IPV6 (SR0345HR) - IPv6 - RSVP - ATM
• K
• KOPERNIC (SR0845AR) - Adapter le raisonnement pire cas à différentes criticités
• L
• LIFEWARE (SR0626YR) - Computational systems biology and optimization
• LOCO (SR0247OR) - Programmation en LOgique avec COntraintes
• M
• M3N (SR0249HR) - Multi-modèles et Méthodes Numériques
• MADE (SR0353BR) - Environnement de développement d'applications multimédia
• MAMBA (SR0604MR) - Modelling and Analysis for Medical and Biological Applications
• MAMBA (SR0693OR) - Modelling and Analysis for Medical and Biological Applications
• MATHERIALS (SR0625SR) - MATHematics for MatERIALS
• MATHERIALS (SR0696JR) - MATHematics for MatERIALS
• MATHFI (SR0080FR) - Mathématiques financières
• MATHRISK (SR0481TR) - Mathematical Risk handling
• MATHRISK (SR0540WR) - Mathematical Risk handling
• META2 (SR0252MR) - Méta-automatique et méthodes de l'automatique
• METALAU (SR0077VR) - Méthodes, algorithmes et logiciels pour l'automatique
• MEVAL (SR0357QR) - Modélisation et évaluation des Systèmes Informatiques
• MICMAC (SR0087CR) - Méthodes et ingénierie du calcul multi-échelle de l'atome au continuum
• MIMOVE (SR0644CR) - Middleware on the Move
• MIMOVE (SR0829ZR) - Middleware on the Move
• MIRAGES (SR0359RR) - Manipulation d'images pour la réalité augmentée et la génération d'effets spéciaux
• MOCOA (SR0361AR) - Méthodes de l'Optimisation, de la Commande Optimale et Applications
• MODULEF (SR0257JR) - Méthodes et outils pour le calcul scientifique
• MOKAPLAN (SR0553HR) - Méthodes numériques pour le problème de Monge-Kantorovich et Applications en sciences sociales
• MOKAPLAN (SR0716ER) - Avancées en calcul numérique des variations
• MOSCOVA (SR0075PR) - Mobilité, sécurité, concurrence, vérification et analyse
• MOSTRA (SR0258KR) - Modélisation de matériaux nouveaux et structures adaptatives
• MUSCLEES (SR0961CR) - Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes
• MUSE (SR0599HR) - Measuring networks for enhancing USer Experience
• MUTANT (SR0489FR) - Synchronous Realtime Processing and Programming of Music Signals
• MUTANT (SR0573LR) - Synchronous Realtime Processing and Programming of Music Signals
• MYCENAE (SR0596UR) - Multiscale dYnamiCs in neuroENdocrine AxEs
• N
• NERV (SR0948QR) - Neuroingénierie des systèmes pour modéliser et interfacer les réseaux cérébraux
• NETQUEST (SR0363OR) - Network Query Processing
• NOVALTIS (SR0364BR) - NOVel ALgorithms and VALidation Techniques for TIme-critical and high Integrity Systems
• O
• ODYSSEE (SR0150JR) - Vision algorithmique et biologique
• ONDES (SR0265QR) - Modélisation et simulation de phénomènes de propagation d'ondes
• OSCAR (SR0268VR) - Outils syntaxiques pour la construction et l'analyse de programmes
• OSTRE (SR0365BR) - Optimisation des systèmes distribués temps réel embarqués
• OTTO (SR0366LR) - Optique, transport et trajectoires optimales
• OURAGAN (SR0482BR) - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
• OURAGAN (SR0875NR) - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
• P
• PARA (SR0270OR) - Parallélisme
• PARKAS (SR0446CR) - Parallélisme de Kahn Synchrone
• PARKAS (SR0521SR) - Parallélisme de Kahn Synchrone
• PI.R2 (SR0368UR) - Conception, étude et implémentation de langages pour les preuves et les programmes
• PI.R2 (SR0419MR) - Conception, étude et implémentation de langages pour les preuves et les programmes
• PICUBE (SR0932BR) - Les assistants à la démonstration au cœur du raisonnement mathématique
• POLSYS (SR0488ZR) - Polynomial Systems
• POLSYS (SR0536SR) - Polynomial Systems
• POMDAPI (SR0487KR) - Modélisation pour l'environnement, optimisation et modèles de programmation
• POMDAPI2 (SR0667YR) - Modélisation pour l'environnement, optimisation et modèles de programmation
• PREVAL (SR0369ER) - Probabilités, modélisation et évaluation de systèmes
• PROLO (SR0275RR) - Programmation en logique
• PROMATH (SR0276LR) - Programmation mathématique
• PROSECCO (SR0502AR) - Programming securely with cryptography
• PROSECCO (SR0526LR) - Programming securely with cryptography
• PSYCHO ERGO (SR0278KR) - Psychologie ergonomique pour l'informatique
• Q
• QUANTIC (SR0597UR) - QUANTum Information Circuits
• QUANTIC (SR0692YR) - QUANTum Information Circuits
• R
• RAP (SR0073SR) - Réseaux, algorithmes et probabilités
• RAP2 (SR0771HR) - Réseaux, algorithmes et probabilités
• REFLECS (SR0280BR) - Génie système et informatique distribuée temps réel tolérant les fautes
• REGAL (SR0068LR) - Répartition et gestion d'applications à large échelle
• REO (SR0062XR) - Simulation numérique d'écoulements biologiques
• REO (SR0859AR) - Simulation numérique d'écoulements biologiques
• RITS (SR0630YR) - Robotics & Intelligent Transportation Systems
• RITS (SR0698YR) - Robotics & Intelligent Transportation Systems
• RODIN (SR0286AR) - Systèmes de bases de données
• S
• SALSA (SR0096PR) - Résolution de systèmes algébriques et Applications
• SAMIE (SR0375MR) - Schémas Abstraits pour la Modélisation des Intranets
• SCILAB (SR0289HR) - Equipe opérationnelle du consortium Scilab
• SECRET (SR0097JR) - Sécurité, Cryptologie et Transmissions
• SERENA (SR0701KR) - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• SERENA (SR0784ZR) - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• SIERRA (SR0438MR) - Apprentissage Statistique et Parcimonie
• SIERRA (SR0463RR) - Apprentissage Statistique et Parcimonie
• SISYPHE (SR0064WR) - SIgnaux et systèmes en PHysiologie et ingénieriE
• SODAS (SR0378FR) - Structures de classification ordonnées et discrimination : algorithmes et simulations
• SOR (SR0298AR) - Systèmes Objets Répartis
• SOSSO (SR0299ER) - Applications et outils de l'automatique
• SOSSO2 (SR0380MR) - Applications et outils de l'automatique
• SYDOCO (SR0303UR) - Systèmes dynamiques et commande optimale
• SYNTIM (SR0304PR) - Analyse et synthèse d'images
• SYSTOL (SR0306LR) - Modélisation statistique et applications biomédicales
• T
• TAPDANCE (SR0753HR) - Theory and Practice of Nanoscale Computing Engines
• TRANSREP (SR0387XR) - Transactionnel réparti
• TREC (SR0074FR) - Théorie des réseaux et communications
• V
• VALDA (SR0765JR) - Value from Data
• VALDA (SR0824OR) - Valeur à partir des données
• VERSO (SR0309YR) - Bases de Données
• W
• WHISPER (SR0645SR) - Well Honed Infrastructure Software for Programming Environments and Runtimes
• WHISPER (SR0720UR) - Well Honed Infrastructure Software for Programming Environments and Runtimes
• WILLOW (SR0066IR) - Vision par ordinateur incarnée