Cadre formel pour la spécification et la vérification de flots de communication de processus distribués dans le Cloud // A formal framework for the specification and verification of distributed processes communication flows in clouds
Approches anisotropes en traitement du signal sur graphe. Application aux réseaux de neurones sur graphe. // Anisotropic approaches in graph signal processing. Application to graph neural networks.
Cadre MBSE augmenté par l’Intelligence Artificielle pour l’analyse conjointe de la sureté et de la sécurité des systèmes critiques // AI Enhanced MBSE framework for joint safety and security analysis of critical systems
Mécanismes d’adaptation neuronale après une lésion cervicale de la moelle épinière et stimulation synchronisée comme approche thérapeutique pour prévenir l’atrophie diaphragmatique: évaluation longitudinale par IRM // Mechanisms of neural adaptation afte
Internalisation des connaissances externes par les modèles de fondation // Internalisation of external knowledge by foundation models
Vers le couplage fort entre un spin unique et un résonateur supraconducteur par hyper-focalisation magnétique // Towards strong coupling between a single spin and a superconducting resonator via magnetic mode hyper-focusing
En cliquant sur "Valider", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.
Estimez votre salaire dans le secteur IT grâce à notre analyseur de CV
En savoir plus
Trouvez l'emploi dans le secteur IT qui vous ressemble sur Jobijoba !
Trouver mon emploi