{"id":42,"date":"2018-04-26T05:14:27","date_gmt":"2018-04-26T03:14:27","guid":{"rendered":"https:\/\/iaaa.lis-lab.fr\/?page_id=42"},"modified":"2022-05-13T22:15:13","modified_gmt":"2022-05-13T20:15:13","slug":"cours-de-m1","status":"publish","type":"page","link":"https:\/\/iaaa.lis-lab.fr\/?page_id=42","title":{"rendered":"M1 IAAA"},"content":{"rendered":"<hr \/>\n<h2>Liste des UEs du M1 IAAA dans les th\u00e9matiques du master IAAA (Cursus complet sur le\u00a0<a href=\"https:\/\/formations.univ-amu.fr\/ME5SIN.html\">site AMU du master<\/a>)<\/h2>\n<hr \/>\n<h3>UEs obligatoires<\/h3>\n<h3>Stage et TER<\/h3>\n<h3>UEs optionnelles<\/h3>\n<hr \/>\n<h3>UEs obligatoires<\/h3>\n<ul>\n<li><strong>Introduction \u00e0 la sciences des donn\u00e9es<\/strong>\u00a0(3\u00a0cr\u00e9dits)\n<div class=\"details retrait\">\n<p class=\"text\"><b>Contenu<\/b>\u00a0: A travers trois cas d\u2019utilisation, ce cours introduit la notion d\u2019analyse de donn\u00e9es, selon trois points de vue\u00a0: le clustering (apprentissage non supervis\u00e9, ACP, kmeans, visualisation), la classification (apprentissage supervis\u00e9, notion d\u2019erreur et de mod\u00e8le, erreur de Bayes, kppv, g\u00e9n\u00e9ralisation et sur-apprentissage), et la r\u00e9gression (notion de causalit\u00e9, notion d\u2019erreur, protocoles d\u2019\u00e9valuation). Sensibilisation aux aspects \u00e9thiques (GAFAM). L\u2019objectif est de sensibiliser les \u00e9tudiants aux techniques de base de l\u2019analyse de donn\u00e9es et de l\u2019apprentissage, avec des liens vers approches probabilistes (Bayes), statistiques, et modes d\u2019\u00e9valuation et de visualisation. On partira de donn\u00e9es r\u00e9elles, on illustrera de fait la difficult\u00e9 du nettoyage de donn\u00e9es en amont de tout le reste.<\/p>\n<p class=\"text\">[<a href=\"#ISD\">Plus d&rsquo;infos<\/a>]<\/p>\n<p class=\"text\"><b>Volume horaire<\/b>\u00a0: 9h de CM\u00a0&#8211;\u00a09h de TD\u00a0&#8211;\u00a09h de TP<\/p>\n<\/div>\n<\/li>\n<\/ul>\n<p>M\u00e9thodes num\u00e9riques et probabilistes pour l\u2019informatique (6\u00a0cr\u00e9dits).<\/p>\n<ul>\n<li><strong>Aspects probabilistes pour l\u2019informatique<\/strong>\u00a0\u00a0(3\u00a0cr\u00e9dits)\n<div class=\"details retrait\">\n<p class=\"text\"><b>Contenu<\/b>\u00a0: En cours de r\u00e9daction.<\/p>\n<p class=\"text\"><b>Volume horaire<\/b>\u00a0: 9h de CM\u00a0&#8211;\u00a012h de TD\u00a0&#8211;\u00a06h de TP<\/p>\n<\/div>\n<\/li>\n<li><strong>M\u00e9thodes num\u00e9riques pour l\u2019informatique<\/strong>\u00a0(3\u00a0cr\u00e9dits)\n<div class=\"details retrait\">\n<p class=\"text\"><b>Contenu<\/b>\u00a0: En cours de r\u00e9daction.<\/p>\n<p class=\"text\"><b>Volume horaire<\/b>\u00a0: 9h de CM\u00a0&#8211;\u00a09h de TD\u00a0&#8211;\u00a09h de TP<\/p>\n<p>[<a href=\"#MNI\">Plus d&rsquo;infos<\/a>]<\/p>\n<\/div>\n<\/li>\n<\/ul>\n<hr \/>\n<h3>Stage ou TER<\/h3>\n<p>Un stage ou un TER doit \u00eatre r\u00e9alis\u00e9 entre Mai et Juin. Le stage ou le TER donne lieu \u00e0 un rapport et une soutenance :<\/p>\n<h4><span style=\"color: #0066b3;\"><span style=\"font-family: Liberation Sans Narrow, sans-serif;\"><span><span lang=\"fr-FR\"><b>A propos du rapport<\/b><\/span><\/span><\/span><\/span><\/h4>\n<ul>\n<li>Format demand\u00e9 : <a href=\"https:\/\/www.overleaf.com\/read\/yshnvhhhvhdb\">https:\/\/www.overleaf.com\/read\/yshnvhhhvhdb<\/a><\/li>\n<li>Nombre de pages :\n<ul>\n<li>10 \u00e0 15 pages hors annexes<\/li>\n<li>Nombre de pages illimit\u00e9 pour les annexes<\/li>\n<\/ul>\n<\/li>\n<li>Langue : fran\u00e7ais ou anglais<\/li>\n<li>Seront not\u00e9es : structure adapt\u00e9e, qualit\u00e9 de la synth\u00e8se, lisibilit\u00e9, pr\u00e9sence ad\u00e9quate de sch\u00e9mas et\/ou r\u00e9f\u00e9rences biblio.<\/li>\n<li>Seront p\u00e9nalis\u00e9s : plagiat (sources de sch\u00e9mas et\/ou textes non cr\u00e9dit\u00e9es), retards de remise.<\/li>\n<\/ul>\n<p><i>Avant de le remettre, il est conseill\u00e9 de faire relire votre m\u00e9moire par quelques personnes pour vous assurer de l&rsquo;intelligibilit\u00e9 de la synth\u00e8se et de la correction de la langue.<\/i><\/p>\n<h4 class=\"gmail-western\"><span style=\"color: #0066b3;\"><span style=\"font-family: Liberation Sans Narrow, sans-serif;\"><span>A propos de la soutenance<\/span><\/span><\/span><\/h4>\n<ul>\n<li>Pr\u00e9sence recommand\u00e9e de l\u2019encadrant.e.\n<ul>\n<li>Planning \u00e0 venir<\/li>\n<li>Communiquez ces informations \u00e0 votre encadrant.e pour v\u00e9rifier leurs disponibilit\u00e9s<\/li>\n<\/ul>\n<\/li>\n<li>12-15min de pr\u00e9sentation, 5min de questions.<\/li>\n<li>Diapositives (format pdf)<\/li>\n<li>Langue : fran\u00e7ais ou anglais<\/li>\n<li>Seront not\u00e9es : qualit\u00e9 de la synth\u00e8se, structure de la pr\u00e9sentation et des diapos, respect du temps, r\u00e9ponses aux questions.<\/li>\n<li>Si une d\u00e9monstration est pr\u00e9vue, elle doit faire partie du temps de soutenance.<\/li>\n<\/ul>\n<hr \/>\n<h3>UEs optionnelles<\/h3>\n<ul>\n<li><strong>Introduction au traitement automatique du langage<\/strong>\u00a0(3\u00a0cr\u00e9dits)\n<p class=\"text\"><b>Contenu<\/b>\u00a0: L&rsquo;objectif de ce cours est d&rsquo;apporter aux \u00e9tudiants des connaissances fondamentales en traitement automatique des langues (TAL). Le cours abordera des mod\u00e8les de TAL statistiques classiques. Apr\u00e8s un bref rappel de notions de probabilit\u00e9 appliqu\u00e9es aux textes, nous aborderons la repr\u00e9sentation de documents, c.-\u00e0-d. l&rsquo;encodage de textes, la tokenisation et la repr\u00e9sentation de documents sous la forme vectorielle avec des techniques fond\u00e9es sur les \u00ab\u00a0sac de mots\u00a0\u00bb. Nous \u00e9tudierons \u00e9galement des mod\u00e8les distributionnels pour la repr\u00e9sentation de mots sous la forme de vecteurs, avec des applications en classification de textes et en similarit\u00e9 de mots. Les mod\u00e8les de langage fond\u00e9s sur les n-grammes s&rsquo;en suivent, avec des applications \u00e0 la g\u00e9n\u00e9ration de textes. Le dernier sujet abord\u00e9 ce sont les \u00e9tiqueteurs fond\u00e9s sur des machines \u00e0 \u00e9tat (tels que les mod\u00e8les de Markov cach\u00e9s) et leurs applications, par exemple en \u00e9tiquetage morphosyntaxique.<\/p>\n<p class=\"text\">[<a href=\"#ITAL\">Plus d&rsquo;infos<\/a>]<\/p>\n<p class=\"text\"><b>Volume horaire<\/b>\u00a0: 10h de CM\u00a0&#8211;\u00a07h de TD\u00a0&#8211;\u00a010h de TP<\/p>\n<\/li>\n<li><strong>Introduction \u00e0 l\u2019apprentissage artificiel<\/strong>\u00a0(3\u00a0cr\u00e9dits)\n<p class=\"text\"><b>Contenu<\/b>\u00a0: L\u2019apprentissage automatique et ses approches lin\u00e9aires\u00a0: techniques et limites. Autour de l\u2019\u00e9tude en profondeur de deux algorithme de s\u00e9paration lin\u00e9aire (le perceptron et SVM)\u00a0: impl\u00e9mentation compl\u00e8te, preuves de convergence, propri\u00e9t\u00e9s, \u00e9tude des performances sur des jeux de donn\u00e9es, approfondissement des notions de g\u00e9n\u00e9ralisation, introduction Rademacher et Kolmogorov. Tout le long de l\u2019UE, un cas d\u2019\u00e9tude sera men\u00e9, sur la base d\u2019images ou de videos. La probl\u00e9matique de l\u2019acquisition de donn\u00e9es priv\u00e9es sera trait\u00e9e, avec une mise en perspective soci\u00e9tale (\u00e9thique, PI, r\u00f4le du citoyen, r\u00f4le de l\u2019ing\u00e9nieur). Mise en perspective des mod\u00e8les non-lin\u00e9aires.<\/p>\n<p class=\"text\">[<a href=\"#IAA\">Plus d&rsquo;infos<\/a>]<\/p>\n<p class=\"text\"><b>Volume horaire<\/b>\u00a0: 9h de CM\u00a0&#8211;\u00a09h de TD\u00a0&#8211;\u00a09h de TP<\/p>\n<\/li>\n<li><strong>Mod\u00e9lisation et r\u00e9solution pour la d\u00e9cision<\/strong>\u00a0(3\u00a0cr\u00e9dits)\n<div class=\"details retrait\">\n<p class=\"text\"><b>Contenu<\/b>\u00a0: Introduction aux diff\u00e9rents aspects du raisonnement automatique, dont l\u2019objectif est de permettre d\u2019obtenir des solutions \u00e0 tout type de probl\u00e8mes uniquement \u00e0 partir de leurs descriptions et gr\u00e2ce \u00e0 des solveurs g\u00e9n\u00e9rant une preuve du r\u00e9sultat inspir\u00e9 du raisonnement humain. Cette UE aborde les formalismes les plus simples, les probl\u00e8mes SAT et CSP binaires, qui correspondent \u00e0 des probl\u00e8mes de d\u00e9cision, et \u00e9tudie la fa\u00e7on de mod\u00e9liser un probl\u00e8me dans ces formalismes, les m\u00e9thodes de r\u00e9solution arborescente (avec filtrages, heuristique de choix de variable, de valeur), et des solveurs existants (Minisat, Choco).<\/p>\n<p class=\"text\">[<a href=\"#MRD\">Plus d&rsquo;infos<\/a>]<\/p>\n<p class=\"text\"><b>Volume horaire<\/b>\u00a0: 10h de CM\u00a0&#8211;\u00a010h de TD\u00a0&#8211;\u00a07h de TP<\/p>\n<\/div>\n<\/li>\n<\/ul>\n<hr \/>\n<h2 style=\"text-align: center;\">D\u00e9tails des UEs<\/h2>\n<hr \/>\n<h3 id=\"ISD\"><b>Introduction \u00e0 la science des donn\u00e9es<\/b><\/h3>\n<h4><b>Objectifs de l\u2019UE<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">L\u2019objectif principal de l\u2019UE est de sensibiliser et familiariser l\u2019\u00e9tudiant avec les id\u00e9es, les algorithmes, les protocoles de base de la science de donn\u00e9es. <\/span><\/p>\n<p><span style=\"font-weight: 400;\">Nous y traiterons ainsi des approches incontournables pour visualiser les donn\u00e9es, r\u00e9duire leurs dimensions, les analyser par des approches de regroupement et de r\u00e9gression, et les utiliser pour \u00e9tablir des mod\u00e8les pr\u00e9dictifs (classification). Pour environner ces approches dans un cadre exp\u00e9rimental, nous parcourrons les principales m\u00e9triques d\u2019\u00e9valuation des estimations faites et leurs modes de calcul ; ceci permettra de d\u00e9finir des cadres exp\u00e9rimentaux coh\u00e9rents pour la mise en oeuvre de s\u00e9lection automatique de mod\u00e8les. <\/span><\/p>\n<p><span style=\"font-weight: 400;\">La plupart des concepts abord\u00e9s seront illustr\u00e9s sur la base de donn\u00e9es artificielles et de donn\u00e9es r\u00e9elles.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">A l\u2019issue de cette UE, tout \u00e9tudiant sera en capacit\u00e9 de r\u00e9aliser un cha\u00eene compl\u00e8te de visualisation et traitements de donn\u00e9es en avec des m\u00e9thodes simples.<\/span><\/p>\n<h4><b>Programme d\u00e9taill\u00e9<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Chapitre 1 : Visualiser les donn\u00e9es (ACP, r\u00e9sum\u00e9s statistiques type histogrammes), principes de normalisation et de standardisation. <\/span><\/p>\n<p><span style=\"font-weight: 400;\">Chapitre 2 : Le regroupement de donn\u00e9es (clustering) : m\u00e9thode des k-moyennes, m\u00e9thodes hi\u00e9rarchiques, impact du choix de la distance, d\u00e9couverte de la notion de stabilit\u00e9 \u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Chapitre 3 : La pr\u00e9diction par r\u00e9gression (lin\u00e9aire et polynomiale), introduction \u00e0 la causalit\u00e9<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Chapitre 4 : Crit\u00e8res de performances (erreur, pr\u00e9cision, ROC, etc.) et modes d\u2019estimation (hold-out, validation crois\u00e9e). Principes de la s\u00e9lection de mod\u00e8les. D\u00e9finir un protocole exp\u00e9rimental solide. <\/span><\/p>\n<p><span style=\"font-weight: 400;\">Chapitre 5 : La classification \u00e0 travers les m\u00e9thodes (a) des \u00a0k plus proches voisins, et (b) des arbres de d\u00e9cision ; \u00e9tude de l\u2019impact des hyper-param\u00e8tres <\/span><\/p>\n<p><span style=\"font-weight: 400;\">Les TP et TD seront des ateliers de pratique du cours, \u00e0 partir de donn\u00e9es benchmark de l\u2019UCI pour se familiariser avec les concepts de la science des donn\u00e9es. Ils seront r\u00e9alis\u00e9s en python, en se familiarisant avec les packages numpy, sklearn, et pandas. A partir du 3\u00e8me TD\/TP, un projet sera travaill\u00e9 sur des donn\u00e9es visuelles (images num\u00e9ris\u00e9es).<\/span><\/p>\n<h4><b>\u00c9quipe enseignante<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">C\u00e9cile Capponi<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Valentin Emiya<\/span><\/p>\n<p><span style=\"font-weight: 400;\">R\u00e9mi Eyraud (responsable)<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Hachem Kadri<\/span><\/p>\n<p><b>\f<\/b><\/p>\n<hr \/>\n<h3 id=\"ITAL\"><b>Introduction au TAL<\/b><\/h3>\n<h4><b>Objectifs de l\u2019UE<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Le but de ce cours est de familiariser les \u00e9tudiants avec les repr\u00e9sentations vectorielles et avec les mod\u00e8les de s\u00e9quence pour le traitement automatique du langage naturel (TAL). \u00c0 l&rsquo;issue de ce cours, un \u00e9tudiant doit ma\u00eetriser ce mod\u00e8le et \u00eatre capable de l&rsquo;appliquer \u00e0 des t\u00e2ches d&rsquo;\u00e9tiquetage de s\u00e9quences telles que la traduction automatique.<\/span><\/p>\n<h4><b>Programme d\u00e9taill\u00e9<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Les s\u00e9ances TP permettent de r\u00e9aliser le projet de mani\u00e8re incr\u00e9mentale. \u00c0 l&rsquo;issue du dernier TP, les \u00e9tudiants auront impl\u00e9ment\u00e9 un traducteur automatique mot-\u00e0-mot fond\u00e9 sur un mod\u00e8le d&rsquo;\u00e9tiquetage de s\u00e9quences (HMM). Le contenu des CM et des TD permet d&rsquo;acqu\u00e9rir les notions th\u00e9oriques n\u00e9cessaires \u00e0 la r\u00e9alisation du projet.<\/span><\/p>\n<p><b>S\u00e9ance 1 &#8211; Repr\u00e9sentation de textes<\/b><\/p>\n<p><span style=\"font-weight: 400;\">CM+TD: Encodage de textes, tok\u00e9nisation, <\/span><i><span style=\"font-weight: 400;\">word embeddings<\/span><\/i><span style=\"font-weight: 400;\">, op\u00e9rations vectorielles<\/span><\/p>\n<p><span style=\"font-weight: 400;\">TP: tok\u00e9nisation de textes<\/span><\/p>\n<p><b>S\u00e9ance 2 &#8211; Mod\u00e8les \u00e0 n-grammes<\/b><\/p>\n<p><span style=\"font-weight: 400;\">CM+TD: Rappel probabilit\u00e9s, estimation de probabilit\u00e9s pour cha\u00eenes de markov<\/span><\/p>\n<p><span style=\"font-weight: 400;\">TP: Apprentissage d&rsquo;un mod\u00e8le de n-grammes \u00e0 partir d&rsquo;un texte<\/span><\/p>\n<p><b>S\u00e9ance 3 &#8211; Mod\u00e8les d&rsquo;\u00e9tiquetage de s\u00e9quences<\/b><\/p>\n<p><span style=\"font-weight: 400;\">CM+TD: Estimation de probabilit\u00e9s pour HMM, algorithme <\/span><i><span style=\"font-weight: 400;\">forward<\/span><\/i><span style=\"font-weight: 400;\">, perplexit\u00e9<\/span><\/p>\n<p><span style=\"font-weight: 400;\">TP: Calcul de la perplexit\u00e9<\/span><\/p>\n<p><b>S\u00e9ance 4 &#8211; D\u00e9codage avec mod\u00e8les de markov<\/b><\/p>\n<p><span style=\"font-weight: 400;\">CM+TD: log-probabilit\u00e9s, algorithme de Viterbi<\/span><\/p>\n<p><span style=\"font-weight: 400;\">TP: Traduction automatique avec d\u00e9codage Viterbi<\/span><\/p>\n<p><b>S\u00e9ance 5 &#8211; Alignement lexical<\/b><\/p>\n<p><span style=\"font-weight: 400;\">CM+TD: apprentissage d&rsquo;alignements sur donn\u00e9es incompl\u00e8tes (algorithme EM)<\/span><\/p>\n<p><span style=\"font-weight: 400;\">TP: Alignement lexical de corpus parall\u00e8les pour la traduction<\/span><\/p>\n<h4><b>\u00c9quipe enseignante<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Fr\u00e9d\u00e9ric B\u00e9chet et Carlos Ramisch<\/span><\/p>\n<p><b>\f<\/b><\/p>\n<hr \/>\n<h3 id=\"IAA\"><b>Introduction \u00e0 l\u2019apprentissage artificiel<\/b><\/h3>\n<h4><b>Objectifs de l\u2019UE<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">L\u2019apprentissage artificiel (ou automatique) est une discipline \u00e0 l\u2019intersection entre la science des donn\u00e9es et l\u2019intelligence artificiel. Nous introduisons cette discipline aujourd\u2019hui majeure par le biais de la notion de classification. L\u2019objectif est que les \u00e9tudiants se familiarisent avec la plupart des concepts et r\u00e9sultats majeurs de la classification supervis\u00e9e, qui sont essentiels pour aborder d\u2019autres cadres de l\u2019apprentissage artificiel. Une introduction au cadre statistique de l\u2019apprentissage sera pr\u00e9sent\u00e9e, dans l\u2019objectif que la propri\u00e9t\u00e9 essentielle de g\u00e9n\u00e9ralisation soit acquise et contextualis\u00e9e. Sur cette base, les approches de classification lin\u00e9aire (SVM et perceptron) seront trait\u00e9es &#8212; avec une extension vers les m\u00e9thodes non-lin\u00e9aire via la notion de fonction noyau &#8211;. Le focus sur les SVM permettra notamment de sensibiliser les \u00e9tudiants \u00e0 la notion de r\u00e9gularisation, majeure en apprentissage artificiel. Enfin, la classification supervis\u00e9e sera abord\u00e9e \u00e0 travers l\u2019\u00e9tude d\u2019ensemble de classifieurs (mod\u00e8les additifs de classification et bootstraping).<\/span><\/p>\n<h4><b>Programme d\u00e9taill\u00e9<\/b><\/h4>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Chapitre 1. \u00a0Les fondamentaux de l&rsquo;apprentissage artificiel (propri\u00e9t\u00e9s d\u2019un \u00e9chantillon, minimisation du risque, g\u00e9n\u00e9ralisation, espace d\u2019hypoth\u00e8se, biais et variance des estimateurs, r\u00e8gle majoritaire et r\u00e8gle de Bayes) : d\u00e9finition formelle du cas de le la classification supervis\u00e9e<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Chapitre 2. Classification supervis\u00e9e lin\u00e9aire : perceptron et SVM<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Chapitre 3. Classification supervis\u00e9e non-lin\u00e9aire : perceptron et SVM \u00e0 noyaux, principe de la r\u00e9gularisation<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Chapitre 4. M\u00e9thodes ensemblistes (bagging, boosting)<\/span><\/li>\n<\/ul>\n<p><span style=\"font-weight: 400;\">Les TP et TD seront des ateliers de pratique du cours, \u00e0 partir de donn\u00e9es artificielles (contr\u00f4l\u00e9es) et r\u00e9elles, avec visualisation des effets de la transformation des donn\u00e9es par m\u00e9thodes \u00e0 noyaux. Un effort de programmation d\u2019algorithmes d\u2019apprentissage en python sera notamment demand\u00e9. Tr\u00e8s rapidement, nous proposerons la participation des \u00e9tudiants \u00e0 un challenge de la plate-forme ENS Challenge Data, sur des donn\u00e9es r\u00e9elles et difficiles, par exemple le challenge Reminiz.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Bibliographie:<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Apprentissage Artificiel (A. Cornu\u00e9jols, L. Miclet, 2\u00e8me \u00e9dition, Eyrolles)<\/span><\/p>\n<h4><b>\u00c9quipe enseignante<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">C\u00e9cile Capponi (responsable)<\/span><\/p>\n<p><b>\f<\/b><\/p>\n<hr \/>\n<h3 id=\"MRD\"><b>Mod\u00e9lisation et r\u00e9solution pour la d\u00e9cision<\/b><\/h3>\n<h4><b>Objectifs de l\u2019UE<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Les formalismes CSP (Probl\u00e8me de Satisfaction de Contraintes) et SAT (probl\u00e8me de satisfiabilit\u00e9 en logique propositionnelle) permettent d\u2019exprimer ais\u00e9ment des probl\u00e8mes de d\u00e9cision en mettant en relation des variables \u00e0 l\u2019aide de contraintes ou de clauses.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Ils offrent un cadre relativement puissant permettant de repr\u00e9senter de nombreux probl\u00e8mes industriels et acad\u00e9miques (probl\u00e8me d\u2019allocation de fr\u00e9quence, ordonnancement, cryptographie, bioinformatique, etc.) \u00a0tout en disposant d\u2019outils efficaces (solveurs) pour leur r\u00e9solution.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Pour chaque formalisme, l\u2019\u00e9tudiant devra appr\u00e9hender les techniques de r\u00e9solution et surtout \u00eatre capable de mod\u00e9liser de nouveaux probl\u00e8mes. Diff\u00e9rentes mod\u00e9lisations \u00e9tant envisageables, il devra \u00eatre en mesure d\u2019orienter ses choix en tenant compte des sp\u00e9cificit\u00e9s des solveurs employ\u00e9s.<\/span><\/p>\n<h4><b>Programme d\u00e9taill\u00e9<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Plan du cours :<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Cours 1 \/ TD 1 (5h) : CSP (formalisme et r\u00e9solution)<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Cours 2 \/ TD 2 (5h) : SAT (formalisme et r\u00e9solution)<\/span><\/li>\n<\/ul>\n<h4><b>\u00c9quipe enseignante<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Djamal Habet (responsable)<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Cyril Terrioux<\/span><\/p>\n<hr \/>\n<h3 id=\"MNI\"><span style=\"font-weight: 400;\">\f<\/span><b>M\u00e9thodes num\u00e9riques pour l\u2019informatique<\/b><\/h3>\n<h4><b>Objectifs de l\u2019UE<\/b><i> <\/i><\/h4>\n<p><span style=\"font-weight: 400;\">L\u2019objectif de ce cours est de donner les bases math\u00e9matiques n\u00e9cessaires pour suivre les cours des parcours IMD? , <\/span><i><span style=\"font-weight: 400;\">G\u00e9om\u00e9trie Informatique Graphique<\/span><\/i><span style=\"font-weight: 400;\"> (GIG) et <\/span><i><span style=\"font-weight: 400;\">Intelligence Artificielle et Apprentissage Automatique<\/span><\/i><span style=\"font-weight: 400;\"> (IAAA). Les diff\u00e9rentes notions seront abord\u00e9es \u00e0 la fois par leurs aspects th\u00e9oriques et pratiques. En prenant comme base commune l\u2019alg\u00e8bre lin\u00e9aire, ce cours pr\u00e9sentera des notions de calculs vectoriels et matriciels, les bases pour la r\u00e9solution de syst\u00e8mes d\u2019\u00e9quations lin\u00e9aires pour aller vers l\u2019optimisation num\u00e9rique&#8230;<\/span><\/p>\n<h4><b>Programme d\u00e9taill\u00e9<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Le cours se d\u00e9compose en trois parties :<\/span><\/p>\n<ol>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Rappel d\u2019alg\u00e8bre lin\u00e9aire (vecteurs, matrices), espace de Hilbert, normes, distances, calcul matriciel, matrices classiques (rotation, permutation\u2026), fonctions (gradient, d\u00e9riv\u00e9).<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">R\u00e9solution de syst\u00e8mes d\u2019\u00e9quations lin\u00e9aires, m\u00e9thode de Newton, m\u00e9thode du gradient conjugu\u00e9, m\u00e9thode des moindres carr\u00e9s.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Optimisation non-lin\u00e9aire, descente de gradient, KKT, contraintes<\/span><\/li>\n<\/ol>\n<p><span style=\"font-weight: 400;\">Les cours seront accompagn\u00e9s de TD et TP o\u00f9 seront propos\u00e9s des exemples concrets des notions et m\u00e9thodes pr\u00e9sent\u00e9es. Les TP seront effectu\u00e9s en Python.<\/span><\/p>\n<h4><b>\u00c9quipe enseignante<\/b><\/h4>\n<p><span style=\"font-weight: 400;\">Jean Sequeira, responsable, (4,5 CM, 9 TD, 9 TP)<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Fran\u00e7ois-Xavier Dup\u00e9, (4,5 CM, 4,5 TD, 4,5 TP)<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Hachem Kadri, (4,5 TD, 4,5 TP)<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Liste des UEs du M1 IAAA dans les th\u00e9matiques du master IAAA (Cursus complet sur le\u00a0site AMU du master) UEs obligatoires Stage et TER UEs optionnelles UEs obligatoires Introduction \u00e0 la sciences des donn\u00e9es\u00a0(3\u00a0cr\u00e9dits) Contenu\u00a0: A travers trois cas d\u2019utilisation, ce cours introduit la notion d\u2019analyse de donn\u00e9es, selon trois points de vue\u00a0: le clustering&hellip;<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-42","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/pages\/42","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=42"}],"version-history":[{"count":26,"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/pages\/42\/revisions"}],"predecessor-version":[{"id":900,"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/pages\/42\/revisions\/900"}],"wp:attachment":[{"href":"https:\/\/iaaa.lis-lab.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=42"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}