Approche algébrique pour la vérification de programmes

Nous désirons étudier la possibilité de faire de l’analyse de programmes en utilisant une approche algébrique. Plus précisément, on s’intéresse au problème de la comparaison de code : aborder ce problème nous permet, entre autres, d’identifier les différences entre deux versions d’un code ou de vérifier si un code optimisé est équivalent à sa version […]

Read More
Étude du trafic de réseau pour la modélisation et la simulation d’attaques

L’envahissement rapide, par Internet, de presque tous les aspects de la vie quotidienne ainsi que l’accroissement de l’ampleur et de la sophistication des attaques contre les réseaux, mettent en relief l’importance de la sécurité des systèmes de réseau. Présentement, la modélisation et la simulation de sécurité constituent l’une des méthodes les plus reconnues d’évaluation de […]

Read More
Applications de la théorie des portefeuilles stochastiques

La théorie des portefeuilles stochastiques, principalement développée par Robert Fernholz, constitue un cadre pour analyser la structure des marchés, évaluer et optimiser la performance de portefeuilles et construire des portefeuilles ayant un comportement contrôlé. Le stage vise à implémenter et tester différentes allocations d’actifs développées dans le cadre de la théorie de portefeuilles stochastiques afin […]

Read More
Détermination de débouchés pour les nouveaux produits de détection du cancer, LungSign™ et OralAdvance™

Les stagiaires réaliseront des études de marché, élaboreront et mettront en pratique un plan de commercialisation intégré concernant deux nouveaux produits de détection du cancer intitulés LungSign™ et OralAdvance™. Chacun des stagiaires effectuera une analyse de la concurrence au moyen d’outils visuels en vue de cerner les débouchés sous-utilisés. En se basant sur les résultats […]

Read More
Établissement de communautés végétales indigènes dans des sites gravement perturbés : examen des facteurs limitant la restauration des cicatrices des brûlis

Dans de nombreux écosystèmes forestiers faisant l’objet d’une gestion active, les endroits les plus perturbés sont ceux où des déchets forestiers ont été empilés et brûlés. Ces brûlis créent des zones dénudées qui pourraient fournir autant de points d’accès à des espèces végétales exotiques envahissantes. La stagiaire étudiera la restauration d’espèces indigènes dans les zones […]

Read More
Modélisation des utilisateurs et sélection de caractéristiques pour une recherche locale personnalisée

Des moteurs de recherche comme Google ont révolutionné la manière dont les utilisateurs recherchent de l’information électronique en leur fournissant une liste préordonnée des documents les plus adéquats pour une interrogation particulière. Ce projet effectué en collaboration avec GenieKnows R&D, une société de développement de moteurs de recherche, s’intéresse à un prolongement de cette technologie […]

Read More
Parcours éducatifs postsecondaires des jeunes du Nouveau-Brunswick

Ce stage permettra d’examiner le rôle que jouent les facteurs démographiques, familiaux, individuels et le niveau scolaire dans les parcours postsecondaires retenus par les jeunes au Nouveau-Brunswick. Les différents parcours éducatifs peuvent être définis comme étant typiques (p. ex. un élève ayant obtenu d’excellents résultats poursuivant des études postsecondaires) ou atypiques (p. ex. un élève […]

Read More
L’utilisation des statistiques spatiales pour quantifier le mélange et le potentiel de réaction

De nombreuses réactions chimiques peuvent produire des sous-produits indésirables, ce qui entraîne des étapes de purification additionnelles et génère des déchets non voulus. Ces étapes additionnelles consomment d'importantes quantités d'énergie, et les déchets peuvent avoir un impact considérable sur l'environnement. On peut modifier la chimie des réactions de façon à favoriser les produits désirables par […]

Read More
Modélisation du chemin de données pour un élément de réseau

L'entreprise partenaire, Zeugma Systems, développe actuellement la prochaine génération d'équipement de réseautage à fil qui permet aux fournisseurs de services de télécommunication d'offrir des services multimédias sur une infrastructure à bande passante restreinte. La plateforme de cet équipement contient différents dispositifs de tierces parties, de série, de commutation par paquets et de traitement. Dans le […]

Read More
Analyse des groupements et des discriminants pour la détection de véhicules

Les systèmes informatiques automatisés capables de reconnaître les types de véhicules qui passent par un poste de contrôle de la circulation sont très utiles. Ces systèmes recueillent des données faciles à obtenir au sujet des véhicules, comme la distance entre les essieux et le poids sur chaque essieu. Ils ont de nombreuses applications, comme la […]

Read More
Impact éventuel du changement climatique sur les vents de surface dans le sud de la Colombie-Britannique : analyses au moyen d’un modèle climatique régional haute résolution

Les résultats d’un modèle climatique régional à la fine pointe de la technologie serviront à analyser les propriétés de vents à proximité de la surface (vitesse, direction, puissance et variabilité temporelle) dans des régions choisies du sud de la Colombie-Britannique. Les observations faites dans les stations au cours des récentes décennies serviront à établir un […]

Read More
Vers une compréhension du processus de conception technique

Ce projet de recherche est une étude du processus de conception technique. Il vise à étudier le processus de conception chez Manitoba Hydro en vue de mieux saisir le processus de conception, le flux d'information et la communication du processus. L'équipe de recherche du stagiaire examinera le processus de conception de l'intérieur du milieu organisationnel, […]

Read More