| 1994 |
Planification des réseaux de distribution électrique avec contraintes de fiabilité |
Paciornik, Newton |
Cleroux, Robert; Ferland, Jacques |
| 1995 |
Simulation de protocoles de cryptographie quantique |
Riendeau, Jean-François |
Brassard, Gilles; Crépeau, Claude |
| 1995 |
Études de bornes inférieures pour le problème d'affectation quadratique |
Chouman, Mervat |
Michelon, Philippe |
| 1995 |
Programmation quadratique en variables binaires |
Brossard, Nicolas |
Michelon, Philippe |
| 1995 |
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes |
Pesant, Gilles |
Boyer, Michel |
| 1995 |
Raisonnement par cas et notion d'inconduite en droit de l'assurance-chômage |
Thoré, Isabelle |
Bratley, Paul; Poulin, Daniel |
| 1995 |
Horaires du personnel infirmier générés avec approches heuristiques |
Nabli, Imene |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1995 |
Planification des admissions dans un service de chirurgie |
Qazi, Ahmad |
Michelon, Philippe |
| 1995 |
Des tests de conformité du protocole AAL de type 5 pour les réseaux à haut débit |
Khriss, Ismail |
Bochmann, Gregor V. |
| 1995 |
Heuristiques pour la planification de réseaux de distribution d'énergie électrique |
Meynard, Yves |
Benchakroum, Abdelhamid; Ferland, Jacques |
| 1995 |
Une analyse statique pour la détection de parallélisme emboîté en Dpml |
Vachon, Julie |
Hains, Gaétan |
| 1995 |
Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles |
Bensalem, Aicha |
Cerny, Eduard |
| 1995 |
Méthode de fusion du volume d'une malformation artério-veineuse reconstruit avec un volume d'images de résonance magnétique |
Lamer, Roland |
Meunier, Jean |
| 1995 |
Machine abstraite catégorique et parallélisme de données |
Foisy, Christian |
Hains, Gaétan |
| 1995 |
Modélisation et simulation de conversations dans un univers multi-agent |
Rousseau, D. |
Lapalme, Guy; Moulin, Bernard |
| 1995 |
Architecture de système Tutoriel Intelligent pour l'analyse du raisonnement de l'apprenant |
Djamen, Jean-Yves |
Frasson, Claude; Kaltenbach, Marc |
| 1995 |
Construction incrémentielle de spécifications pour systèmes distribués |
Khendek, Ferhat |
Bochmann, Gregor V. |
| 1995 |
L'ordinateur quantique : complexité et stabilisation des calculs |
Berthiaume, André |
Brassard, Gilles |
| 1995 |
Planification de textes d'instructions : sélectio du contenu et de la structure rhétorique |
Kosseim, Leila |
Kittredge, Richard; Lapalme, Guy |
| 1995 |
Architecture d'un système d'aide intelligente à la conception de cours SAICC |
Kjiri, Laila |
Frasson, Claude |
| 1995 |
Programmation bi-niveaux et son application au problème d'affection du trafic avec contrôles de signaux |
Yezza, Abdelwahab |
Florian, Michael |
| 1995 |
Contributions au simplexe primal adapté au réseau et implantations séquentielle et parallèle efficaces |
Lebeuf, Denis |
Florian, Michael |
| 1995 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
| 1995 |
Neural networks for the vehicle dispatching problem |
Shen, Yu |
Potvin, Jean-Yves; Rousseau, Jean-Marc |
| 1995 |
Un système tutorial intelligent basé sur un système critique |
Jebel, Imed |
Aïmeur, Esma; Frasson, Claude |
| 1995 |
Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet |
Arfi, Amina |
Godin, Robert; Nie, Jian-Yun |
| 1995 |
Éditeur de démonstrations par l'exemple |
Abadie, Christophe |
Frasson, Claude |
| 1995 |
Interface iconique pour un système d'aide au diagnostic médical à base de cas |
Talbi, Hichem |
Frasson, Claude |
| 1995 |
Hypermédia astronomique |
Laberge, Patrick |
Gecsei, Jan |
| 1995 |
Problèmes d'affectation avec contraintes d'alternatives et application à la gestion des stages de résidence |
Ichoua, Soumia |
Ferland, Jacques |
| 1995 |
Évaluation de fonctions sur données privées |
Tapp, Alain |
Brassard, Gilles; Crépeau, Claude |
| 1995 |
Un modèle de l'apprenant basé sur les tâches |
Duperval, Laurent |
Frasson, Claude |
| 1996 |
Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes |
Martin, Benoit |
L'Écuyer, Pierre; Vazquez-Abad, Felisa J. |
| 1996 |
Problèmes multicritère avec contraintes d'affectation |
Marziliano, Pina |
Ferland, Jacques |
| 1996 |
Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable |
Pigeon, Steven |
Cloutier, Jocelyn |
| 1996 |
Application d'une méthode exacte pour la génération d'horaire en soins infirmiers |
Gagné, Éric |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1996 |
Décomposition semi-automatique de diagramme de flot des données (DFD) |
Tamim, Mohamad |
Lustman, François |
| 1996 |
Approches génétiques pour le problème de répartition de véhicules |
Leclerc, François |
Potvin, Jean-Yves |
| 1996 |
Formal method for the design of real-time communicating subsystems and controllers |
Tao, Zhongpīng |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1996 |
Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications |
Nkambou, Roger |
Frasson, Claude; Gauthier, Gilles |