Nos formations

Mapping de données existantes vers des graphes de connaissances RDF

Master Ariel OS : a Rust operating system for secure, networked embedded systems

Ariel OS is a free and open-source operating system for embedded devices, built on Rust from the ground up and developed by an international community. It aims to provide a unified platform to easily develop secure, privacy-respecting, interoperable, low-power IoT applications.

Méthodes formelles pour les protocoles de sécurité

Cette formation orientée méthodes formelles pour les protocoles sûrs vise à donner aux ingénieurs et développeurs une base solide pour la conception des protocoles cryptographiques fiables et robustes. Pour développer de tels protocoles il est nécessaire d'apprendre à définir les scénarios et modèles de menaces ainsi que d'utiliser des outils de vérification symbolique.

Modern Signal Decomposition Methods

Le module s'adresse aux entreprises qui s'intéressent aux nouvelles méthodes de traitement des signaux

Pharo, la programmation objet avancée

Repenser la programmation orientée objet grâce à Pharo un langage objet pur, réflexif, dynamique.

Rocq, la preuve par le logiciel

Rocq 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.

Scikit-learn, la boîte à outils de l’apprentissage automatique

Le but de la formation est d’apprendre à bien utiliser la bibliothèque scikit-learn tout en donnant une compréhension intuitive de l’apprentissage automatique (machine learning) afin d’éviter les écueils méthodologiques.

Scikit-learn, la boîte à outils de l’apprentissage automatique – spécial PME

Le but de la formation est d’apprendre à bien utiliser la bibliothèque scikit-learn tout en donnant une compréhension intuitive de l’apprentissage automatique (machine learning) afin d’éviter les écueils méthodologiques.

skrub like a pro: clean, prepare, and transform your data faster

skrub is a Python package that slots between dataframe libraries like Pandas, and machine-learning libraries such as scikit-learn. This course shows how skrub simplifies going from raw data to machine learning models by introducing the main features of the library.

SOFA, le moteur de simulation multiphysique

SOFA permet de modéliser des systèmes d’objets physique et leur évolution dans des domaines comme les applications médicales, le jeu vidéo ou la robotique.