Structure du programme (2-175-1-0)

Description de la structure

Version 04 (A15)

La maîtrise comporte un minimum de 45 crédits. Elle est offerte selon les options suivantes:

- l'option Générale (Segment 70), laquelle peut être suivie selon les modalités suivantes: mémoire (MM), stage (ST), ou travaux dirigés (TD).

Les six options suivantes peuvent être suivies selon la modalité avec mémoire (MM):

- l'option Imagerie (Segment 71)

- l'option Intelligence artificielle (Segment 72)

- l'option Biologie computationnelle (Segment 73)

- l'option Informatique théorique et quantique (Segment 74)

- l'option Programmation et génie logiciel (Segment 75)

- l'option Recherche opérationnelle (Segment 76).

Segment 70 Propre à l'option Générale

Les crédits de l'option avec mémoire (MM), sont répartis de la façon suivante : 30 crédits obligatoires attribués à la recherche et à la rédaction d'un mémoire et 15 crédits à option.

Les crédits de l'option avec stage (ST), sont répartis de la façon suivante : 22 crédits obligatoires attribués à un stage et 23 crédits à option.

Les crédits de l'option avec travaux dirigés (TD), sont répartis de la façon suivante : 22 crédits obligatoires attribués à la recherche et à la rédaction de deux travaux dirigés et 23 crédits à option.

Le choix de cours doit être conforme à l'un des plans d'études spécifiés par le Département selon le domaine choisi.

La participation aux séminaires du Département est obligatoire.

Bloc MM-70A Fondements en informatique Option - Maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée
IFT 6370 Informatique théorique 4.0 Cours de jour
Modèles du calcul. Calculabilité et décidabilité. Complexité. Hiérarchies. Complétudes. Sujets choisis.
Voir la fiche détaillée
IFT 6390 Fondements de l'apprentissage machine 4.0 Cours de jour
Éléments de base des algorithmes d'apprentissage statistique et symbolique. Exemples d'applications en forage de données, reconnaissance des formes, régression non linéaire, et données temporelles.
Voir la fiche détaillée

Bloc MM-70B Élargissement des connaissances Option - Maximum 16 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc MM-70C Mémoire Obligatoire - 30 crédits.

Cours Titre Crédits Période  
IFT 6900 Mémoire 30.0  

Bloc ST-70A Fondements en informatique Option - Maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée
IFT 6370 Informatique théorique 4.0 Cours de jour
Modèles du calcul. Calculabilité et décidabilité. Complexité. Hiérarchies. Complétudes. Sujets choisis.
Voir la fiche détaillée
IFT 6390 Fondements de l'apprentissage machine 4.0 Cours de jour
Éléments de base des algorithmes d'apprentissage statistique et symbolique. Exemples d'applications en forage de données, reconnaissance des formes, régression non linéaire, et données temporelles.
Voir la fiche détaillée

Bloc ST-70B Élargissement des connaissances Option - Maximum 24 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc ST-70C Stage Obligatoire - 22 crédits.

Cours Titre Crédits Période  
IFT 6916 Stage 22.0
Ce stage a pour objectif de permettre à l'étudiant d'appliquer dans une organisation publique ou privée les connaissances théoriques et pratiques acquises au cours de sa formation.
Voir la fiche détaillée

Bloc TD-70A Fondements en informatique Option - Maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée
IFT 6370 Informatique théorique 4.0 Cours de jour
Modèles du calcul. Calculabilité et décidabilité. Complexité. Hiérarchies. Complétudes. Sujets choisis.
Voir la fiche détaillée
IFT 6390 Fondements de l'apprentissage machine 4.0 Cours de jour
Éléments de base des algorithmes d'apprentissage statistique et symbolique. Exemples d'applications en forage de données, reconnaissance des formes, régression non linéaire, et données temporelles.
Voir la fiche détaillée

