Le transport du minerai par convoyeur dans les mines est crucial pour l’efficacité et la rentabilité. Les convoyeurs nécessitent une préparation préalable du minerai par concassage pour améliorer la durée de vie de la bande, la fiabilité du système et réduire les coûts. Comparés aux camions, les convoyeurs présentent un avantage énergétique grâce à leurs […]

Les enjeux de données, collection et annotation, sont des points clés de l’industrie des véhicules autonomes et des systèmes d’aide à la conduite. La simulation apprise depuis les données, sans passer par une modélisation de l’environnement, est une technologie à haut potentiel pour toute l’industrie. L’enjeu principal reste la séparation du background foreground, permettant la […]

We will investigate a decision procedure for the monitorability of timed-properties of software controlled systems. A property defines a behaviour that a system is expected to exhibit, or in some cases, to not exhibit. In Runtime Verification, a property is monitorable if it is possible to construct a monitor that can detect the system’s conformance […]

Blockchain technology consists of a distributed ledger that operates through a decentralized network of data blocks, sequentially connected and regulated by consensus mechanisms. Initially developed to underpin cryptocurrencies like Bitcoin, broader business and technological sectors now recognize blockchains’ potential applicability across various fields, including healthcare, communication, and smart grids. Blockchains currently rely on established cryptographic […]

Humans and animals have emotions linked to an individual’s personality traits, which becomes obvious when looking into the pet and pet-owner interactions. With the advancement of Generative AI, research suggests that it is possible to replicate individuals’ behaviors digitally so that avatars can engage in game-plays and platforms like digital twins and metaverse, for entertainments […]

In the current digital world, users are constantly sending companies signals of their experiences and preferences in various shapes and forms, including likes/dislikes of a particular offer/product, reviews on platforms and social media, and contacting customer service. However, despite the abundance of signals, E-commerce companies are unable to rapidly gain meaningful and actionable insights from […]

The project comprises internships in a variety of technical and business roles within our organization. Within the organization, roles include associate machine learning developer, product management associates, associate business solutions consultants, communications associates, and finance associates. Within GovLab specifically, roles include associate machine learning developer, associate business solutions consultant, and project delivery associate. The difference […]

Every year, ~15,000 newborns in Canada who are critically ill are admitted to 31 Level 3 neonatal intensive care units (NICU). These newborns are at a high risk of death and illness. Over 65% of these newborns are not followed before birth in a hospital with a Level 3 NICU and need to be transferred […]

Pain is an unpleasant feeling and a significant health issue. A 2021 report by the Canadian Pain Task Force indicates that one in five people in Canada live with chronic pain, many of whom report it adversely affecting some or most daily activities. Chronic pain also has a tremendous impact on the Canadian economy. Additionally, […]

This project will build on the results achieved in MITACS Accelerate Project IT36824 on enhancing the security of the decentralized finance (DeFi) ecosystem through smart contracts analysis. In particular, we plan to work on refining and extending the algorithm we developed to find and repair oracle related vulnerabilities in smart contracts with new techniques to […]

This project will build on the results achieved in MITACS Accelerate Project IT36824 on enhancing the security of the decentralized finance (DeFi) ecosystem through smart contracts analysis. In particular, we plan to work on refining and extending the algorithm we developed to find and repair oracle related vulnerabilities in smart contracts with new techniques to […]

THIS IS A GENERIC TEXT PUT IN PLACE AS THERE WAS NO PROJECT OVERVIEW