Conférences MiDiro on AÉDIROUM

L’aventure MONA: du projet étudiant à l’autogestion

Thu, 04 Apr 2024 11:30:00 -0500

Lena Krause, étudiante au DIRO et désormais fondatrice et directrice technique de la Maison MONA, présentera les étapes de transformation de son projet étudiant en un organisme culturel qui travaille aujourd’hui en partenariat avec l’UdeM.

MONA est une application mobile libre et open source qui propose de découvrir l’art public, les lieux culturels et le patrimoine au Québec sur le modèle de la chasse au trésor urbaine. Produite à partir de plusieurs jeux de données ouvertes, ses utilisateur·rice·s sont invité·e·s à explorer l’espace qui les entoure pour constituer une collection photographique de leurs découvertes. Ce projet est porté par la Maison MONA, un OSBL culturel qui allie culture et technologie pour impliquer le·a citoyen·ne dans son environnement et pour faire rayonner l’art à Montréal et au Québec.

Generalized Submodular Optimization

Fri, 22 Mar 2024 12:30:00 -0500

Submodularity is an important concept in integer and combinatorial optimization. Submodular set functions capture diminishing returns, and for this desirable property, they are found in numerous real-world applications. A submodular set function models the effect of selecting items from a single ground set, and whether an item is chosen can be modeled using a binary variable. However, in many problem contexts, our decisions involve choosing multiple copies of homogenous items, or heterogenous items from multiple sets. These scenarios give rise to generalizations of submodularity. In this talk, we will introduce such generalizations and discuss the theory and algorithms for the associated optimization problems.

Du code pour générer de l'art

Tue, 19 Mar 2024 12:30:00 -0500

J’introduis le concept d’art génératif qui consiste à développer des programmes qui peuvent automatiser la génération d’une oeuvre d’art. Ensuite, je m’appuie sur des exemples d’oeuvres de Vera Molnar et Ryoji Ikeda pour démontrer cette pratique.

Programmation dynamique polymorphe, vérifiable et efficace

Fri, 16 Feb 2024 12:30:00 -0500

La programmation dynamique est une technique permettant de résoudre efficacement certains problèmes d’optimisation combinatoire. Elle est appliquée avec succès dans des domaines aussi variés que la recherche opérationnelle, la bio-informatique, l’intelligence artificielle ou la linguistique. Les algorithmes en programmation dynamique sont classiquement développés et présentés sous forme de tables et d’équations de récurrence. Cette approche limite cependant les possibilités de réutilisation et rend l’implantation sujette à des bogues. La programmation dynamique algébrique propose de pallier ces problèmes en séparant les aspects de description de l’espace des solutions, d’évaluation et de sélection des candidats, et d’efficacité du calcul. Après des rappels sur les bases de la programmation dynamique, nous introduirons sa déclinaison algébrique et démontrerons qu’elle facilite la conception, la réutilisation et la vérification des algorithmes.

L'histoire des codes secrets

Fri, 24 Nov 2023 11:30:00 -0500

À partir du moment où on commence à communiquer, il apparaît rapidement la nécessité de développer des techniques qui nous protègent des oreilles indiscrètes. Le problème devient encore plus difficile lorsqu’on communique à distance dans un environnement que l’on ne contrôle pas. Même si aujourd’hui la cryptographie traite davantage de problèmes, elle a certainement commencé en proposant des solutions ingénieuses que l’on appelait des codes secrets. À travers des anecdotes historiques pertinentes, je vais retracer l’histoire de cette pratique à partir de Rome jusqu’à l’ordinateur quantique. L’histoire des codes secrets est pleine de rebondissements et la réalité historique diffère parfois de façon significative des versions romanesques présentées au cinéma. Ne vous inquiétez pas, la réalité est encore plus passionnante.

Prédiction et optimisation pour la prise de décision dans le monde réel

Mon, 13 Nov 2023 12:30:00 -0500

