Performance assurance activities are an essential step in the release cycle of large software systems. However, prior research on software performance often does not consider the impact on end users; while developers may miss performance issues that lowers the satisfaction rate of end users, or the effort is spent on fixing those issues that may […]

Missing Link Technologies Ltd. provides customized and effective solutions to its partners for their IT infrastructure & operations. They are especially involved with solving the IT facilities management challenges of Telcos and Datacenters. The proposed research in collaboration with Missing Link Technologies Ltd. is aimed at leveraging the advances in machine learning and artificial intelligence […]

Ce projet s’insère dans un contexte où la densification urbaine est une préoccupation grandissante afin de réduire l’étalement urbain et ainsi s’aligner avec les principes du développement durable. Il vise à concevoir une procédure automatisée permettant de récupérer et d’intégrer les informations nécessaires pour cartographier le potentiel de lotissement de secteurs urbains déjà bâtis ou […]

Formal verification involves with proving properties about a system to make sure that the system is not free of bugs. There are two main methods for verification which are called model checking and theorem proving. Most current approaches to systems biology rely on model checking. Model checking is more automatic but not as general and […]

Le stagiaire développera un algorithme d’apprentissage automatique permettant la classification automatique du sentiment dans des courriels. L’algorithme sera entraîné sur des exemples de courriels issus de l’organisation partenaire (i.e. l’entreprise Coveo) et sera utilisé par les clients de cette dernière pour classifier le plus adéquatement possible leurs propres courriels. L’algorithme résoudra donc un problème d’apprentissage […]