| 2006 |
Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système |
Metzger, Michel |
Aboulhamid, El Mostapha; Vachon, Julie |
| 2021-08 |
Mechanical characterization of rigid discrete interlocking materials |
Gingras, Charles |
Thomaszewski, Bernhard |
| 2003 |
Mémoires de traduction sous-phrastiques |
Simard, Michel |
Nie, Jian-Yun |
| 2020-05 |
Méta-enseignement : génération active d’exemples par apprentissage par renforcement |
Larocque, Stéphanie |
Bengio, Yoshua; Frejinger, Emma |
| 2024-02 |
Metaheuristics for vehicle routing problems : new methods and performance analysis |
Guillen Reyes, Fernando Obed |
Potvin, Jean-Yves; Gendreau, Michel; Vidal, Thibaut |
| 2014-06 |
Meta-heuristic Solution Methods for Rich Vehicle Routing Problems |
Nguyen, Khanh Phuong |
Crainic, Teodor Gabriel; Toulouse, Michel |
| 2004 |
Métaheuristiques de recherche avec tabous pour le problème de synthèse de réseau multiproduits avec capacités |
Ghamlouche, Ilfat |
Gendreau, Michel; Crainic, Teodor Gabriel |
| 2018-08 |
Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework |
Kessentini, Wael |
Sahraoui, Houari; Wimmer, Manuel |
| 2007 |
Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents |
Pham, Viet Thang |
Sahraoui, Houari; MAGNIN, LAURENT |
| 2014-05 |
Méthode de génération de colonnes pour les problèmes de conception de réseaux avec coûts d’ajout de capacité |
El Filali, Souhaïla |
Gendron, Bernard |
| 2016-04 |
Méthode de recherche à grand voisinage pour un problème de tournées de véhicules avec flotte privée et transporteur externe |
Edoukou, Frédéric Aka Bilé |
Potvin, Jean-Yves |
| 1999 |
Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques |
Faye, Pierre |
Cerny, Eduard |
| 2004 |
Méthodes à noyaux appliquées à la gestion de portefeuille |
Dorion, Christian |
Bengio, Yoshua |
| 2016-12 |
Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours |
Benrhaiem, Rania |
Roy, Sébastien; Meunier, Jean |
| 2021-05 |
Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes |
Tchouandem Kemoe, Julie Amanda |
Gendron, Bernard |
| 2002 |
Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités |
Tourillon, Dominique |
Gendron, Bernard |
| 2017-12 |
Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens |
Mathlouthi, Ines |
Potvin, Jean-Yves; Gendreau, Michel |
| 2023-08 |
Méthodes d'évaluation en extraction d'information ouverte |
Lamarche, Fabrice |
Langlais, Philippe |
| 2008 |
Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson |
Lamghari, Amina |
Ferland, Jacques |
| 2010-08 |
Méthodes exactes et heuristiques pour le problème de tournées de véhicules avec fenêtres de temps et réutilisation de véhicules |
Azi, Nabila |
Gendreau, Michel; Potvin, Jean-Yves |
| 2005 |
Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables |
Gorse, Nicolas |
Aboulhamid, El Mostapha; Savaria, Yvon |
| 2002 |
Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources |
Beaulieu, Catherine |
Ferland, Jacques |
| 2003 |
Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources |
Bouffard, Véronique |
Ferland, Jacques |
| 2001 |
Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques |
Chabini, Noureddine |
Aboulhamid, El Mostapha; Savaria, Y. |
| 2017-12 |
Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique |
Lamontagne, Philippe |
Salvail, Louis |
| 2004 |
Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie |
Bellemare, Christian |
Meunier, Jean |
| 2006 |
Méthodologie de conception d'un modèle comportemental pour la vérification formelle |
Bastien, Frédéric |
Aboulhamid, El Mostapha; BOYER, FRANCOIS-R; Vachon, Julie |
| 2006 |
Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET |
Brassard, Olivier |
Aboulhamid, El Mostapha; David, Jean Pierre |
| 2021-08 |
Méthodologies pour la détection de diachronies sémantiques et leurs impacts |
Kletz, David |
Langlais, Philippe; Drouin, Patrick |
| 2006 |
Methods for multi-class segmentation of molecular sequences |
Cheng, Ming-Te |
Csuros, Miklos |
| 2023-12 |
Methods for solving combinatorial pricing problems |
Bui, Quang Minh |
Carvalho, Margarida |
| 2011-04 |
Métriques de routage dans les réseaux maillés sans fil |
Sarr, Yaye |
Hafid, Abdelhakim |
| 2024-03 |
Microservices identification in existing applications using meta-heuristics optimization and machine learning |
Barry, Hanifa |
Sahraoui, Houari |
| 2005 |
Migrating legacy system towards object technology |
Wu, Lei |
Sahraoui, Houari; Valtchev, Petko |
| 2004 |
Mining dynamic databases for frequent closed itemsets |
Jing, Jun |
Valtchev, Petko |
| 2004 |
Mise à jour de la famille des générateurs minimaux des treillis de concepts et des icebergs |
Nehme, Kamal |
Valtchev, Petko; Godin, Robert |
| 1998 |
Mise au point et implantation d'algorithmes pour l'allocation déterministe de conteneurs vides |
Abrache, Jawad |
Crainic, Teodor Gabriel; Gendreau, Michel |
| 2007 |
Mise en correspondance active et passive pour la vision par ordinateur multivue |
Drouin, Marc-Antoine |
Roy, Sébastien |
| 2007 |
Mise en oeuvre des mécanismes de Vickrey-Clarke-Groves sur des réseaux |
Lannez, Sébastien |
Gendreau, Michel; Crainic, Teodor Gabriel |
| 2019-12 |
Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne |
EL Haddad, Ghada |
Aïmeur, Esma |