2023-08 |
Maximum flow-based formulation for the optimal location of electric vehicle charging stations |
Parent, Pierre-Luc |
Carvalho, Margarida; Anjos, Miguel F. |
2022-08 |
A stochastic integer programming approach to reserve staff scheduling with preferences |
Perreault-Lafleur, Carl |
Carvalho, Margarida; Desaulniers, Guy |
2024-05 |
Strategic planning of intracity electric vehicle charging station locations with integrated advanced demand dynamics |
Lamontagne, Steven |
Carvalho, Margarida; Frejinger, Emma |
2022-04 |
Game theoretical characterization of the multi-agent network expansion game |
Caye, Flore |
Carvalho, Margarida; Ngueveu, Sandra |
2022-11 |
Mixed-integer programming representation for symmetrical partition function form games |
Pepin, Justine |
Carvalho, Margarida; Sankaranarayanan, Sriram |
2020-08 |
Optimizing ANN Architectures using Mixed-Integer Programming |
ElAraby, Mostafa |
Carvalho, Margarida; Wolf, Guy |
2023-11 |
Small batch deep reinforcement learning |
Obando-Ceron, Johan Samir |
Castro, Pablo Samuel; Bellemare, Marc |
2002 |
Waveform narrowing : a constraint-based framework for timing analysis |
Kassab, Maroun |
Cerny, Eduard |
2001 |
Compositional verification using interface recognizers/suppliers (IRS) |
Jahanpour, Mohammad-Sadegh |
Cerny, Eduard |
1999 |
Modèles et algorithmes pour la simulation des systèmes à temps réel |
Nicolae, Ana-Francisca |
Cerny, Eduard |
1997 |
Construction des machines à état abstrait à partir des modèles VHDL |
Anon, Koty Dominique |
Cerny, Eduard |
1996-03 |
Un outil pour la spécification de matériel et la génération de modèles exécutables |
Babkine, Philippe-André |
Cerny, Eduard |
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 |
2000 |
Timing verification of interface specifications and controllers |
Jin, Fen |
Cerny, Eduard |
2000 |
ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles |
Gandrabur, Simona |
Cerny, Eduard |
2001 |
Integrating MDG variable ordering in a VHDL-MDG design verification system |
Feng, Yi |
Cerny, Eduard |
2001 |
Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces |
Zhang, Ying |
Cerny, Eduard |
2002 |
Synthèse de EFSM observatrices à partir de spécifications HAAD |
Ogoubi, Etienne |
Cerny, Eduard |
1999 |
Bounding of switching activity in logic circuits |
Zejda, Jindrich |
Cerny, Eduard; Rumin, Nicolas C. |
1999 |
Model checking for a first-order temporal logic using multiway decision graphs |
Ying, Xu |
Cerny, Eduard; Song, Xiaoyu |
2001 |
Model reductions in MDG-based model checking |
Hou, Jin |
Cerny, Eduard; Song, Xiaoyu |
2021-06 |
Self-supervision for data interpretability in image classification and sample efficiency in reinforcement learning |
Rajkumar, Nitarshan |
Charlin, Laurent |
2021-10 |
Better representation learning for TPMS |
Raza, Amir |
Charlin, Laurent; Farnadi, Golnoosh |
2020-12 |
Recommandation conversationnelle : écoutez avant de parlez |
Vachon, Nicholas |
Charlin, Laurent; Pal, Christopher |
2000 |
Allotment of aircraft spare parts using genetic algorithms |
Batchoun, Pascale |
Cleroux, Robert; Ferland, Jacques |
2002 |
Modèle d'équilibre dans les réseaux de transport en commun : le cas des capacités explicites des services |
Cepeda, Manuel |
Cominetti, Roberto; Florian, Michael |
2022-08 |
On discovering and learning structure under limited supervision |
Mudumba, Sai Rajeswar |
Courville, Aaron |
2018-07 |
Generative models : a critical review |
Lamb, Alexander |
Courville, Aaron |
2018-04 |
Sequence to sequence learning and its speech applications |
Zhang, Ying |
Courville, Aaron |
2021-12 |
AI alignment and generalization in deep learning |
Krueger, David |
Courville, Aaron |
2018-12 |
Advances in deep learning with limited supervision and computational resources |
Almahairi, Amjad |
Courville, Aaron |
2017-12 |
Deep Learning for Video Modelling |
Mastropietro, Olivier |
Courville, Aaron |
2020-08 |
On improving variational inference with low-variance multi-sample estimators |
Dhekane, Eeshan Gunesh |
Courville, Aaron |
2022-01 |
On iterated learning for task-oriented dialogue |
Singhal, Soumye |
Courville, Aaron |
2020-09 |
Estimation neuronale de l'information mutuelle |
Belghazi, Mohamed |
Courville, Aaron |
2017-08 |
Generative models for natural images |
Ahmed, Faruk |
Courville, Aaron |
2023-08 |
Improving predictive behavior under distributional shift |
Ahmed, Faruk |
Courville, Aaron |
2019-12 |
Emerging communication between competitive agents |
Noukhovitch, Mikhail |
Courville, Aaron |
2022-08 |
Syntactic inductive biases for deep learning methods |
Shen, Yikang |
Courville, Aaron |
2019-08 |
No Press Diplomacy |
Paquette, Philip |
Courville, Aaron |