Interactive preference elicitation application for book recommendations

Kobo is an online e-book retailer that provides recommendations for future purchases to its user base. One difficulty that recommendation systems face is what is known as the “cold-user” problem. In this scenario, when we know so little of a user’s preferences (for example, if they are new to the platform), we do not have […]

Read More
Découpe virtuelle interactive de corps élastiques déformables par une méthode de particules

La simulation chirurgicale offre un environnement de pratique sécuritaire pour la formation de nouveaux chirurgiens. De nombreux défis techniques doivent être relevés pour élaborer un environnement virtuel réaliste et utile. Ce projet aborde en particulier la simulation du comportement biomécanique des organes lors de leur interaction avec l’utilisateur, avec une attention particulière apportée au problème […]

Read More
Investigating Distributed Ledgers for IoT and Connected Vehicles

With the fast-moving pace of the auto industry moving to more and more computing units, connected infotainment, pairing of on-board equipment to mobile devices, cloud connectivity, V2V, V2X, and autonomous functions, architects and developers need all the help they can get to address security and safety concerns in the systems. This internship will look at […]

Read More
Machine Learning methods for Nova Scotia property value prediction

This project will develop and apply machine learning techniques to predict the valuation of the properties in Nova Scotia. The techniques will help Property Valuation Services Corporation (PVSC) assessors with more efficiently and accurately valuing properties. The ultimate goal is to help PVSC reduce the number of annual appeals – which is a costly undertaking. […]

Read More
Smart Oceans:Instrumented,Interconnected,Intelligent Systems for Efficient Data Analysis and Querying

Title of the Project: Smart Oceans:Instrumented, Interconnected, Intelligent Systems for Efficient Data Analysis and Querying This project proposes three main objectves. The first two objectives serve to provide a deeper investigation of the problem space while the third objective will build on this investigation by exploring the application of new technologies to this problem domain. […]

Read More
Deployment of wireless sensor networks for air pollution monitoring

Air pollution is one of the main environmental applications where Wireless Sensor Networks (WSN) are widely used. Using WSN for air pollution monitoring usually targets two main applications: 1) regular mapping and 2) the detection of high pollution concentrations. Both of these applications need a careful deployment of sensors in order to get better knowledge […]

Read More
Interoperability of proofs with Dedukti and Beluga

Critical systems such as transportation systems require a high level of safety that can only be achieved with formal proof. Such formal proofs are typically expressed in some logic that can be verified by theorem provers. The diversity of theorem provers and logics has a negative consequence: the same theorem is proved many times and […]

Read More
Bounds on LDPC codes

Quantum circuit components will always be unreliable. To protect quantum information from becoming corrupted, we require quantum error correcting codes. The drawback is that quantum error correcting codes necessitate a trade-off – the better the code protects information, the more resources it requires to be sustained. Our current resource estimates to construct useful quantum circuits […]

Read More
Learning representations through stochastic gradient descent by minimizing the cross-validation error

Representations are fundamental to Artificial Intelligence. Typically, the performance of a learning system depends on its data representation. These data representations are usually hand-engineered based on some prior domain knowledge regarding the task. More recently, the trend is to learn these representations through deep neural networks as these can produce significant performance improvements over hand-engineered […]

Read More
Children Privacy Protection Engine for Smart Anthropomorphic Toys

A smart anthropomorphic toy is defined as a device consisting of a physical toy component in a humanoid form that connects to a computing system with online services through networking and sensory technologies to enhance the functionality of a traditional toy such as Mattel’s Hello Barbie and Cognitoys Dino. Many studies found that anthropomorphic toys […]

Read More
Learning tools to predict treatment responses for schizophrenia from neuroimaging data

Schizophrenia is a chronic mental disorder associated with a significant health, social and financial burden, not only for patients but also for their families, and society. However, the current treatment methods have been only partially successful, mainly due to the inter-individual differences between patients, which means that a treatment that is successful for one patient, […]

Read More