Courses

New filter
New filter

39017 Courses

Fullname Shortname Summary
M2 RI - Informations générales UEVE2425M_UEVE2324M2RIM See course
Masteriales Sino-French & Transdisciplinary project UEVE2425M_MasterialesSino-French See course
Scolarité pédagogique L2 Histoire UEVE2425M_SP_L2 Histoire See course
CELLCHIP ENSPS_PHYS_M2_PhysEnBio_C_01 See course
VSS stop UEVE2425_VSSStop See course
Equipe pédagogique L2 INFO UEVE2425M_Equipe pédagogique L2 Info See course
Equipe pédagogique L2 MATHS UEVE2425M_Equipe pédagogique L2 Maths See course
R3.13 - Logistique internationale UEVE2425M_IUT See course
Scolarité pédagogique L2 Sciences de la vie UEVE2425M_SP_L2 Sciences de la vie See course
Espace information : IFSI1 EI_IFSI1 See course
Espace information : IFSI 2 EI_IFSI2 See course
Espace informations IFSI 3 EI_IFSI3 See course
Espace information : Manip radio1 EI_MANIP1 See course
Espace information : Manip Radio2 EI_MANIP2 See course
Espace information : Manip Radio3 EI_MANIP3 See course
Espace information : kine 1 EI_KIBE1 See course
Espace information : kine 2 EI_KINE2 See course
Espace information : kine 3 EI_KINE3 See course
TD formation eCampus - G12 copie 1 TDformationG12_1 See course
Scolarité pédagogique M1 Chimie UEVE2425M_SP_M1CHIY See course
Mobilité internationale en LEA UEVE2425M_L1LEAY624 See course
Scolarité pédagogique L1 Droit UEVE2425M_SP_L1DROX See course
APM_5AI29_TP - Language Models and Structured Data TPT_UE_24908

Beyond the traditional applications of Language Models in natural language processing-oriented tasks such as sentiment analysis, fake news detection, etc., the language models have been leveraged across a broad spectrum of other tasks involving structured data such as graphs, databases, tables, etc. This course is tailored to take into account the merits and demerits of employing language models and conventional approaches for tackling tasks related to structured data. Starting with an exploration of basic concepts in language modeling to large language models, low rank adaptation (LoRA), quantization,  prompt engineering and retrieval augmented generation, the curriculum progressively will move towards the interplay between language models and structured data. This course will focus on diverse applications such as learning representations over tables and graphs, language models as knowledge bases, Text to SQL, and Question Answering over Structured Data. The course will be graded based on hands-on lab sessions, projects, and presentations of the projects.

See course
CCH_0EL56_TP - Regarder le monde en géographe. Dynamiques, représentations et échelles TPT_UE_24916 See course
BGD711 - Hadoop + Cloud (advanced) TPT_UE_24795

Dans une première partie, l‘objectif de cet enseignement très pratique est de présenter comment installer et configurer Hadoop, d’initier au modèle de programmation MapReduce et à l’utilisation de technologies de l'écosystème YARN tels que Spark en mode cluster, dans la perspective du projet Fil Rouge démarrant en P2.

 Parmi les points abordés : aspects théoriques du calcul distribué (verrous distribués, algorithmes d'élection, paradigmes de calcul distribué, problème de consensus, tolérance à la panne, etc.), utilisation des machines virtuelles, installation du framework Hadoop (Zookeeper + HDFS + MapReduce), administration du framework Hadoop (taux de réplication HDFS), utilisation du framework Hadoop pour la mise en œuvre d'opérations MapReduce avec utilisation de la bibliothèque Hadoop streaming

See course
BGD713 - MLOps TPT_UE_24799

Ce cours de MLOps guide les apprenants à travers les étapes essentielles du déploiement de modèles de machine learning en production. Il commence par une introduction approfondie aux principes fondamentaux du MLOps, mettant en évidence des cas d'utilisation concrets pour une compréhension pratique. Les participants sont ensuite formés à la conteneurisation avec Docker, suivi par la gestion du cycle de vie des modèles à l'aide de MLFLow et DVC. Ils apprennent à déployer leurs modèles en tant que services avec des API, garantissant ainsi une accessibilité optimale. Le cours se poursuit en explorant la scalabilité et le clustering des modèles via Kubernetes, et enseigne les aspects cruciaux de la gestion du workflow et de l'orchestration à l'aide d'Airflow. Enfin, les participants acquièrent des compétences en matière de monitoring grâce à l'utilisation de Prometheus et Grafana, complétant ainsi leur formation pour une mise en production réussie de projets d'apprentissage automatique.

See course
CCH_0EL65_TP - La revanche de l’analogique. Quand le numérique a besoin du physique TPT_UE_24944 See course
CCH_0EL66_TP - Antropology and Ontology TPT_UE_24943 See course
CSC_4MI11_TP - Logique et théorie de la preuve TPT_UE_24904 See course
CSC_4MI12_TP - Vérification formelle (Mitro) TPT_UE_24905

L'objectif de ce module est d'introduire les concepts clés liés à la vérification formelle des systèmes logiciels et matériels.

Ce module présente la vérification des systèmes monolithiques et multi-agents. Les aspects suivants sont abordés :

- Introduction et rôle de la vérification dans le processus de développement.

- Modélisation des systèmes monolithiques et multi-agents.

- Logiques temporelles et stratégiques pour exprimer des propriétés vérifiables.

- Vérification par Model Checking.

See course