Meta Description
LIP6: UMR7606 - Laboratoire de recherche en informatique de Sorbonne Université
Meta Keywords
sécurité, cryptographie, cryptanalyse systèmes embarqués, multiprocesseurs, architecture, OS minicore langages de programmation, algorithmes, vérification, combinatoire, analyse topologique de données gestion de données, sciences des données, analyse de données complexes, qualité de données, optimisation conception, sécurité matérielle, sûreté de fonctionnement, informatique neuromorphique, récupération d\'énergie, open hardware graphes, flots de liens, modèles de graphes, algorithmes, réseaux sociaux, réseaux d\'infrastructure aide à la décision, modélisation et apprentissage de préférences, optimisation, algorithmes, incertitude Systèmes répartis, Algorithmes répartis, Réplication, Tolérance aux fautes, Auto-stabilisation, Détecteur de fautes, Virtualisation intelligence computationnelle, apprentissage artificiel, IA explicable (XAI), IA hybride, logique floue
IA pour l\'éducation, fouille de données éducatives, learning analytics, environnements interactifs, jeux sérieux d\'apprentissage Ingénierie des modèles, Modélisation, Réseaux de Petri, Model Checking, Génération de programme, Meta-modélisation Arithmétique des ordinateurs, Erreurs d\'arrondi, Validation numérique, Qualité numérique, Données hétérogènes et multimodales, Calcul numérique distribué, Algorithmes d\'algèbre linéaire en précision mixte, Résultats garantis, Algorithmes symboliques/numériques calcul formel, algorithmes, calcul haute performance, cryptologie, applications robotiques information quantique, réseaux quantiques, calcul quantique, cryptographie quantique, communication quantique, photonique recherche opérationnelle, optimisation black-box, ordonnancement et graphes, algorithmes on-line, complexité Systèmes Multi-Agents : coordination, interaction, apprentissage, langages et plateformes multi-agents architectures embarquées, systèmes sur puce, consommation d\'énergie, IA embarquée/frugale, e-santé