Bloc TD-70B Élargissement des connaissances Option - Maximum 24 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc TD-70C Travaux dirigés Obligatoire - 22 crédits.

Cours Titre Crédits Période  
IFT 6901 Travail dirigé 1 11.0
Ce cours est publié sans description.
Voir la fiche détaillée
IFT 6902 Travail dirigé 2 11.0
Ce cours est publié sans description.
Voir la fiche détaillée

Segment 71 Propre à l'option Imagerie

Les crédits de l'option sont répartis de la façon suivante : 30 crédits obligatoires attribués à la recherche et à la rédaction d'un mémoire et 15 crédits à option.

Le choix de cours doit être conforme à l'un des plans d'études spécifiés par le Département selon le domaine choisi.

La participation aux séminaires du Département est obligatoire.

Bloc 71A Spécialisation en imagerie Option - Minimum 8 crédits, maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée

Bloc 71B Élargissement des connaissances Option - Maximum 8 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc 71C Mémoire Obligatoire - 30 crédits.

Cours Titre Crédits Période  
IFT 6900 Mémoire 30.0  

Segment 72 Propre à l'option Intelligence artificielle

Les crédits de l'option sont répartis de la façon suivante : 30 crédits obligatoires attribués à la recherche et à la rédaction d'un mémoire et 15 crédits à option.

Le choix de cours doit être conforme à l'un des plans d'études spécifiés par le Département selon le domaine choisi.

La participation aux séminaires du Département est obligatoire.

Bloc 72A Spécialisation en intelligence artificielle Option - Minimum 8 crédits, maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6390 Fondements de l'apprentissage machine 4.0 Cours de jour
Éléments de base des algorithmes d'apprentissage statistique et symbolique. Exemples d'applications en forage de données, reconnaissance des formes, régression non linéaire, et données temporelles.
Voir la fiche détaillée

Bloc 72B Élargissement des connaissances Option - Maximum 8 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée
IFT 6370 Informatique théorique 4.0 Cours de jour
Modèles du calcul. Calculabilité et décidabilité. Complexité. Hiérarchies. Complétudes. Sujets choisis.
Voir la fiche détaillée
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc 72C Mémoire Obligatoire - 30 crédits.

Cours Titre Crédits Période  
IFT 6900 Mémoire 30.0  

Segment 73 Propre à l'option Biologie computationnelle

Les crédits de l'option sont répartis de la façon suivante : 30 crédits obligatoires attribués à la recherche et à la rédaction d'un mémoire et 15 crédits à option.

Le choix de cours doit être conforme à l'un des plans d'études spécifiés par le Département selon le domaine choisi.

La participation aux séminaires du Département est obligatoire.

L'accès aux laboratoires en sciences biologiques est possible.

Bloc 73A Spécialisation en biologie computationnelle Option - Minimum 8 crédits, maximum 16 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  

Bloc 73B Élargissement des connaissances Option - Maximum 8 crédits.

Cours Titre Crédits Période  
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée
IFT 6370 Informatique théorique 4.0 Cours de jour
Modèles du calcul. Calculabilité et décidabilité. Complexité. Hiérarchies. Complétudes. Sujets choisis.
Voir la fiche détaillée
IFT 6390 Fondements de l'apprentissage machine 4.0 Cours de jour
Éléments de base des algorithmes d'apprentissage statistique et symbolique. Exemples d'applications en forage de données, reconnaissance des formes, régression non linéaire, et données temporelles.
Voir la fiche détaillée
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc 73C Mémoire Obligatoire - 30 crédits.

Cours Titre Crédits Période  
IFT 6900 Mémoire 30.0  

Segment 74 Propre à l'option Informatique théorique et quantique

Les crédits de l'option sont répartis de la façon suivante : 30 crédits obligatoires attribués à la recherche et à la rédaction d'un mémoire et 15 crédits à option.

Le choix de cours doit être conforme à l'un des plans d'études spécifiés par le Département selon le domaine choisi.