Toute décision implique une certaine forme d’incertitude. C’est certainement le cas dans les chaînes d’approvisionnement où la forte variabilité de la demande, des coûts et des déplacements complique considérablement la planification de l’approvisionnement, la production, la distribution et du service. Dans un contexte en constante évolution où la fréquence des données est élevée, les paradigmes classiques s’appuyant sur l’apprentissage automatique, suivi par l’optimisation des décisions ne suffisent plus. Axée sur des applications en chaînes d’approvisionnement, et le transport en particulier, cette présentation portera sur des opportunités de modèles et d’algorithmes hybrides combinant l’apprentissage automatique et la recherche opérationnelle.

Notre identité en sciences informatiques — ou “Quelle est la différence avec le génie logiciel?”

Wed, 11 Oct 2023 12:30:00 -0500

Dans cette présentation nous allons explorer l’identité des sciences informatiques. En d’autres termes : c’est quoi un bac en informatique? Après une petite excursion dans l’histoire de l’éducation en informatique, nous allons définir les disciplines importantes de l’informatique : l’ingénierie informatique et l’ingénierie logicielle, les sciences informatiques, les technologies de l’information et les systèmes d’information. Nous pourrons ainsi bien répondre à une question fréquemment posée : “Quelle est la différence entre un bac en sciences informatiques et un bac en génie logiciel?” Nous allons ensuite comparer les disciplines entre elles et voir comment elles se positionnent par rapport à l’ensemble de l’informatique. Finalement, nous allons faire un petit tour d’horizon de l’informatique dans le système d’éducation au Québec et investiguer quelques exemples de formations. Basée principalement sur les rapports CC2005 et CC2020 de l’ACM/IEEE, cette présentation se veut peu technique et accessible à tous.

Qui rêve de moutons électriques ?

Thu, 27 Apr 2023 15:30:00 -0400

C’est l’écrivain William Gibson qui a déjà déclaré que «le futur est déjà là — il n’est juste pas uniformément réparti». Pour cette présentation, j’utiliserai le concept d’«imaginaire sociotechnique» pour explorer le discours techno-optimiste présentant l’intelligence artificielle (IA) comme la solution ultime sur laquelle notre adaptation à l’avenir et notre survie dépendent. L’écosystème entrepreneurial est un site stratégique crucial pour la production et l’entretien de cet imaginaire. Je m’intéresserai aux entrepreneurs qui considèrent l’avenir comme un capital symbolique qui justifie leurs pratiques et donne un sens à leur identité et à leurs actions.

Je débuterai en exposant l’«imaginaire sociotechnique» de l’IA, afin de révéler les enjeux de pouvoir, les promesses et les risques du futur que son enchantement contient. Puis, je me concentrerai sur les entrepreneurs de startups qui, grâce à leur connaissance et leur compétence technologique, ont la capacité de dominer l’avenir en utilisant leur prestige ostentatoire pour manier les armes symboliques que sont les visions et les mythes qui s’imposent avec autorité dans nos sociétés sans participation partagée.

Présentation du parcours RECI

Fri, 27 Jan 2023 12:30:00 -0500

Le parcours RECI est un nouveau parcours à l’Université de Montréal qui permet d’intégrer des expériences enrichissantes liées à la recherche, au communautaire et à l’international dans vos études universitaires. L’étudiant ou l’étudiante qui réalise plusieurs expériences dans le cadre de ce parcours pourra ainsi se voir attribuer maintenant une distinction RECI à la fin de ses études. Au département d’informatique et de recherche opérationnelle, le parcours concerne les programmes d’études de baccalauréat, de majeure et de mineure en informatique, et le baccalauréat en mathématique et informatique.

Durant ce MiDiro, nous allons vous présenter en détails le nouveau parcours RECI et ses objectifs. Nous vous expliquerons comment vous engager et où trouver les ressources d’accompagnement. Finalement, nous allons vous présenterons plusieurs exemples d’expériences grâce à un outil web qui a été conçu par deux personnes étudiantes au DIRO.

Nous espérons vous y voir nombreuses et nombreux et que cette présentation vous inspirera à vous élancer dans cette belle aventure durant votre parcours universitaire!

