BASTRI - Fiches Equipes

96 résultats

• A
• ADAGE (SR0310XR) - Algorithmique discrête et ses applications à la génomique
• ALGORILLE (SR0050GR) - Algorithmes pour la Grille
• ALGORILLE (SR0682FR) - Algorithmes pour la Grille
• ALICE (SR0047CR) - Géometrie et Lumière
• ALICE (SR0860ZR) - Géometrie et Lumière
• B
• BIGS (SR0408TR) - Biologie, génétique et statistiques
• BIGS (SR0464QR) - Biologie, génétique et statistiques
• C
• CACAO (SR0058SR) - Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs
• 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
• CAMUS (SR0411YR) - Compilation pour les Architectures MUlti-coeurS
• CAMUS (SR0870KR) - Compilation pour les Architectures MUlti-processeurs et multi-coeurS
• CAPSID (SR0673IR) - Computational Algorithms for Protein Structures and Interactions
• CAPSID (SR0709ER) - Computational Algorithms for Protein Structures and Interactions
• 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
• CARTE (SR0392XR) - Théorie des calculs adverses, et sécurité
• CARTE (SR0731VR) - Théorie des calculs adverses, et sécurité
• CASSIS (SR0055XR) - Combinaison d'approches pour la sécurité des systèmes infinis
• COAST (SR0655TR) - Web Scale Trustworthy Collaborative Service Systems
• COAST (SR0708YR) - Web Scale Trustworthy Collaborative Service Systems
• CONGE (SR0220HR) - Contrôle géométrique des systèmes non linéaires
• CORIDA (SR0051GR) - Contrôle robuste infini-dimensionnel et applications
• CORIDA (SR0617DR) - Contrôle robuste infini-dimensionnel et applications
• CORTEX (SR0040VR) - Intelligence neuromimétique
• CORTEX (SR0556WR) - Intelligence neuromimétique
• COSTEAM (SR0391TR) - Conduite sûre et optimale de systèmes de production des biens et des services
• E
• ECOO (SR0045WR) - Environnement pour la coopération
• EURECA (SR0232CR) - Preuve, calcul symbolique et logique
• G
• 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
• I
• ISA (SR0243BR) - modèles, algorithmes et géométrie pour l'informatique graphique et la vision
• L
• 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
• LORIASI (SR0352ZR) - Loria dans la société de l'information
• M
• MACARON (SR0959TR) - Apprentissage automatique pour des méthodes numériques optimisées
• MACSI (SR0250IR) - Modélisation, analyse et conduite des systèmes industriels
• MADYNES (SR0048BR) - Supervision des réseaux et services dynamiques
• MADYNES (SR0777ER) - Supervision des réseaux et services dynamiques
• MAGRIT (SR0043DR) - Augmentation visuelle d'environnements complexes
• MAGRIT (SR0861DR) - Augmentation visuelle d'environnements complexes
• MAIA (SR0041LR) - Machine intelligente et autonome
• 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
• MERLIN (SR0356GR) - Méthodes pour l'ergonomie des logiciels interactifs
• MFX (SR0835ZR) - Informatique graphique pour la fabrication numérique
• MIMESIS (SR0711RR) - Simulation médicale guidée par les données
• MOCQUA (SR0828JR) - Modèles de calcul émergents
• MODBIO (SR0255XR) - modèles informatiques en biologie moléculaire
• MOSEL (SR0057ZR) - Développement prouvé de systèmes informatiques
• MULTISPEECH (SR0656HR) - Speech Modeling for Facilitating Oral-Based Communication
• MULTISPEECH (SR0707BR) - La parole multimodale en interaction
• N
• 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
• NUMATH (SR0261HR) - Analyse Mathématique et Traitement Numérique de modèles Non linéaires
• O
• OMEGA (SR0264KR) - Méthodes numériques probabilistes
• ORPAILLEUR (SR0042HR) - Représentation de connaissances, raisonnements
• P
• PAREO (SR0395GR) - Ilôts formels: fondements et applications
• PAREO (SR0418ER) - Ilôts formels: fondements et applications
• PAROLE (SR0046YR) - Analyse, perception et reconnaissance de la parole
• PAROLE (SR0616JR) - Analyse, perception et reconnaissance de la parole
• PASTA (SR0900AR) - Processus Aléatoires Spatio-Temporels et Applications
• PESTO (SR0729KR) - Proof techniques for security protocols
• PESTO (SR0758TR) - Techniques de Preuves pour les Protocoles de Sécurité
• PIXEL (SR0892UR) - Structurer des formes géométriques
• POLKA (SR0273UR) - Polynômes, combinatoire, arithmétique
• PROTHEO (SR0277VR) - Contraintes, déduction automatique et preuves de propriétés de logiciels
• Q
• QGAR (SR0044SR) - Recherche d'information graphique par l'analyse et la reconnaissance
• R
• 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
• S
• SAGEP (SR0374CR) - Simulation, analyse et gestion des systèmes de production
• SCORE (SR0421BR) - Services et coopération
• SEMAGRAMME (SR0443TR) -
• SEMAGRAMME (SR0590XR) - Analyse Sémantique de la Langue
• SHACRA (SR0499SR) - Simulation in Healthcare using Computer Research Advances
• SHACRA (SR0672ER) - Simulation in Healthcare using Computer Research Advances
• SIMBA (SR0956AR) - Inférence Statistique et Modélisation pour les Applications Biologiques
• SPACES (SR0300IR) - Systèmes polynomiaux, arithmétiques, calculs efficaces et sûrs
• SPHINX (SR0686AR) - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• SPHINX (SR0742ER) - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• SYCO (SR0302UR) - modèles fondamentaux et applications des processus perceptifs et cognitifs
• T
• TALARIS (SR0061XR) - Traitement Automatique des Langues : représentation, inférence et sémantique
• TANGRAM (SR0898KR) - Recalage visuel avec des modèles physiquement réalistes
• TONUS (SR0628FR) - TOkamaks and NUmerical Simulations
• TONUS (SR0871CR) - Simulations numériques et TOkamaks
• TOSCA (SR0170XR) - Simuler et calibrer des modèles stochastiques
• TOSCA-NGE (SR0857FR) - Simuler et calibrer des modèles stochastiques
• TRIO (SR0049XR) - Temps réel et interopérabilité
• TRIO (SR0516GR) - Temps réel et interopérabilité
• V
• 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