code | intitule | description --------------+---------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ UE_UMINM0405 | Moteurs de simulation | UE_UMINM0213 | Algorithmes distribués | Nous allons étudier les problèmes suivants : *problèmes de l'élection *problèmes de la terminaison *problèmes de l'exclusion mutuelle *problèmes de routage dans les systèmes distribués *Ordre causal *… UE_UMINS402 | Sécurité | Les étudiants par groupe (2 ou 3) effectue un projet alliant programmation, BD et système UE_UMINS307 | Gestion-Qualité-Relation Client Juridique et Ethique | Les aspects « Juridique et Ethique » traiteront de la problématique liée à la propriété industrielle, des brevets, etc. Par ailleurs, la gestion-qualité-relation client abordera l'aide à la maîtrise d'ouvrage, la recherche de prestataires extérieurs, la rédaction du cahier des charges, l'organisation de campagnes de tests. Une large part de ce module se déroulera sous forme de conférences. UE_UMINM0301 | Prolégomènes de Mathématiques pour l'Informatique UE_UMINM0301 | Les mathématiques nécessaires à l'abord de l'informatique sont essentiellement les mathématiques discrètes : algèbres dans des ensembles finis, probabilités discrètes, graphes, logique, grammaires, automates et langages UE_UMINM0305 | Réutilisation et Composants | UE_UMINM0412 | Stage professionnel UE_UMINM0412 | Stage en entreprise réalisé si possible dans le cadre du parcours de l'étudiant pour une durée minimum de 5 mois (extensible à 6). UE_ULIN406 | Logique 1 | UE_UMINM0406 | Administration de bases de données | Cette UE complète les UE de BD standards, elle donne les principes de base en terme d'administration de SGBD (sécurité, reprise sur pannes, gestion des utilisateurs). Elle sera effectuée en partenariat avec des professionnels UE_UMINM0340 | Bioinformatique - Méthodes et algorithmes pour l'étude de l'Evolution | Ce module présente les outils et les méthodes informatiques d'un chapitre important de la bioinformatique. Il se focalise sur le problème de la reconstruction de l'arbre du vivant (reconstruction phylogénétique). Il s'agit de retrouver l'arbre d'évolution des espèces au cours du temps. Des méthodes algorithmiques et mathématiques originales sont vues pour répondre aux différents aspects de ce défi. D'autres problèmes de classification appliqués à la bioinformatique sont aussi étudiés (exemples : découverte de gènes, analyse de puces de données à ADN, analyse de la structure des protéines, etc). UE_UMINM0209 | Représentation de connaissances | Ce module introduit les concepts et outils fondamentaux de la représentation de connaissances et des raisonnements. Rappels de logique du premier ordre : dont conséquence sémantique, notions de correction et complétude, méthode des tableaux, indécidabilité de la déduction, identification de certaines sources de complexité du raisonnement ; Raisonnement sur les règles positives (ou fragment des clauses de Horn positives sans fonctions) : unification, chaînage avant et chaînage arrière, Datalog et systèmes à règles de production ; Des ancêtres aux formalismes actuels : présentation de l'évolution des langages à bases de frame et réseaux sémantiques aux logiques de description et graphes conceptuels ; Programmation logique : Résolution, SLD-résolution, Prolog, contrôle du backtrack (cut), négation par l'échec Etude de la représentation d'un aspect particulier : par exemple, représentation du changement en calcul des situations et application à la planification. UE_UMINM0342 | Architecture des processeurs hautes performances | Présenter le parallélisme d'instructions (ILP, définition,présence dans les programmes, obstacles) et les techniques matérielles pourle capturer (prédiction de sauts, renommage de registres, accès mémoirespéculatifs, prédiction de valeurs). UE_UMINM0102 | Analyse Conception Programmation à Objets | Il s'agit de présenter à des candidats relevant de la formation permanente ou de cursus sans coloration objet, les concepts fondamentaux nécessaires à la poursuite du cursus. UE_UMINM0108 | Anglais | Apprentissage de l'anglais notamment dans un usage professionnel en informatique UE_UMINM0411 | TER Spécifique au parcours (Master Quatrième Semestre) | Travail tutoré (en accord avec le UE suivies par l'étudiant) nécessitant un suivi et un passage partiel en salle de travaux pratiques. UE_UMINM0335 | Fiabilité du logiciel | UE_UMINM0401 | Informatique Orientée Services | Modèles, outils et applications distribués sur Web / Grid : état de l'art ; description; engagement ; collaboration ; sélection ; ingénierie ; futur des services (Singh et Huhns : http://www.csc.ncsu.edu/faculty/mpsingh/books/SOC/ ) UE_ULIN606 | Programmation par objets 2 | Le langage C++ est un langage complexe, avec de multiples facettes et qui reste une référence pour la programmation d'applications efficaces dans le domaine scientifique notamment. Dans ce cours, nous développons les aspects du langage concernés par la programmation par objets : classes, héritage simple et multiple, généricité paramétrique, programmation générique, exceptions et protection statique (visibilité). Nous présentons une réflexion sur ces concepts en comparant C++ à d'autres langages de programmation par objets. UE_ULIN602 | Logique 2 | UE_ULIN202 | Programmation impérative 1 | Langage d'algorithme impératif. Bases du C ( variables, expressions, instructions, tableaux) ; Fonctions. Types construits. Pointeurs. Les exercices de TD sont des recherches d'algorithmes, suivis de programmation en C en TP. UE_UMINM0205 | Méta-programmation et réflexivité | Le module donne les bases de la méta-modélisation objet. Application aux classes et propriétés pour l'analyse de l'héritage multiple. Introduction aux méta-classes et à la méta-programmation dans différent contextes (cf. liste de langages ci-dessus) UE_UMINS120 | Prolégomènes Algo-Système | Cette UE est un préambule dédié principalement aux étudiants de formation permanente afin de leur donner les bases en algorithmique et Système d'exploitation UE_UMINM0106 | Compilation | Mêlant théorie (grammaire, automate) et pratique (programmation récursive, utilisation d'outils), cette unité d'enseignement est destinée à tous ceux qui souhaitent comprendre et concevoir les interpréteurs et compilateurs. Les étudiants réaliseront en TP la construction progressive d'un compilateur complet du langage Scheme ou Lisp.. UE_UMINS101 | Programmation | L'enseignement est consacré aux notions élémentaires de la programmation par objets, avec notamment les notions clés de classes, d'attributs, de méthodes, d'instanciation et d'héritage. Le langage support est Java. UE_UMINM0216 | Algorithmique Géométrique | Le programme est divisé en deux parties de même importance : 1- Géométrie algorithmique. Nous présentons les algorithmes classiques  du plan et dans l'espace : calcul de l'enveloppe convexe d'un ensemble de points, manipulation de polygones, triangulation, diagrammes de Delaunay et Voronoi. 2- Géométrie discrète. Nous présentons ici les modèles discrets de représentation des objets. Dans un premier temps nous étudierons les graphes planaires, modèles discrets permettant de représenter des objets dans le plan. Nous aborderons ensuite la problématique de la géométrie discrète qui, contrairement à la géométrie algorithmique, s'attache à modéliser les objets géométriques dans un espace dicret sans approximation. Ces notions seront illustrées par quelques applications comme l'affichage de droites et plans sur un écran, ou l'analyse d'un système cristallin constitué d'un structure moléculaire dans l'espace. UE_UMINS305 | Programmation avancée | Différents éléments avancés de programmation sont abordés et concernent : les aspects interface homme-machine (composants Swing) les aspects modélisation (patrons de conception, classes génériques) les mécanismes de gestion (exceptions, threads, entrées/sorties) assurant le contrôle des applications tout comme la qualité de leurs performances. UE_UMINM0339 | Imagerie Combinatoire | Cette U.E. a pour objectif de fournir aux étudiants les connaissances de base sur la représentation des images numériques et de leur présenter la problématique de la représentation des objets géométrique sur une grille (enesmble de points de Z^n). Les propriétés de base de tels objets géométriques sont présentées ains que les algorithmes permettant de les tracer ou de les reconnaître. UE_UMINM0103 | Bases de Données | Compléments et rappels: le modèle relationnel de données : algèbre(s) relationnelle(s), datalog. SQL Contraintes d'intégrité. Normalisation de schémas. Implantation de schéma relationnels à l'aide de SQL : contraintes, triggers, fonctions et procédures stockées... Modélisation. Comparaison de diverses méthodes (E/A, UML,...). Dérivation vers le modèle relationnel. Utilisation d'AGL. Aspects système concernant l'implantation des Bases de Données: Modèle physique. Différentes techniques de stockage. Structures de données utilisées dans les SGBD (index, hachage, B-arbres, kd-arbres, ...) Modèle d'exécution de requêtes. Optimisation de requêtes. Contrôle de concurrence et gestion de transactions. Extension du modèle relationnel: Modèle relationnel-objet : conception relationnel-objet, types d'objets, tables d'objets, vues objets, requêtes de création et de manipulation Entrepôts de données et bases de données multidimensionnelles : architectures des entrepôts de données, modèles physiques et logiques des données, construction des cubes de données, OLAP. En TP on utilisera et comparera divers SGBD du commerce en insistant sur la portabilité: utilisation de standards quand c'est possible (SQL, Java). Un miniprojet servira de contrôle continu des connaissances. UE_UMINM0302 | VIE PROFESSIONNELLE | Cette UE vise à préparer les étudiants à leur intégration dans le monde professionnel. Elle leur permet de mieux maîtriser la présentation de leurs compétences et de leurs travaux, de comprendre le fonctionnement de la vie d'une entreprise, de connaître les informations juridiques notamment relatifs au droit des contrats liés à leurs fonctions de cadres en informatique, et enfin de mieux cerner les enjeux sociétaux de l'informatique. UE_UMINM0338 | Arithmétique pour la cryptographie | L'objectif principal de ce cours est de présenter les principes importants liés à l'arithmétique des grands entiers et des corps finis, abondamment utilisés en cryptographie. Dans une première partie, après quelques rappels sur les systèmes de représentation des nombres et des polynômes en machine, nous présentons les principes de certains algorithmes de multiplication et d'exponentiation rapide. La seconde partie du cours est consacrée à l'arithmétique des corps finis (corps premiers, extensions de GF(2)). UE_UMINM0309 | Contraintes | UE_UMINM0357 | Ontologies et Extraction de Connaissances | Il s'agit de présenter le modèle de données semi-structurées, les modèles de métadonnées, les différentes approches de construction et d'évolution des ontologies, les techniques d'annotation de documents dans le processus de recherche d'information en se basant sur des ontologies, l'utilisation de la fouille de données pour la construction et l'évolution des ontologies, et l'utilisation des ontologies dans le processus d'extraction de connaissances. L'objectif du cours est de dresser un panorama des différentes approches sur chacun de ces quatre aspects, de présenter des plateformes adéquates et des applications dans des domaines comme le référencement bibliographique, le e-commerce ou le e-learning. UE_UMINM0404 | Informatique des Sons et de la Musique | Représentations discrètes de sons simples et complexes ; analyse, synthèse et traitement Représentations discrètes de la musique : notations, grammaires, langages de description et de traitement Réalisation d'applications informatiques de traitement des sons et de la musique UE_UMINS308 | Analyse de données | L'objectif principal est de faire connaître les méthodes d'analyse de données qui peuvent être appliquées aux données numériques souvent rencontrées en bioinformatique. Plan Rappels sur la notion d'estimateur statistique. Tests statistiques les plus fréquents en bioinformatique - application à l'analyse de séries d'expériences. Analyse multidimensionnelles (dont ACP) - application aux données de puces à ADN. Analyse de la variance - application aux données de puces à ADN. Classification automatique (hiérarchique, k-means) - application à la prédiction de fonctions de protéines. UE_UMINM0334 | Spécification et implémentation des langages à composants | UE_UMINM0321 | Aide à la Décision | Ce module s'intéresse au problème d'aide à la décision. Nous étudierons les problèmes d'analyse de sensibilité, et d'analyse multicritères et nous introduirons la théorie des jeux UE_UMINM0353 | Méthodes statistiques pour la décision et la prédiction | Ce cours se divise en deux parties. On effectuera tout d'abord un survol des méthodes classiques d'analyse exploratoire des données multidimensionnelles (Analyses factorielles -ACP, AFC, AFCM- et classification automatique). Dans un deuxième temps il sera question de méthodes prédictives et décisionnelles  ayant connu un essor récent : arbres de décision, réseaux de neurones, apprentissage, SVM et machines à noyaux. L'objectif est de UE_UMINM0356 | Modélisation de l'utilisateur et applications | Collecte et analyse de traces, analyse des signes implicites de préférence Modélisation de profils, de préférences et de comportements, modèles d'interactions, méthodes d'évaluation Datamining pour la modélisation de l'utilisateur, comparaison de profils, génération de modèles Applications de la modélisation de l'utilisateur, filtrage collaboratif, filtrage basé sur le contenu et recommandation, systèmes de recommandation pour le Web, recommandation, crawling adaptatif Communautés, interactions dans les communautés virtuelles, conception de modèles de groupe, jeux et collaboration, recherche et recommandation communautaire Evaluation de modèles de l'utilisateur, protocoles et expérimentation UE_UMINM0407 | Logiciels Embarqués et Ambiants | UE_UMINS121 | Soutien | Cette UE est un préambule dédié principalement aux étudiants de formation permanente ayant une première compétence en informatique et auxquelles on souhaite unifier les connaissances en algorithmique et système d'exploitation et BD UE_UMINM0333 | Modélisation des comportements des systèmes réactifs | Les systèmes logiciels ou à composante logicielle intègrent des aspects comportementaux. Ce sont souvent des systèmes réactifs (en interaction constante avec leur environnement, à une vitesse imposée par l'environnement) et parallèles. Ils doivent accepter certaines opérations dans certaines circonstances (vivacité), mais, pour des raisons de sûreté, en refuser à d'autres moments. Ce module s'intéresse à la modélisation de tels systèmes, en phases de spécification puis de conception. Il s'intéresse également à la vérification des modèles obtenus. UE_UMINM0318 | Administration et Supervision de réseaux | Ce module s'intéresse à la supervision et à l'administration des réseaux. Le but est de définir un cahier des charges en qualité de service, d'une architecture de communication UE_UMINM0346 | Algorithmes et Architecture de l'Arithmétique des Ordinateurs | Nous étudierons dans ce cours les techniques employées en machine pour calculer effectivement les opérations arithmétiques élémentaires. C'est-à-dire l'addition, la multiplication, la division et la racine carrée et enfin les fonctions trigonométriques avec l'exponentielle et leurs inverses. UE-UMINS204 | Anglais, Communication, Projet Professionnel | 2 ECUE constituent cette UE : Anglais assuré par le service SCEL UMII et Communication Projet professionnel UE_UMINM0204 | Conception et Développement des IHM | Concevoir et développer des interfaces graphiques de qualité est l'un des aspects incontournables dans le cycle de vie des applications interactives. Ce cours permet d'aborder non seulement les principes sous-jacents à la conception et à l'évaluation des interfaces graphiques, mais il forme également les étudiants aux techniques de programmation pertinentes pour ce vaste domaine. Les notions abordées incluent : Guide de style, notions d'ergonomie, conception participative toolkits, hiérarchies de composants, modèles d'évènements, communication inter/intra application, architectures des ihm, évaluation analytique et modèles prédictifs de performance UE_UMINM0351 | Analyse de séquences temporelles dans des interactions humain-système complexe | Cette UE a pour objectif de poser le problème de l'évaluation de la prise de décision dans une interaction entre un humain et un système dynamique. Plusieurs facteurs seront pris en compte dans cette analyse : la dimension temporelle, le contexte de la décision, l'expertise sur la tâche à réaliser. Le cours vise à explorer les différentes modélisations du problème et leurs solutions. UE_UMINM0322 | Ingénierie des systèmes d'information environnementaux | Les spécificités de l'information géoréférencée Composante Thématique Composante Spatiale Composante Temporelle Caractéristiques des nouveaux SI Intégration, Médiation Métadonnées, Ontologies Approche composant, Ingénierie des Modèles UE_UMINS309 | Information Biologique - Systèmes d'information et de connaissances en biologie | Programme des enseignements : Introduction aux sources d'information du domaine Banques de données et bases de données publiques (EMBL, GenBank, DDBJ, SwissProt, InterPro, PDB, etc.) Systèmes intégrés (intégration légère) Entrez et SRS Introduction aux modèles de représentation de l'information biologiques Introduction à XML et extension (orienté biologie) Métadonnées en biologie intérêts et l'existant Ontologies du domaine : Gene Ontology, BSML, RNAML, etc intérêts et description introduction aux formalismes afférents Introduction à la Librairie BioPerl exploiter des fichiers au format des banques de données GenBank, SwissProt ou EMBL (accès aux banques) filtrer les résultats d'outils de recherche de similarité comme BLAST recherche de motifs au travers d'expressions régulières Pratique SGBD Oracle et module PL/SQL REGEXP Perl et BioPerl Environnement Protégé et langage OWL UE_UMINM0320 | Dialogue entre Agents Cognitifs | Systèmes Multi-Agents cognitifs: solutions de problèmes distribués dans des sociétés d'agents humains et/ou artificiels où chaque agent est autonôme et communique avec les autres avec une sémantique riche. Pragmatique des conversations ; en particulier la théorie des actes de langage, les langages informatique de communication entre agents et la modélisation des connaissances des partenaires. Collaboration et compétition entre agents. UE_UMINM0332 | Spécification et implémentation des langages à objets | Ce module a pour objet de dresser un panorama des techniques utilisées pour implémenter les langages à objets en typage statique, ainsi que d'étudier certains mécanismes spécifiques --- comme l'héritage multiple et les modules --- pour en faire des spécifications correctes et en examiner l'implémentation. Le module s'intéresse autant à des langages classiques (C++, JAVA, EIFFEL) qu'à des langages de laboratoires comme SCALA développé à l'EPFL ou PRM développé au LIRMM. UE_UMINM0104 | Réseaux et Communications | Communications intra système (suite du cours de système en L) : -Communication et synchronisation de processus : processus légers, mémoires partagées et divers moyens de communication évolués -Gestion de la mémoire : approfondissement, principes, problèmes, mémoire virtuelle, pagination ; -Introduction aux systèmes distribués. Réseaux (suite du cours de réseaux de L): -Interconnexion et routage : capacités et caractéristiques des algorithmes de routage ;   -Automate TCP : approfondissement, algorithmes et performances ;   -Grandes applications : Système de fichiers distribué, courriel, forums, toile ; Cacratéristiques, contraintes et protocoles. -Introduction à la sécurité. -Applications relevant du temps réel : transport de voix, vidéo... -Mobilité : introduction. UE_UMINM0206 | Des Spécifications au code avec UML et B | Mis en parallèle du développement des spécifications au code avec des méthodes formelles ou UML. Méthodes formelles de conception : - Conception de programmes par raffinage : de la spécification à l'implémentation - Preuves d'algorithmes - Réutilisation et composition de machines - Utilisation de la méthode B UML : Spécifications avec plusieurs vues Cristallisation de l'architecture avec applications de patrons de conception. Développement en spirale Utilisation d'OCL Test UE_UMINM0325 | Traitement et analyse d'images | • Notions de base : acquisition des images, image à niveaux de gris, image couleur, codage des images, • Opérations de base sur les images : binarisation, morphologie binaire et à niveau de gris, rehaussement du contraste, réduction du bruit, filtrage, • Attributs sur les images : texture, contour, régions homogènes, spectre, segmentation, • Compression, tatouage et transmission des images. UE_UMINS106 | Analyse et conception par objets | Origines des notions analyse conception dans un projet. Pourquoi une méthode ? Historique et panorama des méthodes d'analyse- conception à objets Le formalisme UML (Unified Modelling Language) standard proposé par l'OMG (Object Management Group) est le formalisme qui est adopté par l'ensemble des méthodes et des ateliers de génie logiciel (AGL) à objets. Il sera donc présenté au travers des diagrammes qu'il propose : diagrammes statiques (classes, objets), diagrarmmes dynamiques (séquence, état, collaboration), diagrammes de déploiement. Une illustration sera effectuée au sein d'un AGL. Le cycle de vie de projet sera abordé au travers des phases du processus unifié (RUP). UE_UMINM0203 | TALN(Traitement Automatique du Langage Naturel), niveau 1 | Cette unité d'enseignement est une introduction à l'informatique linguistique. Son contenu est axé sur les techniques de bases les plus assimilables pour des informaticiens non formés à la linguistique : l'analyse morphologique, la constitution de dictionnaires (dictionnaires, thésaurii, ressources lexiccales), et quelques procédés d'analyse syntaxique. La sémantique est abordée succintement : la sémantique lexicale et ses problèmes (polysémie, fonctions lexicales), et la notion de propriétés sémantiques des constituants (introduction à la notion de dépendance). Les étudiants y seront sensibilisés aux problèmes posés par le langage naturel et à l'état actuel des solutions les plus simples qui sont proposées par la discipline. UE_UMINS311 | Algorithmique pour la biologie | Ce module décrit les fondements d'algorithmes classiques en bioInformatique, dont certains seront codés lors de séances de TPs. Au travers de ces exemples, il vise à fournir des éléments de réflexions sur l'interaction entre biologistes et bioInformaticiens. Les données biologiques étant généralement de tailles importantes, une partie du module traite de la manière dont il est possible de comparer l'efficacité de différentes solutions algorithmiques. UE_UMINM0345 | Complexité Avancée | La complexité algorithmique est née dans les années 70 avec le théorème de Cook-Levin et le succès de la notion de NP-complétude. Après le développement un peu anarchique dans les années 80-90 de nouvelles classes de complexité, il semblerait que l'on revienne à l'étude des questions fondamentales et que les succès s'accumulent. L'étude des algorithmes probabilistes a permis l'obention de résutlats négatifs sur l'approximation de problèmes NP-complet (le théorème PCP). Un algorithme polynomial a été proposé pour tester si un nombre est premier (2001). Il n'est pas exclu que l'on arrive à démontrer prochainement que l'intersection de NP et co-NP soit égale à P, et pourquoi pas P=NP ? Cettte théorie est cruciale pour tous ceux qui concoivent des algorithmes, car elle fixe les bornes de notre possible. Plan 1. Rappels sur la théorie de la complexité 2. Complexite paramétrée 3. Algorithmes probabilistes (le théorème PCP) 4. Sur quelques preuves non-constructives de l'existence d'algorithmes polynomiaux (travaux de Seymour et Robertson) 5. Bilan sur les conjectures actuelles et conséquences dans les applications (crytpographie) UE_UMINS303 | Réseaux avancés | Deux parties : Partie cours : - rappels sur les différentes couches du modèle TCP-IP - les protocoles de routage IP : RIP, OSPF et BGP - cas de mis en oeuvre du niveau "applications" : protocole HTTP Partie pratique : - modélisation d'une architecture basée sur l'interconnexion de réseaux IP - mise en oeuvre sur les systèmes de routage,- approfondissement des règles de gestion des systèmes de routage avec paramétrage de règles de sécurité minimum - utilisation d'un logiciel de décodage de trames Ethernet UE_UMINS105 | Conduite de Projet | Cette UE permettra de développer des compétences méthodologiques de conception et de réalisation d'une application logicielle. Pour compléter cette partie (gestion de projet), la vision qualité (appliquée spécifiquement au monde logiciel) et la diversité de la fonction de test sont introduites UE_UMINM0402 | Introduction à la Recherche d'Information | Introduction à la recherche d'information : Caractéristiques des bases documentaires modernes, Applications de la RI (filtrage d'information, question-réponse, veille, intelligence économique,...), Analyse du modèle classique de la recherche d'information et des modèles alternatifs Modèles de recherche d'information : Les modèles booléen, flou et vectoriel et probabiliste Méthodes de Stockage et d'Indexation : structures de stockage, indexation (tokenizing, stemming, index inversé), crawling et indexation sur le Web Classements des résultats : fonction de tri, méthode de maximisation de la pertinence marginale, classement de documents hypertextuels (PageRank et HITS), expansion de requête, prise en compte du feedback de l'utilisateur Méthodes d'évaluation : Mise en place d'un protocole d'évaluation, mesures de performance classiques : recall, precision, and F-measure, comparaison d'algorithme de fonction de ranking UE_UMINM0101 | Prolégomènes de Mathématiques pour l'Informatique | Les mathématiques nécessaires à l'abord de l'informatique sont essentiellement les mathématiques discrètes : algèbres dans des ensembles finis, probabilités discrètes, graphes, logique, grammaires, automates et langages UE_UMINM0317 | Administration de Systèmes hétérogènes | Ce module s'intéresse à l'administration des systèmes hétérogènes (Linux, Novell, Windows, OS X). UE_UMINM0229 | Logiques pour l'intelligence artificielle | Ce module présente des logiques importantes pour la représentation de connaissances en intelligence artificielle. Les logiques présentées pourront varier selon les années. Deux grandes familles seront considérées : les logiques modales, et leur utilisation pour représenter les connaissances et croyances d'agents (logique épistémique), le temps (logique temporelle) ou les concepts de permission et d'obligation (logique déontique) ; les logiques de description utilisées dans le cadre de la représentation d'ontologies, principalement la famille AL, les problèmes considérés et leur complexité, ainsi que quelques algorithmes. UE_UMINS401 | Stage de fin de cursus | Le stage de fin du cursus est une phase clé puisqu'il s'agit pour l'étudiant d'acquérir sa première expérience professionnelle. Le stage porte sur sur une durée de 5 mois et il est attendu que l'étudiant applique ses compétences pratiques comme théoriques et démontre son savoir-faire dans le cadre d'une première mission donnée par l'entreprise d'accueil. Le stage est sanctionné par un oral et une rédaction de rapport. UE_UMINS310 | Analyse de séquences - Phylogénie & Évolution | Deux parties : Analyse de séquences : banques de séquences. alignement 2 à 2, BLAST, FASTA, matrices de scores, alignement multiple, profils, séquence consensus Phylogénie & Évolution : les bases de la reconstruction phylogénétique, méthodes de distance, méthode cladistique, méthodes probabilistes ; évolution moléculaire et exemples d'applications de la phylogénie ; Utilisation des logiciels courants : PAUP*, PHYLIP, GCG, APE (sous R), PHYML. UE_UMINM0105 | Complexité/Calculabilité/Algorithmique | Modèles de calcul : Machines de Turing Introduction à la théorie de la calculabilité Introduction à la théorie de la complexité : transformation polynomiale, NP-complétude Introduction à la théorie de l'approximabilité Etudes d'algorithme : - flots maximums, - flots maximums de coût minimum, - couplage, - coloration. UE_UMINM0310 | Ingénierie des connaissances | Cette UE présente différentes facettes de l'ingénierie des connaissances, avec un intérêt privilégié pour leur application au web sémantique : Architecture des systèmes à bases de connaissances (SBC) Ontologies : rôle des ontologies, les différents types d'ontologies, méthodologies, langages et outils de construction d'ontologies de domaine, en particulier ceux basés sur les logiques de description Annotation sémantique Applications des systèmes à base de connaissances : Langages du web sémantique : RDF/S, OWL, SWRL, … Services Web, Services Web sémantiques et Web 2.0 UE_UMINM0327 | Traitement des informations imprécises | • Notions de base : fonction d'appartenance, opérations ensemblistes, notion de coupe de niveau, “logique floue”, • Quantités floues : sous-ensemble flou de IR, intervalles flous, nombres flous, calcul quantitatif (principe d'extension), opérations arithmétiques de base (+ - · / ), ordre flou (supérieur, inférieur, ...), • Théorie des possibilités : mesure de confiance, représentation de l'information, possibilité, nécessité, capacité, calcul pratique des possibilités, possibilité restreinte, induction de possibilités, • Lien entre les théories de représentation de l'incertain et de l'imprécis : probabilité, statistiques, probabilité supérieures et inférieures, quantification, échantillonnage, intervalle d'erreur, intervalle de confiance, pire cas, croyance, plausibilité, rough-sets (ensembles grossiers), mesure floue. • Systèmes d'inférence floue : cadre d'utilisation, formalisme, agrégation de variables au sein d'un système de décision, intégration de modèles locaux ou partiels (supervision), variables linguistiques, règles floues, raisonnement approché (déduction, abduction, induction), apprentissage, classification, recherche d'information, requête vague. UE_UMINS103 | Introduction Système et Réseaux | Cette UE vise à donner aux étudiants de Licence scientifique la possibilité d'utiliser pleinement la majorité des ressources d'un système d'exploitation (notamment Linux, bien que le langage de script (Python) soit interopérable sous tous les principaux systèmes d'exploitation), et de leur présenter les principaux services réseaux (liés aux archirectures client-serveur fondamentales) : description des systèmes de fichiers et de processus enseignement des principales commandes système (notamment pour la gestion des systèmes de fichiers et de processus) explication des architectures client-serveur illustrées sur l'architecture réseau des salles de TP du département informatique introduction au scripting système (notamment pour la personnalisation de commandes, et la surveillance des connexions utilisateurs et des processus) UE_UMINS404 | Base de données spatiales | Les spécificités de l'information géographique Composante Thématique Composante Spatiale Composante Temporelle Notion d'acquisition de données géoréférencées (géoréférencements et projections) Panorama des logiciels de mise en œuvre (SIG outil et SGBD spatiaux) Les modes de représentation Vecteur Raster Liaison spatial-thématique Les modèles Modèle spaghetti Modèle réseau Modèle topologique Notion d'Analyse spatiale Les opérateurs Thématiques (arithmétiques et logiques) Spatiaux (métriques, topologiques, statistiques Métadonnées Connexion Web-SIG (cartographie dynamique) TP Arc-info Postgres-Postgis UE_UMINM0409 | Métrologie et Qualité de Services | Concepts et méthodes de la QdS, QdS sur IP. Outils de validation et prédiction: files d'attente, analyse et simulation. Simulation sur NS. Outils de surveillance de réseaux. UE_UMINM0303 | Théorie de l'Information | Trois parties : 1 . La mesure de l'Information selon les théories statistiques et de complexité 2. Les codes détecteurs et correcteurs d'erreurs dans la transmission et le stockage des données 3. La compression de données textuelles et perceptives UE_UMINM0413 | Stage recherche | Stage en laboratoire pour une durée de 6 mois. UE_UMINM0359 | Epistémologie de l'Informatique | Cet enseignement, intervenant en fin de cursus universitaire est conçu sous formes de séminaires sur des sujets proposés et encadrés par des enseignants et exposés majoritairement par les étudiants. Des intervenants extérieurs : épistémologues, historiens et philosophes des sciences sont invités ponctuellement à faire des conférences et à animer des débats UE_UMINM0347 | Théorie de l'approximabilité | Une des solutions proposées pour faire face aux problèmes NP-difficiles est de construire des algorithmes polynomiaux approchés avec garantie de performance. On peut, selon le type de garantie obtenu, classifier les problèmes et les algorithmes approchés. Cette classification sera illustrée à l'aide de nombreux exemples (min vertex cover, max stable, sac-à-dos, …). Nous verrons ensuite différentes techniques utilisées pour obtenir des résultats d'approximabilité (bornes inférieures, relaxation, recherche locale, algorithmes aléatoires, arrondis ou techniques primales-duales en programmation linéaire, ...) ou d'inapproximabilité (gap technique, ...). Enfin, nous élargirons notre point de vue en étudiant un autre rapport d'approximation : le rapport différentiel. UE_UMINM0307 | Gestion de données distribuées Intégration - Médiation | L'UE aborde La notion de systèmes distribués et plus précisément de SGBD distribués Rappel sur les architectures N-Tier Rappel sur les « middleware » OLE-DB, ADO, ODBC, JDBC, CORBA (séances de TP liés à ces environnements) Gestion de la concurrence et modèles transactionnels dans le contexte des systèmes répartis Intégration et médiation de données Architecture centralisée et intégrée (corporated architecture - datawarehouse) Architecture fédérée (federated architecture - Datamark) Intégration de schémas GAV (Global as View), LAV (Local as View) Médiation (exemple de médiateurs) UE_UMINS201 | Projet tutoré ou Stage analyse | Cette UE permet de mener à bien soit un projet interdisciplinaire Soit un stage en entreprise (analyse et conception d'un problème soécifique) UE_UMINS203 | Conception et Développement des IHM UE_UMINS203 | Principes de base de la construction d'interfaces graphiques :   1. guide de style, 2. notions d'ergonomie, 3. les différents modèles WIMP   Programmation des interfaces graphiques de type WIMP :   -toolkits, - notions de graphique de base, - hiérarchies de composants, - modèles d'évènements, - communication inter ou intra-application : copier-coller, glisser-déplacer.   Architecture des IHM : Seeheim, PAC, MVC.   Evaluation des interfaces : évaluation analytique et modèles prédictifs de performances, test utilisateur et analyse statistique.   Références bibliographiques : Shneiderman, B. (1997). Designing the User Interface: Third Edition, Addison-Wesley. Developing User Interfaces, Dan R. Olsen Jr., Morgan Kaufmann, 1998 Outils : JBuilder Pro UE_UMINS205 | Technologies du Web | Introduction aux notions élémentaires des technologies internet modèle client-serveur, notions de clients et serveurs Web et protocoles de communication sous-jacents langage de balisage HTML, XHTML, DHTML, présentation et structuration de documents Web logique de présentation : feuilles de style (CSS) interaction avec l'usager et principaux contrôles locaux pour la couche traitement au niveau du client au travers de JavaScript logique métier : scripts (PHP, PERL), CGI au niveau du serveur UE_UMINS102 | Systèmes d'information et Bases de données | Introduction aux SI et méthodologies de conception (Merise / Objet) Introduction aux bases de données : historique et définition Modèle entité association étendu (objet) Modèle relationnel, Containtes d'intégrité, Normalisation Passage d'entité-association /UML à relationnel Opérations algébriques et requêtes en algèbre relationnelle Langage SQL : LDD et LMD Notion de contrôle de concurrence et de transaction Les TP seront effectués sur les SGBD Postgres, Oracle et éventuellement Access. UE_UMINM0336 | Images : compression et insertion de données cachées | Cette U.E. a pour objectif de fournir aux étudiants les connaissances de base sur le format des images et les techniques de compression standard. Le format JPEG est examinée plus en détail et comment insérer des données cachées dans une image de ce format. UE_UMINM0312 | Extraction de Connaissances à partir de Données (ECD) | Ce module vise à présenter les concepts, algorithmes et outils pour l'Extraction de Connaissances dans les Données (ECD). Fouille de Données et Fouille de Textes : Méthodes de fouille de données : Naïve Bayes, K plus proches voisins, K moyennes, arbres de décision, règles d'association, motifs séquentiels. Différentes étapes d'un processus de fouille de textes : étiquetage grammatical, extraction de la terminologie, classification conceptuelle. Classification, recherche d'information, extraction d'information et Langage Naturel Analyse sémantique Sémantique lexicale Approche par vecteurs conceptuels Approches statistiques Requêtes et calcul de vecteurs (Salton, LSA) Gestion des contraintes liées au langage naturel (polysémie, anaphores, etc.) Application des diffrentes approches d'extraction de connaissances dans le cadre des challenges nationaux et internationaux Une partie du module sera destinée à manipuler des outils et algorithmes d'ECD à travers de séances de travaux pratiques. UE_UMINM0403 | e*applications : e-commerce, e-business et e-learning | PARTIE E-COMMERCE ET E-BUSINESS Introduction : Objectifs respectifs du e-commerce et du e-business, avantages pour les entreprises, formes du commerce électroniques , quelques cas d'école : DELL, EBAY, AMAZON et YAHOO! Rappels et compléments sur les technologies fondamentales au e-commerce : HTTP, DNS, MIME, encodages, PHP-MySQL, expressions régulières Architecture d'un site marchand : architecture d'un site marchand, \x09création d'un catalogue, gestion des utilisateurs, backoffice, CMS Paiement électronique : Le principe du paiement sécurisé, Les systèmes électroniques comme Paypal Sécurité : sécurisation des transactions, analyse des failles de sécurité d'un site, règles de programmation et d'administration pour se protéger Conception d'un site vendeur : organisation des information et navigation sur un site marchand, mise en place d'un moteur de recherche intelligent, systèmes de recommandation de produits Marketing électronique : rechniques de référencement sur les moteurs de recherche, interopérabilité, services web et affiliation, evaluation de l'efficacité d'une campagne d'e-marketing, techniques de fidélisation et d'incitation Intelligence économique et veille : analyse de l'audience d'un site, analyse de paniers d'achat, analyse différentielle de paniers d'achats, veille sur le Web Performance : la programmation côté serveur et côté client, techniques de load-balancing HTTP, techniques de load-balancing SQL, mise en place et gestion de fermes Conception d'applications vocales : conception d'application vocales, déploiement d'applications vocales sur les réseaux téléphoniques classiques et IP PARTIE E-LEARNING Introduction, enjeux de l'EAD, organisation d'un EAD, Normalisations des ressources pédagogiques : objectifs et présentation des normes : LOM, SCORM, IMS LD Générateurs de ressources pédagogiques, collecticiels pour l'EAD, dispositifs techniques : fonctionnalités des plateformes Outils logiciels : Générateurs de ressources, plateformes d'EAD, éditeurs de métadonnées pédagogiques (Reload) UE_UMINM0210 | Algorithmique de l'IA : Recherche, Raisonnement, Apprentissage | 1 . Algorithmes de recherche : méthodes complètes et incomplètes : - méthodes complètes - méthodes incomplètes - stratégies de jeux de plateaux 2. Algorithmes de raisonnement : - méthodes SAT complètes et incomplètes - transition de phase des problèmes de raisonnement - résolution de problèmes de planification - introduction à la programmation par contraintes 3. Apprentissage : - espaces des versions - arbres de décision - apprentissage Bayésien - réseaux de neurones UE_UMINM0208 | UE_UMINM0208 ;Programmation orientée agent | - Concepts de base de la programmation par acteurs et agents : asynchronisme, parallélisme, distribution massive - Usage des continuations locales vs gestion des tâches en cours - Architectures classiques d'agents (réactives, BDI, subsomption) - Langages de programmation d'agents - Protocoles classiques de coordination et de négociation - Utilisation de rôles et de groupes pour la réalisation d'applications - Gestion de la distribution d'applications multi-agents - Utilisation des techniques multi-agents pour faciliter la programmation d'applications ouvertes, évolutives et distribuées UE_UMINM0324 | Systèmes répartis, collaboratifs, mobiles et P2P | Présentation des principales notions et étude des différentes techniques utilisées pour le contrôle de la concurrence des accès de multiples usagers à des objets partagés, en environnement réparti (collaboratif, mobile et P2P). UE_UMINS301 | Technologies du Web avancées | Les notions élémentaires des technologies internet sont approfondies : les architectures 3-tier sont notamment à l'étude, avec une attention toute particulière sur les niveaux traitement et accès aux données. les principes et composants des serveurs d'application sont abordés au travers de l'infrastructure JEE et du moteurs de servlets TomCat la partie pratique portera sur la conception et le développement d'une application J2EE (JSP, Servlets, EJB). UE_UMINM0214 | Résolution de problèmes NP-difficiles | Ce module s'intéresse à la résolution de problèmes dits NP-complet. Nous présenterons divers approches pour résoudre soit de manière exacte soit de manière approchée. Nous emploierons ces différentes techniques sur des problèmes classiques (voyageur de commerce, sac à dos, ….) UE_UMINM0313 | | Le web multi media Rappels : Notions de base sur les documents, les médias et les structures de documents. Approfondissement : Normes et formats images, sons et vidéo, traitements sur les images, et le son Serveurs vidéo, Serveurs vocaux, applications spécifiques. La 3D sur le web. Ingénierie hypermédia pour le World Wide Web Rappels Principes, Langages et normes du Web : XML, XSL XHTML, CSS, JavaScript Approfondissement : Description et transformation de documents, XML et XSL . Interactions :Javascript, AJAX, Flash. Mise en place d'un serveur de présentation ( ex : Open Laszlo) Méthodologie de conception et ergonomie de sites Web. Construction, Validation, Administration et Maintenance de sites Web. Les recommandations du W3C Le web pour la mobilité (WMI), le web et l'accessibilité (WAI), services Web et interopérabilité (SOAP…), référencement, sécurité…, aspects temporels (SMIL) et animations, etc. UE_UMINS304 | Fouille de Données | Ce module vise à présenter les concepts et outils pour la fouille de données. systèmes transactionnels versus systèmes décisionnels méthodes liées à l'apprentissage automatique méthodes de fouille de données : règles d'association et motifs séquentiels différentes étapes d'un processus de fouille de textes : étiquetage grammatical extraction de la terminologie classification conceptuelle Description de différentes applications en Recherche d'Information. Une partie importante du module sera destinée à manipuler des outils permettant la fouille de données, à travers de séances de travaux pratiques. En particulier, utilisation de Weka pour les méthodes d'apprentissage utilisation de l'étiqueteur de Brill en fouille de textes programmation en Perl pour l'extraction de la terminologie et/ou pour des applications liées à la Recherche d'Information. UE_UMINM0330 | Apprentissage | Le cours contient trois parties : Modèles d'apprenabilité : le PAC-learning, l'apprentissage exact et l'apprentissage par essai/erreur La programmation logique inductive : apprentissage propositionnel et relationnel. Application à la classification de molécules L'apprentissage par renforcement : interface agent-environnement, prise de décision, programmation dynamique, méthodes d'approximation (markoviennes, monte-carlo). UE_UMINM0354 | Sémantique et Traitement du Langage Naturel (TALN 2) | Le cours consiste en l'Étude des approches sémantiques pour le Traitement Automatique du Langage Naturel : émergence des sens des segments textuels (mot, phrases, textes). Sémantique - Sciences cognitives et linguistiques Emergence Sémantique Lexicale - Vecteurs conceptuels  Apprentissage thématique - Extraction de relations lexicales - Fonctions lexicales (Meltchuk) Analyse Sémantique de textes - Eléments d'indexation Algorithmes de propagation sur arborescences - Diffusion par algorithmes fourmis -  Production de graphes (UNL) et réseau sémantiques " flous " UE_UMINM0337 | Bioinformatique : algorithmes d'analyse de séquences | L'U.E. donne un panorama des algorithmes utilisés en bioinformatique ou en biologie pour la comparaison de séquences moléculaires. Elle introduit les concepts d'alignement et autres notions de similarités entre séquences (Plus Longue Sous-Séquence Commune, distance d'édition, etc.), et présente les algorithmes correspondants avec leurs complexités en temps et en espace. Elle sensibilise les étudiants à leurs applications pratiques pour la comparaison de séquences de gènes, de protéines, de génomes, et donne un aperçu des problèmes ouverts en recherche dans ce domaine. UE_UMINM0323 | Systèmes d'Informations Décisionnels | La plupart des bases de données d'entreprise sont maintenant gérées dans des entrepôts contenant des données volumineuses, historisées et agrégées qu'il s'agit alors d'exploiter au mieux (pour les décisionnaires). Dans ce module, nous nous focaliserons sur les différences entre les systèmes transactionnels et les systèmes décisionnels, et nous présenterons les méthodes associées à ces derniers pour mettre en valeur les connaissances cachées utiles à la décision. Nous présenterons également les challenges associés aux données disponibles sous la forme de flots (data stream) et pour lesquelles les techniques traditionnelles doivent être re-considérées. UE_UMINM0350 | Intégration de Données XML | La quantité de données accessibles sous format électronique au travers du web croît de jour en jour et ce d'une manière considérable. Ces données sont généralement distribuées, hétérogènes et multiformes. L'objectif des systèmes d'intégration de données est de pouvoir formuler des requêtes par le contenu en exploitant les descriptions sémantiques des sources de données disponibles sur le Web. La possibilité d'interroger par le contenu les données publiées sur le Web dépend alors uniquement de la capacité du système à trouver des correspondances (mappings) entre les sources de données concernées. XML tend à devenir le langage d'échange et de représentation des données sur le Web. De plus les meta données sont également en XML. Dans ce module, nous présenterons les principales approches pour l'intégration de données et nous étudierons les problématiques relatives à leur réalisation : l'intégration de schéma (notamment la recherche de mappings entre structures XML) et quelques dispositifs d'optimisation de requêtes. UE_UMINM0308 | Visualisation d'informations | La visualisation d'information constitue un média incontournable aujourd'hui. Au travers de diagrammes, de graphes ou d'images de synthèse diverses il est possible de représenter des informations très volumineuses afin d'en faciliter l'analyse par des humains. Ce module doit permettre aux étudiants qui le suivent de maîtriser ce média tant dans certains de ces aspects technologiques : programmation graphique 3D ou 2D que dans ces aspects conceptuels (stratégies de présentation, perception, couleurs) UE_UMINS202 | STRUCTURES DE DONNEES | L'objectif principal est d'étudier l'importance des structures des données pour la réalisation efficace de traitements de nature complexe. UE_UMINM0202 | Galaxie XML | Avoir une vision assez détaillée de l'implication d'XML dans les architectures Web UE_UMINS403 | Grille et optimisation | Cette ue illustera au travers de travaux pratiques les concepts de grille de calcul. UE_UMINM0211 | Services et Qualité de Réseaux | Après avoir rappelé les principes élémentaires sur les réseaux (Couches réseau, transport et modes de transmissions), nous nous intéresserons aux problèmes de congestion et de routages dans les réseaux de communication. Nous étudierons les diverses évolutions technologiques et le besoins correspondants en qualité de service, en communications de groupe, ainsi que dans les réseaux optiques, satelitaires, sans fil, ad-hoc et paire à paire. Enfin les problèmes d'évaluation de performance comme les processus d'arrivées aléatoires, les files d'attente et les réseaux de files d'attente  seront traités. UE_UMINM0319 | Treillis de Galois et classification | Les treillis de Galois, également étudiés dans l'Analyse Formelle de Concepts, forment le socle d'une théorie permettant de faire émerger des concepts par abstraction d'un ensemble d'entités décrites par des propriétés qui peuvent être plus ou moins complexes. Les treillis de Galois ont de multiples applications en apprentissage, recherche d'information, fouille de données, linguistique et génie logiciel. Deux axes théoriques seront plus particulièrement développés et mis en perspective ainsi que leurs applications : - les treillis de Galois pour la recherche de structures récurrentes dans des graphes, - l'Analyse Relationnelle de Concepts qui prend en compte des descriptions dans lesquelles une entité est décrite par ses liens avec d'autres entités. UE_UMINM0109 | Social Informatics | Among the three weak goals of our University system across disciplines there are the following ones : cultural maturity, in particular for scientific / technical Education ;  the active mastery of English as a second language ; relational skills (autonomy even when working in group, social roles, etc). The course, proposed as an alternative to a Course of English for those students that have already some knowledge of English, wants to use English as a vehicular language in perfect agreement with the CLIL method (cited above). Seminars will be given by different teachers ; students will work in groups to a project that they will defend in public entirely in English. UE_UMINM0341 | Algorithmique Combinatoire | Une grande majorité des problèmes en algorithmique des graphes sont NP-difficiles, comme par exemple le problème du voyageur de commerce. En revanche, la plupart de ces problèmes deviennent polynomiaux lorsque les graphes considérés sont acycliques, e.g. des arbres. Une manière de contourner la difficulté est de structurer le graphe en le décomposant de façon arborescente. L'objectif de ce cours est de présenter ces techniques, dont notamment la désormais incontournable notion de tree-width, ou largeur arborescente, introduite par Robertson et Seymour. UE_UMINM0215 | Modèles aléatoires | Concepts de base : Probabilités, distributions, nombres et variables aléatoires. Statistiques: Espérances, variances, loi des grands nombres Étude de structures discrètes aléatoires : mots aléatoires, graphes aléatoires, arbres aléatoires, marches aléatoires, et chaînes de Markov UE_UMINM0358 | Interaction médiatisée : Contextualisation et Adaptation | Modèles d'interaction et facteurs humains en interaction homme-machine Modèles d'architecture des systèmes interactifs. Conception, Développement et évaluation des systèmes interactifs Contextualisation et adaptation. Taxonomies de l'adaptation et cadre de référence. Processus de référence pour la production d'IHM avec adaptation. Cas des documents virtuels personnalisables. Synthèse de documents spécifiés par intention. Application à l'expression de la saillance contextuelle d'un document. Hypermédias et bibliothèques numériques La plasticité des interfaces. Les cas des systèmes pour l'interaction collective Le cas des systèmes pour l'interaction multimodale et des systèmes multimédias. UE_UMINM0410 | Sécurité des Réseaux | Deux parties : 1 . Cryptologie : étude des systèmes de cryptage et cryptanalyses traditionnels et contemporains : applications à la transmission de données confidentielles, à l'authentification, aux signatures électroniques et à la certification 2. Mise en œuvre de politiques de sécurité au sein de réseaux d'entreprise : prévention et détection des intrusions et des malveillances UE_UMINM0328 | Cognition individuelle et collective | Eléments de philosophie de l'esprit. Histoire et enjeux. Sa relation avec l'IA. Les différents paradigmes cognitifs: symbolique, neuronal, enactif Les types de connaissance et leur organisation (subsymbolique et symbolique). Architectures cognitives chez l'animal et l'humain. Les propositions d'implémentation Les grands fonctions de la cognition: perception, mémoire, apprentissage, action Emotions et cognition Les phases du développement cognitif Coordination, coopération, compétition et négociation: les bases de l'interaction chez l'animal et l'homme La "connaissance commune" et ses paradoxes La construction de la réalité sociale UE_UMINM0306 | Architectures N tiers niveau 1; objets distribués et intergiciels | Dans la guerre des intergiciels, un des grands gagnants est l'objet. De nombreux intergiciels permettent en effet de réaliser des applications à objets distribués. Dans ce module, nous introduisons les services de base des intergiciels (localisation, nommage, transactions, ...), puis nous étudions les bases des objets distribués, sous Java avec RMI, et sous .NET avec le remoting et les serviced components. Nous introduisons également CORBA. Nous comparons ces mécanismes de distribution d'objets aux services web. Tous les principes sont illustrés en Java et en C#. UE_UMINM0352 | Fouille de Données Avancées | Il s'agit de présenter les différentes approches d'extraction de connaissances dans les grandes bases de données et plus particulièrement l'étape de fouille de données. Cette étape intéresse différents domaines de recherche touchant aussi bien la communauté Base de Données qu'Apprentissage Automatique. L'objectif de ce cours est de dresser un panorama des différentes approches reconnues comme les plus pertinentes puis de dresser un bilan des points forts et faibles de chacune de ces approches en adéquation avec les jeux de données traités. Nous étudierons également les challenges liés aux nouvelles réglementations et problématiques de préservation de la vie privée. UE_UMINM0331 | Représentations de connaissances et raisonnements à base de graphes | Les applications modernes de l'informatique ont conduit à un usage généralisé des représentations de connaissances dans des contextes variés. Ces représentations s'appuyent sur des formalismes de représentation de connaissances, qui déterminent à la fois les types de connaissances qui peuvent être représentées et les mécanismes de raisonnement sur ces connaissances. Ce module présente une famille de formalismes basés sur des graphes étiquetés, où non seulement les connaissances sont représentées par des graphes mais les raisonnements sont également mis en œuvre par des opérations de graphes. Au coeur des mécanismes, on trouve la notion d'homomorphisme, qui, comme le montrera le module, est fondamentale dans différents langages, notamment : graphes conceptuels, bases de données relationnelles et RDF(s). Voir "programme détaillé" en fin de fiche UE_UMINM0304 | Conduite de projets et génie logiciel | Cette UE permettra de développer des compétences méthodologiques de conception et de réalisation d'une application logicielle à partir des compétences acquises en UML et développement objet. La démarche sera appuyée par la réalisation d'une étude de cas et structurée par les techniques de gestion de projets. UE_UMINM0348 | Théorie de l'ordonnancement et routage dans les réseaux | en utilisant la notion de coloration sur listes. et aux problèmes de routage dans les réseaux (complexité, approximation, algorithmes polynomiales) Ce module s'intéresse à la théorie de l'ordonnancement Ce module s'intéresse à la théorie de l'ordonnancement, à la modélisation des nouveaux réseaux et à l 'optimisation combinatoire des problèmes de routage dans ces réseaux. Il propose des algorithmes exacts polynomiaux ou décrit des approximations avec garantie de performance , lorsqu'il en existe, pour les problèmes qui s'avèrent NP-difficile . UE_UMINM0218 | Abstraction des programmes | Méthode d'évaluation par substitution, Procédures et processus générés ; Procédures de première classe ; procédures d'ordre supérieur, typage dynamique, typage explicite (arbres typés), représentations multiples de donnés abstraits, opérateurs génériques, affectation, état local, modèle d'évaluation par environnement, objets comme fonctions, simulation, streams finies et infinies, rappel du meta-évaluateur, évaluation paresseuse (ordre normale), non déterminisme, continuations, programmation logique. (Abelson et Sussman: http://mitpress.mit.edu/sicp/ ch. 1-4) UE_UMINM0355 | Syntaxe et pragmatique du langage naturel | Cette UE traite d'autres modèles syntaxiques que ceux proposés en TALN niveau 1 : grammaires transformationnelles, grammaires de prégroupes de Lambek, grammaires de Montague... et montre leurs avantages et inconvénients. Elle a également pour objectifs d'introduire la pragmatique, troisième dimension de représentation du langage naturel, et qui interfère très fortement avec la sémantique et la syntaxe. Une application particulière de la pragmatique, le dialogue est également présentée : sont etudiés les actes de langage (Austin et Searle), les modèles mentaux (Johnson-Laird), les modalités d'Allen Cohen et Perrault ainsi que celles de J. Caelen, et les rôles fonctionnels, en situation d'analyse et de génération du langage naturel par des systèmes informatiques. Les architectures logicielles liées au dialogue (modèle de Sabah, modèle de McCoy et Cheng, etc. ) sont également abordées. UE_UMINM0217 | Epistémologie de l'Informatique UE_UMINM0217 | Cet enseignement est conçu sous formes de séminaires sur des sujets proposés et encadrés par des enseignants et exposés majoritairement par les étudiants. Des intervenants extérieurs : épistémologues, historiens et philosophes des sciences sont invités ponctuellement à faire des conférences et à animer des débats UE_UMINM0207 | Base de données spatiales UE_UMINM0207 | Les spécificités de l'information géographique Composante Thématique Composante Spatiale Composante Temporelle Notion d'acquisition de données géoréférencées (géoréférencements et projections) Panorama des logiciels de mise en œuvre (SIG outil et SGBD spatiaux) Les modes de représentation Vecteur Raster Liaison spatial-thématique Les modèles Modèle spaghetti Modèle réseau Modèle topologique Notion d'Analyse spatiale Les opérateurs Thématiques (arithmétiques et logiques) Spatiaux (métriques, topologiques, statistiques Métadonnées Connexion Web-SIG (cartographie dynamique) TP Arc-info Postgres-Postgis UE_UMINM0343 | Combinatoire des mots | La combinatoire des mots intervient dans de nombreux domaines de l'informatique (compression, langages formles et automates) et des mathématiques (théorie des nombres, probabilités, théorie des groupes). Nous nous proposons de centrer ce cours autour de deux familles de mots infinis de faible complexité mais au comportement combinatoire très riche, à savoir, les mots sturmiens et les mots substitutifs. Les mots sturmiens entretiennent d'étroites relations avec la géométrie discrète (ce sont des codages de droites discrètes). Les mots substitutifs sont engendrés par un procédé algorithmique simple : les morphismes de monoïde libre. UE_UMINS306 | Administration Système et Bases de données | Notion d'administration système et Bd Exercices pratiques SE Linux, Windows et SGBD Oracle, Postgres, Mysql UE_UMINM0314 | IA des Jeux | Le module IA des jeux (Game AI) contient quatre grandes parties : architectures de jeux : systèmes à états finis, systèmes à scripts, systèmes multi-agents, moteurs de logique floue. mouvement et trajectoires : mouvement individuel, mouvement de groupe, navigation, recherche de trajectoires, planification, coordination prise de décision et apprentissage: modèles de comportement, algorithmes de renforcement, tactiques de navigation, stratégies collectives. conception de moteurs de jeux : méthodologie, outils, plateformes. UE_UMINM0107 | Ingénierie logicielle | Etude des schémas de réutilisation par spécialisation, par composition et par fonctions d'ordre supérieur en programmation par objet. Notion de framework. Notion de schéma de conception. Etude des principaux schémas. Introduction aux spécifications formelles. Concepts et notations mathématiques utiles à la spécification. Architecture des machines abstraites : données, invariant, opérations, préconditions. Modélisation des opérations par les substitutions généralisées. Preuves de respect d'invariant Utilisation de la méthode B UE_UMINM0408 | Qualité du Logiciel | Ce module (dans la prolongation du cours de conduite de projet) renforce la vision qualité appliquée au monde logiciel et insiste plus particulièrement sur la diversité de la fonction de tests. UE_UMINM0201 | TER | Travail tuteuré réalisé en groupe sur un sujet proposé dans le cadre d'un des parcours des spécialités informatique professionnelle et recherche en informatique Réalisation d'un développement logiciel Production d'un rapport et soutenance orale. UE_UMINM0326 | Chimio-Informatique | La chimio-informatique vise à apporter des solutions informatiques à des problèmes liés au traitement de l'information chimique (représentation, stockage, recherche, acquisition et exploitation de connaissances). L'objectif de ce module est de montrer comment des problèmes complexes, posés par un monde réel comme la chimie, peuvent se traduire en problématiques de recherche en informatique, qui fourniront à leur tour des réponses pertinentes du point vue chimique. UE_UMINM0311 | Ingénierie des modèles | L'Ingénierie dirigée par les Modèles (IDM) est une approche de développement logiciel qui consiste à mettre les modèles et leurs métamodèles au centre du processus. Dans ce module, nous montrons les enjeux liés à l'Ingénierie des modèles (capitalisation du métier, indépendance vis à vis des technologies, définition de transformations de modèles). Nous positionnons l'IDM par rapport à l'initiative MDA (Model Driven Architecture) de l'OMG. Ces concepts sont mis en oeuvre au travers de l'étude du métamodèle UML, du langage de contraintes OCL, et de l'implémentation de transformations de modèles avec un langage spécifique. UE_UMINS104 | Projet tutoré ou Stage analyse UE_UMINS104 | Cette UE permet de mener à bien soit un projet interdisciplinaire Soit un stage en entreprise (analyse et conception d'un problème soécifique) UE_UMINM0344 | Structures multi-échelles : aspects formels et algorithmiques | De nombreux phénomènes réels peuvent être décrits à différentes échelles. Un nombre croissant d'applications informatiques (de navigation, de modélisation) cherchent à reproduire cet « effet multi-échelles » des structures naturelles. Dans ces dernières années, il a été reconnu que ces structures ont un caractère universel et se retrouvent dans des champs applicatifs aussi divers que l'étude de la diffusion des liquides, l'infographie, l'analyse de bases de données ou la modélisation des plantes par exemple. Les structures multi-échelles posent certains problèmes, en particulier lorsqu'il faut "mesurer" ou "manipuler" ces objets. Les techniques classiques permettent de mesurer la surface d'échange d'une plante ou le périmètre d'un glacier à un niveau macroscopique donné, mais échouent ou donnent des résultats contraires à l'observation si l'on ne tient pas compte de leurs structures à différentes échelles. Ces questions ont donné naissance à plusieurs types de nouveaux modèles, permettant de décrire des objets pouvant être vus à différentes échelles. De tels objets sont étudiés et utilisés depuis une vingtaine d'années dans un nombre croissant de domaines scientifiques, sciences de l'ingénieur (e.g. techniques multi-grilles), mathématiques (e.g. fractales, ondelettes), mathématiques discrètes (e.g. congruences, partitions), biologie (systèmes dynamiques et attracteurs, structure des plantes), etc. Ces travaux ont engendré des concepts et des techniques algorithmiques spécifiques des structures multi-échelles que nous décrivons dans ce cours UE_UMINM0315 | Langages à objets à typage statique | Le module donne les bases de la théorie des types nécessaires pour la compréhension des langages à typage statique et des problèmes qu'il pose. Application à différents langages : JAVA, C++, C#, EIFFEL, PRM, SCALA (liste non exhaustive). Etude de différents mécanismes connexes (cast, test de sous-typage). Application méthodologique à l'implémentation des associations UML en cas de spécialisation. UE_UMINM0349 | Evaluation de Performances | Ce cours est destiné à illustrer l'utilisation de quelques modèles aléatoires dans l'analyse du comportement dynamique des réseaux de communication. L'accent sera mis sur l'utilisation de la combinatoire analytique pour faire les calculs de probabilités, de moyennes etc. L'utilisation des résultats pour évaluer des protocoles de réseaux sera également discutée. UE_UMINM0316 | Ingénierie des protocoles | Les réseaux de Petri permettent de modéliser les systèmes à temps discret complexes. Il existe un très grand nombre de modèles formels : systèmes de transitions, automates finis, statecharts, grafcet …. Les réseaux de Petri sont un outil graphique de modélisation et d'analyse des systèmes, particulièrement bien adapté à l'étude des structures de contrôle. Nous présenterons plusieurs modèles se basant sur les réseaux de Petri (modèle places/transitions, modèle coloré, modèle temporisé …) et nous étudions les possibilités d'analyse offertes par ces modèles. UE_ULIN509 | Systèmes formels 1 | Mots et langages : concepts de base, opérations fondamentales et un peu de combinatoire des mots. Langages rationnels : automates et équivalence des différents types d'automates, minimisation expressions rationnelles. Grammaires : automates à pile; étude des langages de Dick et de Lukasiewicz. Lemme de la pompe. UE_ULIN502 | Système | Besoin et rôles d'un système mono-procecsseur Composantes du système Vie des processus Gestion des fichiers: représentation, manipulation Communications et synchronisations entre processus: formes simples et évoluées Gestion de la mémoire ; mémoire virtuelle Gestion des entrées-sorties UE_ULIN607 | Projet Informatique | Analyse, conception et développement en groupe, d'un projet informatique dans un langage de programmation. Le projet donnera lieu à la rédaction d'un rapport ainsi qu'à une soutenance publique. Les qualités d'organisation, de communication seront également prises en compte dans l'évaluation du projet. UE_ULIN103 | Concepts de base en informatique, intégration dans la pédagogie des sciences | Cet enseignement a divers objectifs : il s'agit de présenter divers aspects fondamentaux de la science informatique et de les illustrer au travers de séances pratiques de donner à l'étudiant l'autonomie de gestion de son environnement de travail de donner des pistes d'usage pédagogique des outils de base d'explorer les nouveaux environnements collaboratifs UE_ULIN302 | Introduction Système et Réseaux UE_ULIN302 | Cette UE vise à donner aux étudiants de Licence scientifique la possibilité d'utiliser pleinement la majorité des ressources d'un système d'exploitation (notamment Linux, bien que le langage de script (Python) soit interopérable sous tous les principaux systèmes d'exploitation), et de leur présenter les principaux services réseaux (liés aux archirectures client-serveur fondamentales) : description des systèmes de fichiers et de processus enseignement des principales commandes système (notamment pour la gestion des systèmes de fichiers et de processus) explication des architectures client-serveur illustrées sur l'architecture réseau des salles de TP du département informatique introduction au scripting système (notamment pour la personnalisation de commandes, et la surveillance des connexions utilisateurs et des processus) UE_ULIN407 | Conception et programmation par objets | La conception et la programmation par objets sont devenus des standards incontournables dans le développement logiciel. Ce cours présente les concepts essentiels de l'approche à objets à l'aide d'un langage de modélisation et d'un langage de programmation. Il aborde la modélisation statique (classes, instances, associations, spécialisation/généralisation, visibilité, généricité paramétrique) ainsi que la modélisation dynamique (opérations, messages, diagrammes de séquence, de collaboration, d'états, d'activités). UE_ULIN402 | Programmation impérative 2 | Le C++ par rapport au C : bases, fonctions, pointeurs. Le C++ au -dessus du C : classes. Implémentation de structures de données avancées ( listes, arbres). Extension de types : surcharge d'opérateurs. Entrées Sorties en C++. UE_ULIN612 | Interprétation et Compilation | Mêlant théorie (grammaire, automate) et pratique (programmation récursive, utilisation d'outils), cette unité d'enseignement est destinée à tous ceux qui souhaitent comprendre et concevoir les interpréteurs et compilateurs. UE_ULIN609 | Programmation Linéaire (PL) | Ce cours est centré sur la programmation linéaire et quelques unes de ces applications classiques. Chaque cours commence par un exemple de modélisation d'un problème par un programme linéaire, variant les thèmes parmi allocation de ressource, ordonnancement, réseaux de transport, flots, stratégies mixtes, etc. Le but étant d'illustrer au maximum le large panel d'application de cet outil. Les (très) grandes lignes du cours sont: L'algorithme du simplexe en deux phases. Interprétation géométrique. Le théorème de dualité. Introduction de la notion de certificat d'optimalité. Interprétation concrète du programme dual. Application de la PL aux réseaux de flots. UE_ULIN504 | Programmation Objet 1 | Ce module introduit la programmation par objet et décrit le passage de la conception objet (réalisé dans un module précédent) à l'implémentation. On mettra l'accent sur les concepts objets (classes/instances, héritage, invocation dynamique de méthodes) et leur mise en œuvre au travers du langage Java et la programmation d'applications objet simples. UE_ULIN301 | Algorithmique et Structures de Données | Analyse d'algorithmes : preuve à base d'invariant, évaluation de la complexité en temps dans le pire des cas, ordre de grandeur asymptotique, principales classes asymptotiques de fonctions. Structure de Données élémentaires : files, files de priorité, arbre binaire, arbre de recherche, représentation d'ensembles. Algorithmes élémentaires : algorithme de recherche et sélection, tris, parcours d'arbre. Introduction aux principales approches pour la conception d'algorithmes :diviser pour résoudre, algorithmes gloutons, programmation dynamique. UE_ULIN304 | Algorithmique-Programmation Applicative. | La programmation applicative (proche de la programmation fonctionnelle) repose sur un modèle de calcul qui représente l'exécution d'un programme dans un ordinateur comme une suite d'application de fonctions à des arguments, donc comme un simple calcul algébrique (calcul utilisant des nombres et des symboles). Elle fournit un cadre remarquablement simple pour étudier la programmation en général et en particulier les fonctions et les structures de données récursives (listes, arbres, etc) omniprésentes dans les applications informatiques (par exemple une page HTML a une structure d'arbre). Elle se prête également fort bien à la programmation symbolique utilisée en gestion et en IA. Elle permet d'introduire simplement l'interprétation des textes et des programmes (Afficher une page HTLM revient à interpréter son texte codé sous forme d'un arbre). Le langage Scheme, une évolution pédagogique et généraliste des langages historiques Lisp et Algol-60, est utilisé en support à ce cours. - Fonctions, Identificateurs, Environnements, - Abstraction de données, - Fonctions récursives sur les nombres, les chaînes, les listes, les arbres, - Base de l'interprétation des programmes. UE_ULIN601 | Système d'Information - Base de données (niveau 2) | Cet enseignement, poursuit l'enseignement initial. Il s'agit de présenter la théorie du modèle relationnel et d'aborder les aspects essentiels en termes de gestion physique des données (techniques d'indexation) et de concurrence d'accès. UE_ULIN508 | Réseaux | Notions de base : de l'utilité des réseaux Composants matériels et logiciels ; architecture en couches Monde Internet : nommage, adressage, protocoles sous-jacents, mise en oeuvre d'applications (programmation) Modèle Client-Serveur Principes d'interconnexion et routage Grandes Applications : serveurs de noms, messagerie, Toile, système de fichiers distribué UE_ULIN610 | Architecture des applications de la toile | Cet enseignement doit amener les notions essentielles des architectures Web (sites statiques et dynamiques, aspects présentation + structuration, sécurité et aspects éthiques de la toile) UE_ULIN503 | Algorithmes de Graphes | Ce cours est centré sur l'étude des algorithmes de graphes les plus classiques : Calcul d'arbre couvrant de poids minimum, de plus courts chemins, d'arbres de parcours en profondeur et en largeur, de composantes connexes et fortement connexes, de tri-topologique, etc. UE_ULINO03 | Culture générale : Normes et Documents Informatiques | Principes des codages de documents informatiques, textes en particulier, mais aussi images. Distinguer la structure du documents de sa mise en page. Dans ce but, on apprendra à utiliser LaTeX, traitement de texte à balises, permettant de séparer structure et mise en page, tout en illustrant son utilisation fréquente dans le monde scientifique. Décrire les normes courantes et les choix à faire lorsque l'on transfère un document informatique afin de ne pas dépendre d'un système particulier. Introduction aux documents multilingues. Manipulations : extraction de parties, fusion de documents, arrangements. UE_ULIN102 | Concepts de base en informatique (niveau 1 ex PMI) | Cet enseignement a divers objectifs : il s'agit de présenter divers aspects fondamentaux de la science informatique et de les illustrer au travers de séances pratiques de donner à l'étudiant nouvel entrant l'autonomie de gestion de l'environnement de travail de préparer la certification C2I (cette UE constitue la première « brique » nécessaire dans le dispositif de certification UMII) UE_ULINO01 | Histoire du Calcul et des ordinateurs | Cet enseignement, intervenant en tant qu'élément de culture générale est conçu sous formes de séminaires sur des sujets proposés et encadrés par des enseignants et exposés majoritairement par les étudiants. Des intervenants extérieurs : épistémologues, historiens et philosophes des sciences peuvent être invités ponctuellement à faire des conférences et à animer des débats UE_ULIN506 | Maîtrise des médias de communication | Cette UE se compose de deux éléments distincts : Initiation à la publication de contenus XML avec XSL (que ce soit pour une médiatisation en HTML (XSLT) ou en PDF (FO)) Construction d'une interface Homme-Machine en utilisant une bibliothèque graphique pour C++ (Qt). UE_ULIN408 | Analyse d'algorithmes | Complexité des algorithmes Algorithmes de recherche : ABR, hachage, tri, ... Optimalité Analyse et comparaison des algorithmes de recherche UE_ULIN305 | Système d'Information - Base de données | Cet enseignement, constitue le premier niveau de présentation de la notion de systèmes d'information et de base de données. Il s'agit de présenter les avantages de ces organisations et de donner une approche méthodologique de leur conception et réalisation. UE_ULINO02 | Introduction à l'Informatique Sociale | Les modules en option sont de culture générale, pour aider les étudiants dans leurs choix en fonction d'un contexte socio-économique en évolution très rapide et aussi en fonction de leur inclinations, souhaits, connaissances et capacités souvent cachés ou insuffisamment connu(e)s. Dans le module Introduction à l'Informatique Sociale on donne les "lunettes" pour connaître et reconnaître les aspets fondamentaux de l'Information dans l'histoire de la culture et des sciences, afin de comprendre et se positionner dans la societè actuelle. On parle donc par exemple des "dialogues" de Socrates - Platon (5ème siècle avant J.C.) , mais aussi des "dialogues" de Galiléé (17ème siècle) ainsi que du "discours su la méthode" de René Descartes, toujours vus comme des avancées scientifiques et culturels dus à la création, élaboration, transformation, communication de l'Information et de la Connaissance. On arrive à nos jours, pour déclarer que nous sommes rentrés dans le coeur d'une Societé de l'Information et de la Connaissance (après la révolution industrielle du 19ème siècle), avec des mutations épocales des manières de vivre, produire, consommer, s'amuser, apprendre, travailler, servir graçe (ou à cause) des technologies de l'Information, dans le village globale (mondialisation). En particulier, on considère les applications potentiellement fenomenales des outils de Web 2.0, comme Wikipedia ou Myspace, qui imposent une réflection non seulement aux scientifiques, ou aux informaticiens, mais à tout le monde, concernant la nature de la societé de demain (communeautés virtuelles, cooperation, web participatif, reputation, emotions, ...). D'un point de vue disciplinaire, le module est fortement conseillé à tout étudiant, il n'y a pas de prérequis ni de contraintes technique (on ne presente pas les technologies, mais leurs utilisation). Par contre, il faut aimer la philosophie, l'histoire, la linguistique, la psychologie, l'art et, en générale, la culture, car on attend des étudiants un certain esprit d'initiative pour profiter au mieux des arguments et des textes presentés en cours et approfondir avec le travail personnel sur le Web. UE_ULIN611 | Evaluation des langages applicatifs | Le cours consiste en la construction progressive d'un méta-évaluateur complet du langage Scheme ou Lisp, que les étudiants réaliseront en TP. UE_ULIN405 | Projet Informatique UE_ULIN405 | Analyse, conception et développement en groupe, d'un projet informatique dans un langage de programmation. Le projet donnera lieu à la rédaction d'un rapport ainsi qu'à une soutenance publique. Les qualités d'organisation, de communication seront également prises en compte dans l'évaluation du projet. UE_ULIN101 | Initiation à l'algorithmique, programmation | Langage d'algorithme simple, sans entrées/sorties. Types de bases classiques. Affectation, itérations, composition de procédures/fonctions. Tableaux, listes. Éléments de récursivité. Quelques particularités Maple: notion d'itérateurs. (155 lignes)