Design and advancement of Graft Enabled Antibody Therapies (GrEAT) – Year 2

Membrane proteins such as ion channels, transporters or G-protein coupled receptors (GPCRs) are excellent but difficult drug targets involved in a large number of life-threatening diseases and conditions. These proteins, over-expressed and essential for disease onset and progression, are naturally targeted by toxins from venomous organisms. During evolution, these toxins have been optimized to efficiently […]

Read More
Developing a new magnetic sensor for application in biosensing and surveying – Year 2

Detecting subtle chemical and physical changes occurring at the early stages of chronic disease and many other infectious diseases caused by harmful bacteria is still a challenge, as ultra-sensitive sensors with large signal-to-noise-ratio are required to detect them. We recently explored new ways to enhance the sensitivity of magnetic nano-sensors and theoretically demonstrated that under […]

Read More
Smart fusion of multi-sensors for UAVs Navigation – Year 2

The main outcome of this Mitacs-sponsored project will be a robust navigation software capable of providing accurate navigation solutions for commercial Unmanned Aerial Vehicles (UAVs). Such a software will further elevate the industrial competitiveness for the partner corporation, the Profound Positioning Inc. (PPI). After finishing this project, PPI will be able to offer more comprehensive […]

Read More
GPU platforms for highly parallel EMT simulation – Year 2

A parallelized electromagnetic transient (EMT) simulation tool for power system transients will be developed in this research to accelerate the internal computation process. An EMT simulator uses a highly detailed representation for the Electromagnetic transient (EMT) simulation is a widely used and most accurate tool for power systems network simulations. EMT simulation is very important […]

Read More
Development and Validation of Software for the Three-dimensional Quantification and Visualization of Blood Flow Hemodynamics in Patients with Aortic Insufficiency using 4D flow MRI. Year 2

The aim of this proposal is to assist in the development and validation of a dedicated 4D flow MRI analysis software for the evaluation of aortic valve insufficiency. Before being commercialized this software requires validation considering the large amount of data required to be pre-processed (over 2,000 files per case), elemental data corrections, data analysis […]

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
The viscous disk model for 66 Ophiuchi constrained by spec

My project focuses on a particular kind of massive star that are surrounded by disks called B-emission (Be) stars. These objects are ideal laboratories for studying disks. Massive stars can spew out a thousand times more energy per second than our Sun and because the disk is formed from gas launched from the star, they […]

Read More
Measuring the carbon footprint of soy bean in Brazil

World population is expected to increase between 8 and 11 billion people by 2050. This growth will be accompanied by an increasing demand in food. Additionally, climate change is expected to have consequences on crop productivity because there will be changes in temperature and precipitation patterns. For that reason, there is an increasing concern over […]

Read More