La participation aux séminaires du Département est obligatoire.

Bloc 74A Spécialisation en Informatique théorique et quantique Option - Minimum 8 crédits, maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6370 Informatique théorique 4.0 Cours de jour
Modèles du calcul. Calculabilité et décidabilité. Complexité. Hiérarchies. Complétudes. Sujets choisis.
Voir la fiche détaillée

Bloc 74B Élargissement des connaissances Option - Maximum 8 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée
IFT 6390 Fondements de l'apprentissage machine 4.0 Cours de jour
Éléments de base des algorithmes d'apprentissage statistique et symbolique. Exemples d'applications en forage de données, reconnaissance des formes, régression non linéaire, et données temporelles.
Voir la fiche détaillée
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc 74C Mémoire Obligatoire - 30 crédits.

Cours Titre Crédits Période  
IFT 6900 Mémoire 30.0  

Segment 75 Propre à l'option Programmation et génie logiciel

Les crédits de l'option sont répartis de la façon suivante : 30 crédits obligatoires attribués à la recherche et à la rédaction d'un mémoire et 15 crédits à option.

Le choix de cours doit être conforme à l'un des plans d'études spécifiés par le Département selon le domaine choisi.

La participation aux séminaires du Département est obligatoire.

Bloc 75A Spécialisation en programmation et génie logiciel Option - Minimum 8 crédits, maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6315 Analyse et compréhension de programmes 4.0
Techniques d'analyse des programmes orientés-objets modernes (analyses statiques, profilage, analyses hybrides). Techniques avancées de test et débogage. Compréhension du comportement et de la performance.
Voir la fiche détaillée

Bloc 75B Élargissement des connaissances Option - Maximum 8 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  
IFT 6350 Infographie 4.0
2D : tracé, remplissage. 3D : transformations, projections. Surfaces cachées. Illumination : modèles de réflexion. Textures : antialiassage. Modélisation : surfaces paramétriques. Animation : interpolation, cinématique, dynamique.
Voir la fiche détaillée
IFT 6370 Informatique théorique 4.0 Cours de jour
Modèles du calcul. Calculabilité et décidabilité. Complexité. Hiérarchies. Complétudes. Sujets choisis.
Voir la fiche détaillée
IFT 6390 Fondements de l'apprentissage machine 4.0 Cours de jour
Éléments de base des algorithmes d'apprentissage statistique et symbolique. Exemples d'applications en forage de données, reconnaissance des formes, régression non linéaire, et données temporelles.
Voir la fiche détaillée
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc 75C Mémoire Obligatoire - 30 crédits.

Cours Titre Crédits Période  
IFT 6900 Mémoire 30.0  

Segment 76 Propre à l'option Recherche opérationnelle

Les crédits de l'option sont répartis de la façon suivante : 30 crédits obligatoires attribués à la recherche et à la rédaction d'un mémoire et 15 crédits à option.

Le choix de cours doit être conforme à l'un des plans d'études spécifiés par le Département selon le domaine choisi.

La participation aux séminaires du Département est obligatoire.

Bloc 76A Spécialisation en recherche opérationnelle Option - Minimum 8 crédits, maximum 16 crédits.