Liberté en péril !

Thu, 19 Jan 2023 13:30:00 -0500

Les données personnelles sont collectées sur Internet et analysées à des fins de personnalisation, de catégorisation ou de surveillance. Ces techniques d’analyse sont très puissantes et permettent de géolocaliser les usagers, d’identifier leurs préférences, leurs états émotionnels, leurs opinions, etc. De plus, des réseaux sociaux comme Facebook et Tik Tok sont de plus en plus menaçants puisqu’ils influencent les usagers et contrôlent leurs comportements, les privant ainsi de leur liberté et de leur libre arbitre. Hormis le contrôle perdu sur leurs données personnelles, des courtiers de données (data brokers) collectent leurs données et les revendent au plus offrant.

Il est crucial que les usagers comprennent que leurs comportements non sécuritaires qui consistent à divulguer des informations personnelles leur font courir le risque de rater des occasions, d’être discriminés ou d’être victimes de préjugés utilisés par des systèmes de « police prédictive ». Plus grave encore, des personnes de leur entourage qui ont néanmoins un comportement sécuritaire risquent de devenir vulnérables et de souffrir de leurs actions, ce qui constitue manifestement un dommage collatéral !

Dans cette conférence, je mettrai l’accent sur les techniques de manipulation et de surveillance sur Internet et je montrerai clairement que par ignorance ou par négligence les usagers mettent en péril leur liberté et celle de ceux qu’ils aiment.

Il devient urgent de développer une hygiène de vie sécuritaire.

Notre identité en sciences informatiques — ou “Quelle est la différence avec le génie logiciel?”

Thu, 01 Dec 2022 12:30:00 -0500

Apprentissage par l’exemple pour améliorer l’automatisation des activités de génie logiciel : de la programmation génétique à l’apprentissage profond

Thu, 24 Nov 2022 12:30:00 -0500

Au cours des dernières décennies, la communauté de recherche en génie logiciel a fait des progrès significatifs dans l’automatisation des tâches de développement et de maintenance de logiciels. Ceci a été réalisé grâce à l’accumulation de connaissances produites par de nombreux groupes de chercheurs travaillant sur des activités à usage général tels que la génération automatique de tests, la restructuration de programmes, la réparation de programmes ou la localisation de fonctionnalités dans le code. Cependant, l’automatisation des tâches spécifiques à un domaine n’a pas bénéficié des mêmes masses critiques de chercheurs. C’est notamment le cas de l’ingénierie de langages spécifiques à un domaine ou de l’assistance à l’utilisation d’interfaces de programmation de librairies de code. Dans cette présentation, nous discutons de l’utilisation de la programmation génétique pour transformer des données ou des exemples d’un domaine donné en connaissances afin d’automatiser des tâches spécifiques à ce domaine. Nous présentons également les progrès récents dans l’utilisation de l’apprentissage profond pour assister les spécialistes en logiciel dans ces mêmes tâches.

Tenseurs et réseaux de tenseurs en apprentissage automatique

Thu, 13 Oct 2022 12:30:00 -0400

Dans cette présentation, je commencerai par introduire les tenseurs (une généralisation des vecteurs et des matrices) ainsi que les réseaux de tenseurs (un langage graphique à la fois intuitif et rigoureux pour décrire des opérations complexes entre tenseurs). Je discuterai ensuite des défis associés aux données tensorielles et des différentes méthodes permettant de représenter et de manipuler efficacement ce type de données. Enfin, je présenterai plus en particulier des applications de ces méthodes dans le cadre de l’apprentissage automatique.

Contrôle et augmentation de détails pour les simulations de fluides

Fri, 27 Feb 2015 11:30:00 -0500

Les simulations de fluides tels que l’eau et la fumée sont de nos jours chose courante dans les films et les jeux vidéos.

