BASTRI - Fiches Equipes

879 résultats

• A
• A3 (SR0192DR) - Analyse avancée appliquée à l'optimisation de codes
• A4RES (SR0478GR) - Autonomic Advanced & Applied Architectures for wiREless networks & Systems
• ABS (SR0184DR) - Algorithmes et Biologie Structurale
• ABSTRACTION (SR0091IR) - Interprétation abstraite et analyse statique
• 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
• ACES (SR0110RR) - Informatique diffuse et systèmes embarqués
• ACUMES (SR0665OR) - Analysis and Control of Unsteady Models for Engineering Sciences
• ACUMES (SR0748ER) - Analysis and Control of Unsteady Models for Engineering Sciences
• ADAGE (SR0310XR) - Algorithmique discrête et ses applications à la génomique
• ADAM (SR0034HR) - Adaptive Distributed Applications and Middleware
• ADEPT (SR0111BR) - Algorithmes pour des systèmes dynamiques sûrs
• ADOPT (SR0311LR) - Optimisation discrète et analyse exploratrice de données
• ADP (SR0195QR) - Algorithmes distribués et protocoles
• AGORA (SR0767PR) - ALGorithmes et Optimisation pour Réseaux Autonomes
• AGORA (SR0836XR) - AlGorithmes et Optimisation pour Réseaux Autonomes
• AID (SR0312VR) - Gestion des connaissances pour l'aide à la conception coopérative
• AIDA (SR0196QR) - Modélisation et Apprentissage pour l'Interprétation de Données et l'Aide à la décision
• 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)
• AIRELLE (SR0314YR) - Représentations et Langages
• AIRSEA (SR0664QR) - mathematics and computing applied to oceanic and atmospheric flows
• 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
• ALADIN (SR0198FR) - Algorithmes adaptés au calcul numérique intensif
• ALCHEMY (SR0135SR) - Architectures, Languages and Compilers to Harness the End of Moore Years
• ALCHEMY (SR0453MR) - Architectures, Languages and Compilers to Harness the End of Moore Years
• ALCOVE (SR0033UR) - Agir et collaborer sur des objets virtuels complexes
• ALEA (SR0315CR) - Algorithmes d'apprentissage évolutionnaires avancés
• ALEA (SR0409HR) - Algorithmes d'apprentissage évolutionnaires avancés
• ALF (SR0316YR) - La loi d'Amdahl est pour toujours
• ALF (SR0460XR) - La loi d'Amdahl est pour toujours
• ALGO (SR0199VR) - Algorithmes
• ALGORILLE (SR0050GR) - Algorithmes pour la Grille
• ALGORILLE (SR0682FR) - Algorithmes pour la Grille
• ALGORITHMS (SR0094PR) - Algorithmes
• ALICE (SR0047CR) - Géometrie et Lumière
• ALICE (SR0860ZR) - Géometrie et Lumière
• ALIEN (SR0136SR) - algèbre pour Identification et Estimation Numériques
• 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
• AMAZONES (SR0317SR) - Architecture sécurisées Orientées services pour réseaux ambiants
• AMIB (SR0318HR) - Algorithmes et modèles pour la Biologie Intégrative
• AMIB (SR0436BR) - Algorithmes et modèles pour la Biologie Intégrative
• AMIBIO (SR0781CR) - Algorithms and Models for Integrative BIOlogy
• ANGE (SR0534MR) - Analyse Numérique, Géophysique et Ecologie
• ANGE (SR0631GR) - Analyse Numérique, Géophysique et Environnement
• ANIMA (SR0894DR) - Création et mise en scène des univers narratifs animés
• ANJA (SR0724ZR) - ANJA
• ANTIQUE (SR0605CR) - Analyse Statique par Interprétation Abstraite
• ANTIQUE (SR0695XR) - Analyse Statique par Interprétation Abstraite
• ANUBIS (SR0200HR) - Outils de l'Automatique pour le Calcul Scientifique, modèles et Méthodes en Bio-Mathématique
• 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
• APACHE (SR0201DR) - Algorithmique parallèle, programmation et partage de charge
• API (SR0202LR) - Architectures parallèle intégrées
• APICS (SR0168IR) - Analyse et problèmes Inverses pour le Contrôle et le Signal
• APIS (SR0319ZR) - Analyse de Processus, Images et Signaux irréguliers,applications en biologie et médecine.
• 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
• ARENAIRE (SR0028PR) - Arithmétique des ordinateurs
• ARES (SR0203JR) - Architectures de réseaux de services
• ARGO (SR0947DR) - Apprentissage, graphes et optimisation distribuée
• ARIANA (SR0155IR) - problèmes inverses en observation de la Terre et cartographie
• ARIC (SR0495ZR) - Arithmétiques des ordinateurs, méthodes formelles, génération de code
• ARIC (SR0539JR) - Arithmétiques des ordinateurs, méthodes formelles, génération de code
• ARLES (SR0067CR) - Architectures logicielles et systèmes distribués
• ARLES2 (SR0636PR) - Architectures Logicielles et systèmes distribués
• ARMOR (SR0204SR) - Architectures et modèles de réseaux
• AROBAS (SR0169QR) - Robotique Avancée et Systèmes Autonomes
• AROLAG (SR0501MR) - Advanced Image Understanding and Autonomous Systems
• AROMATH (SR0751VR) - Algebre geometrie Modelisation et Algorithmes
• ARTIS (SR0014NR) - Acquisition, représentation et transformations pour l'image de synthêse
• 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
• ASCII (SR0885KR) - Analyse d’interactions stochastiques intelligentes et coopératives
• ASCLEPIOS (SR0146RR) - Analyse et Simulation d'Images Biomédicales
• 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
• 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
• ATEAMS (SR0320WR) - Analyse et Transformation a base des composition fideles des outils
• ATGC (SR0321WR) - Action transversale génome et calcul
• ATHENA (SR0410QR) - Imagerie computationnelle du système Nerveux Central
• ATHENA (SR0433MR) - Imagerie computationnelle du système Nerveux Central
• 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
• 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
• ATOLL (SR0207CR) - Atelier d'outils logiciels pour le langage naturel
• AUCTUS (SR0782ER) - Des robots au service de l'humain au travail
• AVALON (SR0508QR) - Algorithmes et Architectures logicielles pour des plates-formes distribuées et haute performance
• AVALON (SR0657BR) - Algorithms and Software Architectures for Distributed and HPC Platforms
• AVIZ (SR0132LR) - Analyse et visualisation
• AVIZ (SR0406WR) - Analyse Visuelle
• 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
• BACCHUS (SR0403HR) - Outils parallèles pour les algorithmes numériques et les méthodes de résolutions des problèmes essentiellement hyperboliques
• BAMBOO (SR0323ER) - Un regard algorithmique sur les génomes, les cellules et l'environnement
• BAMBOO (SR0519FR) - Un regard algorithmique sur les génomes, les cellules et l'environnement
• BANG (SR0082DR) - Analyse numérique de modèles non linéaires pour la Bio et Géophysique
• BEAGLE (SR0462ZR) - Artificial Evolution and Computational Biology
• BEAGLE (SR0569CR) - Artificial Evolution and Computational Biology
• BENAGIL (SR0945LR) - Systèmes répartis performants et sûrs
• BIGS (SR0408TR) - Biologie, génétique et statistiques
• BIGS (SR0464QR) - Biologie, génétique et statistiques
• 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
• BIP (SR0208HR) - Robot bipède
• BIPOP (SR0020TR) - Modélisation, Simulation, Commande et Optimisation des Systèmes Dynamiques Non Réguliers
• BIVWAC (SR0954OR) - Construire des visualisations immersives pour favoriser la compréhension, la prise de conscience, et le bien-être
• BONSAI (SR0448RR) - Bioinformatics and Sequence Analysis
• BONUS (SR0788IR) - Optimisation de grande taille et calcul large échelle
• 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
• 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
• CACAO (SR0058SR) - Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs
• CAD (SR0325VR) - Computer Aided Design
• CAFE (SR0209ZR) - Calcul formel et équations
• CAGE (SR0790ZR) - Control And GEometry
• CAGE (SR0848TR) - Contrôle et géométrie
• CAGIRE (SR0461HR) - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
• CAGIRE (SR0740WR) - Computational AGility for internal flows sImulations and compaRisons with Experiments
• CAIMAN (SR0210IR) - Calcul scientifique, modélisation et analyse numérique
• CAIRN (SR0211OR) - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
• CALISTO (SR0897VR) - Approches stochastiques pour les écoulements complexes et l’environnement
• CALLIGRAMME (SR0060ZR) - Logique linéaire, réseaux de démonstration et grammaires catégorielles
• CALLIGRAMME (SR0439YR) - Logique linéaire, réseaux de démonstration et grammaires catégorielles
• CALVI (SR0053MR) - Calcul scientifique et visualisation
• CAMBIUM (SR0881NR) - Langages de programmation : systèmes de types, concurrence, preuve de programme
• CAMIN (SR0721KR) - Control of Artificial Movement & Intuitive Neuroprosthesis
• CAMIN (SR0869PR) - Contrôle Artificiel de Mouvements et de Neuroprothèses Intuitives
• CAMUS (SR0411YR) - Compilation pour les Architectures MUlti-coeurS
• CAMUS (SR0870KR) - Compilation pour les Architectures MUlti-processeurs et multi-coeurS
• CANARI (SR0944PR) - Analyse cryptographique et arithmétique
• CAPS (SR0120OR) - Compilation, architectures parallèles et système
• CAPSID (SR0673IR) - Computational Algorithms for Protein Structures and Interactions
• CAPSID (SR0709ER) - Computational Algorithms for Protein Structures and Interactions
• CAPSULE (SR0935UR) - Cryptographie Appliquée et Sécurité des Implémentations
• CARAMBA (SR0730NR) - Cryptology, arithmetic : algebraic methods for better algorithms
• CARAMBA (SR0755YR) - Cryptology, arithmetic : algebraic methods for better algorithms
• CARAMEL (SR0435BR) - Cryptologie, Arithmétique : Matériel et Logiciel
• CARAMEL (SR0449PR) - Cryptologie, Arithmétique : Matériel et Logiciel
• CARAVEL (SR0212SR) - Systèmes de médiation d'information
• CARDAMOM (SR0668DR) - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
• CARDAMOM (SR0749YR) - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
• CARMEN (SR0474RR) - Modélisation et calculs pour l'électrophysiologie cardiaque
• CARMEN (SR0745TR) - Modélisation et calculs pour l'électrophysiologie cardiaque
• CARTE (SR0392XR) - Théorie des calculs adverses, et sécurité
• CARTE (SR0731VR) - Théorie des calculs adverses, et sécurité
• CASCADE (SR0095XR) - Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées
• CASH (SR0838ER) - Compilation et Analyse, Logiciel et Matériel
• CASH (SR0874DR) - Compilation et Analyse, Logiciel et Matériel
• CASSIS (SR0055XR) - Combinaison d'approches pour la sécurité des systèmes infinis
• CASTING (SR0963SR) - Dynamiques du Cancer, adaptation et modélisation
• CASTOR (SR0527LR) - Control, Analysis and Simulations for TOkamak Research
• CASTOR (SR0650QR) - Control, Analysis and Simulations for TOkamak Research
• CEDAR (SR0734UR) - Rich Data Exploration at Cloud Scale
• CEDAR (SR0837TR) - Analyse et traitement de données complexes à grande échelle
• CELESTE (SR0873YR) - statistique mathématique et apprentissage
• CELTIQUE (SR0327HR) - Certification de logiciel par analyse sémantique
• CEPAGE (SR0213GR) - Chercher et Essaimer dans les Plates-formes A Grande Echelle
• CERTILAB (SR0328GR) - Spécifications formelles, certification de logiciel
• CHARME (SR0214VR) - Compilation
• CHIR (SR0329IR) - Chirurgie, informatique et robotique
• CHORALE (SR0843HR) - Robots collaboratifs et hétérogènes interagissant dans des environnements vivants
• CHROMA (SR0690OR) - Robots coopératifs et adaptés à la présence humaine en environnements dynamiques
• CHROMA (SR0804WR) - Robots coopératifs et adaptés à la présence humaine en environnements
• CIDRE (SR0450UR) - Confidentialité, Intégrité, Disponibilité et Répartition
• 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
• COAST (SR0655TR) - Web Scale Trustworthy Collaborative Service Systems
• COAST (SR0708YR) - Web Scale Trustworthy Collaborative Service Systems
• COATI (SR0552HR) - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
• COATI (SR0571JR) - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
• CODES (SR0216RR) - Codes et cryptographie
• COFFEE (SR0472AR) - COmplex Flows For Energy and Environment
• COFFEE (SR0578RR) - COmplex Flows For Energy and Environment
• COMBINING (SR0427IR) - Biologie computationnelle et fouille de données
• COMETE (SR0134KR) - Vie privée, équité et robustesse dans la gestion de l'information
• COML (SR0786HR) - Apprentissage machine cognitif
• COMMANDS (SR0217BR) - Controle, Optimisation, modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
• COMMEDIA (SR0877NR) - Mathématiques et calcul scientifique pour les applications bio-médicales
• COMORE (SR0147TR) - Contrôle et modélisation de ressources renouvelables
• COMPACT (SR0964JR) - Compression de donn ́ees visuelles massives
• COMPLEX (SR0330ZR) - Evolution Artificielle et Fractales
• COMPO (SR0907HR) - Méthodes computationnelles pour la prise en charge thérapeutique en oncologie
• COMPOSE (SR0218WR) - Conception de programmes et systèmes adaptatifs
• COMPSYS (SR0019IR) - Compilation et systèmes embarqués de calcul
• COMPSYS (SR0727VR) - Compilation et systèmes embarqués de calcul
• CONCACE (SR0928OR) - COmposabilité Numerique and parallèle pour le CAlcul haute performanCE
• CONCHA (SR0219IR) - Complex Flow Simulation Codes based on High-order and Adaptive methods
• CONGE (SR0220HR) - Contrôle géométrique des systèmes non linéaires
• CONTRAINTES (SR0092GR) - Programmation par contraintes
• CONVECS (SR0494HR) - Construction de systèmes concurrents vérifiés
• CONVECS (SR0619CR) - Construction de systèmes concurrents vérifiés
• COPRIN (SR0180AR) - Contraintes, optimisation et résolution par intervalles
• COQ (SR0221NR) - Spécifications et preuves de programmes
• CORDIAL (SR0222HR) - Dialogue oral homme-machine
• CORIDA (SR0051GR) - Contrôle robuste infini-dimensionnel et applications
• CORIDA (SR0617DR) - Contrôle robuste infini-dimensionnel et applications
• CORSE (SR0659SR) - compiler optimization and run-time systems
• CORSE (SR0744PR) - Compiler Optimization and Run-time SystEms
• CORTEX (SR0040VR) - Intelligence neuromimétique
• CORTEX (SR0556WR) - Intelligence neuromimétique
• COSI (SR0223HR) - Conception de systèmes sur silicium
• 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
• COSTEAM (SR0391TR) - Conduite sûre et optimale de systèmes de production des biens et des services
• CQFD (SR0332JR) - Contrôle de Qualité et Fiabilité Dynamique
• CRISTAL (SR0224GR) - Programmation typée, modularité et compilation
• CROAP (SR0225QR) - Conception et réalisation d'outils d'aide à la programmation
• CRONOS (SR0931XR) - Modélisation des résaux dynamiques cérébraux
• CRYPT (SR0528ER) - Cryptanalyse
• CTRL-A (SR0611GR) - Automatique pour l'informatique autonomique
• CTRL-A (SR0789GR) - Commande pour systèmes informatiques autonomiques
• D
• DAHU (SR0226ER) - Verification en bases de données
• DANCE (SR0904ZR) - Dynamique et contrôle des réseaux
• DANTE (SR0531FR) - Réseaux dynamiques : approche structurelle et temporelle
• DANTE (SR0687IR) - Réseaux dynamiques : approche structurelle et temporelle
• DART (SR0036DR) - Apports du parallélisme données au temps réel
• DART (SR0483ZR) - Apports du parallélisme données au temps réel
• DATAMOVE (SR0718BR) - Data Aware Large Scale Computing
• DATAMOVE (SR0799BR) - Mouvements de données pour le calcul haute performance
• DATASHAPE (SR0726XR) - Understanding the Shape of Data
• DATASHAPE (SR0792FR) - Comprendre la forme des données
• DATASPHERE (SR0775SR) - Economie des données et des plateformes
• DECENTRALISE (SR0658CR) - DECENTRALISE
• DEDUCTEAM (SR0479ER) - Deduction modulo, interopérabilité et démonstration automatique
• DEDUCTEAM (SR0774GR) - DEDUCTEAM
• DEFI (SR0227ER) - Détermination de Formes Et Identification
• DEFROST (SR0675JR) - Deformable Robotic Software
• DEFROST (SR0798HR) - Logiciels pour robots déformables
• DELYS (SR0818MR) - Algorithmes pour systèmes distribués
• DELYS (SR0865UR) - Algorithmes et systèmes distribués
• DEMAR (SR0148MR) - Déambulation et mouvement artificiel
• DEVINE (SR0953TR) - Vérification efficace pour des systèmes distribués fiables
• DIANA (SR0551DR) - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
• DIANA (SR0706LR) - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
• DIANNAO (SR0603FR) - Neuro-Inspired Accelerators for Computing
• DICE (SR0580ER) - Données sur l'Internet au coeur de l'Economie
• DIGIPLANTE (SR0129SR) - Modélisation de la croissance et de l'architecture des plantes
• DIGIPLANTE (SR0510RR) - Modélisation de la croissance et de l'architecture des plantes
• DIONYSOS (SR0228NR) - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
• DISCO (SR0412QR) - Systèmes dynamiques interconnectés dans des environnements complexes
• DISCO (SR0520MR) - Systèmes dynamiques interconnectés dans des environnements complexes
• 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
• DNET (SR0333NR) - Réseaux dynamiques
• DOLPHIN (SR0037TR) - Optimisation multi-critère parallèle coopérative
• DOLPHIN (SR0772TR) - Optimisation multi-critère parallèle coopérative
• DRACULA (SR0413ER) - Modélisation multi-échelle de la dynamique cellulaire : application à l'hématopoïese
• DRACULA (SR0437HR) - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
• DREAM (SR0104HR) - Diagnostic, recommandation d'actions et modélisation
• DREAMPAL (SR0548UR) - Dynamic Reconfigurable Massively Parallel Architectures and Languages
• DREAMPAL (SR0683RR) - Dynamic Reconfigurable Massively Parallel Architectures and Languages
• DYLISS (SR0506PR) - Dynamics, Logics and Inference for biological Systems and Sequences
• DYLISS (SR0589KR) - Dynamics, Logics and Inference for biological Systems and Sequences
• DYOGEN (SR0563GR) - Dynamics of Geometric Networks
• DYOGENE (SR0586FR) - Dynamics of Geometric Networks
• E
• E-MOTION (SR0021PR) - Géométrie et probabilité pour le mouvement et l'action
• EASE (SR0811AR) - Enabling Affordable Smarter Environment
• EASE (SR0867KR) - Solutions pour des environnements intelligents abordables
• ECOO (SR0045WR) - Environnement pour la coopération
• ECUADOR (SR0600JR) - Transformations et outils informatiques pour le calcul scientifique
• EDELWEISS (SR0156YR) - Echanges, Documents, Extraction, Languages, Web, Ergonomie, Interactions, Semantique, Serveurs
• EDGE (SR0914KR) - Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation
• EIFFEL (SR0229NR) - Cognition et coopération en conception
• EIFFEL2 (SR0335CR) - Cognition et coopération en conception
• 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
• 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
• EPIDAURE (SR0231AR) - Imagerie et robotique médicale
• EPIMETHEE (SR0946HR) - Approches expérimentales et numériques pour explorer le cerveau des insectes
• 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
• ERABLE (SR0685WR) - Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
• 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
• 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
• ESTIME (SR0084OR) - Estimation de paramètres et modélisation en milieu hétérogène
• EURECA (SR0232CR) - Preuve, calcul symbolique et logique
• EVA (SR0694LR) - Wireless Networking for Evolving & Adaptive Applications
• EVA (SR0741KR) - Réseaux sans fil pour applications adaptatives et susceptibles d'évoluer
• EVASION (SR0015DR) - Environnements virtuels pour l'animation et la synthèse d'images d'objets naturels
• 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
• EVREF (SR0941IR) - Évolution réflexive des systèmes logiciels éternels
• EX-SITU (SR0680PR) - Extreme Interaction
• EX-SITU (SR0787TR) - Interaction Située Extrême
• EXMO (SR0029FR) - Echanges de connaissance structurée médiatisés par ordinateur
• 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 (SR0402RR) - Interactions, exploration et apprentissage en robotique développementale et sociale
• FLOWERS (SR0459GR) - Interactions, exploration et apprentissage en robotique développementale et sociale
• FLUMINANCE (SR0339TR) - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
• FOCUS (SR0400XR) - Foundations of Component-based Ubiquitous Systems
• FORMES (SR0340AR) - Méthodes Formelles pour les Systèmes Embarqués
• FRACTALES (SR0233AR) - Fractales, modèles complexes et évolution artificielle
• FUN (SR0485WR) - self-organizing Future Ubiquitous Network
• FUN (SR0585PR) - self-organizing Future Ubiquitous Network
• G
• GAIA (SR0822NR) - Géométrie, Algèbre, Informatique, Applications
• GALAAD (SR0181IR) - Géométrie, algèbre, algorithmes
• GALAAD2 (SR0627AR) - Géométrie , Algèbre, Algorithmes
• GALEN (SR0341GR) - Modélisation d'organes à travers l'Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• GALEN (SR0594WR) - Modélisation d'organes à travers l'Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• GALEN (SR0831GR) - Images, modèles et algorithmes pour la médecine et les neurosciences
• GALLINETTE (SR0785LR) - GALLINETTE
• GALLINETTE (SR0841VR) - Gallinette : vers une nouvelle génération d'assistant à la preuve
• GALLIUM (SR0093AR) - Langages de programmation, types, compilation et preuves
• GAMBLE (SR0769MR) - Geometric Algorithms and Models Beyond the Linear and Euclidean realm
• GAMBLE (SR0791BR) - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
• GAMMA (SR0085IR) - Génération automatique de maillages et méthodes d'adaptation
• GAMMA (SR0880VR) - Génération Adaptative de Maillage et Méthodes numériques Avancées
• GAMMA3 (SR0399RR) - Génération automatique de maillages et méthodes avancées
• GAMMAO (SR0939TR) - Génération Adaptative de Maillage et Méthodes numériques Avancées
• GANG (SR0070SR) - Réseaux, graphes et algorithmes
• GCG (SR0612CR) - Groupe de Compilation de Grenoble
• GECO (SR0457VR) - Geometric Control Design
• GECO (SR0577WR) - Geometric Control Design
• GEMO (SR0145VR) - Intégration de données et de connaissances distribuées sur le Web
• GENSCALE (SR0507LR) - Scalable, Optimized and Parallel Algorithms for Genomics
• GENSCALE (SR0562MR) - Scalable, Optimized and Parallel Algorithms for Genomics
• GEOMERIX (SR0930JR) - La Géometrie au Service du Numérique
• GEOMETRICA (SR0182KR) - Calcul géométrique
• GEOSTAT (SR0396WR) - Géométrie et statistiques dans les données d'acquisition
• GEOSTAT (SR0456DR) - Géométrie et statistiques dans les données d'acquisition
• GRAAL (SR0023DR) - Algorithmique et ordonnancement pour plates-formes hétérogènes distribuées
• GRACE (SR0511VR) - Geometry, arithmetic, algorithms, codes and encryption
• GRACE (SR0591TR) - Geometry, arithmetic, algorithms, codes and encryption
• GRAND-LARGE (SR0139FR) - Calcul parallèle et distribué à grande échelle
• 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
• GRAVITE (SR0235NR) - Visualisation et exploration interactive de graphes
• 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
• HELIX (SR0008PR) - Informatique et génomique
• HEPHAISTOS (SR0614JR) - HExapode, PHysiologie, AssISTance et Objets de Service
• HEPHAISTOS (SR0702SR) - HExapode, PHysiologie, AssISTance et Objets de Service
• HIEPACS (SR0404UR) - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
• HIEPACS (SR0431WR) - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
• HIPERCOM (SR0071UR) - Communication hautes performances
• HIPERCOM2 (SR0545VR) - High PERformance COMmunications
• 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
• I3D (SR0343GR) - Interaction 3 dimensions
• 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
• IBIS (SR0236TR) - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
• ICARE (SR0237ZR) - Instrumentation, commande et architecture des robots évolués
• IDEFIX (SR0909IR) - Solution d’ Equations Differentielles pour l’Imagerie et la physique
• IDENT (SR0238YR) - Estimation de paramètres et applications industrielles
• IDOPT (SR0239QR) - Identification et optimisation de systèmes en physique et en environnement
• IHE-DEVELOPMENT (SR0240VR) - Développement d'outil de test d'interopérabilité pour IHE (Integration the Healthcare Enterprise)
• ILDA (SR0681VR) - Interacting with Large Data
• ILDA (SR0760KR) - Interacting with Large Data
• IMAGINE (SR0476XR) - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
• IMAGINE (SR0570ZR) - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
• IMAGIS (SR0241FR) - modèles, Algorithmes, Géométrie pour le Graphique et l'Image de Synthèse
• 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
• IN-SITU (SR0133NR) - Interaction située
• INBIO (SR0884MR) - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
• INDES (SR0405QR) - Programmation diffuse et sécurisée
• INDES (SR0429HR) - Programmation diffuse et sécurisée
• INFINE (SR0647UR) - INFormation NEtworks
• INFINE (SR0762YR) - INFormation NEtworks
• INOCS (SR0697LR) - Integrated Optimization with Complex Structure
• INOCS (SR0834NR) - Optimisation intégrée pour problèmes à structure complexe
• IPARLA (SR0001PR) - Visualisation et manipulation de données complexes sur terminaux mobiles communicants
• IPSO (SR0125NR) - Méthodes numériques préservant les invariants
• IPV6 (SR0345HR) - IPv6 - RSVP - ATM
• IROKO (SR0967DR) - Sciences environnementales guidées par les données
• IS2 (SR0242RR) - Inférence statistique pour l'industrie et la santé
• ISA (SR0243BR) - modèles, algorithmes et géométrie pour l'informatique graphique et la vision
• J
• JACQUARD (SR0244SR) - Tissage de composants logiciels
• K
• KAIROS (SR0763KR) - Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
• KALIFFE (SR0643JR) -
• 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
• KOPERNIC (SR0845AR) - Adapter le raisonnement pire cas à différentes criticités
• KRAKOS (SR0968YR) - Conception de couches systèmes performantes, robustes, sécurisées, flexibles, et moins énergivores
• 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
• LANGUE ET DIALOGUE (SR0245YR) - Dialogue homme-machine à forte composante langagière
• LARSEN (SR0684OR) - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
• LARSEN (SR0803ZR) - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
• LEAR (SR0011YR) - Apprentissage et reconnaissance en vision par ordinateur
• 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
• LEO (SR0414TR) - Données et connaissances hétérogènes et distribuées
• LFANT (SR0347LR) - Théorie algorithmique des nombres rapide et flexible
• LFANT (SR0415HR) - Théorie algorithmique des nombres rapide et flexible
• LIFEWARE (SR0626YR) - Computational systems biology and optimization
• LIFEWARE (SR0691IR) - Computational systems biology and optimization
• LINKMEDIA (SR0653WR) - Creating and exploiting explicit links between multimedia fragments
• LINKS (SR0549UR) - Linking Dynamic Data
• LINKS (SR0743YR) - Requêtes pour données dynamiques liées
• LOCO (SR0247OR) - Programmation en LOgique avec COntraintes
• LOGICAL (SR0248RR) - Logique et Calcul
• LOGNET (SR0351TR) - Réseaux Logiques : Réseaux de Recouvrement Autonomes et Ordinateurs Globaux et Pervasifs
• LOKI (SR0820LR) - Technologie et connaissance pour l'Interaction
• LORIASI (SR0352ZR) - Loria dans la société de l'information
• M
• M3DISIM (SR0564FR) - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
• M3DISIM (SR0746LR) - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
• M3N (SR0249HR) - Multi-modèles et Méthodes Numériques
• 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
• MACS (SR0086CR) - Modélisation, analyse et contrôle pour le calcul des structures
• MACSI (SR0250IR) - Modélisation, analyse et conduite des systèmes industriels
• MADE (SR0353BR) - Environnement de développement d'applications multimédia
• MADYNES (SR0048BR) - Supervision des réseaux et services dynamiques
• MADYNES (SR0777ER) - Supervision des réseaux et services dynamiques
• MAESTRO (SR0160OR) - modèles pour l'analyse des performances et le contrôle des réseaux
• MAGELLAN (SR0952DR) - Infrastructures Informatiques Fiables, Responsables, et Décentralisées
• MAGIQUE-3D (SR0005GR) - Modélisation Avancée en GéophysIQUE 3D
• MAGNET (SR0550PR) - Machine Learning in Information Networks
• MAGNET (SR0739PR) - Machine Learning in Information Networks
• MAGNOME (SR0354IR) - Models and Algorithms for the Genome
• MAGRIT (SR0043DR) - Augmentation visuelle d'environnements complexes
• MAGRIT (SR0861DR) - Augmentation visuelle d'environnements complexes
• MAIA (SR0041LR) - Machine intelligente et autonome
• 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 (SR0604MR) - Modelling and Analysis for Medical and Biological Applications
• MAMBA (SR0693OR) - Modelling and Analysis for Medical and Biological Applications
• MANAO (SR0497PR) - Melting the frontiers between Light, Shape and Matter
• MANAO (SR0641HR) - Melting the frontiers between Light, Shape and Matter
• MARACAS (SR0850MR) - Modèle et algorithmes pour des systèmes de communication fiables
• MARELLE (SR0179HR) - Mathématiques, Raisonnement et Logiciel
• MARS (SR0355WR) - modèles et Algorithmes pour la RéSolution de problèmes combinatoires
• MASAIE (SR0394KR) - Outils et modèles de théorie du contrôle non-linéaire pour l'épidémiologie et l'immunologie
• MASAIE (SR0401XR) - Outils et modèles de théorie du contrôle non-linéaire pour l'épidémiologie et l'immunologie
• MASCOTTE (SR0162OR) - Méthodes algorithmiques, simulation, combinatoire et optimisation des télécommunications
• MATHERIALS (SR0625SR) - MATHematics for MatERIALS
• MATHERIALS (SR0696JR) - MATHematics for MatERIALS
• MATHEXP (SR0920CR) - Calcul formel, mathématiques expérimentales et interactions
• MATHFI (SR0080FR) - Mathématiques financières
• MATHNEURO (SR0722UR) - Mathématiques pour les Neurosciences
• MATHNEURO (SR0852YR) - Mathématiques pour les Neurosciences
• MATHRISK (SR0481TR) - Mathematical Risk handling
• MATHRISK (SR0540WR) - Mathematical Risk handling
• MAVERICK (SR0477VR) - Modèles et Algorithmes pour la Visualisation et le Rendu
• MAVERICK (SR0595AR) - Modèles et Algorithmes pour la Visualisation et le Rendu
• MAXPLUS (SR0138HR) - algèbres max-plus et mathématiques de la décision
• MAXPLUS (SR0676DR) - algèbres max-plus et mathématiques de la décision
• MC2 (SR0006MR) - Modélisation, contrôle et calcul
• MC2 (SR0606YR) - Modélisation, contrôle et calcul
• 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
• MEMPHIS (SR0660TR) - Modeling Enablers for Multi-PHysics and InteractionS
• MEMPHIS (SR0757MR) - Modèles et méthodes pour les problèmes multiphysiques et interactions
• MEPHYSTO (SR0620NR) - Méthodes quantitatives pour les modèles aléatoires de la physique
• MEPHYSTO (SR0747RR) - Méthodes quantitatives pour les modèles aléatoires de la physique
• MEPHYSTO (SR0796YR) - Méthodes quantitatives pour les modèles aléatoires de la physique
• MERE (SR0149WR) - Modélisation Et Ressources en Eau
• MERGE (SR0936YR) - Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence
• MERLIN (SR0356GR) - Méthodes pour l'ergonomie des logiciels interactifs
• MESCAL (SR0024CR) - Intergiciel, passage à l'échelle
• META2 (SR0252MR) - Méta-automatique et méthodes de l'automatique
• METALAU (SR0077VR) - Méthodes, algorithmes et logiciels pour l'automatique
• METISS (SR0108ER) - Modélisation et expérimentation pour le traitement des informations et des signaux sonores
• MEVAL (SR0357QR) - Modélisation et évaluation des Systèmes Informatiques
• MEXICO (SR0358LR) - Modeling and Exploitation of Interaction and Concurrency
• MEXICO (SR0468FR) - Modeling and Exploitation of Interaction and Concurrency
• MFX (SR0835ZR) - Informatique graphique pour la fabrication numérique
• MIAOU (SR0253MR) - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
• MICMAC (SR0087CR) - Méthodes et ingénierie du calcul multi-échelle de l'atome au continuum
• MICROCOSME (SR0910BR) - Analyse, ingénierie et contrôle des micro-organismes
• MIMESIS (SR0711RR) - Simulation médicale guidée par les données
• MIMETIC (SR0455VR) - Analysis-Synthesis Approach for Virtual Human Simulation
• MIMETIC (SR0592XR) - Analysis-Synthesis Approach for Virtual Human Simulation
• MIMOSA (SR0167HR) - Migration et mobilité : sémantique et applications
• MIMOVE (SR0644CR) - Middleware on the Move
• MIMOVE (SR0829ZR) - Middleware on the Move
• MIND (SR0921IR) - modèles et inférence pour les données de Neuroimagerie
• MINGUS (SR0813MR) - Multi-scale numerical geometric schemes
• MINGUS (SR0847MR) - Schémas numériques géométriques multi-échelles
• MINT (SR0416JR) - Méthodes et outils pour l'interaction à gestes
• MINT (SR0514MR) - Méthodes et outils pour l'interaction à gestes
• MINT2 (SR0783ER) - Méthodes et outils pour l'interaction à gestes
• MIRAGES (SR0359RR) - Manipulation d'images pour la réalité augmentée et la génération d'effets spéciaux
• MIRHO (SR0360CR) - Systèmes à objets, types et prototypes : sémantique et validation
• MISTIS (SR0010YR) - Modélisation et Inférence de phenomenes aléatoires complexes et structures
• MISTRAL (SR0254ZR) - Modélisation en Informatique et Systèmes de Télécommunication : Recherche et Applications Logicielles
• MJOLNIR (SR0674PR) - DES OUTILS INFORMATIQUES POUR ENCAPACITER LEURS UTILISATEURS
• MNEMOSYNE (SR0529CR) - Mnemonic Synergy
• MNEMOSYNE (SR0639GR) - Mnemonic Synergy
• MOAIS (SR0025KR) - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation
• MOCOA (SR0361AR) - Méthodes de l'Optimisation, de la Commande Optimale et Applications
• MOCQUA (SR0828JR) - Modèles de calcul émergents
• MODAL (SR0434ZR) - MOdel for Data Analysis and Learning
• MODAL (SR0518VR) - MOdel for Data Analysis and Learning
• MODBIO (SR0255XR) - modèles informatiques en biologie moléculaire
• MODEL (SR0256TR) - Modélisation de systèmes aléatoires
• MODEMIC (SR0442XR) - Modélisation et Optimisation des Dynamiques des Ecosystèmes MICrobiens
• MODEMIC (SR0486QR) - Modélisation et Optimisation des Dynamiques des Ecosystèmes MICrobiens
• MODULEF (SR0257JR) - Méthodes et outils pour le calcul scientifique
• MOEX (SR0766DR) - Evolution de la connaissance
• MOEX (SR0810WR) - Evolution de la connaissance
• MOISE (SR0027WR) - Modélisation, Observations, Identification en Sciences de l'Environnement
• 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
• MONC (SR0661FR) - Modélisation Mathématique pour l'Oncologie
• MONC (SR0759XR) - Modélisation Mathématique pour l'Oncologie
• MORPHEME (SR0473OR) - Morphologie et Images
• MORPHEME (SR0587XR) - Morphologie et Images
• MORPHEO (SR0445SR) - Capture et Analyses de Formes en Mouvement
• MORPHEO (SR0618QR) - Capture et Analyses de Formes en Mouvement
• MOSAIC (SR0817DR) - Simulation et Analyse de la morphogenèse in siliCo
• MOSCOVA (SR0075PR) - Mobilité, sécurité, concurrence, vérification et analyse
• MOSEL (SR0057ZR) - Développement prouvé de systèmes informatiques
• MOSTRA (SR0258KR) - Modélisation de matériaux nouveaux et structures adaptatives
• MOSTRARE (SR0039GR) - modèles de structures arborescentes, apprentissage et extraction d'information
• MOVI (SR0259UR) - Modélisation, localisation, reconnaissance et interprétation en vision par ordinateur
• MULTISPEECH (SR0656HR) - Speech Modeling for Facilitating Oral-Based Communication
• MULTISPEECH (SR0707BR) - La parole multimodale en interaction
• MUSCA (SR0895VR) - Dynamiques de populations multi-échelles pour des systèmes physiologiques
• MUSCLEES (SR0961CR) - Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes
• MUSE (SR0599HR) - Measuring networks for enhancing USer Experience
• MUSICS (SR0965BR) - Systèmes de cellules avec interactions multi-échelles
• 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
• 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
• 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
• NANO-D (SR0407UR) - Algorithmes pour la Modélisation et la Simulation de Nanosystèmes
• NANO-D (SR0640RR) - Algorithmes pour la Modélisation et la Simulation de Nanosystèmes
• NANO-D (SR0849TR) - Algorithms for Modeling and Simulating Nanosystems
• NECS (SR0022LR) - Systèmes Commandés en Réseau
• NECS (SR0863XR) - Systèmes Commandés en Réseau
• NEO (SR0764ZR) - Network Engineering and Operations
• 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
• NETQUEST (SR0363OR) - Network Query Processing
• NEUROMATHCOMP (SR0260TR) - Neurosciences Mathématique et Computationnelle
• NEUROSYS (SR0560AR) - Analysis and modeling of neural systems by a system neuroscience approach
• NEUROSYS (SR0710HR) - Analysis and modeling of neural systems by a system neuroscience approach
• NON-A (SR0440XR) - Non-Asymptotic estimation for online systems
• NON-A (SR0525ZR) - Non-Asymptotic estimation for online systems
• NON-A (SR0821DR) - Non-Asymptotic estimation for online systems
• NOVALTIS (SR0364BR) - NOVel ALgorithms and VALidation Techniques for TIme-critical and high Integrity Systems
• NUMATH (SR0261HR) - Analyse Mathématique et Traitement Numérique de modèles Non linéaires
• NUMED (SR0262VR) - Modélisation numérique en médecine
• NUMOPT (SR0263NR) - Optimisation Numérique
• O
• OAK (SR0517YR) - Optimizations and Architectures for Complex large data
• OAK (SR0576UR) - Database optimizations and architectures for complex large data
• OASIS (SR0159DR) - Objets actifs, sémantique, Internet et sécurité
• OBASCO (SR0114OR) - Objets, aspects et composants
• OCKHAM (SR0938ZR) - Optimisation, Connaissances pHysiques, Algorithmes et Modèles
• ODYSSEE (SR0150JR) - Vision algorithmique et biologique
• ODYSSEY (SR0916ER) - Océan Dynamique Observations Analyse
• OLAS (SR0949SR) - Fondements opérationnels, logiques et algébriques des systèmes logiciels
• OMEGA (SR0264KR) - Méthodes numériques probabilistes
• ONDES (SR0265QR) - Modélisation et simulation de phénomènes de propagation d'ondes
• OPALE (SR0174ER) - Optimisation et contrôle, algorithmiques numériques et intégration de systèmes complexes multidisciplinaires régis par des EDP
• OPERA (SR0266AR) - Outils pour les documents électroniques, recherche et applications
• OPIS (SR0876PR) - OPtimisation Imagerie et Santé
• ORCHESTRON (SR0535CR) - Orchestron : from neuronal rhythms to rhythmic brain functions
• ORION (SR0267ER) - Environnements de résolution de problèmes pour des systèmes autonomes
• ORPAILLEUR (SR0042HR) - Représentation de connaissances, raisonnements
• 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
• 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
• PARA (SR0270OR) - Parallélisme
• PARADYSE (SR0891SR) - Systèmes de particules et systèmes dynamiques
• PARAGRAPHE (SR0271GR) - Parallélisme et graphes
• PAREO (SR0395GR) - Ilôts formels: fondements et applications
• PAREO (SR0418ER) - Ilôts formels: fondements et applications
• PARIETAL (SR0367NR) - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
• PARIS (SR0121IR) - Programmation des systèmes parallèles et distribués pour la simulation numérique à grande échelle
• PARKAS (SR0446CR) - Parallélisme de Kahn Synchrone
• PARKAS (SR0521SR) - Parallélisme de Kahn Synchrone
• PARMA (SR0955YR) - Méthodes particulaires utilisant Monge-Ampère
• PAROLE (SR0046YR) - Analyse, perception et reconnaissance de la parole
• PAROLE (SR0616JR) - Analyse, perception et reconnaissance de la parole
• PARSIFAL (SR0140OR) - Recherche de preuve et raisonnement sur des spécifications logiques
• PARTOUT (SR0887MR) - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
• PASTA (SR0900AR) - Processus Aléatoires Spatio-Temporels et Applications
• PASTIS (SR0272ER) - Analyse de scènes et traitement d'images symboliques
• PERCEPTION (SR0012WR) - Interprétation et Modélisation d'Images et de Vidéos
• PERCEPTION (SR0451WR) - Interprétation et Modélisation d'Images et de Vidéos
• PERVASIVE (SR0807WR) - Interaction située avec les objets et environnements intelligents
• PERVASIVE INTERACTION (SR0736GR) - Pervasive Interaction
• PESTO (SR0729KR) - Proof techniques for security protocols
• PESTO (SR0758TR) - Techniques de Preuves pour les Protocoles de Sécurité
• PETRUS (SR0773NR) - Personal Trusted cloud
• PETRUS (SR0793XR) - Cloud personnel sécurisé
• PETSCRAFT (SR0962IR) - Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
• PHOENIX (SR0002RR) - Technologie des langages de programmation pour les services de communication
• PHOENIX (SR0826CR) - Technologie des langages de programmation pour les services de communication
• 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
• PIRAT (SR0958BR) - Protection de l’information et résistances aux attaques
• PIXEL (SR0892UR) - Structurer des formes géométriques
• PLANETE (SR0163WR) - Protocoles et applications pour l'Internet
• PLATON (SR0899UR) - Quantification des Incertitudes en calcul scientifique pour l’ingénierie
• PLEIADE (SR0669RR) - from patterns to models in computational biodiversity and biotechnology
• PLEIADE (SR0868XR) - Patterns de diversité et réseaux de fonctions
• POEMS (SR0089RR) - Propagation des Ondes : Étude Mathématique et Simulation
• POEMS (SR0832GR) - Propagation des Ondes: Etude Mathématique et Simulation
• POEMS (SR0882NR) - Propagation des Ondes : Etude Mathématique et Simulation
• POLARIS (SR0717IR) - Performance analysis and optimization of LARge Infrastructures and Systems
• POLARIS (SR0823FR) - Évaluation et optimisation des performances des grandes infrastructures
• POLKA (SR0273UR) - Polynômes, combinatoire, arithmétique
• 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
• POP ART (SR0017FR) - Contrôle-commande temps réel sûr
• POPIX (SR0568CR) - Modélisation en pharmacologie de population
• POPS (SR0035JR) - système et Réseau pour Petits Objets Portables et Sécurisés
• POPS (SR0484IR) - Systèmes et réseaux pour Petits Objets Portables et Sécurisés
• POSET (SR0670IR) - Modèles pour la Programmation Structurée de l'Espace et du Temps
• POSTALE (SR0635BR) - Performance Optimization by Software Transformation and Algorithms & Librairies Enhancement
• POTIOC (SR0496BR) - Popular interaction with 3d content
• 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
• PREVAL (SR0369ER) - Probabilités, modélisation et évaluation de systèmes
• PRIMA (SR0013IR) - Perception, reconnaissance et intégration pour la modélisation des activités
• PRIMA (SR0733FR) - Perception, reconnaissance et intégration pour la modélisation des activités
• PRISME (SR0274ZR) - Géométrie, Algorithmes et Robotique
• PRIVATICS (SR0537SR) - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
• PRIVATICS (SR0637XR) - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
• PROLO (SR0275RR) - Programmation en logique
• PROMATH (SR0276LR) - Programmation mathématique
• PROSECCO (SR0502AR) - Programming securely with cryptography
• PROSECCO (SR0526LR) - Programming securely with cryptography
• PROTHEO (SR0277VR) - Contraintes, déduction automatique et preuves de propriétés de logiciels
• PROVAL (SR0141OR) - Preuve de programmes
• PROVAL (SR0512LR) - Proof of Programs
• PSYCHO ERGO (SR0278KR) - Psychologie ergonomique pour l'informatique
• 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
• Q
• QGAR (SR0044SR) - Recherche d'information graphique par l'analyse et la reconnaissance
• QINFO (SR0929KR) - Traitement optimal de l'information avec des dispositifs quantiques
• QUACS (SR0913XR) - Structures de calcul quantique
• QUANTIC (SR0597UR) - QUANTum Information Circuits
• QUANTIC (SR0692YR) - QUANTum Information Circuits
• QURIOSITY (SR0934SR) - Communication et Traitement Quantiques de l'Information
• 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
• RANDOPT (SR0761SR) - Randomized Optimisation
• RANDOPT (SR0855ZR) - Optimisation par algorithmes stochastiques
• RAP (SR0073SR) - Réseaux, algorithmes et probabilités
• RAP2 (SR0771HR) - Réseaux, algorithmes et probabilités
• RAPSODI (SR0712BR) - Reliable numerical approximations of dissipative systems
• RAPSODI (SR0801RR) - Approximations numériques fiables pour les systèmes dissipatifs
• REALOPT (SR0279UR) - Reformulations et algorithmes pour l'Optimisation combinatoire
• 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
• REGULARITY (SR0420NR) - Modélisation probabiliste de l'irrégularité et application à la gestion des incertitudes
• REGULARITY (SR0515MR) - Modélisation probabiliste de la régularité et application à la gestion des incertitudes
• REMAP (SR0281PR) - Régularité et parallélisme massif
• REO (SR0062XR) - Simulation numérique d'écoulements biologiques
• REO (SR0859AR) - Simulation numérique d'écoulements biologiques
• REPCO (SR0282FR) - Représentation des connaissances
• RESEDAS (SR0283ZR) - Outils logiciels pour les télécommunications et les systèmes distribués
• RESIST (SR0827CR) - Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques
• RESO (SR0026UR) - Protocoles et logiciels optimisés pour réseaux très haut-débit
• REVES (SR0158LR) - Rendu et environnements virtuels sonorisés
• RITS (SR0630YR) - Robotics & Intelligent Transportation Systems
• RITS (SR0698YR) - Robotics & Intelligent Transportation Systems
• RMOD (SR0372FR) - Analyses et construction de langage pour l'évolution d'applications orientées Objet
• ROBOTLEARN (SR0908QR) - Apprentissage, perception et commande pour des robots sociaux
• ROBOTVIS (SR0284ER) - Vision par ordinateur et robotique
• RODEO (SR0285UR) - Réseaux à haut débit, Réseaux ouverts
• RODIN (SR0286AR) - Systèmes de bases de données
• ROMA (SR0509QR) - Optimisation des ressources : modèles, algorithmes et ordonnancement
• ROMA (SR0688PR) - Optimisation des ressources : modèles, algorithmes et ordonnancement
• ROMANS (SR0373LR) - Relations et objets pour la modélisation du numérique et du symbolique
• RUNTIME (SR0003NR) - Supports exécutifs performants pour architectures parallèles
• RUNTIME (SR0607KR) - Supports exécutifs performants pour architectures parallèles
• S
• S.H.A.M.A.N (SR0424KR) - Simulation in Healthcare for Advanced Medical ApplicatioNs
• S4 (SR0118ZR) - Synthèse et supervision de systèmes, scénarios
• S4 (SR0547JR) - Synthèse et supervision de systèmes, scénarios
• SAFIR (SR0287UR) - Systèmes algébriques formels pourl'industrie et la recherche
• SAGA (SR0288LR) - Systèmes Algébriques, Géométrie et Applications
• SAGE (SR0122IR) - Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement
• SAGEP (SR0374CR) - Simulation, analyse et gestion des systèmes de production
• SAIRPICO (SR0940OR) - Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie
• SALSA (SR0096PR) - Résolution de systèmes algébriques et Applications
• SAMIE (SR0375MR) - Schémas Abstraits pour la Modélisation des Intranets
• SARDES (SR0016HR) - Architecture de systèmes réflexifs pour les environnements distribués
• SCALAPPLIX (SR0004QR) - Schémas et algorithmes hautes performances pour les applications scientifiques complexes
• SCALE (SR0621RR) - Safe Composition of Autonomous applications with Large-SCALE Execution environment
• SCILAB (SR0289HR) - Equipe opérationnelle du consortium Scilab
• SCIPORT (SR0490MR) - Transformations et outils informatiques pour le calcul scientifique
• SCOOL (SR0896HR) - Prise de décision séquentielle dans l’incertain
• SCORE (SR0421BR) - Services et coopération
• SEAMLESS (SR0969GR) - Interaction et collaboration fluides à travers le continuum réalité-virtualité
• SECRET (SR0097JR) - Sécurité, Cryptologie et Transmissions
• SECSI (SR0142GR) - Sécurité des systèmes d'information
• SECSI (SR0565JR) - Sécurité des systèmes d'information
• SELECT (SR0130LR) - Sélection de modèles en apprentissage statistique
• SELECT (SR0866IR) - Sélection de modèles en apprentissage statistique
• SEMAGRAMME (SR0443TR) -
• SEMAGRAMME (SR0590XR) - Analyse Sémantique de la Langue
• SEQUEL (SR0032ER) - Sequential Learning
• SEQUOIA (SR0031AR) - Algorithmes pour analyse à grande échelle de séquences biologiques
• SEQUOIA2 (SR0422XR) - Algorithmes pour analyse à grande échelle de séquences biologiques
• SERENA (SR0701KR) - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• SERENA (SR0784ZR) - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• 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
• SHACRA (SR0499SR) - Simulation in Healthcare using Computer Research Advances
• SHACRA (SR0672ER) - Simulation in Healthcare using Computer Research Advances
• SHARP (SR0290CR) - Programmation automatique et systèmes décisionnels en robotique
• SHERPA (SR0291MR) - modèles et bases de connaissances à objets
• SHOOD (SR0377UR) - Méthodes et outils pour l'intégration des systèmes industriels
• SIAMES (SR0292KR) - Synthèse d'images, animation, modélisation et simulation
• SIERRA (SR0438MR) - Apprentissage Statistique et Parcimonie
• SIERRA (SR0463RR) - Apprentissage Statistique et Parcimonie
• SIGMA2 (SR0293GR) - Signaux, modèles, algorithmes
• SIGNES (SR0007ER) - Signes linguistiques, grammaire et sens: algorithmique logique de la langue
• 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
• SIMPAF (SR0038YR) - SImulation et modèles pour les PArticules et les Fluides
• SIMPAF (SR0555GR) - SImulation et modèles pour les PArticules et les Fluides
• SIMSMART (SR0812CR) - SIMulation pARTiculaire de Modèles Stochastiques
• SIMSMART (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
• SINUS (SR0294LR) - Simulation Numérique dans les Sciences de l'Ingénieur
• SIRAC (SR0295HR) - Systèmes Informatiques Répartis pour Applications Coopératives
• SIROCCO (SR0505NR) - Analysis representation, compression and communication of visual data
• SISTHEM (SR0124PR) - Inférence statistique pour la surveillance d'intégrité de structures
• SISTM (SR0575YR) - Statistics In System biology and Translational Medicine
• SISTM (SR0678GR) - Statistics In System biology and Translational Medicine
• SISYPHE (SR0064WR) - SIgnaux et systèmes en PHysiologie et ingénieriE
• SLOOP (SR0296TR) - Simulation, Langages à Objets et Parallélisme
• SMASH (SR0176SR) - Simulation, modélisation, analyse de systèmes hétérogènes
• SMIS (SR0100IR) - Systèmes d'informations sécurisés et mobiles
• SOCRATE (SR0493CR) - Radio logicielle et radio cognitive pour les télécommunication
• SOCRATE (SR0584JR) - Radio logicielle et radio cognitive pour les télécommunication
• SODA (SR0918NR) - Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données
• SODAS (SR0378FR) - Structures de classification ordonnées et discrimination : algorithmes et simulations
• SOLIDOR (SR0297ZR) - Construction de systèmes et d'applications distribués
• SOR (SR0298AR) - Systèmes Objets Répartis
• SOSSO (SR0299ER) - Applications et outils de l'automatique
• SOSSO2 (SR0380MR) - Applications et outils de l'automatique
• SPACES (SR0300IR) - Systèmes polynomiaux, arithmétiques, calculs efficaces et sûrs
• SPADES (SR0542AR) - Programmation de systèmes embarqués sûrs et adaptatifs
• SPADES (SR0703KR) - Programmation de systèmes embarqués sûrs et adaptatifs
• SPECFUN (SR0538HR) - Symbolic Special Functions : Fast and Certified
• SPECFUN (SR0654LR) - Symbolic Special Functions : Fast and Certified
• SPECTRE (SR0301KR) - Spécification et programmation des systèmes communicants et temps réel
• SPHINX (SR0686AR) - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• SPHINX (SR0742ER) - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• SPIRALS (SR0613WR) - Self-adaptation for distributed services and large software systems
• 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 (SR0802PR) - Software Stack for Massively Geo-Distributed Infrastructures
• 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 (SR0492SR) - Spatio-Temporal Activity Recognition Systems
• STARS (SR0541QR) - Reconnaissance d’Activités Spatio-Temporelles pour les interactions Sociales
• STATIFY (SR0893AR) - Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension
• STEEP (SR0425QR) - Soutenabilité, Territoires, Environnement, Economie et Politique
• STEEP (SR0715QR) - Soutenabilité, Territoires, Environnement, Economie et Politique
• STORM (SR0662BR) - STatic Optimizations, Runtime Methods
• STORM (SR0794OR) - Optimisation statique, méthodes d’exécution
• 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
• SWING (SR0381GR) - Réseaux radio autonomes
• SYCO (SR0302UR) - modèles fondamentaux et applications des processus perceptifs et cognitifs
• SYCOMORES (SR0911FR) - Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires
• SYDOCO (SR0303UR) - Systèmes dynamiques et commande optimale
• SYMBIOSE (SR0102MR) - Systèmes et modèles biologiques, bioinformatique et séquences
• SYNTIM (SR0304PR) - Analyse et synthèse d'images
• SYSDYS (SR0305RR) - Systèmes Dynamiques Stochastiques
• SYSTOL (SR0306LR) - Modélisation statistique et applications biomédicales
• T
• TACOMA (SR0609DR) - TAngible COMputing Architectures
• TADAAM (SR0663RR) - Topology-Aware System-Scale Data Management for High-Performance Computing
• TADAAM (SR0808ZR) - Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance
• TALARIS (SR0061XR) - Traitement Automatique des Langues : représentation, inférence et sémantique
• TAMIS (SR0725XR) - Threat Analysis and Mitigation for Information Security
• TAMIS (SR0825UR) - Analyse de la menace et atténuation pour la sécurité des informations
• TANC (SR0144PR) - Théorie algorithmique des nombres pour la cryptologie
• TANGRAM (SR0898KR) - Recalage visuel avec des modèles physiquement réalistes
• TAO (SR0131HR) - thème Apprentissage et Optimisation
• TAPDANCE (SR0753HR) - Theory and Practice of Nanoscale Computing Engines
• TARAN (SR0905HR) - Architectures matérielles spécialisées pour l’ère post loi-de-Moore
• TASC (SR0447MR) - Theory, Algorithms and Systems for Constraints
• TAU (SR0780IR) - IA : vers des problèmes mieux posés
• 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
• TEMPO (SR0629VR) - Trustworthy EMbedded PlatfOrms
• TEXMEX (SR0128GR) - Techniques d'exploitation des données multimédia
• THOTH (SR0699OR) - Apprentissage de modèles visuels à partir de données massives
• THOTH (SR0735UR) - Apprentissage de modèles visuels à partir de données massives
• 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
• TOCCATA (SR0530HR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TOCCATA (SR0646IR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TONUS (SR0628FR) - TOkamaks and NUmerical Simulations
• TONUS (SR0871CR) - Simulations numériques et TOkamaks
• TOPAL (SR0937ER) - Outils et Optimisations pour le Calcul Haute Performance et l'Apprentissage
• TOSCA (SR0170XR) - Simuler et calibrer des modèles stochastiques
• TOSCA (SR0858UR) - Simuler et calibrer des modèles stochastiques
• TOSCA-NGE (SR0857FR) - Simuler et calibrer des modèles stochastiques
• TRANSREP (SR0387XR) - Transactionnel réparti
• TREC (SR0074FR) - Théorie des réseaux et communications
• TRIBE (SR0872OR) - Pour un Internet non-conventionnel
• TRIO (SR0049XR) - Temps réel et interopérabilité
• TRIO (SR0516GR) - Temps réel et interopérabilité
• TRIPOP (SR0806IR) - Modélisation, simulation et commande des systèmes dynamiques non lisses
• TRIPOP (SR0879YR) - Modélisation, simulation et commande des systèmes dynamiques non lisses
• TRISKELL (SR0115YR) - Construction fiable et efficace d'applications par assemblage de composants logiciels
• TROPICAL (SR0732TR) - TROPICAL
• TROPICAL (SR0844QR) - Méthodes tropicales: structures, algorithmes et interactions
• TROPICS (SR0172FR) - Transformations et outils informatiques pour le calcul scientifique
• TYPICAL (SR0143IR) - Types, logique et calcul
• TYREX (SR0533PR) - Types et raisonnement pour le web
• TYREX (SR0652QR) - Types and Reasoning for the Web
• U
• URBANET (SR0513VR) - Réseaux capillaires urbains
• V
• VALDA (SR0765JR) - Value from Data
• VALDA (SR0824OR) - Valeur à partir des données
• VALSE (SR0862RR) - Contrôle en temps fini et estimation pour des systèmes distribués
• VASY (SR0018CR) - Validation de systèmes, recherche et application
• VEGAS (SR0059IR) - Algorithmes géométriques effectifs pour la visibilité et les surfaces
• VERIDIS (SR0426IR) - VERIfication pour les systèmes DIStribués
• VERIDIS (SR0524TR) - Modeling and Verification of Distributed Algorithms and Systems
• VERSO (SR0309YR) - Bases de Données
• VERTECS (SR0119XR) - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
• VIRTUAL PLANTS (SR0152PR) - Modélisation de la morphogénèse des plantes à différentes échelles, des gènes aux phénotypes
• 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
• WAM (SR0030AR) - Web, adaptation et multimédia
• WEBDAM (SR0648DR) -
• WHISPER (SR0645SR) - Well Honed Infrastructure Software for Programming Environments and Runtimes
• WHISPER (SR0720UR) - Well Honed Infrastructure Software for Programming Environments and Runtimes
• 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
• WILLOW (SR0066IR) - Vision par ordinateur incarnée
• WIMMICS (SR0500CR) - Web-Instrumented Man-Machine Interactions, Communities and Semantics
• WIMMICS (SR0588SR) - Web-Instrumented Man-Machine Interactions, Communities and Semantics
• X
• XPOP (SR0795QR) - Modélisation statistique pour les sciences du vivant
• Z
• ZENITH (SR0441RR) - Gestion de données scientifiques
• ZENITH (SR0522AR) - Gestion de données scientifiques