2000 |
Les codes correcteurs quantiques et leurs applications cryptographiques |
Paquin, Christian |
Brassard, Gilles |
2000 |
Sur des méthodes et algorithmes de factorisation et leur application en cryptologie |
Slakmon, Alain |
Crépeau, Claude |
2000 |
Gestionnaire de connaissances pour systèmes hybrides objets-règles |
Es-salihe, Mustapha |
Lounis, Hakim; Sahraoui, Houari |
2000 |
A discrete flow model for dynamic network loading |
Mahut, Michael |
Florian, Michael |
2000 |
Des générateurs récursifs multiples combinés rapides avec des coefficients de la forme ±2p1 ±2p2 |
Touzin, Renée |
L'Ecuyer, Pierre |
2000 |
Système de configuration des politiques de gestion de réseaux |
Dioubaté, Diéfadima |
Boutaba, Raouf |
2000 |
Optimisation des interactions au sein d'un réseau de connaissances |
Bélanger, Simon |
Aïmeur, Esma; Frasson, Claude |
2000 |
Étude et réalisation d'un agent pédagogique explicatif |
Zouaq, Amal |
Frasson, Claude |
2000 |
QoS architecture and monitoring for videoconferencing applications |
Poirier, Mathieu J. |
Dssouli, Rachida |
2000 |
Propagation et rendu de feu |
Beaudoin, Philippe |
Poulin, Pierre |
2000 |
Architecture et programme d'entraînement pour agents qui apprennent par renforcement |
Desaulniers, Julien |
Bengio, Yoshua; Gendreau, Michel |
2000 |
Spécifications en XML d'un langage de génération d'exercices pédagogiques |
Boukherouaa, El Bachir |
Frasson, Claude |
2000 |
Générateurs de nombres pseudo-aléatoires utilisant des récurrences linéaires modulo 2 |
Panneton, François |
L'Ecuyer, Pierre |
2000 |
Développement de cours pour un environnement distribué de formation à distance |
Gardouh, El Bachir |
Frasson, Claude |
2000 |
Définition d'une mesure de compatibilité séquence-structure dans les protéines à l'aide de modèles probabilistes graphiques et de réseaux de neurones artificiels |
St-Arnaud, Daniel |
Major, François |
2001 |
A simplified Java, J |
Xue, Xinjian |
Vaucher, Jean |
2001 |
Sélection d'oligonucléotides pour la fabrication de biopuces d'ADN |
Dallaire, Paul |
Major, François |
2001 |
Problèmes de gestion de flottes de véhicules en temps réel |
Ichoua, Soumia |
Gendreau, Michel; Potvin, Jean-Yves |
2001 |
Programmes de branchement restreints pour un problème P-complet |
Gehl, Dominik |
Mckenzie, Pierre |
2001 |
Compositional verification using interface recognizers/suppliers (IRS) |
Jahanpour, Mohammad-Sadegh |
Cerny, Eduard |
2001 |
Réhaussement d'une séquence échographique par filtrage non-linéaire spatio-temporel |
Levac, Éric |
Meunier, Jean |
2001 |
Extraction automatique de filtres dans le cadre de la production automatique de résumés |
Tout, Mazen |
Lapalme, Guy |
2001 |
Tarification et conception de réseau en télécommunication |
Forget, Amélie |
Marcotte, Patrice |
2001 |
Recherche de structures secondaires dans les séquences biologiques |
Huang, Houjing |
El-Mabrouk, Nadia |
2001 |
Filtering parallel texts to improve translation model and cross-language information retrieval |
Cai, Jian |
Nie, Jian-Yun |
2001 |
Identification des objets dans les applications léguées basée sur les algorithmes génétiques |
Konkobo, Idrissa |
Sahraoui, Houari |
2001 |
Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine |
Serhani, Mohamed Adel |
Boukadoum, Mounir; Sahraoui, Houari |
2001 |
Integrating MDG variable ordering in a VHDL-MDG design verification system |
Feng, Yi |
Cerny, Eduard |
2001 |
Model reductions in MDG-based model checking |
Hou, Jin |
Cerny, Eduard; Song, Xiaoyu |
2001 |
Contributions à la compression de données |
Pigeon, Steven |
Bengio, Yoshua |
2001 |
Un algorithme génétique pour l'arrimage moléculaire |
Levac, François |
Major, François |
2001 |
Modélisation automatisée de la structure 3-D des ARNs |
Lemieux, Sébastien |
Major, François |
2001 |
Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques |
Chabini, Noureddine |
Aboulhamid, El Mostapha; Savaria, Y. |
2001 |
"Principes et implantation de vues dans les langages Orientés-objets" |
Dargham, Joumana B. |
Dssouli, Rachida; Mili, H. |
2001 |
Obje[c]t identification using conceptual clustering |
Shen, Shiqiang |
Sahraoui, Houari |
2001 |
Le filtrage du protocole SMB |
Eid, Antoine |
Dssouli, Rachida; Hahn, Gena |
2001 |
Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces |
Zhang, Ying |
Cerny, Eduard |
2001 |
Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC |
Reid, Michel |
Aboulhamid, El Mostapha; Bois, Guy |
2001 |
Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées |
En-Nouaary, Abdeslam |
Dssouli, Rachida; Khendek, Ferhat |
2001 |
Développement d'une méthode de recherche avec tabous pour un problème de chargement de réseaux de télécommunications |
Queval, Ianis |
Gendron, Bernard; Soriano, Patrick; Potvin, Jean-Yves |
2001 |
Conversion d'informations de protection dans les réseaux optiques |
Lesage, Éric |
Aïmeur, Esma; Dssouli, Rachida |
2001 |
Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire |
Guay, Natalie |
Aïmeur, Esma |
2001 |
Générateurs pseudo-aléatoires combinant des récurrences linéaires et non linéaires |
Granger-Piché, Jacinthe |
L'Ecuyer, Pierre |
2001 |
Modélisation des effets réseaux dans le transport des matières dangereuses |
Benterki, Amina |
Crainic, Teodor Gabriel; Gendreau, Michel |
2001 |
Environnement de test d'un serveur de négociations électroniques |
Ben Najim, El mostafa |
Dssouli, Rachida; Khendek, Ferhat |
2001 |
XMLFinder : an intelligent agent based on CBR for E-Commerce |
Ma, YanPing |
Aïmeur, Esma |
2001 |
State abstraction in SDL |
Hu, Yun |
Keller, Rudolf; Petrenko, Alexandre |
2001 |
RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels |
St-Denis, Guy |
Keller, Rudolf |
2001 |
CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C |
Methot, Éric |
Crainic, Teodor Gabriel; Gendron, Bernard; Feeley, Marc |
2001 |
Optimisation de circuits lors de la synthèse à partir de langages de haut niveau |
Boyer, François-R. |
Aboulhamid, El Mostapha; Savaria, Y. |