Dans cet exposé, je présenterai les fondements des algorithmes utilisés pour générer de telles simulations. Je discuterai ensuite de diverses techniques qui permettent de contrôler le comportement des fluides et permettent de diverger de leur comportement naturel, ce qui permet par exemple de simuler des personnages composés d’eau, ou de former du texte avec de la fumée.

Expansion de requête diversifiée

Fri, 06 Feb 2015 11:30:00 -0500

Je présenterai brièvement le domaine de recherche d’information à la base de moteurs de recherche “à la Google” afin de situer mon sujet de thèse.

Contrairement aux approches existantes qui diversifient les résultats de recherche afin de couvrir toutes les interprétations de la requête, j’ai exploré une nouvelle approche basée sur la diversification de la requête.

Afin de garantir une bonne couverture des différentes intentions de l’utilisateur derrière sa requête, les termes d’expansion sont sélectionnés à partir de plusieurs ressources, comme les logs de requêtes, Wikipédia, ConceptNet et les documents de feedback.

Des ordinateurs qui rêvent : introduction aux machines de Boltzmann restreintes

Fri, 11 Apr 2014 11:30:00 -0500

L’apprentissage automatique est une branche de l’intelligence artificielle qui génère beaucoup d’engouement de nos jours.

Plutôt que d’inculquer aux ordinateurs des comportements intelligents de façon explicite, l’apprentissage automatique s’intéresse à leur laisser découvrir leurs propres règles par l’exemple. Cette approche permet entre autres de développer des modèles qui ont la propriété surprenante d’imaginer des exemples plausibles mais jamais vus auparavant.

Dans cette conférence, je propose de lever le voile sur un de ces modèles, appelé machine de Boltzmann restreinte (RBM), et d’explorer son fonctionnement et ses applications.

Les réseaux véhiculaires et leurs applications de sécurité : Comment améliorer la sécurité routière en exploitant les communications sans fil

Fri, 21 Mar 2014 11:30:00 -0500

Les accidents de routes se produisent tous les jours partout dans le monde résultant chaque année à plus de 100 milliards de dollars de dégâts et plus que 50 millions de victimes dont au moins 1 million de morts. Une grande partie de ces accidents pourront être évités si les conducteurs sont prévenus du danger quelques secondes en avance.

Dans cette perspective, la communauté scientifique s’est intéressée à l’exploitation des technologies de communication (notamment sans fil) pour émettre des notifications préventives pour aviser les conducteurs des dangers potentiels dans la route.

Cette présentation focalise sur les applications possibles des réseaux véhiculaires pour la sécurité active sur les routes. Je vais aussi présenter certains défis et problèmes à résoudre pour ce type de réseau qui sont en relation avec mes travaux de recherche.

La géométrie derrière l'infographie : Maillage et remaillage

Fri, 28 Feb 2014 11:30:00 -0500

Des millions de triangles sont présents dans chaque image d’un film d’animation 3D, et pourtant vous n’en voyez aucun. Vous ferez un saut dans l’arrière-scène de l’infographie où les maillages sont omniprésents et où quelques triangles peuvent former un sujet de doctorat.

Je présenterai une notion de qualité d’un maillage et les techniques de remaillage visant à améliorer cette qualité. Je présenterai également l’importance des maillages dans des domaines connexes, tels que l’architecture et l’ingénierie, afin d’illustrer le fait que tout objet peut être, et souvent même doit être maillé.

Stratégies adaptatives de compilation à la volée

Fri, 07 Feb 2014 11:30:00 -0500

Un avantage majeur des compilateurs à la volée par rapport aux compilateurs statiques est leur habileté à s’adapter aux paramètres d’un programme en cours d’exécution. Ceci est particulièrement important quand on travaille avec un langage de programmation dynamique tel que JavaScript ou Python.

Nous introduirons des stratégies de compilation adaptives qui visent à atteindre deux objectifs a priori conflictuels : générer du code machine plus optimisé tout en réduisant le temps de compilation.

Dois-je démarrer mon entreprise après mes études ? Bonne question !

Fri, 17 Jan 2014 11:30:00 -0500

