BASTRI - Fiches Equipes

140 résultats

• A
• ABS (SR0184DR) - Algorithmes et Biologie Structurale
• ACACIA (SR0194OR) - Acquisition des connaissances pour l'assistance à la conception par interaction entre agents
• ACENTAURI (SR0906XR) - • Intelligence artificielle et algorithmes efficaces pour la robotique autonome
• ACUMES (SR0665OR) - Analysis and Control of Unsteady Models for Engineering Sciences
• ACUMES (SR0748ER) - Analysis and Control of Unsteady Models for Engineering Sciences
• AID (SR0312VR) - Gestion des connaissances pour l'aide à la conception coopérative
• ANGUS (SR0973PR) - Modélisation et simulation numérique adaptatives pour des équations ayant des structures sous-jacentes
• AOSTE (SR0165VR) - modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
• APICS (SR0168IR) - Analyse et problèmes Inverses pour le Contrôle et le Signal
• ARIANA (SR0155IR) - problèmes inverses en observation de la Terre et cartographie
• AROBAS (SR0169QR) - Robotique Avancée et Systèmes Autonomes
• AROLAG (SR0501MR) - Advanced Image Understanding and Autonomous Systems
• AROMATH (SR0751VR) - Algebre geometrie Modelisation et Algorithmes
• ASCLEPIOS (SR0146RR) - Analyse et Simulation d'Images Biomédicales
• ATHENA (SR0410QR) - Imagerie computationnelle du système Nerveux Central
• ATHENA (SR0433MR) - Imagerie computationnelle du système Nerveux Central
• ATLANTIS (SR0889XR) - Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée
• ATLAS (SR0127VR) - Gestion des données complexes dans les systèmes distribués
• AXIS (SR0153FR) - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
• AYANA (SR0888FR) - Télédetection et IA embarqués pour le ”New Space”
• AYIN (SR0491MR) - Models of spatio-temporal structure for high-resolution image processing
• B
• BIOCORE (SR0444IR) - Biological control of artificial ecosystems
• BIOVISION (SR0719RR) - Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
• BIOVISION (SR0846CR) - Vision biologique : modèles intégratifs et systèmes d’aide à la vision pour les déficients visuels
• BOREAL (SR0924BR) - Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés
• C
• CAFE (SR0209ZR) - Calcul formel et équations
• CAIMAN (SR0210IR) - Calcul scientifique, modélisation et analyse numérique
• CALISTO (SR0897VR) - Approches stochastiques pour les écoulements complexes et l’environnement
• CAMIN (SR0721KR) - Control of Artificial Movement & Intuitive Neuroprosthesis
• CAMIN (SR0869PR) - Contrôle Artificiel de Mouvements et de Neuroprothèses Intuitives
• CASTOR (SR0527LR) - Control, Analysis and Simulations for TOkamak Research
• CASTOR (SR0650QR) - Contrôle du plAsma et de ses inSTabilités, Optimisation et Réduction de modèle
• CERTILAB (SR0328GR) - Spécifications formelles, certification de logiciel
• CHIR (SR0329IR) - Chirurgie, informatique et robotique
• CHORALE (SR0843HR) - Robots collaboratifs et hétérogènes interagissant dans des environnements vivants
• COATI (SR0552HR) - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
• COATI (SR0571JR) - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
• COFFEE (SR0472AR) - COmplex Flows For Energy and Environment
• COFFEE (SR0578RR) - COmplex Flows For Energy and Environment
• COMORE (SR0147TR) - Contrôle et modélisation de ressources renouvelables
• COMPO (SR0907HR) - Méthodes computationnelles pour la prise en charge thérapeutique en oncologie
• COPRIN (SR0180AR) - Contraintes, optimisation et résolution par intervalles
• CROAP (SR0225QR) - Conception et réalisation d'outils d'aide à la programmation
• CRONOS (SR0931XR) - Modélisation des résaux dynamiques cérébraux
• D
• DATASHAPE (SR0726XR) - Understanding the Shape of Data
• DATASHAPE (SR0792FR) - Comprendre la forme des données
• DEMAR (SR0148MR) - Déambulation et mouvement artificiel
• DIANA (SR0551DR) - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
• DIANA (SR0706LR) - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
• E
• ECUADOR (SR0600JR) - Transformations et outils informatiques pour le calcul scientifique
• EDELWEISS (SR0156YR) - Echanges, Documents, Extraction, Languages, Web, Ergonomie, Interactions, Semantique, Serveurs
• EPIDAURE (SR0231AR) - Imagerie et robotique médicale
• EPIONE (SR0816XR) - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
• EPIONE (SR0839UR) - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
• EVEREST (SR0178NR) - Environnements de vérification et sécurité du logiciel
• EVERGREEN (SR0957AR) - Observation de la terre et apprentissage machine pour les défis agro-environnementaux
• EVOLUTION (SR0452SR) - Embedded computer Vision sOLUTION
• F
• FACTAS (SR0805CR) - Analyse fonctionnelle pour la conception et l'analyse de systèmes
• FOCUS (SR0400XR) - Foundations of Component-based Ubiquitous Systems
• G
• GALAAD (SR0181IR) - Géométrie, algèbre, algorithmes
• GALAAD2 (SR0627AR) - Géométrie , Algèbre, Algorithmes
• GEOMETRICA (SR0182KR) - Calcul géométrique
• GRAPHDECO (SR0666YR) - GRAPHics and DEsign with hEterogeneous COntent
• GRAPHDECO (SR0705XR) - GRAPHics and DEsign with hEterogeneous COntent
• GRAPHIK (SR0432CR) - Représentation de connaissances et raisonnements à base de graphes
• GREENOWL (SR0971NR) - Valorisation des micro-organismes aquatiques pour les ressources renouvelables
• H
• HEPHAISTOS (SR0614JR) - HExapode, PHysiologie, AssISTance et Objets de Service
• HEPHAISTOS (SR0702SR) - HExapode, PHysiologie, AssISTance et Objets de Service
• I
• ICARE (SR0237ZR) - Instrumentation, commande et architecture des robots évolués
• INDES (SR0405QR) - Programmation diffuse et sécurisée
• INDES (SR0429HR) - Programmation diffuse et sécurisée
• IROKO (SR0967DR) - Sciences environnementales guidées par les données
• K
• KAIROS (SR0763KR) - Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
• L
• LAGADIC (SR0105PR) - Asservissement visuel en robotique, vision et animation
• LEMME (SR0246WR) - Logiciels et mathématiques
• LEMON (SR0615RR) - Littoral, Environnement : Méthodes et Outils Numériques
• LEMON (SR0853YR) - Littoral, Environnement, Modèles et Outils Numériques
• LOGNET (SR0351TR) - Réseaux Logiques : Réseaux de Recouvrement Autonomes et Ordinateurs Globaux et Pervasifs
• M
• MAASAI (SR0890WR) - Modèles et algorithmes pour l’intelligence artificielle
• MACBES (SR0942UR) - Modélisation et commande de systèmes biologiques et écologiques
• MAESTRO (SR0160OR) - modèles pour l'analyse des performances et le contrôle des réseaux
• MARELLE (SR0179HR) - Mathématiques, Raisonnement et Logiciel
• MARIANNE (SR0976WR) - Modèles et données pour l'argumentation computationnelle en langage naturel
• MASCOTTE (SR0162OR) - Méthodes algorithmiques, simulation, combinatoire et optimisation des télécommunications
• MATHNEURO (SR0722UR) - Mathématiques pour les Neurosciences
• MATHNEURO (SR0852YR) - Mathématiques pour les Neurosciences
• MCTAO (SR0498GR) - Mathématiques pour le Contrôle, le Transport et leurs Applications
• MCTAO (SR0567BR) - Mathématiques pour le Contrôle, le Transport et leurs Applications
• MEIJE (SR0251CR) - Parallélisme, Synchronisation et Temps-Réel
• MERE (SR0149WR) - Modélisation Et Ressources en Eau
• MIAOU (SR0253MR) - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
• MIMOSA (SR0167HR) - Migration et mobilité : sémantique et applications
• MIRHO (SR0360CR) - Systèmes à objets, types et prototypes : sémantique et validation
• MISTRAL (SR0254ZR) - Modélisation en Informatique et Systèmes de Télécommunication : Recherche et Applications Logicielles
• MODEMIC (SR0442XR) - Modélisation et Optimisation des Dynamiques des Ecosystèmes MICrobiens
• MODEMIC (SR0486QR) - Modélisation et Optimisation des Dynamiques des Ecosystèmes MICrobiens
• MORPHEME (SR0473OR) - Morphologie et Images
• MORPHEME (SR0587XR) - Morphologie et Images
• N
• NACHOS (SR0173VR) - Modélisation numérique et calcul intensif pour des problèmes d'évolution en domaines complexes et milieux hétérogènes
• NEO (SR0764ZR) - Network Engineering and Operations
• NEO (SR0809ZR) - Ingénierie et Opérations des Réseaux
• NEUROMATHCOMP (SR0260TR) - Neurosciences Mathématique et Computationnelle
• O
• OASIS (SR0159DR) - Objets actifs, sémantique, Internet et sécurité
• ODYSSEE (SR0150JR) - Vision algorithmique et biologique
• OLAS (SR0949SR) - Fondements opérationnels, logiques et algébriques des systèmes logiciels
• OMEGA (SR0264KR) - Méthodes numériques probabilistes
• OPALE (SR0174ER) - Optimisation et contrôle, algorithmiques numériques et intégration de systèmes complexes multidisciplinaires régis par des EDP
• ORION (SR0267ER) - Environnements de résolution de problèmes pour des systèmes autonomes
• P
• PASTIS (SR0272ER) - Analyse de scènes et traitement d'images symboliques
• PLANETE (SR0163WR) - Protocoles et applications pour l'Internet
• PREMEDICAL (SR0925LR) - Médecine de précision par intégration de données et inférence causale
• PRISME (SR0274ZR) - Géométrie, Algorithmes et Robotique
• PULSAR (SR0157WR) - système de perception. d'interprétation et d'apprentissage pour la reconnaissance d'activités
• PUMAS (SR0370RR) - Plasma, tUrbulence, Modélisation, Approximation et Simulation
• R
• REVES (SR0158LR) - Rendu et environnements virtuels sonorisés
• ROBOTVIS (SR0284ER) - Vision par ordinateur et robotique
• RODEO (SR0285UR) - Réseaux à haut débit, Réseaux ouverts
• S
• SAFIR (SR0287UR) - Systèmes algébriques formels pourl'industrie et la recherche
• SAGA (SR0288LR) - Systèmes Algébriques, Géométrie et Applications
• SCALE (SR0621RR) - Safe Composition of Autonomous applications with Large-SCALE Execution environment
• SCIPORT (SR0490MR) - Transformations et outils informatiques pour le calcul scientifique
• SINUS (SR0294LR) - Simulation Numérique dans les Sciences de l'Ingénieur
• SLOOP (SR0296TR) - Simulation, Langages à Objets et Parallélisme
• SMASH (SR0176SR) - Simulation, modélisation, analyse de systèmes hétérogènes
• SPLITS (SR0943QR) - Languages de Programmation Sécures et Outils pour la Sécurité
• STAMP (SR0883FR) - • Sûreté du logiciel et Preuves Mathématiques Formalisées
• STARS (SR0492SR) - Spatio-Temporal Activity Recognition Systems
• STARS (SR0541QR) - Reconnaissance d’Activités Spatio-Temporelles pour les interactions Sociales
• SYSDYS (SR0305RR) - Systèmes Dynamiques Stochastiques
• T
• TICK (SR0386RR) - Etude et implémentation des systèmes réactifs synchrones
• TITANE (SR0554CR) - Modélisation géométrique d'environnements 3D
• TITANE (SR0623ZR) - Modélisation géométrique d'environnements 3D
• TOSCA (SR0170XR) - Simuler et calibrer des modèles stochastiques
• TOSCA (SR0858UR) - Simuler et calibrer des modèles stochastiques
• TROPICS (SR0172FR) - Transformations et outils informatiques pour le calcul scientifique
• V
• VIRTUAL PLANTS (SR0152PR) - Modélisation de la morphogénèse des plantes à différentes échelles, des gènes aux phénotypes
• W
• WIMMICS (SR0500CR) - Web-Instrumented Man-Machine Interactions, Communities and Semantics
• WIMMICS (SR0588SR) - Web-Instrumented huMan-Machine Interactions, Communities and Semantics
• Z
• ZENITH (SR0441RR) - Gestion de données scientifiques
• ZENITH (SR0522AR) - Gestion de données scientifiques