BASTRI - Fiches Equipes

235 résultats

• A
• ABS (SR0184DR) - Algorithmes et Biologie Structurale
• ACENTAURI (SR0906XR) - • Intelligence artificielle et algorithmes efficaces pour la robotique autonome
• ACUMES (SR0748ER) - Analysis and Control of Unsteady Models for Engineering Sciences
• AGORA (SR0836XR) - AlGorithmes et Optimisation pour Réseaux Autonomes
• AIO (SR0919VR) - Mise en réseau fiable, sans fil à faible consommation et micro-robotique
• AIRSEA (SR0738DR) - Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques
• AISTROSIGHT (SR0933ZR) - La pharmacologie des neurones et des astrocytes à l’aide des sciences du numérique
• ALMANACH (SR0776AR) - Modélisation et analyse linguistique automatique et humanités computationnelles
• ALPINES (SR0649HR) - Algorithms and parallel tools for integrated numerical simulations
• ANGE (SR0631GR) - Analyse Numérique, Géophysique et Environnement
• ANIMA (SR0894DR) - Création et mise en scène des univers narratifs animés
• ANTIQUE (SR0695XR) - Analyse Statique par Interprétation Abstraite
• 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
• ARIC (SR0539JR) - Arithmétiques des ordinateurs, méthodes formelles, génération de code
• AROMATH (SR0751VR) - Algebre geometrie Modelisation et Algorithmes
• ASCII (SR0885KR) - Analyse d’interactions stochastiques intelligentes et coopératives
• ASTRA (SR0927ZR) - Systèmes de transport automatisés et sécurisés
• ASTRAL (SR0901AR) - Méthodes avancées d’apprentissage statistique et de contrôle
• ATLANTIS (SR0889XR) - Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée
• AUCTUS (SR0782ER) - Des robots au service de l'humain au travail
• AVALON (SR0657BR) - Algorithms and Software Architectures for Distributed and HPC Platforms
• AVIZ (SR0132LR) - Analyse et visualisation
• AYANA (SR0888FR) - Télédetection et IA embarqués pour le ”New Space”
• B
• BEAGLE (SR0569CR) - Artificial Evolution and Computational Biology
• BENAGIL (SR0945LR) - Systèmes répartis performants et sûrs
• BIOCORE (SR0444IR) - Biological control of artificial ecosystems
• BIOVISION (SR0846CR) - Vision biologique : modèles intégratifs et systèmes d’aide à la vision pour les déficients visuels
• BIVWAC (SR0954OR) - Construire des visualisations immersives pour favoriser la compréhension, la prise de conscience, et le bien-être
• BONUS (SR0878GR) - Optimisation de grande taille et calcul large échelle
• BOREAL (SR0924BR) - Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés
• C
• CAGE (SR0848TR) - Contrôle et géométrie
• CAGIRE (SR0740WR) - Computational AGility for internal flows sImulations and compaRisons with Experiments
• CALISTO (SR0897VR) - Approches stochastiques pour les écoulements complexes et l’environnement
• CAMBIUM (SR0881NR) - Langages de programmation : systèmes de types, concurrence, preuve de programme
• CAMIN (SR0869PR) - Contrôle Artificiel de Mouvements et de Neuroprothèses Intuitives
• CAMUS (SR0870KR) - Compilation pour les Architectures MUlti-processeurs et multi-coeurS
• CANARI (SR0944PR) - Analyse cryptographique et arithmétique
• CAPSID (SR0709ER) - Computational Algorithms for Protein Structures and Interactions
• CAPSULE (SR0935UR) - Cryptographie Appliquée et Sécurité des Implémentations
• CARAMBA (SR0755YR) - Cryptology, arithmetic : algebraic methods for better algorithms
• CARDAMOM (SR0749YR) - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
• CARMEN (SR0745TR) - Modélisation et calculs pour l'électrophysiologie cardiaque
• CASCADE (SR0095XR) - Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées
• CASH (SR0874DR) - Compilation et Analyse, Logiciel et Matériel
• CASTOR (SR0650QR) - Control, Analysis and Simulations for TOkamak Research
• CEDAR (SR0837TR) - Analyse et traitement de données complexes à grande échelle
• CELESTE (SR0873YR) - statistique mathématique et apprentissage
• CHROMA (SR0804WR) - Robots coopératifs et adaptés à la présence humaine en environnements
• CIDRE (SR0450UR) - Confidentialité, Intégrité, Disponibilité et Répartition
• COAST (SR0708YR) - Web Scale Trustworthy Collaborative Service Systems
• COATI (SR0571JR) - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
• COMETE (SR0134KR) - Vie privée, équité et robustesse dans la gestion de l'information
• COMMEDIA (SR0877NR) - Mathématiques et calcul scientifique pour les applications bio-médicales
• COMPO (SR0907HR) - Méthodes computationnelles pour la prise en charge thérapeutique en oncologie
• CONCACE (SR0928OR) - COmposabilité Numerique and parallèle pour le CAlcul haute performanCE
• CONVECS (SR0619CR) - Construction de systèmes concurrents vérifiés
• CORSE (SR0744PR) - Compiler Optimization and Run-time SystEms
• COSMIQ (SR0886CR) - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
• CRONOS (SR0931XR) - Modélisation des résaux dynamiques cérébraux
• CTRL-A (SR0789GR) - Commande pour systèmes informatiques autonomiques
• D
• DANCE (SR0904ZR) - Dynamique et contrôle des réseaux
• DATAMOVE (SR0799BR) - Mouvements de données pour le calcul haute performance
• DATASHAPE (SR0792FR) - Comprendre la forme des données
• DEDUCTEAM (SR0774GR) - DEDUCTEAM
• DEFROST (SR0798HR) - Logiciels pour robots déformables
• DEVINE (SR0953TR) - Vérification efficace pour des systèmes distribués fiables
• DIANA (SR0706LR) - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
• DISCO (SR0520MR) - Systèmes dynamiques interconnectés dans des environnements complexes
• DIVERSE (SR0651GR) - Diversity-centric Software Engineering
• DRACULA (SR0437HR) - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
• DYLISS (SR0589KR) - Dynamics, Logics and Inference for biological Systems and Sequences
• DYOGENE (SR0586FR) - Dynamics of Geometric Networks
• E
• ECUADOR (SR0600JR) - Transformations et outils informatiques pour le calcul scientifique
• EDGE (SR0914KR) - Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation
• ELAN (SR0797KR) - modELisation de l'Apparence des phénomènes Non-linéaires
• EMERAUDE (SR0915GR) - Systèmes Embarqués audio programmables
• EMPENN (SR0864QR) - Neuroimagerie: méthodes et applications
• EPICURE (SR0922AR) - Analyse sémantique et compilation pour la sécurité des environnements d'exécution
• EPIMETHEE (SR0946HR) - Approches expérimentales et numériques pour explorer le cerveau des insectes
• EPIONE (SR0839UR) - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
• ERABLE (SR0704DR) - Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
• ERMINE (SR0923GR) - Gestion et mesures des opérations et de l'économie des réseaux
• EVERGREEN (SR0957AR) - Observation de la terre et apprentissage machine pour les défis agro-environnementaux
• EVREF (SR0941IR) - Évolution réflexive des systèmes logiciels éternels
• EX-SITU (SR0787TR) - Interaction Située Extrême
• F
• FACTAS (SR0805CR) - Analyse fonctionnelle pour la conception et l'analyse de systèmes
• FAIRPLAY (SR0917SR) - IA coopérative : équité, vie privée, incitations
• FLOWERS (SR0459GR) - Interactions, exploration et apprentissage en robotique développementale et sociale
• FUN (SR0585PR) - self-organizing Future Ubiquitous Network
• G
• GALLINETTE (SR0841VR) - Gallinette : vers une nouvelle génération d'assistant à la preuve
• GAMBLE (SR0791BR) - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
• GAMMAO (SR0939TR) - Génération Adaptative de Maillage et Méthodes numériques Avancées
• GENSCALE (SR0562MR) - Scalable, Optimized and Parallel Algorithms for Genomics
• GEOMERIX (SR0930JR) - La Géometrie au Service du Numérique
• GEOSTAT (SR0456DR) - Géométrie et statistiques dans les données d'acquisition
• GRACE (SR0591TR) - Geometry, arithmetic, algorithms, codes and encryption
• GRAPHDECO (SR0705XR) - GRAPHics and DEsign with hEterogeneous COntent
• H
• HEKA (SR0912NR) - Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances
• HEPHAISTOS (SR0702SR) - HExapode, PHysiologie, AssISTance et Objets de Service
• 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
• IDEFIX (SR0909IR) - Solution d’ Equations Differentielles pour l’Imagerie et la physique
• ILDA (SR0760KR) - Interacting with Large Data
• INBIO (SR0884MR) - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
• INOCS (SR0834NR) - Optimisation intégrée pour problèmes à structure complexe
• K
• KAIROS (SR0763KR) - Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
• KERDATA (SR0523GR) - Scalable Storage for Clouds and Beyond
• KOPERNIC (SR0845AR) - Adapter le raisonnement pire cas à différentes criticités
• L
• LACODAM (SR0800DR) - Fouille de données collaborative à grande échelle
• LARSEN (SR0803ZR) - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
• LEMON (SR0853YR) - Littoral, Environnement, Modèles et Outils Numériques
• LIFEWARE (SR0691IR) - Computational systems biology and optimization
• LINKMEDIA (SR0653WR) - Creating and exploiting explicit links between multimedia fragments
• LINKS (SR0743YR) - Requêtes pour données dynamiques liées
• LOKI (SR0820LR) - Technologie et connaissance pour l'Interaction
• M
• M3DISIM (SR0746LR) - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
• MAASAI (SR0890WR) - Modèles et algorithmes pour l’intelligence artificielle
• MACARON (SR0959TR) - Apprentissage automatique pour des méthodes numériques optimisées
• MACBES (SR0942UR) - Modélisation et commande de systèmes biologiques et écologiques
• MAGELLAN (SR0952DR) - Infrastructures Informatiques Fiables, Responsables, et Décentralisées
• MAGNET (SR0739PR) - Machine Learning in Information Networks
• MAKUTU (SR0903YR) - Modélisation et simulation de la propagation des ondes fondées sur des mesures expérimentales pour caractériser des milieux géophysiques et héliophysiques et concevoir des objets complexes
• MALICE (SR0950LR) - Apprentissage automatique avec intégration des connaissances en ingénierie de surface : théorie et algorithmes
• MAMBA (SR0693OR) - Modelling and Analysis for Medical and Biological Applications
• MANAO (SR0641HR) - Melting the frontiers between Light, Shape and Matter
• MARACAS (SR0850MR) - Modèle et algorithmes pour des systèmes de communication fiables
• MATHERIALS (SR0696JR) - MATHematics for MatERIALS
• MATHEXP (SR0920CR) - Calcul formel, mathématiques expérimentales et interactions
• MATHNEURO (SR0852YR) - Mathématiques pour les Neurosciences
• MATHRISK (SR0540WR) - Mathematical Risk handling
• MAVERICK (SR0595AR) - Modèles et Algorithmes pour la Visualisation et le Rendu
• MCTAO (SR0567BR) - Mathématiques pour le Contrôle, le Transport et leurs Applications
• MEMPHIS (SR0757MR) - Modèles et méthodes pour les problèmes multiphysiques et interactions
• MERGE (SR0936YR) - Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence
• MFX (SR0835ZR) - Informatique graphique pour la fabrication numérique
• MICROCOSME (SR0910BR) - Analyse, ingénierie et contrôle des micro-organismes
• MIMESIS (SR0711RR) - Simulation médicale guidée par les données
• MIMETIC (SR0592XR) - Analysis-Synthesis Approach for Virtual Human Simulation
• MIMOVE (SR0829ZR) - Middleware on the Move
• MIND (SR0921IR) - modèles et inférence pour les données de Neuroimagerie
• MINGUS (SR0847MR) - Schémas numériques géométriques multi-échelles
• MNEMOSYNE (SR0639GR) - Mnemonic Synergy
• MOCQUA (SR0828JR) - Modèles de calcul émergents
• MODAL (SR0518VR) - MOdel for Data Analysis and Learning
• MOEX (SR0810WR) - Evolution de la connaissance
• MOKAPLAN (SR0716ER) - Avancées en calcul numérique des variations
• MONC (SR0759XR) - Modélisation Mathématique pour l'Oncologie
• MORPHEME (SR0587XR) - Morphologie et Images
• MORPHEO (SR0618QR) - Capture et Analyses de Formes en Mouvement
• MOSAIC (SR0817DR) - Simulation et Analyse de la morphogenèse in siliCo
• MULTISPEECH (SR0707BR) - Speech Modeling for Facilitating Oral-Based Communication
• MUSCA (SR0895VR) - Dynamiques de populations multi-échelles pour des systèmes physiologiques
• N
• NEO (SR0809ZR) - Ingénierie et Opérations des Réseaux
• NERV (SR0948QR) - Neuroingénierie des systèmes pour modéliser et interfacer les réseaux cérébraux
• O
• OCKHAM (SR0938ZR) - Optimisation, Connaissances pHysiques, Algorithmes et Modèles
• ODYSSEY (SR0916ER) - Océan Dynamique Observations Analyse
• OLAS (SR0949SR) - Fondements opérationnels, logiques et algébriques des systèmes logiciels
• OPIS (SR0876PR) - OPtimisation Imagerie et Santé
• OURAGAN (SR0875NR) - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
• P
• PACAP (SR0750NR) - Pushing Architecture and Compilation for Application Performance
• PARADYSE (SR0891SR) - Systèmes de particules et systèmes dynamiques
• PARKAS (SR0521SR) - Parallélisme de Kahn Synchrone
• PARMA (SR0955YR) - Méthodes particulaires utilisant Monge-Ampère
• PARTOUT (SR0887MR) - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
• PASTA (SR0900AR) - Processus Aléatoires Spatio-Temporels et Applications
• PESTO (SR0758TR) - Techniques de Preuves pour les Protocoles de Sécurité
• PETRUS (SR0793XR) - Cloud personnel sécurisé
• PICUBE (SR0932BR) - Les assistants à la démonstration au cœur du raisonnement mathématique
• PIRAT (SR0958BR) - Protection de l’information et résistances aux attaques
• PIXEL (SR0892UR) - Structurer des formes géométriques
• PLATON (SR0899UR) - Quantification des Incertitudes en calcul scientifique pour l’ingénierie
• PLEIADE (SR0868XR) - Patterns de diversité et réseaux de fonctions
• POEMS (SR0882NR) - Propagation des Ondes : Etude Mathématique et Simulation
• POLARIS (SR0823FR) - Évaluation et optimisation des performances des grandes infrastructures
• POTIOC (SR0624WR) - Nouvelles Interactions Multimodales pour une Expérience Utilisateur Stimulante
• PREMEDICAL (SR0925LR) - Médecine de précision par intégration de données et inférence causale
• PRIVATICS (SR0637XR) - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
• PROSECCO (SR0526LR) - Programming securely with cryptography
• Q
• QINFO (SR0929KR) - Traitement optimal de l'information avec des dispositifs quantiques
• QUACS (SR0913XR) - Structures de calcul quantique
• QUANTIC (SR0692YR) - QUANTum Information Circuits
• QURIOSITY (SR0934SR) - Communication et Traitement Quantiques de l'Information
• R
• RAINBOW (SR0842HR) - robotique interactive et référencée capteurs
• RANDOPT (SR0855ZR) - Optimisation par algorithmes stochastiques
• RAPSODI (SR0801RR) - Approximations numériques fiables pour les systèmes dissipatifs
• RESIST (SR0827CR) - Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques
• ROBOTLEARN (SR0908QR) - Apprentissage, perception et commande pour des robots sociaux
• ROMA (SR0688PR) - Optimisation des ressources : modèles, algorithmes et ordonnancement
• S
• SAIRPICO (SR0940OR) - Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie
• SCOOL (SR0896HR) - Prise de décision séquentielle dans l’incertain
• SEMAGRAMME (SR0590XR) - Analyse Sémantique de la Langue
• SERENA (SR0784ZR) - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• SIERRA (SR0463RR) - Apprentissage Statistique et Parcimonie
• SIMBA (SR0956AR) - Inférence Statistique et Modélisation pour les Applications Biologiques
• SIMBIOTX (SR0902IR) - SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires
• SIMSMART (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
• SIROCCO (SR0505NR) - Analysis representation, compression and communication of visual data
• SISTM (SR0678GR) - Statistics In System biology and Translational Medicine
• SODA (SR0918NR) - Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données
• SPADES (SR0703KR) - Programmation de systèmes embarqués sûrs et adaptatifs
• SPHINX (SR0742ER) - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• SPIRALS (SR0679OR) - Self-adaptation for distributed services and large software systems
• SPLITS (SR0943QR) - Languages de Programmation Sécures et Outils pour la Sécurité
• STACK (SR0854HR) - Pile logicielle pour les infrastructures massivement géo distribuées
• STAMP (SR0883FR) - • Sûreté du logiciel et Preuves Mathématiques Formalisées
• STARS (SR0541QR) - Spatio-Temporal Activity Recognition Systems
• STATIFY (SR0893AR) - Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension
• STEEP (SR0715QR) - Soutenabilité, Territoires, Environnement, Economie et Politique
• STORM (SR0794OR) - Optimisation statique, méthodes d’exécution
• SUSHI (SR0951JR) - Sécurité à l’interface logiciel/matériel
• SYCOMORES (SR0911FR) - Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires
• T
• TADAAM (SR0808ZR) - Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance
• TANGRAM (SR0898KR) - Recalage visuel avec des modèles physiquement réalistes
• TARAN (SR0905HR) - Architectures matérielles spécialisées pour l’ère post loi-de-Moore
• TAU (SR0780IR) - IA : vers des problèmes mieux posés
• THOTH (SR0735UR) - Apprentissage de modèles visuels à partir de données massives
• TITANE (SR0623ZR) - Modélisation géométrique d'environnements 3D
• TOCCATA (SR0646IR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TONUS (SR0871CR) - Simulations numériques et TOkamaks
• TOPAL (SR0937ER) - Outils et Optimisations pour le Calcul Haute Performance et l'Apprentissage
• TRIBE (SR0872OR) - Pour un Internet non-conventionnel
• TRIPOP (SR0879YR) - Modélisation, simulation et commande des systèmes dynamiques non lisses
• TROPICAL (SR0844QR) - Méthodes tropicales: structures, algorithmes et interactions
• TYREX (SR0652QR) - Types and Reasoning for the Web
• V
• VALDA (SR0824OR) - Valeur à partir des données
• VALSE (SR0862RR) - Contrôle en temps fini et estimation pour des systèmes distribués
• VERIDIS (SR0524TR) - Modeling and Verification of Distributed Algorithms and Systems
• VIRTUS (SR0926VR) - Nous, virtuels
• W
• WHISPER (SR0720UR) - Well Honed Infrastructure Software for Programming Environments and Runtimes
• WIDE (SR0840XR) - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination
• WILLOW (SR0066IR) - Vision par ordinateur incarnée
• WIMMICS (SR0588SR) - Web-Instrumented Man-Machine Interactions, Communities and Semantics
• Z
• ZENITH (SR0522AR) - Gestion de données scientifiques