Alain Lavoie, président et cofondateur de la compagnie Irosoft, présentera son cheminement professionnel. Il discutera des bienfaits de démarrer une compagnie. Il vous dira que le métier d’entrepreneur est accessible à tous pourvu que la passion y soit.

L’objectif de la présentation est de vous démontrer que le métier d’informaticien est le plus beau métier du monde et qu’il nous permet d’atteindre les plus hauts sommets, si on le désire…

La vision par ordinateur appliquée au cinéma immersif

Fri, 06 Dec 2013 11:30:00 -0500

Le cinéma 360 3D projette sur des écrans immersifs des vidéos qui fournissent de l’information sur la profondeur de la scène tout autour des spectateurs. Ce type de cinéma comporte des défis liés notamment au tournage de vidéos 360 3D de scènes dynamiques et à la projection sur des écrans courbes très réfléchissants.

Nous tentons de relever ces défis par la vision par ordinateur, c’est-à-dire par l’analyse automatique d’images prises par des caméras. Par exemple, nous avons développé deux méthodes de production de vidéos 360 3D, une par l’assemblage de milliers d’images prises par 2 caméras en rotation sur un trépied, et une par l’utilisation de 3 caméras munies de lentilles très grand angle. Nous utilisons aussi une caméra pour aligner automatiquement plusieurs projecteurs de façon à créer une projection continue sur n’importe quelle forme d’écran.

La bioinformatique de l'ARN

Fri, 22 Nov 2013 11:30:00 -0500

Je ferai un survol de la bioinformatique telle que je la voie : Qu’est-ce ? D’où cela vient-il et où cela va-t’il ? Est-ce cool et important ?

Après une présentation des entités manipulées par la bioinformatique, je trancherai grossièrement dans ce jeune corpus pour identifier ses points d’ancrage (l’information, l’algorithmique et la modélisation).

MétéoVis : un système de présentation personnalisé d'informations environnementales

Fri, 01 Nov 2013 11:30:00 -0500

Dans le contexte de la présentation d’une grande masse d’information, le système doit sélectionner les informations pertinentes selon l’utilisateur.

MétéoVis est un générateur sur demande de visualisations de bulletins climatiques combinant du texte et des graphiques. Pour cela nous profilons l’utilisateur pour dégager ses besoins et ses préférences. Nous utilisons pour cette tâche le clustering pour dégager des cas similaires.

Notre thèse développe des méthodes pour automatiser l’exploration d’informations de type environnemental, pour prévoir les préférences et les besoins des utilisateurs et pour générer des bulletins météorologiques personnalisés.

Calcul sécuritaire

Fri, 19 Apr 2013 12:30:00 -0500

Le Calcul Sécuritaire est le domaine qui étudie comment apprendre le résultat d’une fonction publique sur des inputs privés sans l’utilisation de tiers parti honnête. Les applications du calcul sécuritaire incluent le vote, l’enchère et la transmission de message anonyme.

Dans cette présentation, nous allons voir les définitions de base et de protocoles simples de ce domaine.

Ménagez vos transports! L'optimisation des réseaux par l'informatique et la RO

Fri, 22 Mar 2013 12:30:00 -0500

Je ferai un tour d’horizon de plusieurs applications en transports modélisées et résolues grâce à un champ de recherche passionnant : l’optimisation de réseaux, une belle combinaison d’informatique, de RO et de mathématiques.

Des plus courts chemins aux tournées de véhicules, en passant par les problèmes classiques d’équilibre de trafic et du voyageur de commerce, je présenterai plusieurs problèmes d’optimisation de réseaux, toujours en référence à des problèmes “réels” en transports !

La visualisation du logiciel ou comment voir et explorer l'intangible

Fri, 15 Feb 2013 12:30:00 -0500

Les logiciels font partie de notre vie de tous les jours et sont de plus en plus grands et complexes (plusieurs centaines de milliers de lignes de code). Ils sont appelés à être modifiés fréquemment pour satisfaire les besoins changeants des utilisateurs et doivent constamment s’adapter à l’évolution de leur environnement.