Cours Titre Crédits Période  
IFT 6504 Programmation mathématique 4.0
Compléments de programmation linéaire et non linéaire. Dualité. Décomposition. Optimisation non différentiable. Méthode de points intérieurs. Modèles d'équilibre.
Voir la fiche détaillée
IFT 6512 Programmation stochastique 4.0 Cours de jour
Optimisation stochastique avec recours. Programmes stochastiques linéaires à deux étapes. Formulations compactes et explicites. Méthode L-Shaped. Problèmes à plusieurs étapes et en nombres entiers. Méthodes échantillonnales.
Voir la fiche détaillée
IFT 6521 Programmation dynamique 4.0 Cours de jour
Processus de décision séquentiels déterministes et stochastiques. Horizons finis et infinis. Équations de récurrence. Algorithmes : itération des valeurs, itération des politiques, programmation linéaire, méthodes hybrides.
Voir la fiche détaillée
IFT 6551 Programmation en nombres entiers 4.0 Cours de jour
Méthodes de troncature, génération de facettes. Méthodes d'énumération. Méthodes de décomposition. Applications : recouvrement et partition d'ensembles, localisation de dépôts, voyageur de commerce, problèmes d'horaire.
Voir la fiche détaillée
IFT 6561 Simulation : aspects stochastiques 4.0 Cours de jour
Modèles stochastiques à événements discrets. Modélisation des aléas. Analyse des résultats et intervalles de confiance. Réduction de la variance. Analyse de sensibilité et optimisation. Génération de valeurs aléatoires.
Voir la fiche détaillée
IFT 6575 Méthodes de recherche opérationnelle 4.0 Cours de jour
Programmation linéaire. Programmation en nombres entiers. Programmation non linéaire. Programmation dynamique. Modèles stochastiques. Simulation.
Voir la fiche détaillée
IFT 6751 Métaheuristiques en optimisation 4.0
Principales métaheuristiques utilisées en optimisation : recherche tabou, recuit simulé, algorithmes évolutionnaires, colonies de fourmis, réseau de neurones. Approches hybrides et parallèles. Optimisation multicritère.
Voir la fiche détaillée

Bloc 76B Élargissement des connaissances Option - Maximum 8 crédits.

