网站 lip6.fr 是在线的

Date Step #0: Fri, 19 Apr 2024 06:42:43 GMT
Step #1: Fri, 19 Apr 2024 06:42:44 GMT
Server Step #0: Apache
Location https://www.lip6.fr/ Content-Length 204 Connection Step #0: close
Content-Type Step #0: text/html; charset=iso-8859-1
Step #1: text/html; charset=UTF-8
Redirect #1 HTTP/1.1 200 OK X-Content-Type-Options nosniff Expires Thu, 19 Nov 1981 08:52:00 GMT Cache-Control no-store, no-cache, must-revalidate Pragma no-cache Vary Accept-Encoding X-Frame-Options DENY X-XSS-Protection 1; mode=block Strict-Transport-Security max-age=63072000 Content-Security-Policy default-src 'self' https://www.lip6.fr; font-src 'self' https://lip6.fr; object-src 'self' blob:; base-uri 'none'; img-src 'self' data: https://ton.twimg.com https://platform.twitter.com https://syndication.twitter.com https://abs.twimg.com https://pbs.twimg.com ; frame-src https://www.dailymotion.com/embed/video/ https://www.youtube.com/embed/ https://platform.twitter.com https://syndication.twitter.com https://sorbonne-universite.cloud.panopto.eu ; script-src 'self' 'nonce-R4nd0m-mail' 'nonce-R4nd0m-pub' 'nonce-R4nd0m-twitter' 'nonce-R4nd0m-2x' 'nonce-R4nd0m-showhidediv' https://www.lip6.fr https://platform.twitter.com https://cdn.syndication.twimg.com ; style-src 'self' 'unsafe-inline' https://platform.twitter.com https://ton.twimg.com ;

Language fr Description LIP6: UMR7606 - Laboratoire de recherche en informatique de Sorbonne Université Viewport width=device-width, initial-scale=1, viewport-fit=cover Twitter:dnt on Twitter:widgets:csp on Keywords système sur puce, multiprocesseurs, processeurs multi-coeurs SIMD, GPU, manycores, format de calcul flottant pour l\'embarqué, système d\'exploitation embarqué, test, vérification, compilation, sécurisation de code, optimisation de code, SDF Génération aléatoire, Structures Combinatoires, Analyse d\'Algorithmes, Modélisation et Applications. Conception et Implantation de langages, Analyses statiques, Typage, Interprétation Abstraite, Concurrence, Programmation Parallèle, Langage et Calcul. Gestion de données à large échelle, archivage web, flux de données, données distribuées, filtrrage et recommandation, web sémantique, médias sociaux, JSON, RDF, Apache Spark Circuits AMS, FPGA, ASIC, Full Custom, Interfaces RF, Circuits réutilisables, Intellectual Property (AMS IP), CAO pour VLSI, Interfaces Analogiques-Numériques (CAN et CNA), Horlogerie pour SOC. Graphes, réseaux dynamiques, flots de liens, mesure de graphes, modèles de graphes, algorithmique, métrologie, réseaux sociaux, topologie d\'Internet Théorie de la décision algorithmique, modélisation et apprentissage de préférences, décision multicritère et collective, décision dans l’incertain, modèles graphiques, programmation mathématique, optimisation des systèmes, contexte, systèmes décisionnels. Systèmes répartis, Algorithmes répartis, Réplication, Tolérance aux fautes, Auto-stabilisation, Détecteur de fautes, Virtualisation Intelligence computationnelle. Logique floue. Apprentissage artificiel. Modélisation du raisonnement et de la connaissance. Intelligence artificielle explicable (XAI). Environnements Informatiques pour l\'Apprentissage Humain (EIAH), Intelligence artificiel pour l\'apprentissage, learning analytics, serious games, E-learning, E-formation, TICE, ressources pédagogiques, outils auteurs, modélisation cognitive, diagnostic de compétences, adaptation, apprentissage par le jeu, métadonnées, 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. Résolution des systèmes algébriques. Bases de Gröbner. Complexité. Racines réelles. Systèmes paramétrés. Cryptologie. Cryptanalyse Algébrique. Géométrie Algorithmique. Applications Interaction symbolique numérique. Logiciels. Algèbre linéaire haute performance. Information Quantique, cryptographie quantique et cryptologie, réseaux quantiques, délégation du calcul quantique, optique quantique, photonique sur silicium pour les technologies quantiques, fondations de la mécanique quantique recherche opérationnelle, ordonnancement, optimisation combinatoire, optimisation black-box, algorithme exact et approché, complexité. Systèmes Multi-Agents : coordination, interaction, apprentissage, langages et plateformes multi-agents. systèmes embarqués, systèmes hétérogènes, architectures reconfigurables, performances et optimisation (codesign), consommation d\'énergie, intégrité du signal, réseaux de capteurs sans fil, dispositifs médicaux, aide au diagnostic, santé, aéronautique, maintenance prédictive