Résolution de problèmes: stratégie, rôle des algorithmes. Concepts et propriétés des algorithmes. Environnement de programmation, tests et outils de correction. Le langage Python: variables, types de données, expressions et opérateurs, chaîne de caractères et fonctions, structures de contrôle (condition, boucle, itérateur, range), structures de données (liste, ensemble, dictionnaire), tableau , fonctions (définition, paramètres et arguments, appel, expression lambda), variables globales et locales. Entrées et sorties. Fichiers (lecture, écriture). Temps d'exécution. Bibliothèques scientifiques et graphiques.

Résolution de problèmes: stratégie, rôle des algorithmes. Concepts et propriétés des algorithmes. Environnement de programmation, tests et outils de correction. Le langage Python: variables, types de données, expressions et opérateurs, chaîne de caractères et fonctions, structures de contrôle (condition, boucle, itérateur, range), structures de données (liste, ensemble, dictionnaire), tableau , fonctions (définition, paramètres et arguments, appel, expression lambda), variables globales et locales. Entrées et sorties. Fichiers (lecture, écriture). Temps d'exécution. Bibliothèques scientifiques et graphiques.

Introduction - Prediction - Statistical Decision Theory - Linear Regression - Non-linear Regression - Bias-variance tradeoff - Linear Classification - Indicator Regression - PCA - LDA - QDA - GDA - Naive Bayes - Logistic Regression - Perceptron - Separating Hyperplanes - SVM - Decision Trees - ensemble learning - bagging - boosting - stacking - Neural Networks - Backpropagation - Training Deep Neural Nets - Optimization Methods - Convnets - RNNs - Estimation Theory - Maximum Likelihood Estimation - Maximum A Posteriori Estimation - Bayesian Learning - Bayesian Linear Regression - Kernel Methods - Gaussian Process - Computational Learning Theory - Frontiers in ML.
Logiques descriptives. Mécanismes d'inférence. Langages et modèles de données pour le Web sémantique. Langage de requête pour le Web sémantique. Bases de connaissances standards du Web sémantique. Méthodologie pour la construction d'une ontologie. Exploration des principaux enjeux et défis pour la réalisation du Web sémantique.


Introduction to Reinforcement Learning - Multi-armed bandits - Policy Gradient Methods - Contextual Bandits - Finite Markov Decision Process - Dynamic Programming - Policy Iteration - Value Iteration - Monte Carlo Methods - Temporal Difference Learning - n-step bootstrapping - Eligibility Traces - Model-based RL - Planning - On-policy prediction with function approximation - on-policy control with function approximation - off-policy control with function approximation - Hierarchical RL - POMDPs - inverse-RL - Exploration in RL - Offline RL.
Techniques de vérification de modèles (Model-checking). Systèmes de transitions (à prédicats, temporisés, probabilistes). Abstractions/comparaisons des systèmes de transitions. Logiques modales (temporisées, probabilistes, floues). Vérification de modèles (explicite, temporisée, symbolique).Vérification de modèles bornée basée sur la satisfiabilité (SAT/SMT). Vérification de programmes (Software Model-checking).Vérification quantitative (probabiliste, statistique). Vérification basée sur l'approche CEGAR (CounterExample Guided Abstraction Refinement). Études de cas. Applications à divers problèmes de décision et de prédiction.