Nos formations

Analyse des données de santé sensibles par l’apprentissage fédéré

Le module s'adresse aux entreprises et professionnels de la santé qui s'intéressent aux nouvelles méthodes de traitement des données

Apprentissage automatique, les briques technologiques pour les PME

CGAL, la bibliothèque d’algorithmes géométriques

CGAL - la bibliothèque d'algorithmes géometriques, utilisée dans divers domaines requérant du calcul géométrique tels que les systèmes d'information géographique, la conception assistée par ordinateur, la biologie moléculaire, l'imagerie médicale, l'infographie et la robotique.

Coq, la preuve par le logiciel

Coq fournit un langage de programmation simplifié pour décrire des algorithmes, les propriétés logiques de ces algorithmes et leurs preuves. Ce langage est assez puissant pour décrire des logiciels avancés, comme une machine virtuelle Java, un compilateur C ou un micro-processeur.

CORESE, la boîte à outils des graphes de connaissance

Pour connaître les langages et principes du web sémantique dont vous avez besoin pour représenter et publier des données liées sur le web, interroger et sélectionner très précisément ces données à distance et au travers du web, raisonner et de déduire de nouvelles données pour enrichir les descriptions publiées, tracer toute l’histoire de ces données.

Géopolitique du numérique, asymétrie d’information et souveraineté

Appréhender les dynamiques internationales sur le contrôle des territoires et des ressources par le numérique

Guix, optimiser le cycle de vie du logiciel, du développement au déploiement

Guix : Optimiser le cycle de vie du logiciel, du développement au déploiement.

IA et santé : des modèles prédictifs aux modèles prescriptifs

Appréhender le potentiel des données de santé avec les modèles d'IA

Impacts du numérique sur l’environnement

Formation 100% en ligne qui vous propose de mesurer, décrypter et agir pour un numérique durable et responsable. Les vidéos, les ressources et activités proposées vous permettront d’identifier les enjeux climatiques en présence, de comprendre les indicateurs de l’empreinte environnementale du numérique, et d’identifier les actions que vous pouvez mettre œuvre pour un numérique plus responsable et plus durable.

La sécurité informatique face aux menaces quantiques

Comment comprendre, anticiper, et participer à la transition des cryptosystèmes classiques vers des systèmes résistants au calcul quantique ?