Résultats de votre recherche
Sémantique Dynamique Versatile
L'objectif de DyVerSe est fournir de meilleurs outils pour une représentation dynamique du comportement des programmes. Cette représentation doit pouvoir gérer une riche combinaison d'effets calculatoires: ordre supérieur, concurrence à mémoire partagée, choix probabiliste, etc. Elle doit également permettre de relier des développements sémantiques antérieurs -- jusqu'à présent indépendants -- spécialisés à certains effets calculatoires.
Séismes Lents & Essaims Sismiques
Observer, modéliser et comprendre le comportement du glissement lors des essaims sismiques le long de la subduction andine en Equateur, Pérou et au Chili
Sécurité physique et intrinsèque des modèles de réseaux de neurones embarqués – PICTURE
Les modèles de Machine Learning embarqués ont une surface d’attaque critique combinant de nombreuses menaces algorithmiques et physiques (e.g., side-channel or fault injection analysis). En analysant et évaluant ces menaces et en développant des schémas de protections, PICTURE cherche à diffuser des bonnes pratiques de sécurité le plus en amont possible des processus de design et de développement de systèmes d’IA embarqués.
Sécurité Augmentée par la Photonique via Fonctions Physiques Non Clonables
Récemment, des préoccupations majeures en matière de sécurité sont apparues en raison des avancées technologiques dans les techniques de rétro-ingénierie et de cyber-attaque portant atteinte à l'intégrité du matériel et à la sécurité des informations.<br />Les fonctions physiques non clonables sont des solutions permettant d’identifier du matériel (puce) contrefait ou de générer des clés cryptographiques, en évitant le stockage local dans la mémoire, grâce à leurs réponses complexes et imprévisibles.
Systèmes de failles actives au niveau d'une frontière de plaque en devenir, Mer d'Alboran
données de la campagne océanographique ALBACORE de 2021 (N/O Pourquoi Pas ?) pour obtenir des résultats
Systèmes de diffusion croisée sur des domaines en mouvement
Le but de ce projet est de développer des modèles et des méthodes numériques précises et efficaces pour la simulation haute performance et l'optimisation du procédé de fabrication de cellules solaires à couches minces.
Systèmes de Vision Stéréoscopiques Adaptatifs chez l'Homme, le Singe et la Machine
Le projet 3D3M est un projet interdisciplinaire (modélisation, mesures en neuroimagerie et psychophysique chez l’homme et chez le macaque) qui a permis de valider l’hypothèse selon laquelle les régularités spatiales (et notamment 3D) au sein de l’environnement visuel influencent les traitements cérébraux et la perception chez le primate humain et non humain.
Systèmes conversationnels de recherche d'information
Le projet s'adresse à un nouveau paradigme en RI dans lequel l'utilisateur peut interagir avec le moteur de recherche en langage naturel par l'intermédiaire d'un système conversationnel. Nous appelons cela des systèmes conversationnels orientés vers la recherche d'information. Plusieurs défis importants : 1) comprendre le besoin d'information de l'utilisateur ; 2) concevoir un système proactif ; et 3) évaluer ce nouveau paradigme.
Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique
probabilistes. Quatre Equipes-Action ont été initiées en 2021: AnaComBa (analyse de communautés bactériennes) [...] permet d’attirer de très bons étudiants (9 en 2021 malgré le confinement) dans les masters recherche
Synthèse des Espèces Fluorés Organométalliques de Ni(IV).
Les composés organofluorés sont omniprésents en chimie médicinale et agrochimie. Cependant, la création de liaisons C-CF3 promue par des métaux est très difficile en raison de la force de la liaison M-CF3. Une stratégie originale pour favoriser l'élimination réductrice des dérivés aryle-CF3 à partir des espèces aryl-M-CF3 réside dans la préparation d'organométalliques à haute valence, plus susceptibles d'être réduits à 2 électrons. Ce projet explore cette stratégie en utilisant Ni(IV).