Cours Titre Crédits Période  
BIN 6002 Principes d'analyse génomique 3.0
Identification (gènes protéiques et d'ARNs structuraux introns) par comparaison de séquences et recherche de motifs. Alignements multiples et code génétique. Assemblage et annotation de séquence génomique.
Voir la fiche détaillée
BIN 6003 Architecture des polymères biologiques 3.0 Cours de jour
Conformation macromoléculaire. Analyse de structures tridimensionnelles.
Voir la fiche détaillée
IFT 6010 Intelligence artificielle 4.0
Représentation des connaissances. Logique classique et techniques de résolution automatique de problèmes. Raisonnement non monotone, induction, connaissances et croyances. Planification.
Voir la fiche détaillée
IFT 6042 Synthèse d'images 4.0 Cours de jour
Modélisation géométrique. Courbes et surfaces. Visibilité. Lumière et ombrage. Modèles de transparence, réflexion, réfraction. Textures. Fractales et modèles stochastiques. Antialiasing. Lancer de rayons. Phénomènes naturels.
Voir la fiche détaillée
IFT 6043 Rendu réaliste et interactif en médias numériques 4.0
Rendu en temps réel pour jeux vidéo et animations. Équations de rendu, modèles de réflexion; harmoniques sphériques; OpenGL avec shaders; ombrage réaliste; calculs sur processeurs graphiques.
Voir la fiche détaillée
IFT 6055 Protocoles de communication 4.0 Cours de jour
Conception et implantation de protocoles. Langages formels de spécification. Validation de protocoles. Tests de conformité. Considérations de performances. Applications.
Voir la fiche détaillée
IFT 6080 Sujets en exploitation des ordinateurs 4.0 Cours de jour  
IFT 6085 Sujets en intelligence artificielle 4.0 Cours de jour
Sujets en intelligence artificielle
Voir la fiche détaillée
IFT 6095 Sujets en infographie 4.0 Cours de jour  
IFT 6112 Modélisation de solides 4.0 Cours de jour Cours de soir
Modélisation de solides pour la Conception Assistée par Ordinateur (CAO) et l'animation. Systèmes CAO; courbes et surfaces B-spline et NURBS; surfaces de subdivision; objets non rigides.
Voir la fiche détaillée
IFT 6121 Complexité du calcul 4.0
Hiérarchie polynomiale. Complexité relativisée. Circuits booléens et autres modèles. Caractérisations algébriques. Complexité de la communication. Bornes inférieures. Sujets choisis.
Voir la fiche détaillée
IFT 6132 Prédiction structurée avancée 4.0 Cours de jour
Sujets avancées pour la prédiction d'objets structurés (tels: graphes, couplages, réseau de flot). Apprentissage génératif vs discriminatif et modèles à énergie; CRF, SVM structurée, optimisation à grande échelle; algorithmes combinatoires; RNN.
Voir la fiche détaillée
IFT 6135 Apprentissage de représentations 4.0 Cours de jour
Algorithmes d'apprentissage de représentations des données et réseaux de neurones artificiels profonds. Avantages de l'apprentissage profond pour l'intelligence artificielle. Modélisation de la distribution de probabilité des données.
Voir la fiche détaillée
IFT 6141 Reconnaissance des formes 4.0 Cours de jour
Classification. Regroupement. Modèles paramétriques et non paramétriques. Systèmes adaptatifs. Analyse de scènes. Aperçu des applications (télédétection, médecine, automation...).
Voir la fiche détaillée
IFT 6145 Vision tridimensionnelle 4.0 Cours de jour Cours de soir
Concepts de vision par ordinateur. Calibrage de caméra, stéréoscopie, flux optique, mosaïques et panoramas. Méthodes de reconstruction volumétrique.
Voir la fiche détaillée
IFT 6150 Traitements d'images 4.0 Cours de jour Cours de soir
Échantillonnage. Opérations sur les images. Amélioration. Restauration. Compression. Réalisation d'un projet appliqué.
Voir la fiche détaillée
IFT 6155 Informatique quantique 4.0 Cours de jour
Calcul réversible; information quantique; non-localité; cryptographie quantique; circuits, parallélisme et interférence quantiques; algorithmes de Simon, Shor et Grover; téléportation; correction d'erreurs; implantation.
Voir la fiche détaillée
IFT 6172 Sémantique des langages de programmation 4.0
Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.
Voir la fiche détaillée
IFT 6180 Cryptologie : théorie et applications 4.0 Cours de jour
Historique et définitions. Cryptographie et cryptanalyse. Théorie de l'information. Cryptographie conventionnelle, à clefs publiques, probabiliste et quantique. Génération pseudo et quasi aléatoire. Applications diverses.
Voir la fiche détaillée
IFT 6195 Sujets en informatique quantique 4.0 Cours de jour  
IFT 6221 Synthèse des systèmes numériques 4.0
Synthèse de haut niveau. Synthèse logique. Modèles d'architecture. Langages de description. Mesures de qualité. Partitionnement. Ordonnancement. Allocation de ressources. Systèmes logiciel - matériel. Méthodologie de conception.
Voir la fiche détaillée
IFT 6232 Compilation 4.0 Cours de jour
Aspects de l'organisation d'un compilateur; génération et optimisation de code, récupération d'erreurs, analyse de flot de contrôle. Interprètes, performance, test et diffusion. Écriture d'un compilateur générant du code pour une machine réelle.
Voir la fiche détaillée
IFT 6243 Concepts de bases de données avancées 4.0
Bases de données intelligentes. Bases de données objet. Bases de connaissances et d'images. Bases déductives. Modélisation expert - novice. Projets : applications aux systèmes tutoriels intelligents.
Voir la fiche détaillée
IFT 6251 Sujets en génie logiciel 4.0 Cours de jour  
IFT 6252 Méthodes empiriques en génie logiciel 4.0
Introduction à la théorie de la mesure du logiciel et au génie logiciel expérimental. Conception et conduite des études empiriques en génie logiciel. Analyse (tests statistiques), interprétation et diffusion de résultats. Cas concrets.
Voir la fiche détaillée
IFT 6253 Conception dirigée par modèles 4.0 Cours de jour
Ingénierie dirigée par les modèles, conception des logiciels dirigée par simulation. Langages de modélisation, langages spécifiques au domaine, transformation de modèles, techniques d'analyse des modèles, introduction à la modélisation et simulation.
Voir la fiche détaillée
IFT 6254 Fouille des dépôts logiciels 4.0
Introduction aux méthodes et techniques de fouille de données du génie logiciel. Dépôts logiciels et données associées. Extraction et fouille des données. Analyse et interprétation (statistiques, métriques, apprentissage machine). Étude de cas.
Voir la fiche détaillée
IFT 6255 Recherche d'information 4.0 Cours de jour
Principe de la recherche d'information. Sélection des documents pertinents. Modèles booléen, vectoriel, probabiliste, logique. Réalisation. Évaluation des performances. Analyses linguistiques, syntaxiques et sémantiques.
Voir la fiche détaillée
IFT 6261 Traitement des connaissances 4.0 Cours de jour
Application des techniques d'IA pour le développement de systèmes à base de connaissances. Acquisition, formalisation et stockage de connaissances. Systèmes experts. Modèles à objets. Langages et systèmes spécialisés.
Voir la fiche détaillée
IFT 6268 Apprentissage automatique pour la vision 4.0
Apprentissage automatique avancé et perception visuelle; apprentissage de traits caractéristiques spatiaux et spatio-temporels; traits visuels de mi-niveau; modèles bio-inspirés et statistiques avancées d'images; données massives en vision.
Voir la fiche détaillée
IFT 6269 Modèles graphiques probabilistes et apprentissage 4.0 Cours de jour
Représentation des systèmes comme des modèles graphiques probabilistes, inférence dans les modèles graphiques, apprentissage des paramètres à partir de données.
Voir la fiche détaillée
IFT 6271 Sécurité informatique 4.0 Cours de jour
Confidentialité et intégrité des données. Protection des réseaux et du commerce électronique. Clefs publiques et les tiers de confiance. Méthodes d'authentification. Coupe-feu. Gestion des mots de passe. Évaluation et gestion des risques et sécurité.
Voir la fiche détaillée
IFT 6281 Gestion de documents 4.0
Types de documents. Traitements de données textuelles : transformation, édition, compression, cryptage. Analyse syntaxique et compréhension de texte. Recherche documentaire. Indexation automatique. Hypertexte.
Voir la fiche détaillée
IFT 6282 Web sémantique 4.0 Cours de jour
Principes du web sémantique. XML, schémas et transformations. Triplets RDF et interrogation SPARQL. Création d'ontologies et formalisation en OWL. Logique de description et sémantique. Applications et perspectives.
Voir la fiche détaillée
IFT 6285 Traitements automatique des langues naturelles 4.0 Cours de jour
Introduction aux problématiques de base du traitement des langues naturelles (modélisation de la langue, étiquetage de séquences de mots, analyse grammaticale) et à ses applications (traduction automatique, extraction d'information, etc.).
Voir la fiche détaillée
IFT 6291 Bio-informatique génomique 4.0 Cours de jour
Comparaison et alignement des séquences biologiques. Structures secondaires des acides ribonucléiques. Recherche de motifs. Assemblage de fragments d'ADN, cartographie physique. Ordre des gènes.
Voir la fiche détaillée
IFT 6292 Bio-informatique moléculaire 4.0 Cours de jour
Structure 3D des protéines et ARN. Modèles et optimisation de l'énergie potentielle, moléculaire. Espace et recherche de conformations, modélisation comparative et de novo.
Voir la fiche détaillée
IFT 6299 Sujets en bio-informatique 4.0 Cours de jour  

Bloc 76C Mémoire Obligatoire - 30 crédits.

Cours Titre Crédits Période  
IFT 6900 Mémoire 30.0  

Date de la dernière modification: 25 septembre 2017

Signaler un changement

Demande d'admission

Partagez cette page

Le test cursus: pour trouver votre voie