Faculté des arts et des sciences - Département d`informatique et de

 Faculté des arts et des sciences Rapport annuel
2012-2013
MOT DU DIRECTEUR 3 LE CORPS PROFESSORAL 5 LE PERSONNEL ADMINISTRATIF 12 LE PERSONNEL TECHNIQUE 12 LES PROFESSEURS ÉMÉRITES 13 LES PROFESSEURS ASSOCIÉS 13 LES STAGIAIRES POSTDOCTORAUX 13 LA POPULATION ÉTUDIANTE ET LES DIPLÔMES DÉCERNÉS 15 SUBVENTIONS DE RECHERCHE ET CONTRATS 23 LES LABORATOIRES 24 PRIX ET DISTINCTIONS 48 LES PUBLICATIONS 49 Adresse civique : Pavillon André‐Aisenstadt 2920, chemin de la tour 2e étage Montréal (Québec) H3T 1J4 Adresse postale : C.P. 6128, Succursale Centre‐Ville Montréal (Québec) H3C 3J7 Site internet : http://diro.umontreal.ca/accueil/ Mise en page : Thien‐Huong CHE‐QUANG, 2014 Rapport annuel 2012‐2013 2 MOTDUDIRECTEUR
Ce document constitue un survol des activités du département d'informatique et de recherche opérationnelle (DIRO) couvrant la période du 1er juin 2012 au 31 mai 2013. Le DIRO se distingue autant par la qualité de son enseignement (presque tous les cours y sont dispensés par des professeurs réguliers) que par sa recherche, comme l'attestent divers classements internationaux. En particulier, cinq de ses professeurs sont titulaires de chaires. Ce sont Yoshua Bengio (Chaire de recherche du Canada en algorithmes d'apprentissage statistique), Gilles Brassard (Chaire de recherche du Canada en informatique quantique), Emma Frejinger (Chaire CN en intermodalité des transports), Pierre L'Écuyer (Chaire de recherche du Canada : Simulation et optimisation stochastiques, ainsi que Chaire internationale Inria), Pierre McKenzie (Chaire internationale Digiteo). Ces chaires reflètent tout particulièrement l'importance qu'occupe le DIRO dans les domaines de l'informatique quantique, de l'intelligence artificielle et de la recherche opérationnelle. Comme il faut s'y attendre dans une discipline aussi mouvante que l'informatique, le corps professoral du DIRO se renouvelle constamment, par le biais d'arrivées et de départs. Au cours des deux dernières années, le département a eu le privilège d'accueillir quatre professeurs. Ainsi, Roland Memisevic et Aaron Courville sont venus épauler Yoshua Bengio et Pascal Vincent pour former, au sein du laboratoire LISA, la meilleure équipe mondiale en «apprentissage profond». Depuis son arrivée au DIRO, Derek Nowrouzezahrai a publié trois articles, dont deux en tant que premier auteur, à SIGGRAPH, le plus prestigieux symposium en infographie. Enfin Emma Frejinger a été recrutée depuis KTH (la plus importante école d'ingénieurs suédoise) pour occuper la chaire industrielle en intermodalité des transports. Par le biais de ses membres en recherche opérationnelle et apprentissage machine, le DIRO est fortement impliqué dans une demande campus pour une Chaire d'excellence de recherche du Canada intitulée «Data science for real time decision making», d'un montant de 7 M$. La demande a été approuvée et nous sommes dans l'attente de la confirmation par le CRSNG du titulaire de la chaire, qui a été choisi suite à un concours très relevé. Je tiens également à mentionner l'importante subvention de la FCI (Fondation canadienne pour l'innovation) obtenue par une équipe pilotée par Claude Frasson, et qui servira à créer un laboratoire de jeux vidéo intelligents. Rapport annuel 2012‐2013 3 Outre l'enseignement et la recherche, la vie associative est très présente au DIRO. On y retrouve une association étudiante qui organise de multiples activités, dont la série de conférences MiDiro, et qui a été impliquée dans le mouvement étudiant des carrés rouges. Du côté des diplômés, l'ADDIROUM est l'une des associations les plus actives sur le campus. Celle‐ci publie deux fois par année l'Écho du DIRO et organise, en marge de son assemblée annuelle, une conférence grand public. En 2013 celle‐ci, donnée par Bernard Gendron, était consacrée au thème «Comment ne pas modérer ses transports». L'association tient également chaque année une «soirée des entrepreneurs» qui regroupe autour d'un thème commun des informaticiens qui font part de leur expérience en affaires. En terminant, je tiens à souligner le «Prix de doctorat Gilles‐Brassard du CRSNG pour la recherche interdisciplinaire». Créée par Gilles Brassard, cette bourse d'une valeur de 10 000 $ est décernée à un(e) titulaire d'une prestigieuse bourse Vanier qui «incarne parfaitement la recherche interdisciplinaire». Et sur ce, bonne lecture! Patrice Marcotte Directeur DIRO Rapport annuel 2012‐2013 4 LECORPSPROFESSORAL
El Mostapha ABOULHAMID, professeur titulaire Ph.D., Université de Montréal, 1984 http://www.iro.umontreal.ca/~aboulham/ Conception assistée par ordinateur, tolérance aux pannes et tests, modélisation et langages de description du matériel, algorithmes de simulation et de partitionnement, synthèse de systèmes. Esma AÏMEUR, professeure titulaire Ph.D., Université Pierre et Marie Curie, 1994 http://www.iro.umontreal.ca/~aimeur/ Intelligence artificielle, acquisition de connaissances, systèmes tutoriels intelligents, apprentissage machine, e‐Learning, commerce électronique, systèmes de recommandation, médias sociaux, préservation de la vie privée, sécurité de l'information. Fabian BASTIN, professeur agrégé Ph.D., Université de Namur, Belgique, 2004 http://www.iro.u montreal.ca/~bastin/ Programmation non‐linéaire, programmation stochastique, modèles de choix discrets. Pierre BELLEC, professeur adjoint sous octroi Ph.D., Université Paris XI Orsay, 2006 http://www.criugm.qc.ca/chercheurs/directeurs/81‐pierre‐bellec.html Classification non‐supervisée, statistiques non paramétriques, bootstrap, analyse de stabilité, analyse en composantes indépendantes, simulation, chaînes de traitement, calcul à haute performance, ingénierie biomédicale, imagerie médicale, réseaux cérébraux, connectivité fonctionnelle, imagerie par résonance magnétique fonctionnelle, IRMf au repos, maladie d'Alzheimer, vieillissement. Yoshua BENGIO, professeur titulaire Ph.D., Université McGill, 1991 http://www.iro.umontreal.ca/~bengioy Science des données, apprentissage machine, apprentissage statistique, réseaux de neurones, vision computationnelle, données temporelles. Rapport annuel 2012‐2013 5 Michel BOYER, professeur agrégé Ph.D., Université de Montréal, 1976 http://www.iro.umontreal.ca/~boyer/ Informatique théorique, calcul et information quantique. Gilles BRASSARD, professeur titulaire Ph.D., Cornell University, 1979 http://www.iro.umontreal.ca/~brassard/ Chaire de recherche du Canada en informatique quantique. Informatique quantique, intrication, cryptographie quantique et classique, algorithmique, fondements de l’informatique et de la mécanique quantique, protection de la vie privée. Aaron COURVILLE, professeur adjoint Ph.D., Carnegie Mellon University, 2006 http://aaroncourville.wordpress.com/ Apprentissage machine, sciences cognitives, modèles graphiques probabilistes, réseaux de neurones et apprentissage en profondeur. Miklós CSŰRÖS, professeur agrégé Ph.D., Université Yale, 2000 http://www.iro.umontreal.ca/~csuros/ Méthodes algorithmiques en génomique comparative, évolution moléculaire et séquençage d’ADN. Nadia EL‐MABROUK, professeure titulaire Ph.D., Université de Paris VII, 1997 http://www.iro.umontreal.ca/~mabrouk/ Bio‐informatique, génomique évolutive, génomique comparative, réarrangements génomiques, phylogénie, alignement, algorithmique sur le texte. Marc FEELEY, professeur titulaire Ph.D., Université Brandeis, 1993 http://www.iro.umontreal.ca/~feeley/ Langages de programmation, systèmes d’exploitation et traitement parallèle. Rapport annuel 2012‐2013 6 Jacques A. FERLAND, professeur titulaire Ph.D., Stanford University, 1971 http://www.iro.umontreal.ca/~ferland/ Méthodes de programmation mathématique pour grands systèmes et méthodes heuristiques en programmation en nombres entiers appliquées aux problèmes d’horaires, ainsi qu’aux problèmes de planification et de gestion dans les domaines de la santé, de l’énergie et du transport, convexité généralisée. Claude FRASSON, professeur titulaire Ph.D., Université de Nice, 1974 et 1981 http://www.iro.umontreal.ca/~frasson/ Intelligence émotionnelle, fonctionnement du cerveau du point de vue apprentissage, formation à distance, intelligence artificielle, systèmes tutoriels intelligents, stratégies pédagogiques, nouvelles technologies de l’information, de la communication et de la formation, processus d’apprentissage, agents pédagogiques intelligents. Emma FREJINGER, professeure adjointe Ph.D., Université de Lausanne, 2008 http://intermodal.iro.umontreal.ca/ Titulaire de la Chaire CN en intermodalité des transports. Modèles de choix discret, modélisation de choix d’itinéraire et de transport de marchandises, économétrie, modélisation de systèmes de transport intelligents. Bernard GENDRON, professeur titulaire Ph.D., Université de Montréal, 1994 http://www.iro.umontreal.ca/~gendron/ Recherche opérationnelle, optimisation combinatoire, programmation en nombres entiers, problèmes de planification de grande taille, applications au domaine du transport, calcul parallèle. Abdelhakim HAFID, professeur agrégé Ph.D., Université de Montréal, 1996 www.iro.umontreal.ca/~ahafid/ Réseaux sans fil incluant réseaux véhiculaires, réseaux de senseurs, réseaux maillés et réseaux cellulaires, réseaux optiques, réseaux IP, protocoles de communication, gestion de qualité de service, infonuagique, grille de calcul, planification des réseaux. Rapport annuel 2012‐2013 7 Gena HAHN, professeur titulaire Doctorat d’État, Université de Paris‐Sud, 1986 Ph.D., Université McMaster, 1981 http://www.iro.umontreal.ca/~hahn/ Théorie des graphes finis et infinis, combinatoire, homomorphismes des graphes, applications de graphes de Cayley aux réseaux d’interconnexion, jeux des policiers et voleurs sur graphes. Sylvie HAMEL, professeure agrégée Ph.D., Université du Québec à Montréal, 2002 http://www.iro.umontreal.ca/~hamelsyl/ Algorithmes en bio‐informatique : recherche de motifs biologiques, calcul de distances entre génomes, etc. théorie des langages et des automates, combinatoire des mots. Philippe LANGLAIS, professeur titulaire Doctorat, Université d’Avignon, 1996 http://www.iro.umontreal.ca/~felipe Applications du traitement des langues naturelles et applications multilingues, alignement de séquences, apprentissage non supervisé de la morphologie d'une langue, traduction automatique ou assistée, étiquetage sémantique, normalisation de formes «déviantes» de l'écrit. Guy LAPALME, professeur titulaire Ph.D., Université de Montréal, 1980 http://www.iro.umontreal.ca/~lapalme Traitement de la langue naturelle dans le cadre du laboratoire RALI. Extraction d’information, résumé automatique, traduction assistée par ordinateur, génération de texte, application au Web sémantique. Pierre L’ÉCUYER, professeur titulaire Ph.D., Université de Montréal, 1983 http://www.iro.umontreal.ca/~lecuyer/ Chaire de recherche du Canada: Simulation et optimisation stochastiques, génération de valeurs pseudo‐aléatoires par ordinateur, méthodes Monte Carlo et quasi‐Monte Carlo, simulation des systèmes stochastiques, amélioration de l’efficacité en simulation, analyse de sensibilité et optimisation des modèles stochastiques, applications à des problèmes de gestion: centres d’appels téléphoniques, gestion du revenu, finance. Rapport annuel 2012‐2013 8 François MAJOR, professeur titulaire Ph.D., Université de Montréal, 1990 http://www.iro.umontreal.ca/~major/ Prédiction et modélisation de structures tridimensionnelles des acides ribonucléiques (ARN), étude des mécanismes de régulation de l’expression génétique, caractérisation des ARN impliqués dans des maladies humaines dont le cancer, ingénierie d’ARN, méthodes informatiques: recherche combinatoire, satisfaction de contraintes, apprentissage machine et intelligence artificielle. Patrice MARCOTTE, professeur titulaire Ph.D., Université de Montréal, 1982 http://www.iro.umontreal.ca/~marcotte/ Programmation mathématique sur les réseaux de transport, théorie des jeux et optimisation à deux niveaux, inéquations variationnelles et modèles d'équilibre, gestion du revenu, tarification optimale. Pierre McKENZIE, professeur titulaire Ph.D., Université de Toronto, 1984 http://www.iro.umontreal.ca/~mckenzie/ Algorithmes algébriques, caractérisation de classes de complexité, complexité du calcul, compromis temps‐mémoire, complexité descriptive, théorie des automates, circuits booléens, réseaux de Petri. Roland MEMISEVIC, professeur adjoint Ph.D., University of Toronto, 2008 http://www.iro.umontreal.ca/~memisevr/ Apprentissage machine et applications à la vision par ordinateur, apprentissage des traits caractéristiques spatiaux et spatio‐
temporels, modèles bio‐inspirés et statistiques d'images. Jean MEUNIER, professeur titulaire Ph.D, École Polytechnique de Montréal, 1989 http://www.iro.umontreal.ca/~meunier/ Analyse et traitement d’images, vision numérique, reconnaissance de formes, vidéosurveillance, applications médicales. Max MIGNOTTE, professeur titulaire Doctorat, Université de Brest, 1998 http://www.iro.umontreal.ca/~mignotte/ Analyse et traitement d’images, modélisation statistique et markovienne, segmentation d’images, estimation de paramètres, suivi, classification et reconnaissance des formes, reconstruction 3D et restauration pour l’imagerie traditionnelle ou médicale. Rapport annuel 2012‐2013 9 Stefan MONNIER, professeur agrégé Ph.D., Université Yale, 2003 http://www.iro.umontreal.ca/~monnier/ Langages de programmation, systèmes de types, programmation fonctionnelle, sécurité basée sur les types, gestion mémoire. Jian‐Yun NIE, professeur titulaire Ph.D., Université Joseph Fourier, Grenoble, 1990 http://www.iro.umontreal.ca/~nie/ Recherche d’information, analyse des langues naturelles, intelligence artificielle. Derek NOWROUZEZAHRAI, professeur adjoint Ph.D., Université de Toronto, 2010 http://www.iro.umontreal.ca/~derek/ Synthèse d’image réaliste, rendu interactif, modélisation d'apparence, animation des fluides, calcul haute performance. Jean‐Yves POTVIN, professeur titulaire Ph.D., Université de Montréal, 1987 http://www.iro.umontreal.ca/~potvin/ Métaheuristiques, en particulier méthodes de recherche locale et algorithmes génétiques, pour résoudre des problèmes de tournées de véhicules sous diverses contraintes (fenêtres de temps, contraintes de chargement, temps réel, etc.) Pierre POULIN, professeur titulaire Ph.D., Université de Colombie Britannique, 1994 http://www.iro.umontreal.ca/~poulin/ Infographie, synthèse d’images, réalisme, illumination locale et globale, modélisation procédurale, animation de personnages synthétiques, rendu temps réel, rendu inverse, simulation de phénomènes naturels, modélisation à base d’images. Sébastien ROY, professeur agrégé Ph.D., Université de Montréal, 1999 http://www.iro.umontreal.ca/~roys/fr_index.shtml Aspects tridimensionnels de la vision par ordinateur, reconstruction stéréoscopique, écran à projecteurs multiples de grande dimension, analyse du mouvement, modèles markoviens appliqués à la reconstruction, orthodontie par ordinateur. Rapport annuel 2012‐2013 10 Houari A. SAHRAOUI, professeur titulaire Doctorat, Université Pierre et Marie Curie, 1995 http://www.iro.umontreal.ca/~sahraouh/ Génie logiciel, métriques et qualité des logiciels à objets, visualisation du logiciel, réingénierie. Louis SALVAIL, professeur agrégé Ph.D., Université de Montréal, 1997 http://www.iro.umontreal.ca/~salvail/ Cryptographie quantique (théorique et expérimentale) et classique, informatique quantique, théorie de l’information quantique, sécurité informatique. Neil F. STEWART, professeur titulaire Ph.D., Université de Toronto, 1968 http://www.iro.umontreal.ca/~stewart/ Modélisation de solides, surtout par rapport à la question de «robustesse» (Comment s’assurer que le modèle d’un solide est cohérent et valide?), bases mathématiques des surfaces de subdivision, applications en graphisme et en conception assistée par ordinateur. Alain TAPP, professeur titulaire Ph.D., Université de Montréal, 1999 https://sites.google.com/site/alaintapp/ Cryptographie, vie privée, apprentissage machine et impact des technologies sur la société. Pascal VINCENT, professeur agrégé Ph.D., Université de Montréal, 2004 http://www.iro.umontreal.ca/~vincentp/ Apprentissage statistique supervisé et non supervisé, intelligence et perception artificielle, réseaux de neurones artificiels profonds, apprentissage automatique de représentations, modèles non‐
paramétriques à noyau, applications à la vision et à l’audition par ordinateur, reconnaissance automatique d’expressions faciales associées à des émotions. Rapport annuel 2012‐2013 11 LEPERSONNELADMINISTRATIF
CHE‐QUANG, Thien‐Huong Technicienne en coordination de travail de bureau BERDIN, Frank Technicien en administration KLUCARIC, Irmgard Technicienne à la gestion des dossiers étudiants – premier cycle LAMARRE, Linda Adjointe au directeur LEMONDE, Andréanne Coordonnatrice des stages PARADIS, Mariette Technicienne à la gestion des dossiers étudiants – cycles supérieurs SAGE, Véronique Technicienne en coordination de travail de bureau LEPERSONNELTECHNIQUE
BLEAU, Maxime Technicien en systèmes ordinés DERVAL, Bernard Administrateur de systèmes GOUTIER, Claude Administrateur de systèmes KARTOUT, Samy Administrateur de systèmes LAUZON, André Administrateur de systèmes LOKBANI, Mohamed Chef des laboratoires MICHAUD, Guillaume Technicien en systèmes ordinés Rapport annuel 2012‐2013 12 LESPROFESSEURSEMERITES
BOCHMANN, Gregor – Ph.D., Université McGill, 1971 http://www.site.uottawa.ca/~bochmann/ FLORIAN, Michael – Ph.D., Université Columbia, 1969 http://w1.cirrelt.ca/~mike/ ROBERT, Pierre – Ph.D., Université de la Colombie Britannique, 1965, fondateur du DIRO, 1966 http://www.iro.umontreal.ca/~echo/40e_Web/Bios/Robert.html ST‐PIERRE, Jacques – Ph.D., Université de Caroline du Nord, 1954, fondateur du DIRO, 1966 http://www.iro.umontreal.ca/~echo/40e_Web/Bios/StPierre.html LESPROFESSEURSASSOCIES
CRAINIC, Téodor G. – Ph.D., Université de Montréal, 1982 – UQAM DUFOUR, Bruno – Ph.D., Université du New Jersey, 2010 – Amazon.com ECK, Douglas – Ph.D., Université de l’Indiana, 2000 – Google inc. FARZINDAR, Atefeh – Ph.D., Université de Montréal, 2005 – NLP Technologies GENDREAU, Michel – Ph.D., Université de Montréal, 1984 – Polytechnique Montréal GUÉHÉNEUC, Yann‐Gaël – Ph.D., Université de Nantes, 2003 – Polytechnique Montréal HAIDAR, May – Ph.D., Université de Montréal, 2007 – Fahad Bin Sultan University, Arabie Saoudite KELLER, Rudolf – Ph.D., Université de Zürich, 1989 – PMOD Technologies Ltée, Suisse NKAMBOU, Roger – Ph.D., Université de Montréal, 1996 – UQAM OSTROMOUKHOV, Victor – Ph.D., École Polytechnique fédérale de Lausanne, 1995 – Université de Lyon SARIKAYA, Behcet – Ph.D., Université McGill, 1984 – Huawei, USA TOULOUSE, Michel – Ph.D., École Polytechnique de Montréal, 1996 – Université de l’Oklahoma LESSTAGIAIRESPOSTDOCTORAUX
ANANE, Amine – Ph.D. en informatique, Université de Montréal, 2012 Directeur post‐doc : ABOULHAMID, El Mostapha CHAPELAINE‐COUTURE, Vincent – Ph.D. en informatique, Université de Montréal, 2008 Directeur post‐doc : ROY, Sébastien GRAZIOSO, Fabio – Ph.D. en physique, Université d’Oxford, 2011 Directeur post‐doc : BRASSARD, Gilles Rapport annuel 2012‐2013 13 HADOUCHE, Fadila – Ph.D. en informatique, Université de Montréal, 2011 Directeur post‐doc : LAPALME, Guy HE, Jing – Ph.D. en informatique, Université de Pékin, 2011 Directeur post‐doc : NIE, Jian‐Yun HELOU, Charles – Ph.D. en informatique, Université de Montréal, 2013 Directeur post‐doc : BRASSARD, Gilles JAOUA, Amel – Ph.D. en génie industriel, École Polytechnique de Montréal, 2009 Directeur post‐doc : L’ECUYER, Pierre JOLIVEAU, Marc – Ph.D. en mathématiques appliquées, École Centrale Paris, 2008 Directeur post‐doc : L’ECUYER, Pierre LUO, Heng – Ph.D. en informatique, Université de Shanghai Jiao Tong, 2011 Directeur post‐doc : BENGIO, Yoshua MOHAMMAD BAGHER, Mahdi – Ph.D. en informatique, Université de Grenoble, 2012 Directeur post‐doc : NOWROUZEZAHRAI, Derek MUNGER, David – Ph.D. en physique, Université de Montréal, 2008 Directeur post‐doc : L’ECUYER, Pierre NGHIEM, Anh‐Tuan – Ph.D. en informatique, Université de Nice‐Sophia Antipolis, 2010 Directeur post‐doc : MEUNIER, Jean ORESHKIN, Boris – Ph.D. en ingénierie électrique, Université McGill, 2010 Directeur post‐doc : L’ECUYER, Pierre REGNARD, Nazim – Ph.D. en math appliquées et sc. économiques, Université CDG‐Lille 3, 2011 Directeur post‐doc : L’ECUYER, Pierre SAHU, Pratap Kumar – Ph.D. en informatique et ingénierie, Université National‐Central Taiwan, 2012 Directeur post‐doc : HAFID, AbdelHakim SAULE, Cédric – Ph.D. en informatique, Université Paris‐Sud 11, 2010 Directeur post‐doc : MAJOR, François SCHIRMER, Stefanie – Ph.D. en bio‐informatique et recherche génomique, Université Bielefeld, 2011 Directeur post‐doc : MAJOR, François SEAMONE, Benjamin – Ph.D. en mathématiques, Université Carleton, 2012 Directeur post‐doc : HAHN, Gena SWENSON, Krister – Ph.D. en informatique, École Polytechnique Fédérale de Lausanne, 2009 Directeur post‐doc : EL‐MABROUK, Nadia TORABI, Atousa – Ph.D. en ingénierie informatique, École Polytechnique de Montréal, 2012 Directeur post‐doc : COURVILLE, Aaron WEILL, Nathanael – Ph.D. en sciences pharmaceutiques, Université de Strasbourg, 2009 Directeur post‐doc : MAJOR, François WIDYNSKI, Nicolas – Ph.D. en informatique, Université Pierre et Marie Curie, 2010 Directeur post‐doc : MIGNOTTE, Max Rapport annuel 2012‐2013 14 LAPOPULATIONETUDIANTEETLES
DIPLOMESDECERNES
Quelques chiffres sur le nombre d’inscriptions et la diplomation dans les programmes du DIRO. Programmes Étudiants inscrits* Diplômes décernés**
2011‐2012 2012‐2013 2011 2012 B.Sc. informatique 158 167 22 24 B.Sc. bidisc. math‐informatique 21 29 7 4 B.Sc. bidisc. physique‐informatique 13 12 5 3 B.Sc. bio‐informatique 44 39 5 5 Majeure informatique 9 15 2 1 Mineure informatique 3 7 1 0 129 121 49 50 Module en programmation 2 2 N/D N/D Module en admin. de syst. informatiques
1 3 N/D N/D Module en multimédia 2 2 N/D N/D Ph.D. informatique 99 104 18 13 Ph.D. bio‐informatique 18 19 2 3 M.Sc. informatique 77 80 20 20 M.Sc. commerce électronique 16 17 16 7 M.Sc. finance math/computationnelle 24 26 2 7 M.Sc. bio‐informatique
21 24 10 5 DESS finance math/computationnelle N/D 1 1 N/D 1er cycle Certif. informatique appliquée 2e et 3e cycles *Inscriptions totales à l’automne selon le BRI **Année civile
Rapport annuel 2012‐2013 15 Ph.D. en informatique
ANANE, Amine “Application du concept des transactions pour la modélisation et la simulation multicœur des systèmes sur puceˮ Directeur de recherche : El Mostapha ABOULHAMID Codirecteur : Yvon SAVARIA CADILHAC, Michael Pierre “Automates à contraintes semi‐linéaires = Automata with a semilinear constraintˮ Directeur de recherche : Pierre MCKENZIE CHALFOUN, Pierre “Amorçage cognitif pour amélioration de l'acquisition de la connaissance dans un système tutoriel intelligentˮ Directeur de recherche : Claude FRASSON COURTEMANCHE, François “Un outil d'évaluation neurocognitive des interactions humain‐machineˮ Directrice de recherche : Esma AÏMEUR Codirectrice : Aude DUFRESNE DELALLEAU, Olivier “Apprentissage machine efficace : théorie et pratiqueˮ Directeur de recherche : Yoshua BENGIO DERBALI, Lotfi “Contribution de la motivation dans les jeux sérieuxˮ Directeur de recherche : Claude FRASSON HAMEL, Philippe “Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchellesˮ Directeur de recherche : Douglas ECK Codirecteur : Yoshua BENGIO HASSAINE, Salima “Evaluating design decay during software evolutionˮ Directeur de recherche : Yann‐Gaël GUEHENEUC Codirectrice : Sylvie HAMEL HÉLOU, Charles “Plateforme pour se protéger tant de soi‐même que de ses "amis" sur Facebookˮ Directeur de recherche : Gilles BRASSARD Codirectrice : Esma AÏMEUR HO, Thanh Ai “Towards a privacy‐enhanced social networking siteˮ Directrice de recherche : Esma AÏMEUR Codirecteur : Sébastien GAMBS Rapport annuel 2012‐2013 16 JRAIDI, Imène “Modélisation des émotions de l'apprenant et interventions implicites pour les Systèmes Tutoriels Intelligentsˮ Directeur de recherche : Claude FRASSON KALACH, Kassem “Key Agreement Against Quantum Adversariesˮ Directeur de recherche : Gilles BRASSARD Codirecteur : Louis SALVAIL LEMAITRE, Adrien “Complexité des homomorphismes de graphes avec listesˮ Directeur de recherche : Gena HAHN Codirecteur : Benoit LAROSE MAIGA, Abdou “Impacts and detection of design smellsˮ Directrice de recherche : Esma AÏMEUR Codirecteur : Yann‐Gaël GUEHENEUC RAHIMI VAHED, Alireza “Heuristic solution methods for multi‐attribute vehicle routing problemsˮ Directeur de recherche : Michel GENDREAU Codirecteurs : Walter REI et Teodor Gabriel CRAINIC SABAS, Arsène “A categorical framework for the specification and the verification of aspect oriented systemsˮ Directeur de recherche : Michel BOYER Codirecteur : Michael BARR ST‐ONGE, Karine “Quantification de la relation séquence‐activité de l'ARN par prédiction de structure tridimensionnelleˮ Directeur de recherche : François MAJOR Codirectrice : Sylvie HAMEL VIDAL, Thibaut “Approches générales de résolution pour les problèmes multi‐attributs de tournées de véhicules et confection d'horairesˮ Directeur de recherche : Michel GENDREAU Codirecteur : Christian PRINS Ph.D. en bio-informatique
COURCELLES, Mathieu “Identification de nouveaux substrats des kinases ERK1/2 par une approche bio‐
informatique, pharmacologique et phosphoprotéomiqueˮ Directeur de recherche : Pierre THIBAULT Codirecteur : Sébastien LEMIEUX Rapport annuel 2012‐2013 17 M.Sc. en informatique
AHADRI, Mohamed Zaki “La résolution du problème de formation de cellules dans un contexte multicritèreˮ Directeur de recherche : Jacques FERLAND ARNAUTU, Octavian Rolland “MURES : Un système de recommandation de musiqueˮ Directrice de recherche : Esma AÏMEUR BEN HAMED, Walid “Développement d’un système de négociation automatiséeˮ Directeur de recherche : Abdelhakim HAFID BERGERON, Jacques “Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d'entrepriseˮ Directeur de recherche : Guy LAPALME BISSON, Valentin “Algorithmes d'apprentissage pour la recommandationˮ Directeur de recherche : Yoshua BENGIO BLANCHARD, Éric “Rendu de matériaux semi‐transparents hétérogènes en temps réelˮ Directeur de recherche : Pierre POULIN BLONDIN, Michael “Complexité raffinée du problème d'intersection d'automatesˮ Directeur de recherche : Pierre MCKENZIE BOUCHARD, Louis “Reconstruction tridimensionnelle pour projection sur surfaces arbitrairesˮ Directeur de recherche : Sébastien ROY CAPO‐CHICHI, Grâce Prudencia “Apprentissage automatique pour la détection de relations d'affaireˮ Directeur de recherche : Jian‐Yun NIE DESJARDINS, Marc‐Antoine “Construction interactive de BRDFs par simulation 2D de micro‐géométries en couches multiplesˮ Directeur de recherche : Pierre POULIN DUSEAU, Fleur “Technique de visualisation pour l'identification de l'usage excessif d'objets temporaires dans les traces d'exécutionˮ Directeur de recherche : Bruno DUFOUR FERREIRA RUIZ, Francisco “A compiler for the dependently typed language, BELUGAˮ Directeur de recherche : Stefan MONNIER Rapport annuel 2012‐2013 18 FIEDLER STRAUBHAAR, Heinz “Sécurité polynomiale en cryptographieˮ Directeur de recherche : Alain TAPP GANDOUZ, Alaeddine “Protect_u: un système communautaire pour la protection des usagers de Facebookˮ Directrice de recherche : Esma AÏMEUR HADDEJI, Akram “Construction d'un atlas 3D numérique de la cornée humaine par recalage d'imagesˮ Directeur de recherche : Jean MEUNIER HADDOUCHE, Fayçal “Le support de VoIP dans les réseaux maillés sans fil WiMAX en utilisant une approche de contrôle et d'assistance au niveau MACˮ Directeur de recherche : Abdelhakim HAFID HOSSEINI, Sanaz “Horizon‐dashboard: launching three‐dimensional database (cube) with a VB.net application and MDXˮ Directeur de recherche : Abdelhakim HAFID LAMONTAGNE, Philippe “Amplification de l'amplitude : analyse et applicationsˮ Directeur de recherche : Gilles BRASSARD LAROSE, Mathieu “Développement d'un algorithme de branch‐and‐price‐and‐cut pour le problème de conception de réseau avec coûts fixes et capacitésˮ Directeur de recherche : Bernard GENDRON LAVOIE, Érick “A layered javascript virtual machine supporting dynamic instrumentationˮ Directeur de recherche : Marc FEELEY MAI, Anh Tien “Revisiting optimization algorithms for maximum likelihood estimationˮ Directeur de recherche : Fabian BASTIN MOKHTARI, Djamila “Détection des chutes par calcul homographiqueˮ Directeur de recherche : Jean MEUNIER MORIN, Léonard Ryo “A dynamic sequential route choice model for micro‐simulationˮ Directeur de recherche : Fabian BASTIN REBOUT, Lise “L'extraction de phrases en relation de traduction dans Wikipediaˮ Directeur de recherche : Philippe LANGLAIS SHAO, Pei Hui “Reliable solid modelling using subdivision surfacesˮ Directeur de recherche : Neil F. STEWART Rapport annuel 2012‐2013 19 TRABELSI, Chiheb “Traduction statistique vers une langue à morphologie riche : combinaison d'algorithmes de segmentation morphologique et de modèles statistiques de traduction automatiqueˮ Directeur de recherche : Philippe LANGLAIS M.Sc. en bio-informatique
ABELLA, Maria de Los Angeles “Riboswitches : le cas des atténuateurs de la transcription du type terminateur/antiterminateur chez les bactériesˮ Directeur de recherche : François MAJOR GAGNON, Yves “Reconstruction de génomes ancestraux sujets à des duplications complètes de génomes, réarrangements et pertes de gènesˮ Directrice de recherche : Nadia EL‐MABROUK M.Sc. en commerce électronique
BEAULIEU, Julien “Stage Adviso spécialité SEOˮ Directeur de recherche : Olivier GERBÉ FETTACHI, Hicham “Stage en innovations et communications électroniques pour le Réseau de Transport de Longueuilˮ Directrice de recherche : Esma AÏMEUR ROBINETTE‐OUELLETTE, Jean‐François “Le E‐Filing relatif aux traités internationaux en matière de propriété intellectuelleˮ Directeur de recherche : Nicolas VERMEYS YAKOUB, Wassim “Rapport de stage en entreprise en référencement organiqueˮ Directeur de recherche : Olivier GERBÉ M.Sc. en finance mathématique et computationnelle
KABBAJ, Younes LE HÔ, Clément LE, Patrick NJOUMENÉ, Elie Chanson BERGERON, Mélanie BOUCETTA, Moulay Ahmed CHRÉTIEN, Alexandre DUTAUT, Maxime FETTAHI, El Houcine Rapport annuel 2012‐2013 20 B.Sc. en informatique
HUANG, Kai Lai IDJERAOUI, Adel KASSAB, Edgard LAVOIE, Sébastien LAVOIE‐COURCHESNE, Sébastien LEFEBVRE, Alexandre MAHFOUDHI, Ghassen MELIKIAN, Shant Yeprem MILAENEN, David MOUHIR, Karim PACCOUD, Mathilde PHAM, Le Minh Truong SAVOIE‐LAVIGUEUR, Yoann SORET, Christian VILLENEUVE, Denis ANANIAN, Zepur AUDET, Pascale‐Andrée BEAUCHEMIN, Cynthia BERTHOLET, Damien BLAIS, Louis‐Philippe CHEA, David Sothara CLÉMENT‐CORRIVEAU, Nykolas DEMERS, Jean‐François DOMINGO, Carine Stella FOLEY‐BOURGON, Vincent FUJIMURA, Francesca GAUTHIER, Simon GHAZARIAN, Armen GUEZ, Gary HÉBERT‐ROY, Francis HMAIED, Mohamed B.Sc. bidisciplinaire en physique et informatique
GUERTIN‐RENAUD, Jean‐Philippe POLARD‐PERRON, Joël B.Sc. en bio-informatique
DE JAY, Nicolas HÉBERT, Steven PAPILLON‐CAVANAGH, Simon UWIMANA, Nicole ANG HOULE, Marie Armande BOCCO, Sèton Steven BOISVERT, Jacques CAMBIOTTI, Tizziana CHERKAOUI, Sarah Majeure en informatique
BARRY, Mamadou Cellou JACQUES, Yannick Mineure en informatique
(aucun) Module en administration des systèmes informatiques
LAURENT, Louis Jean ROURE, Béatrice Rapport annuel 2012‐2013 21 Module en programmation
BUDEI, Brindusa Cristina Certificat en informatique appliquée
KOUADIO N'ZI, Brice LE COADOU, Franck LORTET, Alain LUFULUABO, Ange MALO, Cédric MARINESCU, Nicolae MESSAOUDI, Fetta MONETTE, Joëlle OBRAZTOV, Vitali PLANET, François ROJAS Garrido, José Guillermo ROY, Daniel SADIK, Nawal SAILLOUR, Virginie SASSOU, Eustache TAYLOR SANHUEZA, William TEUMENI NOUNE, Mathias TILTU, Roman VILLA, Juan Carlos YAO, N'Guessan Kédjébo AARIRIJ, Said ANGRIGNON, Vincent ARAGON CORNEJO, Hector Luis BA, Aminata BERTHIAUME, Yvan BLONDIN, Mathieu BOULAHBEL, Anis CAMPEAU, Mathieu CHERY, Mochingco DAVID, Régis DE LAUBIER, Loïc Marin Eric DE SÈVE‐PARÉ, Alyssia EXISTE, Stéphanie FASSEL, Arnaud GARCIA RAMOS RAMIREZ, Luis Augusto GOMEZ, Sandra Maria GRENOT, Vincent GUERAUD, Marie‐Hélène HAKMI, Said HOUNKPE, Edmondo KANDÉ, Mondé KOITA, Ismaïla Rapport annuel 2012‐2013 22 SUBVENTIONSDERECHERCHEET
CONTRATS*
Au DIRO, plusieurs professeurs obtiennent des subventions ou des contrats de recherches provenant d’organismes subventionnaires externes à l’Université. Les données sommaires suivantes permettent d’indiquer l’importance des sommes disponibles pour la rechercher et la diversité des sources de financement. Les sommes suivantes représentent les principaux revenus selon les diverses sources, mais ne sont pas exhaustives puisqu’elles n’englobent pas certaines subventions administrées par d’autres unités où les membres du DIRO collaborent. Subventions 3 753 000 $ Contrats 672 000 $ SUBVENTIONS + CONTRATS 4 425 000 $ Infrastructure 1 033 000 $ SUBVENTIONS + CONTRATS + INFRASTRUCTURE 5 458 000 $ *Données du Rapport annuel 2012‐2013 du BRDV, Université de Montréal Rapport annuel 2012‐2013 23 LESLABORATOIRES
Analyse et synthèse des systèmes ordinés (LASSO)
El Mostapha ABOULHAMID, professeur titulaire Professionnel : M. Julien L’équipe du laboratoire LASSO œuvre dans le domaine de la méthodologie de conception des systèmes matériel/logiciel microélectroniques. Nous avons développé de nombreux liens avec l’industrie de la microélectronique et des télécommunications, source de projets et d’emplois pour nos étudiants. Nous disposons d’équipements en systèmes configurables à la fine pointe de la technologie. ESys.Net: Un système de modélisation et de vérification de systèmes matériel/logiciel Avec l’arrivée des systèmes embarqués qui incorporent un nombre croissant de composantes logicielles, il devient plus critique que jamais de rétrécir l’écart qui existe entre la modélisation de niveau système et d’implantation. Afin de prendre en compte cette réalité, nous développons un nouvel environnement de modélisation et simulation basé sur le langage de programmation C#, en exploitant le potentiel de modélisation matérielle/logicielle du .Net Framework. Notre environnement, appelé ESys.Net, utilise les concepts de programmation avancés de .Net et C# tel que la réflectivité, la programmation par attribut et la création dynamique de délégués, afin de créer un environnement plus polyvalent que les systèmes existants tels que SystemC. En exploitant l’interopérabilité, la réflectivité et la programmation par attributs, nous développons aussi des mécanismes de cosimulation et de vérification par simulation en générant des observateurs conviviaux et non intrusifs. CASM: Un langage de description de matériel pour une synthèse de plus haut niveau À l’heure actuelle, les langages de description de matériel les plus utilisés en synthèse sont VHDL et Verilog. Or, ces langages exigent une formation spécifique en électronique numérique et plusieurs années d’expérience avant d’être capables de décrire un circuit fonctionnel « bien conçu ». De plus, le temps de développement est assez long. Le langage CASM et son compilateur sont développés dans le but de permettre une spécification du matériel à un niveau plus élevé (le niveau algorithmique) directement accessible à toute personne disposant d’une formation en informatique. Tous les aspects électriques et logiques sont pris en charge par le compilateur de sorte que le résultat de compilation, directement synthétisable, est fidèle à la description de l’algorithme. CASM repose sur l’interconnexion de machines algorithmiques (possiblement récursives) qui travaillent en parallèle et s’échangent des données sous forme de jetons. À terme, CASM intégrera également le processeur pour en faire une machine algorithmique spécialisée au sein d’un réseau. Rapport annuel 2012‐2013 24 Une méthodologie d’ingénierie des requis pour la conception de systèmes électroniques L’analyse des requis est une phase primordiale des cycles de développement; pourtant, les phases de validation automatique des requis proposées par les méthodologies actuelles sont absentes, sinon déficientes. Nous étudions différentes solutions pour la modélisation, la validation des requis ainsi que l’extraction des requis absents. La validation est effectuée en utilisant les modèles caractéristiques d’erreurs. L’extraction des requis absents est basée sur des concepts de logique booléenne. Ceci permettrait une modélisation efficace et la détection des erreurs tôt dans le cycle de conception matériel/logiciel. Problèmes reliés à la simulation de systèmes hybrides L’hétérogénéité et la complexité des systèmes modernes rendent leur modélisation, simulation et vérification très vite obsolète. La simulation reste une des approches les plus viables pour leur vérification. Étant donné la nature de ces systèmes, les méthodes de cosimulation s’imposent. La cosimulation caractérise la capacité de simuler ensemble des modèles développés dans différents langages et utilisant différents paradigmes. Elle peut aussi signifier la capacité de lier différents simulateurs pour leur permettre de communiquer et d’interopérer. Dans cet aspect de notre recherche, nous explorons la simulation distribuée, les mécanismes d’interopérabilité ainsi que l’intégration dans des environnements industriels. Exploration architecturale, réseaux‐sur‐puce et compilation parallèle Les systèmes configurables permettent le développement rapide de réseaux‐sur‐puce. Nous profitons du langage intermédiaire de .Net pour explorer des techniques de compilation pour des réseaux de processeurs embarqués sur FPGA. Nous explorons aussi les différents niveaux d’abstraction dans la description des systèmes matériel/logiciel. Rapport annuel 2012‐2013 25 Biologie informatique et théorique (LBIT)
Miklós CSŰRÖS, professeur agrégé, Nadia EL‐MABROUK, professeure titulaire, Sylvie HAMEL, professeure agrégée, François MAJOR, professeur titulaire Chercheur invité : S. Lemieux Site Web : www‐lbit.iro.umontreal.ca Fondé en 1994, le laboratoire de Biologie Informatique et Théorique (LBIT) est dédié à l’étude de la bio‐informatique, un domaine de recherche interdisciplinaire issu de la soudaine prolifération de données génétiques générées par le projet du génome humain lancé au début des années 90. Les bioinformaticiens développent et appliquent des algorithmes pour analyser des données et pour modéliser un domaine de la biologie. Ainsi, le travail des bioinformaticiens sert à accélérer la mise au point d’expériences en laboratoire et à interpréter leurs résultats. Ultimement, les bioinformaticiens utilisent leurs modèles pour prédire de nouvelles données biologiques. Physiquement, le LBIT est un laboratoire dipôle situé, respectivement, au 3e étage du Pavillon André‐Aisenstadt et au 3e étage du Pavillon Marcelle‐Coutu (IRIC). Nous disposons donc de deux laboratoires d’une vingtaine de postes de travail chacun. En plus de fournir une station de travail Linux à chacun de nos quelques 25 membres, le LBIT dispose aussi de plusieurs imprimantes, de postes Windows et Macintosh, d’une grappe de calcul de 16x2 processeurs AMD Opteron (64 bits) de 8 Go de mémoire par ligature, d’un serveur de calcul de 8 processeurs Opteron Dual Core de 32 Go de mémoire, de 2 serveurs de laboratoire AMD Opteron Dual Core de 4 Go de mémoire et de 1.4 To de disque chacun et d’un serveur Web AMD Opteron de 8 Go de mémoire et de 1.4 To de disque. Les membres du LBIT se réunissent hebdomadairement autour de café et bagels pour discuter d’un article scientifique récent dans le domaine de la structure des ARN. Les logiciels développés au LBIT incluent : DILTAG http://www.iro.umontreal.ca/~mabrouk/ Un logiciel permettant d’inférer l’histoire évolutive d’un cluster de gènes dupliqués en tandem, à partir d’une phylogénie ordonnée GapAdj http://www.iro.umontreal.ca/~mabrouk/ Un logiciel permettant d’inférer l’ordre de gènes ancestraux correspondant à un nœud donné d’un arbre phylogénétique, à partir des ordres de gènes observés aux feuilles. L’histoire évolutive considérée peut contenir des duplications de génomes entiers. La méthodologie consiste à minimiser les changements d’adjacences dans l’arbre. Les outils MC, disponibles sur le site www.major.iric.ca. MC‐Sym, un logiciel de modélisation tridimensionnelle d’ARN qui explore l’espace des conformations en s’inspirant des coordonnées atomiques des structures résolues préalablement par cristallographie aux rayons X et par résonance magnétique nucléaire. Le modélisateur définit les contraintes structurales obtenues le plus souvent expérimentalement ou à partir de prédictions théoriques et la procédure de construction de MC‐Sym génère des modèles moléculaires valides. MC‐Annotate, un programme permettant l’analyse et la comparaison rapides de plusieurs structures tridimensionnelles d’ARN. MC‐Annotate applique un processus d’annotation des conformations de nucléotides et de leurs relations spatiales sous la forme de symboles utilisés Rapport annuel 2012‐2013 26 par les experts du domaine. Il produit un graphe tertiaire symbolique plus simple à analyser que des coordonnées atomiques. De plus, MC‐Annotate, à la demande, peut générer une annotation de la structure secondaire d’un ARN. Les conformations de nucléotides et leurs relations sont aussi comparées à celles des autres structures disponibles. À l’aide de statistiques sur les caractères spéciaux qui indiquent la déviation des nouvelles observations par rapport à la norme des données existantes, on peut rapidement identifier les cas intéressants nécessitant des études plus approfondies. Nous maintenons aussi une liste annotée de tous les appariements de bases de toutes les structures d’ARN disponibles. MC‐RMS, un logiciel de comparaison entre structures d’ARN par Root Mean Square Deviation (RMSD). Le logiciel produit au besoin une classification hiérarchique des modèles en entrée manipulable graphiquement. MC‐Search, un logiciel pour scruter les structures tridimensionnelles d’ARN. La fonction d’un ARN est souvent liée à ses motifs structuraux caractéristiques et il arrive souvent de vouloir chercher un motif précis dans l’ensemble des structures d’ARN. Nous avons introduit un langage symbolique de description des motifs d’ARN et un programme pouvant retrouver une ou des structures d’ARN correspondant à une description symbolique. MC‐Fold, un programme de prédiction de structure secondaire d’ARN. En comparaison avec les programmes de prédiction de structure secondaire s’appuyant sur la thermodynamique de paires de bases canoniques, MC‐Fold utilise des cycles d’interactions. Ce programme prédit des structures qui incluent les paires de bases canoniques et non‐
canoniques directement de la séquence d’un ARN. Les structures prédites, plus proches de la structure tridimensionnelle, représentent des entrées raisonnables pour MC‐Sym et ainsi permettent de prédire des structures tridimensionnelles d’ARN à partir de leurs séquences. MC‐Seq, un programme qui implante une grammaire de graphes pour représenter un motif structural d’ARN. Le programme peut analyser une séquence et vérifier sa conformité avec la structure représentée ou générer toutes les séquences qui lui sont compatibles. MC‐Core, une librairie logicielle « open source » pour le développement de programmes d’analyse de manipulation d’ARN, d’ADN et de protéines. Elle contient un ensemble de méthodes et d’algorithmes conçus par les membres du LBIT ou provenant d’autres équipes de recherche. La librairie est utilisée à la base de la majorité des programmes du laboratoire. La librairie est gratuite et publique et nous la maintenons sur le site sourceforge.net. RNAML, une syntaxe standard en XML pour décrire les ARN. Nous tenons au LBIT la page des ressources principales de RNAML développées, en collaboration avec une dizaine de chercheurs internationaux, pour faciliter l’expression et l’échange de séquences et de structures d’ARN. Cet effort s’est récemment traduit par la création d’un groupe de spécialistes internationaux se penchant sur les ontologies de l’ARN, le RNA Ontology Consortium (ROC), financé par le NSF américain. SPF, un moteur de recherche de régions structurées dans les séquences d’ARN ou d’ADN (Structural Pattern Finder). Le programme calcule pour chaque région la différence entre l’énergie libre de repliement de la séquence native et la moyenne des énergies libres de repliement de permutations de la séquence native. RNA StrAT (RNA Structure Analysis Toolkit) est un serveur web dédié à la comparaison d'ensembles de structures secondaires d'ARN. Ce serveur offre des outils pour aligner des paires de structures secondaires ou pour chercher des structures homologues dans une banque de Rapport annuel 2012‐2013 27 données de structures secondaires d'ARN (basée sur RFAM). Des outils pour visualiser les structures secondaires et les alignements sont également disponibles. Disponibilité : http://www‐lbit.iro.umontreal.ca/rnastrat/ Malin, un logiciel pour l’analyse de l’évolution de la structure exon‐intron chez les gènes eucaryotiques. Le programme fournit une riche interface graphique aux modèles de parcimonie et de maximum de vraisemblance qui sont accompagnés par des implantations d’algorithmes efficaces. Malin est disponible à l’adresse www.iro.umontreal.ca/~csuros/introns/malin/ Count, un logiciel qui permet d’analyser l’évolution du nombre de gènes homologues dans les familles (profils phylogénétiques). Cet outil bio‐informatique implante des méthodes de vraisemblance maximale et de parcimonie pour analyser le répertoire de gènes des génomes ancestraux. Le logiciel est disponible à l’adresse : http://www.iro.umontreal.ca/~csuros/gene_content/count.html Les membres du corps professoral au LBIT sont : Miklós Csűrös est arrivé au LBIT en 2001 à titre de professeur adjoint au DIRO. Il a été promu au rang de professeur agrégé en 2007. Il travaille sur des méthodes algorithmiques en génomique comparative, évolution moléculaire et séquençage d’ADN. Il est membre du Centre de Recherche Mathématique (CRM) de l’Université de Montréal. Il est responsable du programme de 1er cycle en bio‐informatique. Nadia El‐Mabrouk s’est jointe à l’équipe du LBIT en 1998. Elle a occupé successivement les postes de chercheur adjoint (1998‐2004), de professeur agrégé (2004‐2010) et de professeur titulaire (2010‐) au DIRO. Ses recherches concernent, entre autres, la comparaison de génomes, la prédiction de génomes ancestraux et l'inférence de scénarios d'évolution pour les familles de gènes, des clusters ou des génomes entiers. Chaque problème en génomique comparative, chaque type de mutation nécessite une modélisation spécifique et donne lieu à des développements algorithmiques, combinatoires, mathématiques différents. Elle est membre du Centre de Recherche Mathématique (CRM) et du Centre Robert‐Cedergren de l’Université de Montréal. Sylvie Hamel est devenue membre du LBIT à titre de professeure adjointe au DIRO en 2003. Elle travaille sur des projets en combinatoire algébrique, en bio‐informatique, en combinatoire des mots et en théorie des langages et des automates. Elle est récipiendaire de la bourse APU du CRSNG et membre du Centre de Recherche Mathématique (CRM) de l’Université de Montréal et du Laboratoire de Combinatoire et d’Informatique Mathématique (LaCIM) de l’UQÀM. Sébastien Lemieux a fondé l’unité de recherche en bio‐informatique fonctionnelle et structurale en 2005. Son laboratoire s’intéresse au développement de méthodes d’analyse de puces à ADN, à l’identification de nouvelles classes d’ARN non‐codants et à la modélisation de structures tridimensionnelles d’ARN. De 2002‐2004, il est récipiendaire d’une bourse de recherche et développement du Conseil de Recherches en Sciences Naturelles et en Génie du Canada. Il travaille alors au développement de méthodes d’analyse de puces à ADN chez Elitra. La technologie développée est maintenant utilisée chez Merck‐Frosst pour la découverte de médicaments antifongiques. Il occupe ensuite, de 2004 à 2005, le poste de professeur adjoint au Concordia Institute for Information Systems Engineering. Il se joint au DIRO en 2005 en tant que chercheur invité et est membre de l’Institut de Recherche en Immunologie et Cancérologie (IRIC). Rapport annuel 2012‐2013 28 François Major a fondé le LBIT en 1994. Il travaille sur l’analyse et la modélisation des structures tridimensionnelles d’ARN et de protéines, sur la recherche et la caractérisation des micro‐ et autres ARN non‐codants et leurs rôles dans l’expression génétique et dans certaines maladies comme le cancer et les maladies neuro‐dégénératives. Il a occupé successivement les postes de chercheur adjoint (1994‐1999), de professeur agrégé (1999‐2005) et de professeur titulaire (2005‐) au DIRO. Il a reçu successivement des Instituts Canadiens de Recherche en Santé des prix de développement de carrières de «Jeune chercheur» (1995‐2000) et de «Chercheur» (2002‐2007). Il est professeur accrédité du département de biochimie et membre de l’Institut Robert‐Cedergren et de l’Institut de Recherche en Immunologie et Cancérologie (IRIC) de l’Université de Montréal. Il codirige les programmes d’études supérieures de bio‐informatique à l’Université de Montréal. Rapport annuel 2012‐2013 29 Génie logiciel (GEODES)
Bruno DUFOUR, professeur adjoint, Houari A. SAHRAOUI, professeur titulaire Professeurs associés : Y.‐G. Guéhéneuc, M. Haydar, R. Keller Le but du génie logiciel est l’application des principes et méthodes de l’ingénierie aux activités de développement et d’évolution des logiciels. La recherche en génie logiciel vise à définir et à valider de tels principes et méthodes pour le domaine du logiciel et à supporter leur application par des outils automatisés. Le laboratoire GEODES (Groupe de recherche sur les systèmes ouverts et distribués et l’expérimentation dans les logiciels), anciennement GÉLO, créé en 1992, s’intéresse à la compréhension du logiciel, à la visualisation, à l’analyse statique et dynamique des programmes, à la réingénierie du logiciel et à l’ingénierie dirigée par les modèles. Il réunit actuellement 2 professeurs, 3 professeurs associés et une vingtaine d’étudiants gradués. GEODES est (a été) impliqué dans plusieurs projets subventionnés par, entre autres, CRSNG, FQRNT, MDEIE, INRIA, MOZILLA. D’autres coopérations comprennent des projets avec le CRIM et des chercheurs aux États‐Unis, en France et en Espagne. Le projet VERSO s’intéresse à la visualisation, l’évaluation et la réingénierie des logiciels de grande taille pilotée par la qualité. Différentes activités du génie logiciel sont couvertes telles que le développement collaboratif de logiciels, la détection d’anomalies de conception et l’évolution. Ce projet a été financé entre autres par le FQRNT en collaboration avec des membres respectivement du laboratoire LIEGUM et de l’université McGill. Le projet VIASCO, en collaboration avec l’université Castilla‐La Mancha, l’université de Malaga et la compagnie Procedimientos‐Uno (Espagne), consiste en l’évaluation des applications à base de composants. Deux volets sont étudiés : la rétroconception d’architectures à base de composants dans les systèmes à objets et la visualisation interactive de ces architectures. Ce projet fait l’objet d’un financement joint entre le MDEIE (Québec) et le MEC (Espagne). Le projet MOTOE a pour objectif de proposer une nouvelle approche de transformation de modèles (et du code) par l’exemple. Cette approche se base sur des méthodes d’optimisation par métaheuristiques telles que la programmation génétique et l’optimisation par essaims de particules. Ce projet est l’objet de collaboration avec l’université de Montpellier. Le projet VASCO a pour but de développer une approche de visualisation interactive pour aider les développeurs à rapidement et intuitivement explorer le comportement de leurs applications, en particulier en ce qui concerne l’utilisation d’objets temporaires. Un des résultats importants du projet est la proposition d’une nouvelle plateforme de visualisation flexible et évolutive. Celle‐ci est conçue pour minimiser l'effort cognitif requis pour la tâche de visualisation. Le projet PREMO est une collaboration avec l’équipe Triskell de l’INRIA. Il consiste en la définition précise de langages de modélisation des logiciels. Un des objectifs est de compléter automatiquement la définition d’un langage à partir d’exemples et de contre‐exemples de modèles. Rapport annuel 2012‐2013 30 Heron
Esma AÏMEUR, professeure titulaire, Claude FRASSON, professeur titulaire Professeurs associés : Roger Nkambou Étudiants: environ 25 étudiants répartis moitié au doctorat et moitié en maîtrise. Le laboratoire HERON (Higher Educational Research ON tutoring systems) s’intéresse à des travaux multidisciplinaires en intelligence artificielle, multimédia, science cognitive, éducation, gestion des connaissances, commerce électronique. Les systèmes tutoriels intelligents et les agents intelligents constituent un thème important sur lequel s’appuient de nombreux développements. Plus récemment les recherches concernent des travaux en intelligence émotionnelle qui visent à mieux comprendre le fonctionnement du cerveau. Il est à l’origine de la création d’un groupe multidisciplinaire (le GRITI, www.iro.umontreal.ca/labs/GRITI) qui englobe des chercheurs de sept universités : l’Université de Montréal, l’UQAM, McGill University, Bishop’s University, l’Université de Sherbrooke, l’Université Laval et l’UQAC. Le laboratoire est aussi à l’origine de la création de la conférence internationale sur les systèmes tutoriels intelligents (ITS) qui a été organisée depuis 1988, d’abord tous les quatre ans puis maintenant tous les deux ans. Claude Frasson s’intéresse à différents aspects des systèmes tutoriels intelligents (STI) : l’architecture des STI et les différentes composantes qui peuvent être réunies, les stratégies d’apprentissage et leurs combinaisons, la modélisation des connaissances de l’apprenant, l’analyse de son raisonnement lors de la résolution d’une tâche. Une approche récente de ses recherches vise à comprendre les fonctionnements du cerveau du point de vue émotionnel étant donné que les émotions jouent un grand rôle dans l’acquisition de nos connaissances. Il recherche en particulier comment composer les modules logiciels intervenant dans divers types de STI de manière à construire des STI efficaces et réalisables et notamment des systèmes tutoriels affectifs, proches de l’humain ou encore des systèmes à base d’agents modélisant le comportement du cerveau. Esma Aïmeur s'intéresse à l'interaction humain machine, au développement de nouvelles stratégies tutorielles, et de nouvelles techniques d’évaluation en e‐learning. Ses recherches prennent en compte les émotions et la préservation des données du modèle de l'apprenant. Elle œuvre également en commerce électronique en appliquant des techniques d’intelligence artificielle pour la personnalisation des données. Elle s’intéresse plus particulièrement à l’acquisition du profil du client et à la recommandation de produits et de services. Enfin, ses recherches les plus récentes portent sur les réseaux sociaux et la sécurité des données sur Internet. Plus précisément, sur la violation et la préservation de la vie privée (fouille de données, vol d'identité, divulgation d'informations, reconstitution de profils, etc.) Ancienne membre du comité consultatif de l'Université de Montréal sur la protection des renseignements personnels, elle s'occupe également de la mise à jour des politiques de gestion de l'information et de respect de la vie privée. Roger Nkambou s’intéresse à la représentation des connaissances dans les systèmes tutoriels intelligents et au développement des environnements auteurs. Il travaille aussi sur la modélisation de l’apprenant, notamment sur les aspects inférentiels avec la logique floue et aussi les aspects émotionnels (comment reconnaître une émotion). Certains aspects de ses recherches portent sur la conception collaborative de cours et sur le développement d’environnements d’apprentissage sur le Web. Rapport annuel 2012‐2013 31 Infographie
Derek NOWROUZEZAHRAI, professeur adjoint, Pierre POULIN, professeur titulaire, Neil F. STEWART, professeur titulaire Le laboratoire d’informatique graphique de l’Université de Montréal (LIGUM) regroupe trois professeurs et une vingtaine d’étudiants aux cycles supérieurs. Il s’intéresse à tous les aspects de l’infographie, mais il a développé, au cours des dernières années, des expertises plus spécifiques. Les recherches entreprises par D. Nowrouzezahrai sont menées dans trois directions principales : le rendu réaliste, la théorie d'échantillonnage Monte‐Carlo pour l'infographie et la simulation et l'animation de fluides. En rendu réaliste, nous explorons de nouveaux modèles d'apparence basés sur des théories de formation d'images réalistes récemment développées par D. Nowrouzezahrai. Notamment, nous suivons les deux pistes de recherche complémentaires suivantes : la modélisation d'apparence surfacique, y compris des effets complexes de réflexion et de transmission, et la modélisation d'apparence volumétrique, où la simulation des effets de diffusion et d'absorption est nécessaire. La réalisation de ces modèles mathématiques dans des logiciels d'infographie spécialisés, développés par nos étudiants, permet de générer des images qui comprennent des phénomènes visuels complexes, avec une très grande fidélité. En plus, nous développons de nouvelles théories d'échantillonnage, basées sur les statistiques Monte‐Carlo, pour exploiter la structure du transport d'illumination utilisée dans la synthèse d'images. Ces théories permettent la simulation précise et efficace d'une illumination qui subit plusieurs événements de dispersion dans un média volumétrique, comme la fumée ou un nuage. Ces travaux récemment développés par D. Nowrouzezahrai avec ses étudiants, ses post‐
docs et des collaborateurs industriels et académiques, se trouvent à la fine pointe de l'infographie et sont déjà intégrés dans des moteurs de rendu utilisés dans les jeux vidéo et les films animés. Le réalisme des images, des modèles et des animations, de même que l’efficacité des algorithmes et structures développés sont au centre des recherches supervisées par P. Poulin. Un thème important s’intéresse à la propagation de la lumière dans les environnements synthétiques, que ce soit par des modèles adaptés de réflexion et d’émission des surfaces, ou par des modèles de simulation des effets d’illumination globale et d’ombres. Ces modèles sont aussi adaptés en fonction de l’importance de leur apparence sur l’image finale. Nous exploitons des approches procédurales pour la création et le rendu de surfaces aux propriétés complexes, et développons des outils de génération semi‐automatique de détails de surface ainsi que de scènes, dont des mondes virtuels, et des intérieurs et extérieurs d’édifices. En animation, nous nous intéressons au contrôle des mouvements de visages synthétiques, à la complexité des interactions entre les cheveux, à la compression et la génération d’animations de mouvements de modèles articulés, et à la simulation de phénomènes naturels tels les déformations d’objets mous et de vêtements, les fluides, les flammes et le feu et le vieillissement des surfaces. De plus, avec les progrès récents des cartes d’accélération graphique, nous étudions comment transposer tous ces résultats dans un contexte de temps réel pour les jeux et la réalité virtuelle et augmentée. Les recherches de N. F. Stewart sont dans le domaine de la modélisation géométrique, avec applications en graphisme et en conception assistée par ordinateur. Il s’intéresse en particulier Rapport annuel 2012‐2013 32 au problème de robustesse des modèles de solides et des maillages associés. Les problèmes principaux sont de nature mathématique, reliés à la topologie et l’analyse numérique. Comment s’assurer que le modèle d’un solide est cohérent et valide? Comment démontrer que le résultat d’une opération, effectuée sur un ou plusieurs solides, reste cohérent et valide, et proche du résultat voulu? Les surfaces de subdivision semblent être une voie prometteuse pour la solution de ces problèmes. Un livre sur les bases mathématiques des surfaces de subdivision, par L.‐E. Andersson et N. F. Stewart, est paru chez SIAM en 2010. Rapport annuel 2012‐2013 33 Informatique des systèmes adaptatifs (LISA)
Yoshua BENGIO, professeur titulaire, Aaron COURVILLE, professeur adjoint, Roland MEMISEVIC, professeur adjoint, Pascal VINCENT, professeur agrégé Professeur associé : B. Kégl Les recherches du Laboratoire d’Informatique des Systèmes Adaptatifs (LISA) se situent dans le domaine des algorithmes d’apprentissage statistique. Elles visent à mettre au point des algorithmes permettant aux ordinateurs de découvrir et d’utiliser l’information implicitement présente dans un ensemble de données ou d’exemples. Très souvent cela veut dire que l’ordinateur utilise les données passées pour prédire des évènements futurs. Il s’agit de recherches au carrefour de l’intelligence artificielle et des statistiques, et les réalisations du LISA couvrent un vaste éventail allant des applications industrielles telles que le data‐mining aux découvertes plus fondamentales basées sur une analyse mathématique des algorithmes et une attaque des difficultés fondamentales auxquelles l’apprentissage machine doit faire face afin de s’approcher de l’intelligence artificielle. Au niveau fondamental, les recherches du LISA s’attaquent à la question de l’apprentissage de fonctions apparemment complexes, en général dans des espaces en haute dimension. Par exemple, nous avons récemment organisé plusieurs ateliers dans le domaine de la modélisation des variétés et l’apprentissage de fonctions complexes représentant des abstractions à plusieurs niveaux. Au niveau applicatif, plusieurs projets sont en cours dans des domaines aussi variés que la modélisation de la musique pour prédire les préférences musicales, l’analyse des transactions d’institutions financières pour caractériser les clients de ces institutions, ou la découverte de nouveaux médicaments grâce à la prédiction de l’activité biologique de médicaments potentiels. Au cours des dernières années, nos travaux en data‐mining ont ainsi été appliqués dans plusieurs domaines (services publics, assurances, gestion des risques financiers) et ont donné lieu à la création par des ex‐étudiants d’une start‐up (Apstat Technologies) qui commercialise les algorithmes d’apprentissage statistique, en particulier auprès d’institutions financières et de compagnies d’assurance. Les recherches du LISA ont reçu une reconnaissance internationale importante et ont été citées et suivies par de nombreux chercheurs. Ainsi, le laboratoire est devenu l’hôte de la Chaire de Recherche du Canada sur les algorithmes d’apprentissage statistique, et plus récemment celui d’une chaire industrielle du CRSNG, en collaboration avec la compagnie CGI et les Caisses Desjardins. Le laboratoire compte une vingtaine de chercheurs, dont quatre stagiaires post‐
doctoraux. Parmi les domaines des contributions majeures du laboratoire, on peut nommer des contributions aux architectures profondes pour l’intelligence artificielle, aux algorithmes de boosting, aux algorithmes de réseaux de neurones, aux modèles non‐paramétriques à noyau, aux modèles probabilistes conditionnels, et à la modélisation de données séquentielles (langage et musique en particulier). Le laboratoire bénéficie de nombreux contrats et subventions et est toujours à la recherche des meilleurs étudiants et stagiaires post‐doctoraux pour participer à l’aventure de l’intelligence artificielle grâce à l’apprentissage. Rapport annuel 2012‐2013 34 Le GAMME (Groupe d’Apprentissage Machine en Musique) est un sous‐groupe du LISA spécialisé dans le domaine de la musique et de l’apprentissage machine. Son axe prioritaire est le développement d’algorithmes d’apprentissage dans le domaine de la musique. Les sujets de recherche incluent le traitement de la musique et des signaux sonores, l’extraction de traits acoustiques pour la catégorisation de fichiers audio, la génération automatique de la musique, et les aides à la performance musicale. L’équipement de laboratoire du GAMME inclut un Disklavier Yamaha pour enregistrer et reproduire la musique de piano, divers instruments MIDI, ainsi que des équipements de traitement de signal numérique, d’édition et d’enregistrement. Le GAMME est aussi intégré au groupe BRAMS (Brain Music and Sound) nouvellement formé, combinant des chercheurs de l’UdeM, McGill et l’Institut neurologique de Montréal. Le groupe GAMME promet de devenir un des plus importants au monde dans le domaine de la musique et de la cognition (voir www.brams.org). Les étudiants du GAMME ont accès à de nouveaux espaces de laboratoires dans les nouveaux locaux du BRAMS au Pavillon 1420 Boulevard Mont‐Royal. L’équipement du BRAMS comprend un piano à queue Imperial du facteur Bösendorfer, acquis grâce à la subvention FCI du professeur Eck, dont les capacités d’enregistrement et de reproduction numériques sont à la fine pointe de la technologie. Rapport annuel 2012‐2013 35 Informatique théorique et quantique (LITQ)
Michel BOYER, professeur agrégé, Gilles BRASSARD, professeur titulaire, Gena HAHN, professeur titulaire, Pierre McKENZIE, professeur titulaire, Louis SALVAIL, professeur agrégé, Alain TAPP, professeur titulaire Les professeurs du groupe d’informatique théorique et quantique ont des intérêts variés recouvrant la majorité des aspects de la discipline. Les recherches récentes des membres du groupe se trouvent surtout dans les domaines suivants : mathématiques discrètes et théorie des graphes (Hahn), complexité du calcul (McKenzie), cryptologie (Brassard, Salvail, Tapp), informatique quantique (Boyer, Brassard, Salvail, Tapp) et fondements de la mécanique quantique (Brassard). Les mathématiques discrètes sont à la base de l’informatique, surtout, mais pas exclusivement, théorique. La recherche de G. Hahn est principalement axée sur les graphes, finis ou infinis. En plus de revenir périodiquement à sa recherche de départ (théorie extrémale des graphes, produits de graphes, symétries de graphes), G. Hahn a travaillé sur les graphes d’amitié et leurs généralisations, la théorie combinatoire des ensembles et la transmission de messages dans les réseaux (algorithmes, plongement d’un graphe dans un autre). Sa recherche récente concerne les jeux de policiers et de voleurs sur des graphes, des homomorphismes de graphes (colorations, algorithmes), et la structure de certains graphes infinis, ainsi que le sujet éternel des graphes de Cayley. La plus grande partie de sa recherche est structurelle plutôt que calculatoire. La théorie de la complexité du calcul vise à une classification formelle des divers problèmes soumis à l’ordinateur en fonction des ressources requises à leur résolution (par exemple, le temps d’exécution, la quantité de mémoire, le nombre de processeurs). Les questions qui se posent en complexité ont souvent un fort caractère mathématique. Les travaux de P. McKenzie en complexité portent sur les classes de complexité traditionnelles et en particulier sur le compromis temps‐mémoire pour des problèmes de la classe P. Ils portent également sur la complexité descriptive et sur les circuits booléens utilisés comme modèle de calcul. La cryptologie étudie le problème de la confidentialité et de l’intégrité de l’information malgré la présence d’adversaires éventuels. Elle permet également à un nombre arbitraire d’individus possédant des informations secrètes de collaborer sans crainte que les uns se fassent trahir par les autres. Nos recherches en cryptologie portent sur la sécurité garantie par la théorie de l’information ainsi que la distillation de secrets. Nous avons travaillé en particulier sur l’envoi anonyme de messages (tant classiques que quantiques) dans un réseau et sur des protocoles permettant de voter en toute confiance. Nous nous concentrons principalement (mais pas uniquement) sur la cryptographie quantique, laquelle fait intervenir des principes de mécanique quantique pour résoudre des problèmes cryptographiques classiquement impossibles, particulièrement en ce qui a trait au tirage à pile ou face tant théorique qu’expérimental. Nous nous intéressons également à la distribution de clef à la Merkle, pour laquelle nous avons démontré la possibilité d’établir une clef secrète par un processus classique dont le secret est préservé même contre un adversaire quantique qui ne dispose pas de plus de temps que les usagers légitimes, ainsi qu’à la généralisation de ces techniques au transfert équivoque, tant classique que quantique. Rapport annuel 2012‐2013 36 En informatique quantique, on étudie les propriétés de l’information quantique. Celle‐ci, contrairement à sa contrepartie classique, ne peut pas être mesurée avec précision arbitraire, elle ne peut pas être diffusée ni copiée, toute tentative de la mesurer résulte en une perturbation inévitable et irréversible, mais par contre elle peut exister en superposition d’états classiques et elle semble parfois se propager de façon instantanée. Nous nous intéressons aux façons de manipuler, mesurer et transmettre l’information quantique, ce qui nous a permis de découvrir (en 1992) le principe de la téléportation quantique en collaboration avec Claude Crépeau (Université McGill) ainsi que de collègues internationaux. La cryptographie quantique, précédemment mentionnée, est un exemple d’utilisation des propriétés de l’information quantique. En théorie, nous pouvons également utiliser l’information quantique pour réaliser des calculs qui seraient impossibles pour un ordinateur classique même si celui‐ci avait utilisé toutes les ressources de l’univers depuis le Big Bang ! En particulier, nous savons comment programmer l’ordinateur quantique pour mettre en péril une bonne partie des systèmes cryptographiques actuellement utilisés, par exemple lors de l’envoi soi‐disant confidentiel de numéros de cartes de crédit sur Internet. Nous nous intéressons aux aspects fondamentaux de l’information quantique et particulièrement à l’étude de l’intrication, cette merveilleuse manifestation de la mécanique quantique qui troublait tant Einstein. Celle‐ci permet entre autres des phénomènes de pseudotélépathie, par lesquels deux (ou plusieurs) individus peuvent réagir localement à des stimuli globaux, sans pour autant communiquer entre eux. On peut démontrer que ces phénomènes seraient impossibles à réaliser dans un monde classique. Nous avons démontré que l’on peut néanmoins arriver à simuler l’intrication par des processus classiques qui ne requièrent qu’une quantité bornée de communication, même dans le cas de la simulation d’intrication qui met en œuvre plus que deux participants. Finalement, G. Brassard s’intéresse à la reformulation des fondements mêmes de la mécanique quantique en se basant sur des principes reliés à l’information plutôt qu’à la physique conventionnelle (voir Nature Physics, volume 1, numéro 1, pages 2‐4). Avec son étudiant Paul Raymond‐Robichaud, il a démontré que, en dépit de la croyance populaire, il est possible d’expliquer la mécanique quantique par un processus purement local, dans lequel aucune action en un point donné n’a d’effet instantané (observable ou non) en un autre point de l’espace. Rapport annuel 2012‐2013 37 Langages de programmation
Marc FEELEY, professeur titulaire, Stefan MONNIER, professeur agrégé Les travaux de recherche exécutés au sein du laboratoire portent sur les domaines des langages de programmation et le calcul parallèle et distribué. Nous cherchons à concevoir des langages et systèmes de programmation ainsi que des méthodes d’implantation (compilateurs) qui permettent de mieux exploiter les ordinateurs, c’est‐à‐dire de faciliter la réalisation d’applications complexes et augmenter leur performance et fiabilité. Nous nous intéressons aux langages de programmation avancés et particulièrement aux langages fonctionnels, orientés objet et parallèles. Nos efforts ont porté sur les langages Scheme, Lisp, Multilisp, Erlang, Dylan, Java et C parallèle. Nous avons conçu de nouvelles méthodes de compilation efficaces pour ces langages, tout particulièrement au niveau des continuations de première classe, de la gestion automatique de la mémoire en temps réel, du balancement de charge par vol de tâches, de l’interprétation et compilation portable, de l’analyse de programmes par compilation abstraite, ainsi que développer des outils pour le débogage de programmes parallèles, la compression de programmes, et les langages pour systèmes distribués et systèmes embarqués. Une autre facette de nos recherches touche la fiabilité et la sécurité des systèmes informatiques, principalement le développement de systèmes de types et autres méthodes formelles pour exprimer et vérifier automatiquement diverses propriétés de programmes, ainsi que la mise au point de techniques permettant de préserver ces informations au cours de la compilation de manière à pouvoir certifier que le code généré jouit lui aussi de ces propriétés. Nous nous intéressons aussi à l’application de nos travaux en langages de programmation au niveau matériel, en particulier la synthèse de circuits à partir de programmes parallèles et la conception et compilation de langages parallèles. Dans le cadre de notre projet MIMI (Multithreaded Interconnected Multicomputer Initiative) nous avons conçu une nouvelle architecture parallèle de type «multithread» qui offre un très bon rapport prix/performance. Un autre résultat important du laboratoire est le logiciel Gambit. Ce logiciel est un système de programmation complet pour le langage Scheme incluant un compilateur optimisant, un interprète et un débogueur. Ce système est maintenant utilisé dans plus de 50 universités à travers le monde pour l’enseignement de l’informatique et la recherche ainsi que dans quelques produits commerciaux. Rapport annuel 2012‐2013 38 Recherche appliquée en linguistique informatique
(RALI)
Philippe LANGLAIS, professeur titulaire, Guy LAPALME, professeur titulaire, Jian‐Yun NIE, professeur titulaire Chercheur : Fabrizio Gotti. Le RALI compte actuellement 3 professeurs, 1 chercheur à temps plein et une quinzaine d’étudiants aux deuxième et troisième cycles. Il est un des plus grands laboratoires universitaires au Canada dans le domaine du traitement des langues naturelles et l’héritier d’une longue tradition de recherche en intelligence artificielle et en traduction automatique à l’Université de Montréal. Le RALI poursuit un programme de recherche vigoureux dans les domaines de la traduction automatique, traduction assistée par ordinateur, du résumé automatique et de la recherche d’information. Autant par les systèmes réalisés au laboratoire que par les publications de ses membres, le RALI s’est taillé une réputation enviable dans la communauté internationale de la linguistique informatique. Dans le cadre de ces projets, le RALI collabore étroitement avec des partenaires qui sont à la fine pointe de leurs domaines, que ce soit en linguistique, en traduction ou en droit. Dans le domaine de la traduction assistée par ordinateur, le RALI a opéré une refonte en profondeur de TSRali (http://www.tsrali.com), son concordancier bilingue très apprécié des professionnels de la traduction. Cet effort a été mené dans le cadre d’une subvention de recherche et développement coopérative (CRD) du CRSNG en collaboration avec la firme Terminotix, qui commercialise TSRali depuis plusieurs années. La principale innovation du nouveau système est l’affichage des segments de texte sous‐phrastiques qui sont en correspondance de traduction. En collaboration avec Environnement Canada, le RALI a développé WATT, un traducteur automatique d’avertissements météorologiques, et proposé une nouvelle façon de diffuser l’information environnementale. Le RALI étudie aussi d’autres modèles de traduction automatique, notamment des approches basées sur l’analogie. Le résumé automatique consiste à analyser des textes pour en obtenir une version beaucoup plus courte et ne rapportant que les éléments les plus importants. Au fil des années, les chercheurs du RALI ont travaillé sur les résumés de textes scientifiques et juridiques et ils participent régulièrement à des compétitions internationales dans le domaine (conférences DUC ou TAC). Une nouvelle approche par abstraction a récemment été développée au RALI et nous étudions actuellement la possibilité de résumer des articles scientifiques en utilisant les citations. Le RALI est aussi un pôle de recherche en recherche d’information ou moteur de recherche au Canada. Ses chercheurs travaillent entre autres sur des méthodes permettant d’améliorer la qualité des résultats retournés à l’usager, en exploitant de multiples ressources telles que des réseaux sémantiques, des liens hypertextes et des logs d’utilisateurs. Ils s’intéressent par ailleurs au problème de la recherche d’information translinguistique et multilingue, qui consiste à retrouver des documents pertinents dans une ou plusieurs langues différentes de la langue de la requête. Des applications existent dans des domaines divers, comme la recherche d’informations médicales ou de brevets pertinents. Le RALI collabore étroitement avec des chercheurs de McGill et de plusieurs universités chinoises, ainsi qu’avec les entreprises Microsoft et Baidu. Rapport annuel 2012‐2013 39 Le RALI effectue également des recherches en acquisition et gestion de ressources multilingues. L’identification de documents parallèles sur le Web, ainsi que l’extraction de passages en relation de traduction dans des textes sont des exemples d’applications pour lesquelles le RALI a développé une expertise reconnue. Dans le cadre d’un projet financé par le FRQNT, en collaboration avec l’École Polytechnique et le CRIM, les chercheurs du RALI s’intéressent à projeter en français des relations encodées dans la base DBPedia à l’aide de techniques d’alignement. Dans le cadre d’une entente avec Nuance Foundation, le RALI démarre un projet sur l’acquisition de connaissances du monde à partir de textes non structurés. On peut obtenir des détails sur les travaux du RALI et essayer des démonstrations en ligne de différentes technologies en consultant le site web : http://rali.iro. umontreal.ca . Rapport annuel 2012‐2013 40 Recherche en réseaux de communication
Abdelhakim HAFID, professeur titulaire Laboratoire des Réseaux de Communications (LRC) Le LRC s’intéresse à la conception et au développement de nouveaux algorithmes, architectures, techniques de gestion et protocoles de communication pour les réseaux de nouvelle génération (p.ex., réseaux véhiculaires, réseaux sans fil maillés, réseaux IP, réseaux de senseurs et réseaux optiques). Le but est de mieux supporter les exigences (p.ex., délai et taux de perte) des systèmes/applications distribués (p.ex., multimédia, nuage informatique et grille de calcul) qui utilisent un seul type de réseaux ou plusieurs réseaux interconnectés pour la communication. L’emphase est mise sur la gestion de la qualité de service (QdS), le développement d’algorithmes adaptatifs pour la livraison des données, la conception de nouveaux algorithmes de routage basés sur la QdS, la conception ou l’amélioration des mécanismes de restauration/protection en cas de pannes réseaux, le développent de modèles d’optimisation pour une conception efficace des réseaux, les politiques de contrôle d’admission et la réservation des ressources. Quelques projets actifs Réseaux véhiculaires : Les réseaux ad hoc véhiculaires (VANET) sont des réseaux ad hoc mobiles spécialisés permettant les communications entre véhicules (V2V) et véhicule‐infrastructure (V2I). VANET permet de fournir des services de sécurité routière et d’autres services attrayants tels que des conseils de navigation pour éviter les points de congestion et des téléchargements vidéo et audio. Un des problèmes clés auquel VANET fait face concerne l’absence d’une connectivité permanente robuste et rentable (p.ex., pour accéder à Internet) et le soutien de la Qualité de Service (QdS). Dans ce projet nous proposons des solutions efficaces pour pallier ce problème. En premier lieu, nous proposons de concevoir et de développer des techniques d’optimisation pour planifier une infrastructure de réseau véhiculaire efficiente et efficace. En deuxième lieu, nous proposons de concevoir et développer des mécanismes de gestion adaptative axés sur la QdS pour assurer des communications en temps réel V2I robustes et efficientes. Services multimédia mobiles Dans le contexte des services multimédia (p.ex., streaming) mobiles, les exigences importantes à satisfaire incluent le support d'une continuité de service, la garantie d'une qualité de service acceptable et l'assurance d’une qualité d'expérience constante. Comment obtenir un taux uniforme pendant toute la durée (ou partielle) d'un service de streaming alors que l’utilisateur est en mouvement est un défi important. De manière générale, le taux de streaming d'un service multimédia peut fortement fluctuer en raison de l'indisponibilité ou l'insuffisance de ressources le long de la trajectoire de déplacement d'un utilisateur. Pour faire face à ce défi, ce projet propose de développer un cadre qui intègre les modèles de prévision de mobilité des utilisateurs avec des modèles de prévision de disponibilité de ressources pour maintenir un taux de streaming constant (ou le moins fluctuant possible) et ultimement assurer une qualité d’expérience stable. Rapport annuel 2012‐2013 41 Traitement d’images et Vision 3D
Jean MEUNIER, professeur titulaire, Max MIGNOTTE, professeur titulaire, Sébastien ROY, professeur agrégé Le domaine de la vision par ordinateur est présentement en forte progression et occupe une place de choix parmi les méthodologies d’extraction et de représentation des connaissances. De nos jours avec la diminution des coûts de production, on retrouve des caméras numériques dans une multitude de domaines d’applications : l’Internet (webcam), les jeux vidéo, la téléphonie mobile, les environnements intelligents, l’imagerie médicale (e.g. endoscopie, nano‐caméra, radiologie numérique), la robotique, l’infographie, la télédétection, l’authentification de signatures, empreintes digitales ou photos, visages, les systèmes de surveillance et d’inspection civils et industriels (e.g. pièces défectueuses) ou militaires (e.g. véhicules ennemis) pour n’en nommer que quelques‐uns! Nos laboratoires (locaux 2262, 2340 et 2384) regroupent plus d’une vingtaine d’étudiants gradués encadrés par trois professeurs dont les thèmes de recherche sont présentés ci‐après. Jean Meunier s’intéresse à la vision assistée par ordinateur appliquée au domaine médical avec la collaboration de l’institut de génie biomédical et des grands centres hospitaliers affiliés à l’Université de Montréal. Il a contribué à développer plusieurs algorithmes en imagerie médicale 3D, par exemple pour le calibrage de caméras à rayon X, le recalage ou alignement d’organes pour fin de comparaison en imagerie médicale, la reconstruction 3D de structures comme le réseau coronarien à partir d’une ou deux vues (images), la construction d’atlas cornéen 3D, l’estimation du mouvement cardiaque en échographie et la restauration d’images bruitées en médecine nucléaire. Plus récemment, il s’est intéressé à la vidéosurveillance pour le soutien à domicile de personnes âgées ainsi que pour l’étude de la démarche et de l’équilibre. Dans les cinq dernières années, il a publié plus de 50 publications scientifiques. Le caractère innovant des travaux de Jean Meunier en fait un collaborateur très sollicité en particulier par les grands centres hospitaliers de Montréal. Max Mignotte s’intéresse à la modélisation statistique des images pour la segmentation, le suivi et la reconnaissance de forme en utilisant des modèles markoviens hiérarchiques, des modèles de contour actif ou encore des gabarits statistiques. Il s’intéresse aussi aux procédures de déconvolution/restauration pour l’imagerie traditionnelle, acoustique (sonar) ou médicale. Ses récents résultats ont permis de proposer de nouvelles approches statistiques bayésiennes originales, robustes et novatrices dans les domaines de la vision et du traitement d’images. Sa contribution à la recherche, effectuée ces cinq dernières années, s’est concrétisée par plusieurs publications dans des revues internationales prestigieuses. Sébastien Roy s’intéresse à la vision stéréoscopique et à l’application de la théorie des graphes aux problèmes de vision par ordinateur. Il a développé une approche misant sur les graphes pour résoudre le problème de la mise en correspondance en stéréovision afin de permettre une reconstruction 3D robuste et précise. Il a aussi fait plusieurs autres contributions au domaine en proposant : un duo caméra‐projecteur pour la reconstruction 3D temps réel, une méthode de reconnaissance de visages à partir de modèles tridimensionnels et même un système d’orthodontie par ordinateur. Ses recherches présentent un équilibre de résultats théoriques, comme ses travaux en théorie des graphes et sur les champs de Markov, et de résultats pratiques, comme en témoignent ses 9 brevets d’invention méthodologique déposés depuis 1994. Rapport annuel 2012‐2013 42 Optimisation et simulation numérique
Fabian BASTIN, professeur agrégé, Jacques A. FERLAND, professeur titulaire, Emma FREJINGER, professeure adjointe, Bernard GENDRON, professeur titulaire, Pierre L’ÉCUYER, professeur titulaire, Patrice MARCOTTE, professeur titulaire, Jean‐Yves POTVIN, professeur titulaire Professeurs associés : T. G. Crainic, M. Gendreau, M. Toulouse Analyste : R. Simard Outre les personnes mentionnées ci‐dessus, de nombreux étudiants à la maîtrise et au doctorat sont intégrés dans des projets de recherche regroupés selon les thèmes suivants : 














confection d’horaires; problèmes de recherche opérationnelle dans le domaine de la santé; ordonnancement d’activités de projets avec contraintes de ressources; méthodes heuristiques en programmation combinatoire; programmation mathématique, relaxation lagrangienne et convexité généralisée; programmation non linéaire et stochastique; problèmes de transport; programmation d’équilibre, inéquations variationnelles; optimisation à deux niveaux; modèles de choix discrets; modélisation stochastique et simulation; génération de nombres pseudo‐aléatoires; gestion de centres d’appels téléphoniques; optimisation de la conception et de la gestion de réseaux de communications; gestion du revenu et tarification des services. Depuis plusieurs années, le groupe de recherche en optimisation et simulation numérique contribue au développement d’algorithmes, exacts ou heuristiques, pour résoudre des problèmes rencontrés dans la pratique, tels des problèmes d’horaires de personnel, de répartition de véhicules, de gestion de centres d’appels téléphoniques ou de réseaux de télécommunications. Parallèlement à ces travaux de nature appliquée, les membres de l’équipe s’intéressent également à des problématiques de nature plus théorique touchant, par exemple, à la génération de nombres aléatoires, à la programmation fractionnaire ou à la caractérisation de classes de convexité et de monotonie généralisée. Dans ce qui suit, nous précisons les intérêts de recherche de chacun des professeurs impliqués dans le laboratoire. Fabian Bastin travaille sur l’optimisation continue non linéaire non convexe, et son extension dans le cadre de la programmation stochastique. Ses recherches portent principalement sur le développement d’algorithmes de région de confiance en programmation non linéaire, ainsi que leur utilisation dans le cadre d’approches adaptatives pour résoudre des approximations par moyenne d’échantillonnage. Ces dernières peuvent être obtenues au moyen de techniques Monte Carlo ou quasi‐Monte Carlo. Les études poursuivies sont d’ordre numérique, afin de tester la pertinence des méthodes proposées, et théorique, traitant notamment des questions de cohérence de solutions approximations en programmation stochastique. Ces divers travaux sont de plus appliqués notamment en théorie des choix discrets, qui sont des modèles Rapport annuel 2012‐2013 43 comportementaux destinés à expliquer et prédire les choix effectués parmi un ensemble fini de possibilités. De tels modèles sont populaires en économétrie et en transport, mais demeurent délicats à formuler et coûteux à estimer suivant le niveau de flexibilité introduit afin de mieux représenter la réalité. Les travaux poursuivis visent à réduire ces coûts d’estimation tout en amélioration la précision obtenue, à améliorer la qualité des modèles fournis et à mieux comprendre leurs propriétés sous‐jacentes. Jacques A. Ferland s’intéresse aux méthodes heuristiques et métaheuristiques (recherches locales, algorithmes génétiques) pour résoudre des problèmes de type combinatoire que l’on retrouve dans divers domaines d’application : planification en foresterie, planification d’exploitations minières, planification de tournées des intervenants en soins de santé à domicile, affectation des juges lors de compétitions, ordonnancement d’activités de projets avec contraintes de ressources. Des approches de décomposition sont aussi utilisées à l’occasion pour exploiter les structures particulières de certains sous‐problèmes qui sont ensuite résolus avec les méthodes précédentes. Du côté des études plus fondamentales, Jacques Ferland s’intéresse à la caractérisation des classes de convexité et de monotonie généralisée. Il poursuit également des travaux sur la programmation fractionnaire généralisée pour améliorer les méthodes de résolution et évaluer la qualité des solutions, lorsqu’on se contente de solutions sous‐optimales pour les sous‐problèmes (solutions obtenues avec des méthodes heuristiques, par exemple). Emma Frejinger est titulaire de la chaire CN en intermodalité des transports. Elle s’intéresse à la modélisation et la prédiction de la demande (comportement des usagers) dans un réseau de transport. Ses travaux portent principalement sur le développement de nouveaux modèles économétriques pour des réseaux de grande taille comportant différents modes de transport (pour personnes et/ou marchandises). Elle collabore avec d’autres membres de l’équipe sur le problème de conception de réseaux face à un comportement antagoniste de certains usagers. Bernard Gendron s’intéresse à plusieurs aspects de l’optimisation combinatoire, notamment les méthodes de programmation en nombres entiers, la programmation par contraintes, les métaheuristiques et le calcul parallèle appliqué à ces méthodes. Il se spécialise dans la résolution de problèmes de conception de réseaux ayant des applications en logistique, en transport et en télécommunications, de même que dans le domaine de la confection d’horaires de personnel. Ses autres intérêts de recherche couvrent les problèmes d’optimisation dans les graphes (clique et coloration) et l’optimisation globale. Il collabore avec d’autres membres de l’équipe à des projets portant notamment sur l’optimisation du transport forestier et le calcul de haute performance. Pierre L’Écuyer est titulaire de la chaire de recherche du Canada en simulation et optimisation de systèmes stochastiques, c’est‐à‐dire dont le comportement est en partie aléatoire. La simulation est devenue un outil incontournable dans plusieurs domaines de l’activité humaine, dont les sciences, le génie, la gestion et le divertissement. Cependant, des difficultés particulières surgissent lorsque les systèmes qui doivent être simulés comportent des composantes aléatoires. On peut penser, par exemple, à un commerce où l’on ne connaît pas à l’avance les demandes pour chaque type de produit, ou à un réseau de communication ou de transport dans lequel le trafic à chaque point du réseau n’est pas connu à l’avance. Pour étudier et, éventuellement, optimiser par simulation la gestion de tels systèmes, il faut d’abord mettre au point des modèles mathématiques représentant fidèlement les aspects des comportements qui nous intéressent, soit la qualité du service dans un réseau ou les coûts et revenus d’un commerce, par exemple. Puis, on peut simuler sur ordinateur l’évolution de ces modèles et Rapport annuel 2012‐2013 44 optimiser leurs paramètres au moyen d’algorithmes ou d’heuristiques conçus à cet égard. En plus de développer et d’étudier des méthodes de simulation et d’optimisation plus efficaces, Pierre L’Écuyer s’intéresse aux applications dans des domaines tels la finance, la gestion du risque, les communications et la gestion des opérations dans les entreprises. Il développe aussi différents types d’outils logiciels pour la simulation. De plus, il poursuit également des travaux dans le domaine des générateurs de valeurs aléatoires par ordinateur qui constituent un élément fondamental pour toute simulation impliquant un aléa. Ils sont aussi essentiels dans les jeux informatiques, les machines de jeu (loteries) et la sécurité des communications (cryptologie). Les critères de qualité pour les générateurs varient selon les applications, d’où le besoin de les étudier selon divers points de vue et d’en construire plusieurs types. Pierre L’Écuyer travaille à la conception, l’analyse mathématique, l’implantation efficace et les tests statistiques des générateurs de valeurs aléatoires pour différents types d’applications. Il étudie aussi les méthodes de type quasi‐Monte Carlo pour l’intégration numérique en grande dimension, ainsi que les liens étroits qui existent entre ces méthodes et la construction de bons générateurs de valeurs aléatoires. Les travaux de recherche de Patrice Marcotte portent principalement sur la théorie et les applications des modèles d’équilibre, basés sur les inéquations variationnelles, pour des systèmes de transport urbain et interurbain. Patrice Marcotte se penche également sur les aspects algorithmiques de la programmation convexe et non convexe ainsi que sur la résolution de problèmes d’optimisation avec contraintes, formulées sous forme d’inéquations variationnelles, dans le contexte de la programmation à deux niveaux. Dans ce dernier cas, il étudie des algorithmes exacts ainsi que des heuristiques performantes, fondées soit sur une structure particulière du modèle, soit sur des techniques permettant une exploration intelligente de l’espace des solutions, comme la recherche avec tabous. Un cas particulier récemment abordé est celui de la tarification optimale de services (péages autoroutiers, gestion du revenu en transport aérien), ce qui a mené à une étude détaillée d’un modèle bicritère (temps et en argent) d’affectation du trafic doté de propriétés théoriques étonnantes ainsi qu’aux applications de la programmation à deux niveaux dans le domaine très porteur de la gestion du revenu. Les travaux de Jean‐Yves Potvin portent sur le développement de méthodes exactes et approchées, notamment les métaheuristiques (algorithmes génétiques, méthodes de recherche locale), pour résoudre divers problèmes de confection de tournées et d’horaires, de gestion en temps réel de flottes de véhicules, de planification et de gestion de réseaux de transport. Rapport annuel 2012‐2013 45 Centre interuniversitaire de recherche sur les réseaux
d’entreprise, la logistique et le transport (CIRRELT)
Fabian BASTIN, professeur agrégé, Jacques A. FERLAND, professeur titulaire, Emma FREJINGER, professeure adjointe, Bernard GENDRON, professeur titulaire, Abdelhakim HAFID, professeur agrégé, Pierre L’ÉCUYER, professeur titulaire, Patrice MARCOTTE, professeur titulaire, Jean‐Yves POTVIN, professeur titulaire Professeurs associés : T.G. Crainic, M. Gendreau, M. Toulouse Professeur émérite : M. Florian Au printemps 2006, le Centre de recherche sur les transports (CRT), créé en 1971 par le Conseil de l’Université de Montréal, s’est engagé avec plusieurs partenaires dans une démarche visant à la création d’un regroupement de chercheurs plus important et un champ de recherche plus vaste. Ce nouveau regroupement, le Centre interuniversitaire de recherche sur les réseaux d’entreprise, la logistique et le transport (CIRRELT), résulte de la fusion du CRT, du Centre de recherche sur les technologies de l’organisation réseau (CENTOR) de l’Université Laval et du groupe Polygistique de Polytechnique Montréal, auxquels se joignent les chercheurs de l’UQÀM regroupés autour de la Chaire de recherche industrielle du CRSNG en management logistique. En 2013, trois nouveaux partenaires institutionnels se sont intégrés au CIRRELT : l'École de technologie supérieure, l'Université Concordia et l'Université McGill. Le CIRRELT est donc un centre conjoint de huit institutions universitaires : Université de Montréal, HEC Montréal, Polytechnique Montréal, Université Laval, UQÀM, École de technologie supérieure, Université Concordia et Université McGill. Le champ d’expertise du CIRRELT couvre l’analyse, la conception et la gestion des réseaux logistiques et de transport. Le CIRRELT est un des plus grands centres de recherche universitaire au monde dans son domaine, regroupant un nombre important de professeurs, chercheurs, professionnels et étudiants de diverses disciplines. Les objectifs et la démarche du CIRRELT se traduisent de deux façons distinctes, mais complémentaires. D’une part, contribuer à la formation de chercheurs et de spécialistes de haut niveau susceptibles de s’intégrer ensuite dans diverses entreprises ou organismes œuvrant dans des champs d’expertise variés. D’autre part, permettre à ces entreprises ou organismes d’acquérir de nouvelles approches et de nouveaux instruments pour faciliter la formulation de leurs politiques, pour rationaliser leurs stratégies ou encore pour rendre plus efficaces et plus productives leurs opérations. En résumé, son programme vise la production d’un «savoir scientifique» et sa traduction en «savoir‐faire technologique». Les projets de recherche du CIRRELT où les professeurs et chercheurs du Département d’informatique et de recherche opérationnelle sont les plus impliqués portent sur la planification des réseaux et les technologies de l’information et de la décision, notamment en ce qui concerne le développement de modèles et d’algorithmes pour la conception et l’opération des réseaux logistiques, de transport et de télécommunications. Dans le cadre de ces axes, trois «tendances lourdes» se manifestent depuis quelques années et iront en s’amplifiant à l’avenir : la prise en compte de masses énormes de données (« big data »), ce qui implique la combinaison d’outils de recherche opérationnelle et d’apprentissage automatisé ; le passage des modèles de nature déterministe à des modèles stochastiques, c’est‐à‐dire où l’aléatoire et l’incertain sont explicitement pris en compte et jouent un rôle majeur ; le passage des modèles statiques aux modèles dynamiques, allant jusqu’à la prise en compte des décisions en temps réel. À la rencontre de l’informatique et de la recherche opérationnelle, plusieurs projets Rapport annuel 2012‐2013 46 s’orientent par ailleurs vers le recours à des environnements à architecture parallèle, pour des raisons de rapidité de traitement et de taille des problèmes. Le site Web du CIRRELT se trouve à : www.cirrelt.ca Rapport annuel 2012‐2013 47 PRIXETDISTINCTIONS
BRASSARD, Gilles  Citation Laureate (prévisions de Thomson Reuters pour le Prix Nobel), septembre 2012  Prix d'excellence, FRQNT, février 2013  Inauguration du «Prix de doctorat Gilles‐Brassard du CRSNG pour la recherche interdisciplinaire», dont la première lauréate a été Melanie Mastronardi, février 2013  Élection au titre de Fellow de la Royal Society (de Londres), mai 2013 L’ECUYER, Pierre  Chaire Internationale Inria, à l'Inria‐Rennes, France, pour 2013‐2018 McKENZIE, Pierre  Titulaire d'une chaire Digiteo depuis avril 2013 : http://www.digiteo.fr/chaires‐actuelles Rapport annuel 2012‐2013 48 LESPUBLICATIONS
Livres et chapitres de livres
BENGIO, Y. “Evolving culture vs local minima”, Growing Adaptive Machines: Integrating Development and Learning in Artificial Neural Networks, no. 557, pp. 109‐138, T. Kowaliw, N. Bredeche & R. Doursat, eds., Springer‐Verlag, 2014. BENGIO, Y. “Practical recommendations for gradient‐based training of deep architectures”, Tech. Rep. arXiv:1206.5533, U. Montreal, Lecture Notes in Computer Science, vol. 7700, Neural Networks: Tricks of the Trade Second Edition, Editors: Grégoire Montavon, Geneviève, B. Orr, Klaus‐Robert Müller, 2012. BENGIO, Y. et COURVILLE, A. “Deep learning of representations”, Handbook on Neural Information Processing, Springer: Berlin Heidelberg, 2013. BOTEV, Z. I., KROESE, D.P., RUBINSTEIN, R.Y. et L’ECUYER, P. “The Cross‐Entropy Method for Optimization”, Handbook of Statistics, Volume 31: Machine Learning, V. Govindaraju and C. R. Rao, Eds, North Holland, 2013. BRASSARD, G. et RAYMOND‐ROBICHAUD, P. “Can Free Will Emerge From Determinism in Quantum Theory?”, Is Science Compatible with Free Will?: Exploring Free Will and Consciousness in the Light of Quantum Physics and Neuroscience, A. Suarez and P. Adams (eds), Springer, pp. 41–61, 2013. BRUNETTE, I., TERRY, MA. et MEUNIER, J. “3D Corneal Shape after Deep Lamellar Endothelial Keratoplasty”, Corneal Topography: From Theory to Practice. Edited by Dr. Cynthia Roberts and Dr. Aylin Ertan. Kugler Publications, Amsterdam, The Netherlands, 335‐348, 2013. DUPUY, J., IEHL, J.‐C. et POULIN, P. “Quadtrees on the GPU”, GPU Pro 5, Wolfgang Engel, ed., CRC Press, (in press), 12 pages, 2013. EL‐MABROUK, N. et SANKOFF, D. “Analysis of Gene Order Evolution beyond Single‐Copy Genes”, Series. Methods in Molecular Biology; Vol. Evolutionary genomics: statistical and computational methods; Part II.; ed. J. Walker; Publisher: Springer (Humana), 2012. L’ECUYER, P. “Random Number Generation”, chapitre 3 du Handbook of Computational Statistics, Second Edition, J. E. Gentle, W. Haerdle, and Y. Mori, eds., Springer‐Verlag, 35–
71, 2012. L’ECUYER, P. “Random Number Generators”, Encyclopedia of Operations Research and Management Science, Third Edition, S. I. Gass et M. C. Fu, eds., Springer‐Verlag, 2012. LEONG, S., ROY, J., PARISIEN, M. et MAJOR, F. “Predict RNA 2D and 3D structure over the internet using MC‐Tools”, Handbook of RNA Biochemistry. Hartmann, Bindereif, Schön and Westhof Eds. Wiley‐ VCH, Weinheim, Germany, 2013. Rapport annuel 2012‐2013 49 MEUNIER, J. et BRUNETTE, I. “Toward a Computerized 3D Atlas of the Human Corneal Shape”, Corneal Topography: From Theory to Practice. Edited by Dr. Cynthia Roberts and Dr. Aylin Ertan. Kugler Publications, Amsterdam, The Netherlands, 315‐334, 2013. NIE, J.‐Y., GAO, J. et CAO, G. “Translingual Mining from Text Data”, Charu C. Aggarwal, ChengXiang Zhai: (eds.) Mining Text Data, pp. 323‐359, Springer, 2012. WOO, A. et POULIN, P. “Shadow Algorithms Data Miner”, AK Peters/CRC Press, 268 pages, 2012. Articles dans des revues avec comité de lecture
AÏMEUR, E. et LAFOND, M. “Governance in the Digital Age: How to Cope with Information Technology and Social Media”, Business Management Review, 2012. AÏMEUR, E., BRASSARD, G. et GAMBS, S. “Quantum Speed‐up for Unsupervised Learning”, Machine Learning 90(2):261–287, 2013. AÏMEUR, E., BRASSARD, G., GAMBS, S. et SCHONFELD, D. “P3ERS: Privacy‐Preserving PEer Review System”, Transactions on Data Privacy 5(3):553–578, 2012. ASTIER. E, HAFID, A. et ALJAHDALI, S. “An Efficient Mesh‐based Multicast Routing Protocol in Mobile ad hoc Networks”, Wireless Communications and Mobile Computing, 2012. AZI, N., GENDREAU, M. et POTVIN, J.‐Y. “A Dynamic Vehicle Routing Problem with Multiple Delivery Routes”, Annals of Operations Research 199(1), 103‐112, 2012. BAREKE, E., SPINELLA, J.‐F., VIDAL, R., HEALY, J., SINNETT, D. et CSŰRÖS, M. “Joint genotype inference with germline and somatic mutations”, BMC Bioinformatics, 14:S3, 2013. BASTIN, F. et CIRILLO, C. “Discrete choice estimators properties for finite population and simulation sample sizes”, Transportation Research Record 2302, pp. 23–28, 2012. BEAUDOU, L., GRAPPE, R. et HAHN, G. “Gathering information in a graph”, JCMCC 85, 65‐78, 2013. BELLEC, P., LAVOIE‐COURCHESNE, S., DICKINSON, P., LERCH, J., ZIJDENBOS, A. et EVANS, A. C. “The pipeline system for Octave and Matlab (PSOM): a lightweight scripting framework and execution engine for scientific workflows”, Front. Neuroinform. (2012) 6:7 doi: 10.3389/fninf.2012.00007, 2012. BEN ALI, R., HAFID, A. et REZGUI, J. “An Enhanced Reservation based Medium Access Control with Scheduling and Admission Control for Voice over Wireless Mesh Networks”, IEEE Transactions on Wireless Communications, 2012. BENGIO, Y., COURVILLE, A. et VINCENT, P. “Unsupervised feature learning and deep learning: A review and new perspectives”, IEEE Trans. Pattern Analysis and Machine Intelligence (PAMI), 2013. Rapport annuel 2012‐2013 50 BENGIO, Y., YAO, L., ALAIN, G. et VINCENT, P. “Generalized denoising auto‐encoders as generative models”, Advances in Neural Information Processing Systems 26 (NIPS’13), Nips Foundation (http ://books.nips.cc), 2013. BENYAMINA D., HAFID, A., HALLAM, N., GENDREAU, M. et MAUREIRA, J. C. “A Particle Swarm Optimization for Wireless Mesh Networks Design”, Computer Communications (COMCOM), 2012. BENYAMINA, D., HAFID, A. et GENDREAU, M. “Design of Scalable and Efficient Multi‐Radio Wireless Mesh Networks”, ACM Wireless Networks (WINET), 2012. BORCHERT, B., MCKENZIE, P. et REINHARDT, K. “Few product gates but many zeros”, Chicago Journal of Theoretical Computer Science 2013, no. 2, 1‐22, 2013. BORDES, A., GLOROT, X., WESTON, J. et BENGIO, Y. “A semantic matching energy function for learning with multi‐relational data”, Machine Learning: Special Issue on Learning Semantics, 2013. BOTEV Z. I., L’ECUYER, P., RUBINO, G., SIMARD, R. et TUFFIN, B. “Static Network Reliability Estimation Via Generalized Splitting”, INFORMS Journal on Computing, 25, 1, 56–71, 2013. BOTEV, Z.I., L’ECUYER, P. et TUFFIN, B. “Markov chain importance sampling with applications to rare event probability estimation”, Statistics and Computing, 25, 1, 56–71, 2013. BOUSHABA, M., HAFID, A., BELBEKKOUCHE, A. et GENDREAU, M. “Reinforcement Learning Based Routing in Wireless Mesh Networks”, ACM WINET, 2013. BOYER, M., EL HARTI, S., EL OUARARI, A., GANIAN, R., HAHN, G., MOLDENAUER, C., RUTTER, I. et VATSHELLE, M. “Cops‐and‐robbers: remarks and problems”, JCMCC 85, 141‐159, 2012. BRADLEY, D., NOWROUZEZAHRAI, D. et P. BEARDSLEY. “Image‐Based Reconstruction and Synthesis of Dense Foliage” ACM Transactions on Graphics (Proceedings of ACM SIGGRAPH 2013) 32.4, 2013. BRASSARD, G. et MÉTHOT, A.A. “Strict hierarchy among Bell theorems”, Theoretical Computer Science 486:4–10, 2013. BRASSARD, G., BROADBENT, A., HÄNGGI, E., MÉTHOT, A.A. et WOLF, S. “Classical, quantum and non‐signalling resources in bipartite games”, Theoretical Computer Science 486:61–72, 2013. BREWSTER, R.C., HAHN, G., LAMONT, S. W. et LIPKA, C. “Lexicographic products with high reconstruction numbers”, Discrete Mathematics 312, 1638‐1645, 2012. BROSSEAU‐VILLENEUVE, B., NIE, J.‐Y. et KANDO, N. “Latent word context model for information retrieval”, Information Retrieval Journal, (DOI : 10.1007/s10791‐013‐9220‐9), 2013. BROTCORNE, L., CIRINEI, F., MARCOTTE, P. et SAVARD, G. “A Tabu search algorithm for the network pricing problem”, Computers and Operations Research, 39, 2603–2611, 2012. Rapport annuel 2012‐2013 51 CADILHAC, M., FINKEL, A. et MCKENZIE, P. “Affine Parikh automata”, RAIRO ‐ Theoretical Informatics and Applications, 46, no. 4, pp. 511‐545, 2012. CADILHAC, M., FINKEL, A. et MCKENZIE, P. “Bounded Parikh automata”, International Journal of Foundations of Computer Science, 23, no. 8, pp. 1691‐1710, 2012. CARPENTIER, P.‐L., GENDREAU, M. et BASTIN, F. “Midterm Hydro Generation Scheduling Under Uncertainty Using the Progressive Hedging Algorithm”, Water Resources Research 49(5), pp. 2812‐2827, 2013. CHANNOUF, N. et L’ECUYER, P. “A Normal Copula Model for the Arrival Process in Call Centers”, International Transactions in Operational Research, 19 (2012), 771–787, 2012. CHEN, M., HAHN, G., RASPAUD, A. et WANG, W. “Some results on the injective chromatic number of graphs”, J.Comb.Optim 24, 299–318, 2012. COSTA, A., CORDEAU, J.‐F., GENDRON, B. et LAPORTE, G. “Accelerating Benders Decomposition with Heuristic Master Problem Solutions”, Pesquisa Operacional 32, pp. 3‐20, 2012. CÔTÉ J.‐F., M. GENDREAU et POTVIN, J.‐Y. “Large Neighborhood Search for the Pickup and Delivery Traveling Salesman Problem with Multiple Stacks”, Networks 60(1), 19‐30, 2012. CÔTÉ, J.‐F., ARCHETTI, C., SPERANZA, M.G., GENDREAU, M. et POTVIN, J.‐Y. “A Branch‐And‐Cut Algorithm for the the Pickup and Delivery Traveling Salesman Problem with Multiple Stacks”, Networks 60(4), 212‐226, 2012. CÔTÉ, M.‐C., GENDRON, B. et ROUSSEAU, L‐M. “Grammar‐Based Column Generation for Personalized Multi‐Activity Shift Scheduling”, INFORMS Journal on Computing, 25, pp. 461‐474, 2013. CRUZ, JA., BLANCHET, MF., BONIECKI, M., BUJNICKI, JM., CHEN, SJ., CAO, S., DAS, R., DING, F., DOKHOLYAN, NV., FLORES, SC., HUANG, L., LAVENDER, CA., LISI, V., MAJOR, F., MIKOLAJCZAK, K., PATEL, DJ., PHILIPS, A., PUTON, T., SANTALUCIA, J., SIJENYI, F., HERMANN, T., ROTHER, K., ROTHER, M., SERGANOV, A., SKORUPSKI, M., SOLTYSINSKI, T., SRIPAKDEEVONG, P., TUSZYNSKA, I., WEEL, KM., WALDSICH, C., WILDAUER, M., LEONTIS, NB., WESTHOF, E.F. “RNA‐Puzzles: a CASP‐like evaluation of RNA three‐dimensional structure prediction”, RNA 18(4):6120‐25, 2012. DAMGÅRD, I., FEHR, S., SALVAIL, L. et SCHAFFNER, C. “Secure Identification and QKD in the Bounded‐Quantum‐Storage Model”, TCS journal special issue on the 25th anniversary of Quantum Key Distribution, Elsevier, 2012. DAMGÅRD, I., PEDERSEN, T. et SALVAIL, L. “How to re‐use a one‐time pad safely and almost optimally even if P = NP”, TCS journal special issue on the 25th anniversary of Quantum Key Distribution, Elsevier, 2012. DAUPHIN, Y. et BENGIO, Y. “Stochastic ratio matching of rbms for sparse high‐dimensional inputs”, Advances in Neural Information Processing Systems 26 (NIPS’13), Nips Foundation (http://books.nips.cc), 2013. Rapport annuel 2012‐2013 52 DELALLEAU, O., CONTAL, E., THIBODEAU‐LAUFER, E., CHANDIAS FERRARI, R., BENGIO, Y. et ZHANG, F. “Beyond skill rating: Advanced matchmaking in ghost recon online”, IEEE Transactions on Computational Intelligence and AI in Games, vol. 4, pp. 167–177, 2012. DERBALI, L. et FRASSON, C. “Assessment of Learners’ Motivation during Interactions with Serious Games: a Study of some Motivational Strategies in Food‐Force”, Journal of Advances in Human‐Computer Interaction, 2012. DIESTEL, R., HAHN, G., MOHAR, B. eds. “Infinite Graphs: Introductions, Connections, Surveys”, numéro spécial de Discrete Mathematics 311, 2012. DOYON, J‐P, CHAUVE, C. et HAMEL, S. “An efficient method for exploring the space of gene tree/species tree reconciliations in a probabilistic framework”, IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol.9, No. 1, pp.26‐39, 2012. DUPUY, J., HEITZ, E., IEHL, J.‐C., POULIN, P., NEYRET, F. et OSTROMOUKHOV, V. “Linear Efficient Antialiased Displacement and Reflectance Mapping”, ACM Transactions on Graphics (Proceedings of SIGGRAPH Asia) 32(6), 2013. ELBENANI, B. et FERLAND, J. A. “An Exact Method for Solving the Manufacturing Cell Formation Problem”, International Journal of Production Research, 50 (15), 4038–4045, 2012. ELBENANI, B., FERLAND, J. A. et BELLEMARE, J. “Genetic Algorithm and Large Neighborhood Search to Solve the Cell Formation Problem”, Expert Systems with Applications, 39, pp 2408–2414. 2012. FOSGERAU, M., FREJINGER, E. et KARLSTROM, M. “A link based network route choice model with unrestricted choice set”, Transportation Research Part B, 56:70‐80, 2013. FRANGIONI, A. et GENDRON, B. “A Stabilized Structured Dantzig‐Wolfe Decomposition Method”, Mathematical Programming, 140, pp. 45‐76, 2013. GAGNON, Y., BLANCHETTE, M. et EL‐MABROUK, N. “A flexible ancestral genome reconstruction method based on gapped adjacencies”, BMC Bioinformatics, 13 (Suppl. 19): S4, 2012. GAUTHIER, C.J., MADJAR, C., DESJARDINS‐CRÉPEAU, L., BELLEC, P., BHERER, L. et HOGE, R. D. “Age‐dependence of hemodynamic response characteristics in human fMRI”, Neurobiology of aging, Volume 134, Issue 5, pp. 1469‐1485, 2013. GEORGIEV, I., KŘIVÁNEK, J., HACHISUKA, T., NOWROUZEZAHRAI, D. et JAROSZ, W. “Joint Importance Sampling of Low‐Order Volumetric Scattering”, ACM Transactions on Graphics (Proceedings of ACM SIGGRAPH Asia 2013) 32.6, 2013. GKOGKAS, CG., KHOUTORSKY, A., RAN, I., RAMPAKAKIS, E., NEVARKO, T., WEATHERILL, DB., VASUTA, C., YEE, S., TRUITT, M., DALLAIRE, P., MAJOR, F., LASKO, P., D. RUGGERO, K. NADER, J.C. LACAILLE, N. SONENBERG. “Autism‐related deficits via dysregulated eIF4E‐
dependent translational control”, Nature 2013 493(7432):371‐7, 2013. Rapport annuel 2012‐2013 53 GOODFELLOW, I., COURVILLE, A. et BENGIO, Y. “Scaling up Spike‐and‐Slab Models for Unsuper‐ vised Feature Learning”, IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), Special Issue, 2013. GOTTI, F., LANGLAIS, P., LAPALME, G., CHAREST, S. et BRUNEL, E. “Atténuation des surdétections d'un correcteur grammatical de qualité commerciale”, TAL, 53(3):33–66, 2012. GOTTI, F., LAPALME, G. et LANGLAIS, P. “Designing a machine translation system for Canadian weather warnings: A case study”, Natural Language Engineering, 1(1):1–36, 2013. GUEVARA, E., BERTI, R., LONDONO, I., XIE, N., BELLEC, P., LESAGE, F. et LODYGENSKY, G.A. “Imaging of an inflammatory injury in the newborn rat brain with photoacoustic tomography”, PLoS ONE 2013 8(12): e83045, 2013. HAHN, G. “Cops and robbers on infinite graphs”, KAM‐DIMATIA, 2013. HAYDAR, M., PETRENKO, A., BORODAY, S. et SAHRAOUI, H. “A Formal Approach for Run‐Time Verification of Web Applications using Scope‐Extended LTL”, Information and Software Technology, Volume 55, Issue 12, 2013. HEITZ, E., NOWROUZEZAHRAI, D., POULIN, P. et F. NEYRET. “Filtering Non‐Linear Transfer Functions on Surfaces”, IEEE Trans. on Visualization and Computer Graphics, extended version from ACM Symposium on Interactive 3D Graphics and Games, 2013. HELOU, C., GUANDOUZ, A. et AÏMEUR, E. “A Privacy Awareness System for Facebook Users”, Journal of Information Security Research, 2012. HOLLOWAY, P., SWENSON, K., ARDELL, D. et EL‐MABROUK, N. “Ancestral Genome Organization: an Alignment Approach”, Journal of Computational Biology, 2013. IBRAHIM, R. et L’ECUYER, P. “Forecasting Call Center Arrivals: Fixed‐Effects, Mixed‐Effects, and Bivariate Models”, Manufacturing and Service Operations Management, 15, 1, 72–85, 2013. JAAFAR, F., GUEHENEUC, Y‐G., HAMEL, S. et ANTONIOL, G. “Detecting Asynchrony and Dephase Change Patterns by Mining Software Repositories”, Journal of Software: Evolution and Process, early version at: http://dx.doi.org/10.1002/smr.1635, 2013. JAOUA, A., L’ECUYER, P. et DELORME, L. “Call‐Type Dependence in Multiskill Call Centers”, Simulation: Transactions of the Society for Modeling and Simulation International, http://sim.sagepub.com/content/early/2013/04/01/0037549713479405, 2013. JRAIDI, I. et FRASSON, C. “Uncertainty Modeling through a Multimodal Sensor based Approach”, Journal of Educational Technology and Society, 16 (1), 219–230, 2013. KELLY, C., TORO, R., DI MARTINO, A., COX, C. L., BELLEC, P., CASTELLANOS, F. X. et MILHAM, M. P. “A convergent functional architecture of the insula emerges across imaging modalities”, NeuroImage 2012 61(4), pp. 1129‐1142, 2012. Rapport annuel 2012‐2013 54 KESSENTINI, M., SAHRAOUI, H., BOUKADOUM, M. et BENOMAR, O. “Search‐Based Model Transformation by Example”, Software and Systems Modeling Journal (SoSyM), 11(2): 209‐
226, 2012. KHOUKHI L., EL‐MASRI, A., SARDOUK, A., HAFID, A. et GAITI, D. “Toward Fuzzy Traffic Adaptation Solution in Wireless Mesh Networks”, IEEE Transactions on Computers, 2012. KOONIN E, V., CSŰRÖS, M. et ROGOZIN, I.B. “Whence genes in pieces: reconstruction of the exon‐intron gene structures of the last eukaryotic common ancestor and other ancestral eukaryotes”, WIREs RNA, 4 :93–105, 2013. LANGLAIS, P. et DROUIN, P. “Texto4science: a Quebec French database of annotated short text messages”, Lingvisticae Investigationes, 35(2):237–259, 2012. LUO, H., CSŰRÖS, M., HUGHES, A. L. et MORAN, M. A. “Evolution of different life history strategies in marine alphaproteobacteria”, mBio, 4(4) :e00373‐13, 2013. MADJAR, C., GAUTHIER, C. J., BELLEC, P., BIRN, R. M., BROOKS, J.C.W. et HOGE, R. D. “Task‐
related BOLD responses and resting‐state functional connectivity during physiological clamping of end‐tidal CO2”, NeuroImage 2012 61(1), pp. 41‐49, 2012. MARCOTTE, P., SAVARD, G. et SCHOEB, A., “A hybrid approach to the solution of a pricing model with continuous demand segmentation”, EURO Journal on Computational Optimization 1, 117–142, 2013. MARIAN, A., NADA, O., LÉGARÉ, F., MEUNIER, J., VIDAL, F., ROY, S., BRUNETTE, I. et COSTANTINO, S. “Smoothness assessment of corneal stromal surfaces”, J of Cataract and Refractive Surgery, 39(1):118‐27, 2013. MARTINEZ, K., SOLANA, A., BURGALETA, M., HERNANDEZ‐TAMAMES, J., ALVAREZ‐LINERA, J., ROMAN, F., ALFAYATE, E., PRIVADO, J., ESCORIAL, S., QUIROGA, M., KARAMA, S., BELLEC, P. et COLOM, R. “Changes in resting‐state functionally connected parieto‐frontal networks after videogame practice”, HumBrain Mapping, Volume 34, Issue 12, pp. 3143‐3157, 2013. MEMISEVIC R., SIGAL, L. et FLEET, D.J. “Shared kernel information embedding for discriminative inference,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 34, pp. 778–790, 2012. MEMISEVIC, R. “Learning to relate images”, IEEE Transactions on Pattern Analysis and Machine Intelligence, special issue on Learning Deep Architectures, 2013. MESNIL, G., BORDES, A., WESTON, J., CHECHIK, G. et BENGIO, Y. “Learning semantic representations of objects and their parts”, Machine Learning: Special Issue on Learning Semantics, 2013. Rapport annuel 2012‐2013 55 MESSÉ, A., MARRELEC, G., BELLEC, P., PERLBARG, V., DOYON, J., PÉLÉGRINI‐ISSAC, M. et BENALI, H. “Comparing structural and functional graph theory features in the human brain using multimodal MRI”, IRBM, BioMedical Engineering and Research, Volume 33, Issue 4, September 2012, pp. 244‐253, 2012. MIGNOTTE, M. “A non‐stationary MRF model for image segmentation from a soft boundary map”, Pattern Analysis and Applications, Springer‐Verlag, 2012. MIGNOTTE, M. “MDS‐based segmentation model for the fusion of contour and texture cues in natural images”, Computer Vision and Image Understanding, 116(9) :981‐990, 2012. MUNGER D., L’ECUYER, P., BASTIN, F., CIRILLO, C. et TUFFIN, B. “Estimation of the Mixed Logit Likelihood Function by Randomized Quasi‐Monte Carlo”, Transportation Research Part B: Methodological, 46 (1), 305–320, 2012. NIVOLIERS, V., GÉROT, C., OSTROMOUKHOV, V. et STEWART, N.F. “L‐system construction of one‐dimensional subdivision schemes”, Computer Aided Geometric Design (29), No. 2, 150‐161, 2012. NOVAK, J., NOWROUZEZAHRAI, D., DACHSBACHER, C. et JAROSZ, W. “Progressive Virtual Beam Lights”, Computer Graphics Forum (Eurographics Symposium on Rendering) 31.2. Featured on Proceedings Cover, 2012. NOVAK, J., NOWROUZEZAHRAI, D., DACHSBACHER, C. et JAROSZ, W. “Virtual Ray Lights”, ACM Transactions on Graphics (Proceedings of ACM SIGGRAPH), 2012. NOWROUZEZAHRAI D., SIMARI, P. et FIUME, E. “Sparse Zonal Harmonic Factorization for Efficient SH Rotation”, ACM Transactions on Graphics – Presented at SIGGRAPH (2012), 2012. OUNI A., KESSENTINI, M., SAHRAOUI, H. et BOUKADOUM, M. “Maintainability Defects Detection and Correction: A Multi‐Objective Approach”, Autom. Softw. Eng. Journal, 20(1): 47‐79, 2013. PACANOWSKI, R., SALAZAR CELIS, O., SCHLICK, C., GRANIER, X., POULIN, P. et CUYT, A. “Rational BRDF”, IEEE Trans. on Visualization and Computer Graphics, pp. 1824–1835, 18 (11), (also presented at ACM Symposium on Interactive 3D Graphics and Games 2013), 2012. PAILLÉ, G.‐P. et POULIN, P. “As‐Conformal‐As‐Possible Discrete Volumetric Mapping”, Computers & Graphics, pp. 427–433, 36 (5), August 2012. (Shape Modeling International 2012), 2012. PAILLÉ, G.‐P., POULIN, P., et LÉVY, B. “Fitting Polynomial Volumes to Surface Meshes with Voronoi Squared Distance Minimization”, Computer Graphic Forum, pp. 103–112, 32 (5), (EG Symposium on Geometry Processing 2013), 2013. PAPAS, M., HOUIT, T., NOWROUZEZAHRAI, D., GROSS, M. et JAROSZ, W. “The Magic Lens : Refractive Steganography”, ACM Transactions on Graphics (Proceedings of ACM SIGGRAPH Asia 2012), 2012. Rapport annuel 2012‐2013 56 PARISIEN, M. et MAJOR, F. “Determining RNA Three‐Dimensional Structures Using Low‐
Resolution Data”, J Struct Biol, 179(3):252‐60, 2012. PIEUME, C.O., MARCOTTE, P., FOTSO, L.P. et SIARRY, P. “Generating Efficient Solutions in Bilevel Multi‐Objective Programming Problems”, American Journal of Operations Research 3, 289–298, 2013. POSTA, M., FERLAND, J. A. et MICHELON, P. “An Exact Method with Variable Fixing for Solving the Generalized Assignment Problem”, Computational Optimization and Applications, 52, 629–644, 2012. RAMAMOORTHI, R., ANDERSON, J., MEYER, M. et NOWROUZEZAHRAI, D. “A Theory of Monte Carlo Visibility Sampling”, ACM Transactions on Graphics – Presented at SIGGRAPH, 2012. REINHARZ, V., MAJOR, F. et WALDISPÜHL, J. “Towards 3D structure prediction of large RNA molecules: an integer programming framework to insert local 3D motifs in RNA secondary structure”, Bioinformatics, 28(12):i207‐i214, 2012. REZGUI, J., HAFID, A. et GENDREAU, M. “Optimization Model for Handoff‐Aware Channel Assignment Problem for Multi‐Radio Wireless Mesh Networks”, Computer Networks (COMNET), 2012. ROUGIER, C., MEUNIER, J. et al. “3D head tracking for fall detection using a single calibrated camera”, Image and Vision Computing, 31 (3), 246‐254, 2013. SCHMIDT, T‐W., NOVAK, J., MENG, J., KAPLANYAN, A. S., REINER, T., NOWROUZEZAHRAI, D. et DACHSBACHER, C. “Path‐Space Manipulation of Physically‐Based Light Transport”, ACM Transactions on Graphics (Proceedings of ACM SIGGRAPH 2013) 32.4, 2013. SINESCU, V. et L’ECUYER, P. “Variance Bounds and Existence Results for Randomly Shifted Lattice Rules”, Journal of Computational and Applied Mathematics, 236, 3296–3307, 2012. SOKOLOVA, M. et LAPALME, G. “How much do we say? Using informativeness of negotiation text records for early prediction of negotiation outcomes”, Group Decision and Negotiation, 21(3) :363–379, Journal extension of GDN’07, 2012. SONG, J., DESPHANDE, A. S., MEIER, T. B., TUDORASCU, D. L., VERGUN, S., NAIR, V.A., BISWAL, B.B., MEYERAND, M.E., BIRN, R.M., BELLEC, P. et PRABHAKARAN, V. “Age‐Related Differences in Test‐Retest Reliability in Resting‐State Brain Functional Connectivity”, PLoS ONE, Vol. 7, No. 12, 2012. ST‐LOUIS, P., GENDRON, B. et HERTZ, A. “Total Domination and the Caccettta‐Haggkvist Conjecture”, Discrete Optimization, 9, pp. 236‐240, 2012. SWENSON, K. et EL‐MABROUK, N. “Gene trees and Species trees: Irreconcilable Differences”, BMC Bioinformatics, 13 (Suppl. 19): S15, 2012. Rapport annuel 2012‐2013 57 SWENSON, K., DOROFTEI, A. et EL‐MABROUK, N. “Gene tree correction for reconciliation and species tree inference”, Algorithms for Molecular Biology, 7(1):31, 2012. TOUSSAINT, P., PERLBARG, V., BELLEC, P., DESARNAUD, S., LACOMBLEZ, L., DOYON, J., HABERT, M.‐O. et BENALI, H. “Resting state FDG‐PET functional connectivity as an early biomarker of Alzheimer's disease using conjoint univariate and independent component analyses”, NeuroImage 2012 63(2), pp. 936–946, 2012. VAUCHER, S., MOULARTB, A., SAHRAOUI, H. et HABRA, N. “Automated Evaluation of Web Site Navigability: an Empirical Validation of Multi‐level Quality Models”, Journal of Software Evolution & Process, 25 (8), 2013. VAUCHER, S., MOULARTB, A., SAHRAOUI, H. et HABRA, N. “Automated Evaluation of Web Site Navigability: an Empirical Validation of Multi‐level Quality Models”, Journal of Software Maintenance and Evolution: Research and Practice, online first, 2012. WANG, S., HAFID, A., ZHAO, H., HUANG, S., XIONG, C. et WEI, J. “Towards Wide‐open, Adaptable DCF Implementation for Dynamic Networks”, China Communications, 2012. WU, H.C., LUK, R.W.P., WONG, K.F. et NIE, J.‐Y. “A split‐list approach for relevance feedback in information retrieval”, Information Processing and Management, 48(5), pp. 969‐977, 2012. Actes de congrès
ABDEEN, H., SAHRAOUI, H. et SHATA, O. “How We Design Interfaces, and How To Assess It”, Int. Conference on Software Maintenance (ICSM), 2013. ABOZEID, A., ABDEL RAZEK, M. et FRASSON, C. “Towards Social Mobile Blended Learning”, The 11th International Conference on Intelligent Tutoring Systems (ITS 2012). Chania, Greece. June 14‐18, 2012. AÏMEUR, E., BRASSARD, G. et MOLINS, P. “Reconstructing Profiles from Information Disseminated on the Internet”, Workshop for Security and Privacy in Social Networks (SPSN), held in conjugation with ASE/IEEE SocialCom 2012, 875‐883, Amsterdam, 2012. ALLOGNON, O., FODÉ, T. et AÏMEUR, E. “Learning by Challenging: a Social Network and Privacy Based Approach”, ICEEI‐12, International Conference on Education & E‐Learning Innovations, Sousse, Tunisia, 2012. AUVINET, E., MEUNIER, J. et MULTON, F. “Lower limb movement asymmetry measurement with a depth camera”, Int. Conf. IEEE Eng. in Medicine and Biology Society, San Diego, Aug 2012. AUVINET, E., MEUNIER, J. et MULTON, F. “Multiple Depth Cameras Calibration and Body Volume Reconstruction for Gait Analysis”, International Conference on Information Sciences, Signal Processing and their Applications (ISSPA), Montréal, 2012. Rapport annuel 2012‐2013 58 AUVINET, E., MEUNIER, J., ONG, J., DURR, G., GILCA, M. et BRUNETTE, I. “Methodology for the construction and comparison of 3D models of the human cornea”, Int. Conf. IEEE Engineering in Medicine and Biology Society, San Diego, 2012. BARRADI, M., HAFID, A. et ALJAHDALI, S. “Highway multihop broadcast protocols for vehicular networks”, IEEE ICC, 2012. BASTIN, F. “Bias evaluation and reduction for sample‐path optimization, Monte Carlo Methods and Applications”, Proceedings of the 8th IMACS Seminar on Monte Carlo Methods, éditeurs : Karl K. Sabelfeld, Ivan Dimov et Mario K. Ullrich, pp. 47–57, De Gruyter, Berlin, Germany, 2013. BAUER, F. et MEMISEVIC, R. “Feature grouping from spatially constrained multiplicative interaction”, in International Conference on Representation Learning (ICLR), 2013. BEHLE, C., KREBS, A., LANGE, K.‐J. et McKENZIE, P. “The lower reaches of circuit uniformity”, Math. Foundations of Comp. Sci. (MFCS 2012), Springer, pp. 590‐602, 2012. BELABED, A., AÏMEUR, E. et CHIKH, M.A. “A personalized whitelist approach for phishing webpage detection”, The Seventh International Conference on Availability, Reliability, and Security (ARES‐12), Prague, 2012. BELLEC P. “Mining the Hierarchy of Resting‐State Brain Networks: Selection of representative clusters in a multiscale structure”, Proceedings of the 2013 International Workshop on Pattern Recognition in Neuroimaging (PRNI), IEEE, pp. 54‐57, 2013. BENAMEUR, S., MIGNOTTE, M. et LAVOIE, F. “An homomorphic filtering and Expectation Maximization approach for the point spread function estimation in ultrasound imagery”, SPIE Medical Imaging 2012, SPIE’12, no 8295A‐28, vol. 8295A, San Francisco, CA, USA, 2012. BENGIO, Y., MESNIL, G., DAUPHIN, Y. et RIFAI, S. “Better mixing via deep representations”, in ICML’2013, 2013. BENOMAR, O., SAHRAOUI, H. et POULIN P. “Visualizing Software Dynamicities with Heat Maps”, IEEE Working Conference on Software Visualization (VISSOFT), 2013. BENZAID, B., DONDI, R. et EL‐MABROUK, N. “Duplication‐Loss Genome Alignment: Complexity and Algorithm”, Language and Automata Theory and Applications, (LATA), LNCS 7810, pp 116‐127, 2013. BLONDIN, M. et McKENZIE, P. “The complexity of intersecting finite automata having few final states”, Proceedings in 7th Int. Computer Science in Russia Conf. (CSR 2012), Springer, pp. 31‐42, 2012. BORDES, A., GLOROT, X., WESTON, J. et BENGIO, Y. “Joint learning of words and meaning representations for open‐text semantic parsing”, AISTATS, 2012. Rapport annuel 2012‐2013 59 BOTEV Z., L’ECUYER, P. et TUFFIN, B. “Modeling and Estimating Small Unreliabilities for Static Networks with Dependent Components”, Proceedings of SNA&MC 2013: Supercomputing in Nuclear Applications and Monte Carlo, 2013. BOTEV, Z., L’ECUYER, P. et TUFFIN, B. “Dependent Failures in Highly‐Reliable Static Networks”, Proceedings of the 2012 Winter Simulation Conference, IEEE Press, 2012. BOUCHOUCHA, A., SAHRAOUI, H. et L’ECUYER, P. “Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs”, Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE), V. Cortellessa and D. Varró (Eds.), Lecture Notes in Computer Science 7793, 99–113, Springer‐Verlag, 2013. BOUDIN, F., NIE, J.‐Y. et DAWES, M. “Using a Medical Thesaurus to Predict Query Difficulty”, ECIR 2012, pp. 480‐484, 2012. BOULANGER‐LEWADOWSKI N., BENGIO, Y. et VINCENT, P. “Modeling temporal dependencies in high‐dimensional sequences: Application to polyphonic music generation and transcription”, Proceedings of the Twenty‐nine International Conference on Machine Learning (ICML’12), ACM, 2012. BOULANGER‐LEWANDOWSKI, N., BENGIO, Y. et VINCENT, P. “Discriminative non‐negative matrix factorization for multiple pitch estimation”, ISMIR, 2012. BOUSHABA, M., HAFID, A. et GENDREAU, M. “Local Node Stability‐Based Routing for Wireless Mesh Networks”, IEEE WCNC, 2013. BOYER, M., GELLES, R. et MOR, T. “Attacks on fixed apparatus quantum key distribution schemes”, Theory and Practice of Natural Computing ‐ First International Conference, TPNC 2012, Tarragona, Spain, October 2‐4, 2012. Proceedings, volume 505 of Lecture Notes in Computer Science. Springer, pages 9 –10, 2012. BRADFORD, J.L., NOWROUZEZAHRAI, D., JAROSZ, W. et SLOAN, PP. “Delta Radiance Transfer”, Symposium on Interactive 3D Graphics and Games. Costa Mesa, CA : ACM, 2012. BROADBENT, A., JEFFERY, S., RANELLUCCI, S. et TAPP, A. “Trading robustness for correctness and privacy in certain multiparty computations, beyond an honest majority”, ICITS 2012, 2012. BOURDAILLET, J. et LANGLAIS, P. “Identifying infrequent translations by aligning non parallel sentences”, in Tenth Biennale Conference of the Association for Machine Translation in the Americas, San Diego, CA, 2012. CADAVID, J., BAUDRY, B. et SAHRAOUI, H. “Searching the boundaries of a modeling space to test metamodels”, Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012. CADILHAC, M., FINKEL, A. et McKENZIE, P. “Unambiguous constrained automata, Developments in language theory”, (DLT 2012), Springer, pp. 239‐250, 2012. Rapport annuel 2012‐2013 60 CHALFOUN, P. et FRASSON, C. “Cognitive priming: assessing the use of non‐conscious perception to enhance learner's reasoning ability”, The 11th International Conference on Intelligent Tutoring Systems (ITS 2012). Chania, Greece. June 14‐18, 2012. CHAOUACHI, M. et FRASSON, C. “Mental Workload, Engagement and Emotions: an Exploratory Study for Intelligent Tutoring Systems”, The 11th International Conference On Intelligent Tutoring Systems (ITS 2012). Chania, Greece. June 14‐18, 2012. DAHMANE, M. et MEUNIER, J. “SIFT‐flow Registration for Facial Expression Analysis Using Gabor Wavelets”, International Conference on Information Sciences, Signal Processing and their Applications (ISSPA), Montréal, 2012. DERBALI, L. et FRASSON, C. “Exploring the Effects of Prior Video‐Game Experience on Learner’s Motivation during Interactions with HeapMotiv”, The 11th International Conference On Intelligent Tutoring Systems (ITS 2012). Chania, Greece. June 14‐18, 2012. DERBALI, L., GHALI, R. et FRASSON, C. “Assessing motivational strategies in Serious Games using Hidden Markov Models”, FLAIRS 2013, The 26th International FLAIRS Conference, AAAI Press, May 22‐24, St. Pete Beach, Florida, USA, 2013. DERBALI, L., GHALI, R. et FRASSON, C. “Assessing Motivational Strategies in Serious Games using Hiddem Markov Models”, FLAIRS Conference, St Pete, Florida, 2013. DESJARDINS, G., PASCANU, R., COURVILLE, A. et BENGIO, Y. “Metric‐Free Natural Gradient for Joint‐Training of Boltzmann Machines”, Proceedings of the 1st International Conference on Learning Representations (ICLR), 2013. DONDI, R. et EL‐MABROUK, N. “Aligning and labeling genomes under the duplication‐loss model”, Computability in Europe (CIE), 2013. DONDI, R. et EL‐MABROUK, N. “Minimum Leaf Removal for Reconciliation: Complexity and Algorithms”, Combinatorial Pattern Matching (CPM), LNCS 7354, pp. 399‐412, 2012. DUPUIS, F., NIELSEN, J. et SALVAIL, L. “Actively Secure Two‐Party Evaluation of any Quantum Operation”, dans les actes de CRYPTO 2012, Springer‐Verlag, Santa‐Babara, Californie, 2012. DUSEAU, F., DUFOUR, B. et SAHRAOUI, H. “Vasco: A visual approach to explore object churn in framework‐intensive applications”, Int. Conference on Software Maintenance (ICSM), 2012. FAUNES, M., CADAVID, J., BAUDRY, B., SAHRAOUI, H. et COMBEMALE B. “Automatically Searching for Metamodel Well‐Formedness Rules in Examples and Counter‐Examples”, International Conference on Model Driven Engineering Languages and Systems (MODELS), 2013. Rapport annuel 2012‐2013 61 FAUNES, M., SAHRAOUI, H. et BOUKADOUM, M. “Generating model transformation rules from examples using an evolutionary algorithm”, 27th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2012. FAUNES, M., SAHRAOUI, H. et BOUKADOUM, M. “Genetic‐Programming Approach to Learn Model Transformation Rules from Examples”, 6th International Conference on Model Transformation (ICMT), 2013. FERREIRA, F., PIENTKA, B. et MONNIER, S. “Compiling Contextual Objects : Bringing Higher‐
Order Abstract Syntax to Programmers”, Programming Languages meets Program Verification” (PLPV’13), 12 pages, Rome, Italie, 2013. FODÉ, T. et AÏMEUR, E. “Evaluation of Enterprise Training Programs Using Business Process Management”, the 8th International Conference on Web Information Systems and Technologies, WEBIST‐12, Portugal, 2012. FOURMIGUE, A., GIRODIAS, B., GHEORGHE, L., NICOLESCU, G. et ABOULHAMID, E.M. “Wireless Design Platform Combining Simulation and Testbed Environments”, Design Technology for Heterogeneous Embedded Systems. G. Nicolescu, I. O'Connor and C. Piguet (Eds.), 2012. GAGNON, Y., BLANCHETTE, M. et EL‐MABROUK, N. “A flexible ancestral genome reconstruction method based on gapped adjacencies”, RECOMB (16th Annual International Conference on Research in Computational Molecular Biology), 2012. GAO, J. et NIE, J‐Y. “Towards Concept‐Based Translation Models Using Search Logs for Query Expansion”, CIKM, 2012. GENEST, P.‐E. et LAPALME, G. “Fully abstractive approach to guided summarization”, Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics (Volume 2 : Short Papers), pages 354–358, Association for Computational Linguistics. Jeju Island, Korea, 2012. GOODFELLOW, I., COURVILLE, A. et BENGIO, Y. “Large‐Scale Feature Learning With Spike‐and‐Slab Sparse Coding”, Proceedings of the 29th International Conference on Machine Learning (ICML), 2012. GOODFELLOW, I., WARDE‐FARLEY, D., MIRZA, M., COURVILLE, A. et BENGIO, Y. (2013) “Maxout Networks”, Proceedings of the 30th International Conference on Machine Learning (ICML), 2013. GOTTI, F., LANGLAIS, P. et FARZINDAR, A. “Translating governments and organizations tweet feeds: Specificities, problems and (some) fixes” in Workshop on Language Analysis in Social Media (LASM) at NAACL HLT 2013, pages 80–89, Atlanta, Georgia, USA, 2013. HACHISUKA T., JAROSZ, W., GEORGIEV, I., KAPLANYAN, A. et NOWROUZEZAHRAI, D. “State of the Art in Photon Density Estimation”, ACM SIGGRAPH Asia 2013 Courses. SIGGRAPH Asia ’13. Hong Kong, China : ACM, 2013. Rapport annuel 2012‐2013 62 HASSAINE, S., GUEHENEUC, Y.G., HAMEL, S. et GIULIANO, A. “ADvISE: Architectural Decay In Software Evolution”, CSMR 2012 (16th European Conference on Software Maintenance and Reengineering), pp. 267‐276, 2012. HE, J., NIE, J.‐Y., LU, Y. et ZHAO, W.X. “Position‐Aligned Translation Model for Citation Recommendation”, SPIRE, pp.251‐263, 2012. HEITZ, E., NOWROUZEZAHRAI, D., POULIN, P. et NEYRET, F. “Filtering Color Mapped Textures and Surfaces”, ACM Siggraph Symposium on Interactive 3D Graphics and Games. Winner : Best paper award. New York, NY, USA : ACM, 2013. HOLLOWAY, P., SWENSON, K., ARDELL, D. et EL‐MABROUK, N. “Evolution of Genome Organization by Duplication and Loss: an Alignment Approach”, 16th Annual International Conference on Research in Computational Molecular Biology (RECOMB), LNCS/LNBI 7262, pp. 94‐112, 2012. HUYNH, HH., NGUYEN, TN. et MEUNIER, J. “Real‐time Video‐based Fall Detection using Motion Gradients and Shape Features”, IEEE Int. Symp. on Signal Proc. and Information Tech., 2012. IBRAHIM R., L’ECUYER, P., REGNARD, N. et SHEN, H. “On the Modeling and Forecasting of Call Center Arrivals”, Proceedings of the 2012 Winter Simulation Conference, IEEE Press, 2012. JAAFAR, F., GUÉHÉNEUC, Y.‐G. et HAMEL, S. “Analysing Anti‐patterns Static Relationships with Design Patterns”, PPAP 2013 (First Workshop on Patterns Promotion and Anti‐patterns Prevention), 6 pages, 2013. JAAFAR, F., GUÉHÉNEUC, Y.‐G., HAMEL, S. et KHOMH, F. “Mining the Relationship Between Anti‐
Patterns Dependencies and Fault‐proneness”, WCRE 2013 (20th Working Conference on Reverse Engineering), pp. 351‐360, 2013. JAAFAR, F., HASSAINE, S., GUÉHÉNEUC, Y.‐G., HAMEL, S. et ADAMS, B. “On the Relationship Between Program Evolution and Fault‐proneness: An Empirical Study”, CSMR 2013 (17th European Conference on Software Maintenance and Reengineering), pp. 15‐24, 2013. JRAIDI, I., CHALFOUN, P. et FRASSON, C. “Implicit Strategies for Intelligent Tutoring Systems”, The 11th International Conference on Intelligent Tutoring Systems (ITS 2012). Chania, Greece. June 14‐18, 2012. JRAIDI, I., CHAOUACHI, M. et FRASSON, C. “A dynamic Multimodal Approach for Assessing Learner's Interaction Experience”, 15th ACM International Conference on Multimodal Interaction (ICMI2013). Sydney, Australia, December 9‐13, 2013. JRIDI, J.E., SAHRAOUI, H. et LANGLAIS, P. “Program analysis using interactive and visual querying”, in 4th International Workshop on Search‐Driven development: Users, Infrastructure, Tools and Evaluation, Zurich, Switzerland, 2012. KAMYSHANSKA, H. et MEMISEVIC, R. “On autoencoder scoring”, International Conference on Machine Learning, 2013. Rapport annuel 2012‐2013 63 L’ECUYER, P. et MUNGER, D. “Constructing Adapted Lattice Rules Using Problem‐Dependent Criteria”, Proceedings of the 2012 Winter Simulation Conference, IEEE Press, 2012. L’ECUYER, P. et MUNGER, D. “On the Choice of Figure of Merit for Randomly‐Shifted Lattice Rules”, invited paper for the book Monte Carlo and Quasi Monte Carlo Methods 2010 , H. Wozniakowski et L. Plaskota, Eds., Springer‐Verlag, Berlin, 133–159, 2012. L’ECUYER, P., SAGGADI, S. et TUFFIN, B. “An Adaptive Zero‐Variance Importance Sampling Approximation for Static Network Dependability Evaluation”, Proceedings of SNA&MC 2013: Supercomputing in Nuclear Applications and Monte Carlo, forthcoming, 2013. LAFOND, M., BROSSEAU, P. et AÏMEUR, E. “Privacy Invasion in Business Environments”, Tenth Annual Conference on Privacy, Security and Trust, (PST‐12) Paris, 2012. LAFOND, M., SWENSON, K. et EL‐MABROUK, N. “An optimal reconciliation algorithm for gene trees with polytomies”, Workshop on Algorithms in Bioinformatics (WABI), LNCS 7534, pp. 106‐122, 2012. LAMRAOUI, F. et LANGLAIS, P. “Yet another fast, robust and open source sentence aligner. Time to reconsider sentence alignment?”, in XIV Machine Translation Summit, pages 77‐84, Nice, France, 2013. LANGLAIS, P. “Formal analogy for natural language processing: a review of issues to be adressed”, 1st International Workshop Similarity and Analogy‐based Methods in AI (ECAI Workshop), pages 49–55, Montpellier, France, 2012. LANGLAIS, P. “Mapping source to target strings without alignment by analogical learning: A case study with transliteration”, in Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), pages 684–689, Sofia, Bulgaria, 2013. LANGLAIS, P., DROUIN, P., PAULUS, A., ROMPRÉ BRODEUR, E. et COTTIN, F. “Texto4Science: a Quebec French Database of Annotated Short Text Messages”, 8th LREC, Istanbul, Turkey, 2012. LAPALME, G., LANGLAIS, P. et COTTIN, F. “The Bilingual Concordancer TransSearchNAAC”, Companion Volume of NAACL'2012: Demonstrations, 4 pages, Montreal, Quebec, Canada, 2012. LI, P., PENG, L., NIE, J.‐Y., WANG, B. et HE, J. “Document Re‐ranking using Partial Social Tagging”, Web Intelligence, 2012. LIU, Y., SONG, R., CHEN, Y., NIE, J.‐Y. et WEN, J.‐R. “Adaptive Query Suggestion for Difficult Queries”, SIGIR, pp. 15‐24, 2012. LUO, H., CARRIER, PL., COURVILLE, A. et BENGIO, Y. “Texture modeling with convolutional spike‐
and‐slab RBMs and deep extensions”, AISTATS’2013, 2013. Rapport annuel 2012‐2013 64 MA, Y., NIE, J.‐Y., WU, H. et WANG, H. “Opening Machine Translation Black Box for Cross‐
Language Information Retrieval”, AIRS, pp. 467‐476, 2012. MEMISEVIC, R. “On multi‐view feature learning”, International Conference on Machine learning, 2012 MEMISEVIC, R. et EXARCHAKIS, G. “Learning invariant features by harnessing the aperture problem”, International Conference on Machine learning, 2013. MESNIL G., RIFAI, S., BORDES, A., GLOROT, X., BENGIO, Y. et VINCENT, P. “Unsupervised and transfer learning under uncertainty: from object detections to scene categorization”, ICPRAM, 2013. MOUINE, M. et LAPALME, G. “Using clustering to personalize visualization”, 16th International Conference on Information Visualisation, pages 258–263, IEEE Computer Society. Montpellier, France, 2012. NDAMBEGA, A., HAFID, A. et TALEB, T. “A Path Prediction Model to Support Mobile Multimedia Streaming”, IEEE ICC, 2012. NDAMBEGA, A., HAFID, A. et TALEB, T. “Handoff Time Estimation Model for Vehicular Communications”, IEEE ICC, 2013. NDAMBEGA, A., TALEB, T. et HAFID, A. “A Destination Prediction Model based on Historical Data, Contextual Knowledge and Spatial Conceptual Maps”, IEEE ICC, 2012. NGHIEM, A.‐T., AUVINET, E. et MEUNIER, J. “Head Detection Using Kinect Camera and Its Application to Fall Detection”, International Conference on Information Sciences, Signal Processing and their Applications (ISSPA), Montréal, 2012. NGUYEN, H.‐A., AUVINET, E., MEUNIER, J. et MULTON, F. “Analyzing gait pathologies using a depth camera”, Int. Conf. IEEE Engineering in Medicine and Biology Society, San Diego, 2012. NGUYEN, H.‐A., DeGUISE, J.A., MIGNOTTE, M. et MEUNIER, J. “Reconstructing 3D Human Poses From Monocular Image”, International Conference on Information Sciences, Signal Processing and their Applications (ISSPA), 2012. OUNI, A., KESSENTINI, M. et SAHRAOUI, H. “The Use of Development History in Software Refactoring Using a Multi‐Objective Evolutionary Algorithm”, Genetic and Evolutionary Computation Conference (GECCO), 2013. OUNI, A., KESSENTINI, M. et SAHRAOUI, H. “Search‐based Refactoring Using Recorded Code Changes”, 17th European Conference on Software Maintenance and Reengineering (CSMR), 2013. OUNI, A., KESSENTINI, M., SAHRAOUI, H. et SALAH HAMDI, M. “Search‐based refactoring: Towards semantics preservation”, Int. Conference on Software Maintenance (ICSM), 2012. Rapport annuel 2012‐2013 65 PASCANU R., MIKOLOV, T. et BENGIO, Y. “On the difficulty of training recurrent neural net‐ works”, in ICML’2013, 2013. RIFAI, S., BENGIO, Y., COURVILLE, A., VINCENT, P. et MIRZA, M. “Disentangling Factors of Variation for Facial Expression Recognition”, Proceedings of the European Conference on Computer Vision (ECCV), 2012. RIFAI, S., BENGIO, Y., DAUPHIN, Y. et VINCENT, P. “A generative process for sampling contractive auto‐encoders”, ICML’2012, 2012. ROY, S., MEUNIER, J., MARIAN, A., VIDAL, F., BRUNETTE, I. et CONSTANTINO, S. “Automatic 3D reconstruction of quasi‐planar stereo Scanning Electron Microscopy (SEM) images”, Int. Conf. IEEE Engineering in Medicine and Biology Society, San Diego, 2012. SAADA, H., HUCHARD, M., NEBUT, C. et SAHRAOUI, H. “Recovering Model Transformation Traces using Multi‐Objective Optimization”, Int. Conf. on Automated Software Engineering (ASE), 2013. SAADA, H., DOLQUES, X., HUCHARD, M., NEBUT, C. et SAHRAOUI, H. “Learning Model Transformations from Examples using FCA: One for All or All for One? ”, 9th International Conference on Concept Lattices and Applications (CLA), 2012. SAADA, H., DOLQUES, X., HUCHARD, M., NEBUT, C. et SAHRAOUI, H. “Generation of Operational Transformation Rules from Examples of Model Transformations”, International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012. SORODNI, A. et NIE, J.‐Y. “Looking at Vector Space and Language Models for IR using Density Matrices”, Quantum Interactions, 2013. SORODNI, A., NIE, J.‐Y. et BENGIO, Y. “Quantum language models for information retrieval”, SIGIR, 2013. SWENSON, K. et EL‐MABROUK, N. “Gene trees and Species trees: Irreconciliable differences”, RECOMB (16th Annual International Conference on Research in Computational Molecular Biology), 2012. THÉVENIN S., ZUFFEREY, N. et POTVIN, J.‐Y. “Tabu Search for a Preemptive Scheduling Problem with Job Incompatibilities”, IFAC Conference on Manufacturing Modelling, Management and Control, Saint Petersburg, Russia, 2013. WANG, J., ZHAO, W.X., W., YAN, R., WEI, H., NIE, J‐Y. et LI, X. “Using Lexical and Thematic Knowledge for Name Disambiguation”, Conference of Asian Information Retrieval Societies (AIRS), pp. 76‐88, 2012. WIDYNSKI, N. et MIGNOTTE, M. “A particle filter framework for contour detection”, European Conference on Computer Vision, ECCV’12, Lecture Notes in Computer Science, Volume 7572, Firenze, Italie, 2012. Rapport annuel 2012‐2013 66 YANG, X., SIKORA, F., BLIN, G., HAMEL, S., RIZZI, R. et ALURU, S. “An Algorithmic View on Multi‐
related‐segments: a unifying model for approximate common interval”, TAMC 2012 (9th annual conference on Theory and Applications of Models of Computation), pp. 319‐329, 2012. YENGUI M.Y. et POULIN, P. “Simulated Bidirectional Texture Functions with Silhouette Details”, Proceedings of Graphics Interface 2013, pp. 45–53, 2013. Autres publications
BOGOVIC, T., GADGIL, S., KIM, K., NATARAJAN, N. et HAFID, A. “Systems and methods for QoS provisioning and assurance for point‐to‐point SIP sessions in DiffServ‐enabled MPLS networks”, US Patent, 8301744, 2012. BRASSARD, G. “D'Einstein à Wheeler : Grande Conférence d’Alain Aspect”, Bulletin du Centre de recherches mathématiques, 19(1):7–8, 2013. HAFID, A., NATARAJAN, N. et GADGIL, S. “Dynamic traffic rearrangement and restoration for MPLS networks with Differentiated services capabilities”, US patent 8179786, 2012. MAJOR, F. “Integrative Approaches for Modeling Biomolecular Complexes 2013”, MicroRNA Structural Transient States Are Involved in Maturation Processes, Nice, France, 2013. MAJOR, F. “Modeling RNA Structure and Dynamics”, 18th Annual Meeting of the RNA Society, Davos, Switzerland, 2013. MAJOR, F. “Modeling RNA Structure and Dynamics”, RNA Dynamics, Telluride, CO, 2013. MAJOR, F. “Predicting RNA Function Modulation From Sequence”, RNA, Benasque, Spain, 2012. MAJOR, F. “Sig3D Structural Bioinformatics & Computational Biophysics”, Modelling RNA Structure and Dynamics, Long Beach, CA, 2012. POULIN P. et NAVAZO, I. “Computer Graphics Forum”, Proceedings of Eurographics ’13, vol. 32, number 2. Editors. Girona, Spain, 2013. WOO A. et POULIN, P. “Beyond Shadows of Doubt”, Game Developer Magazine, 11 (11), (Invited paper), 2012. WOO A. et POULIN, P. “Viewpoint: Choosing Shadow Algorithms”, Computer Graphics World, 35 (6), Oct./Nov. 2012. (Invited paper), 2012. Rapport annuel 2012‐2013 67