| 1989 |
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS |
Khendek, Ferhat |
Bochmann, Gregor V. |
| 1989 |
Testabilité et tolérance aux fautes des circuits logiques à structure régulière |
Eleuldj, Mohsine |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1989 |
Méthodologies de dimensionnement de réservoirs hydroélectriques utilisant des approches déterministe et stochastique |
Paradis, Audrey |
Cleroux, Robert; Turgeon, Andre |
| 1989 |
Réalisation d'un système intelligent de manipulation de bases de données |
Girard, Raynald |
Frasson, Claude |
| 1989 |
Algorithme pour trouver les composantes 3-connexes d'un graphe |
Toulouse, Michel |
Brassard, Gilles; Marcotte, Odile |
| 1989 |
Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services |
Amalou, Mokhtar |
Bochmann, Gregor V. |
| 1989 |
Gestionnaire de notation Laban et animation de figurines humaines |
Perron, Gérald |
Bratley, Paul; Lèbe, Rose-Marie |
| 1989 |
Méthodes d'échanges pour problèmes d'affectation |
Lavoie, Alain |
Boyer, Michel; Ferland, Jacques |
| 1989 |
Mise au point d'un système interactif-graphique pour la planification tactique du transport des marchandises |
Mondou, Jean-François |
Crainic, Teodor Gabriel; Nguyen, Sang |
| 1989 |
Système de conception symbolique pour circuits intégrés à très grande échelle |
Mailhot, Pierre |
Cerny, Eduard |
| 1989 |
Une approche de restriction basée sur une méthode primale-duale pour résoudre le problème de localisation-distribution avec échanges interdépôts |
Tétreault, Nicole |
Crainic, Teodor Gabriel; Florian, Michael |
| 1989 |
Simulation et modélisation de capteurs dans un environnement robotique |
Bouchard, Pierre |
Stewart, Neil Frederick |
| 1989 |
Les opérations booléennes et les arbres binaires de partition de l'espace |
Cajolet, Claude |
Stewart, Neil Frederick |
| 1989 |
Énumération et génération d'arbres et d'arborescences binaires sous contraintes |
Constantinescu, Mariana |
Maag, Urs; Sankoff, David |
| 1989 |
Génération de questions adaptées à l'usager pour un système de consultation médicale |
Desmarais, Stéphane M. |
Bourque, Michel; Lapalme, Guy |
| 1989 |
Modélisation des circuits VLSI et conception en vue de leur testabilité |
Bourahla, Mustapha |
Aboulhamid, El Mostapha |
| 1989 |
Le modèle d'indépendance dans le contexte de variables ordinales |
Cherkaoui, Omar |
Cleroux, Robert |
| 1989 |
Analyse automatique de résultats de tests appliquée aux protocoles de communication |
Bellal, Omar Bouhafs |
Bochmann, Gregor V. |
| 1989 |
Inférences sur plusieurs mesures de liaison entre deux vecteurs aléatoires et algorithmes de sélection de variables |
Lazraq, Aziz |
Cleroux, Robert |
| 1989 |
Chronolog, un langage de représentation des connaissances temporelles |
St-Vincent, Pierre |
Boyer, Michel |
| 1989 |
Un simulateur distribué de circuits intégrés à synchronisation mixte |
Mercier, Denis |
Cerny, Eduard |
| 1989 |
Le problème des reines : thème et variations |
Gauthier, Michel |
Hahn, Gena |
| 1989 |
Intégration des systèmes tutoriels traditionnels et des systèmes tutoriels intelligents |
Bengio, Samy |
Frasson, Claude; Gecsei, Jan |
| 1989 |
Prévision à court terme de la demande d'électricité à l'aide de modèles de séries chronologiques |
Brousseau, Daniel |
Roy, Roch; Turgeon, Andre |
| 1989 |
Approches de résolution du problème de programmation fractionnaire généralisée |
Benedada, Youssef |
Crouzeix, J.P.; Ferland, Jacques |
| 1989 |
Implantation exacte de transactions à l'aide de machines séquentielles |
Babin, Gilbert |
Ferland, Jacques; Lustman, François |
| 1990 |
Résolution du problème du sac à dos quadratique en variables binaires par des méthodes lagrangiennes |
Veilleux, Louis |
Michelon, Philippe |
| 1990 |
La prédiction des structures macromoléculaires par une approche symbolique |
Major, François |
Cedergren, Robert J.; Lapalme, Guy |
| 1990 |
Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens |
Bédard, François |
Mckenzie, Pierre |
| 1990 |
Algorithmes de transformations d'images 2D et recherche d'esthétique |
Guyaux, Françoise |
Bradley, Edward; Tousignant, Serge |
| 1990 |
Implantations parallèles d'un algorithme de séparation et évaluation progressive pour résoudre le problème de localisation avec équilibrage |
Gendron, Bernard |
Crainic, Teodor Gabriel; Florian, Michael |
| 1990 |
Complexité, langages hors-contexte et structures algébriques non associatives |
Lemieux, François |
Mckenzie, Pierre |
| 1990 |
Transformations de programmes logiques : Bases sémantiques et applications |
Tarau, Paul |
Boyer, Michel |
| 1990 |
La conception de logiciels d'assistance dans un contexte d'apprentissage |
Bergeron, Anne |
Boyer, Michel; Lemoyne, Gisèle |
| 1990 |
Conception d'un réseau privé de transmission par paquets |
Maclure, Margaret |
Ferland, Jacques; Godin, Mario |
| 1990 |
Une interface pour la composition de scènes en infographie tridimensionnelle |
Léonard, Nicolas |
Thalmann, Daniel |
| 1990 |
Modèle de distribution d'énergie électrique avec structure de réseau |
Gascon, Viviane |
Benchakroum, Abdelhamid; Ferland, Jacques |
| 1990 |
Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées |
Ferrero, Daniel |
Gendreau, Michel; Lefebvre, Bernard |
| 1990 |
Navigation visuelle dans une base de données multimédia |
Martin, Daniel |
Gecsei, Jan |
| 1990 |
Algorithmes pour l'exponentielle d'une matrice avec une estimation de la précision |
Côté, Georges Junior |
Zahar, Ramsay |