Pattern matching for definite summation in Maple

The proposed project is to design and implement a pattern matching based method for definite symbolic summation in. To remain competitive, Maple’s symbolic computation capabilities, which are one of its strengths, need to be improved constantly. This includes the ability to symbolically evaluate definite sums. Closed forms for definite sums are important in many applications, […]

Read More
Deep Surface AI Security Operations Program

As of February 2023, DSAI has achieved HIPAA compliance, and will be deploying its product in several clinics throughout the United States. As this is the first time DSAI will be holding live patient data, a need to bolster its current security operations program. The intern will work closely with DSAI’s compliance and software development […]

Read More
Increasing and Automating Adaptivity of LogicBlox Datalog Platform

Declarative programming techniques have been used to make programming available to common users through introducing query languages such as SQL and spreadsheet programs such as Excel. The proposed industrial partner, LogicBlox, has developed software that enables highly-complex data analysis through the flexible and familiar form of spreadsheet computing. The main goal of this proposal is […]

Read More
Theft of Crypto Assets

Decentralized Finance (DeFi) stands for a paradigm shift in digital financial services. The innovative blockchain technology of the cryptocurrency platform Ethereum provides the ability to deploy software programs, which enables the development of virtual cryptoassets and financial services, to lend or exchange them. DeFi services are a rapidly growing ecosystem, with more than 30 billion […]

Read More
Holographic visualization for ultrasound-guided pedicle screw placement training

Pedicle screws are used often in a spinal fusion to add support and strength to the fusion while it heals. Traditionally, a large incision is made to implant screws and rods that stabilize the spine. In contrast, percutaneous pedicle fixation is a minimally invasive spine surgery technique, performed through the skin without a traditional large […]

Read More
Plateforme Upcycli Inc – Impact de la consommation textile

Upcycli est une place de marché québécoise permettant à toute et à tous de vendre ET acheter des vêtements de seconde main. Créée et publiée au Québec sous forme d’application mobile, c’est plus de 20 000 utilisateurs qui soutiennent la mission d’Upcycli: promouvoir et accroitre le mouvement “Slow Fashion”. Face à un marché de plus […]

Read More
Library Fission: Improving APIs by observing real-world API usage

Modern software development heavily relies on external libraries. The proposed collaboration will create techniques and publicly-available tools useful to both users of external libraries and maintainers of these libraries. Our hypothesis is that different clients use different subsets of libraries’ API surfaces, and that it is possible to use clustering algorithms to automatically split libraries […]

Read More
Managing Shared State for Video Games in a Networked Multi-core Environment Renewal

Video Games require a vast array of different computations to present the desired experience. These computations must be completed consistently to make the software responsive to the user. The industry trend towards many separate processors (multi-core) in the same physical device and the emergence of network based ‘cloud’ computing have created many opportunities, but also […]

Read More
Managing Knowledge Discovery and Data-Mining Through Visual Analytics, Concept Maps and Ontologies

This research project aims to prototype and evaluate a computer system supporting the creation of data-driven domain ontologies. The first phase consists in creating a working prototype of a computer application supporting: 1) Preliminary research; 2) Creation of an interactive and visual computer interface allowing the visual concept mapping of a domain, its entities; define […]

Read More
Personalized event recommendation system in community-based healthcare

Social isolation and loneliness are serious public health issues with many adverse effects on individuals’ quality of life and well-being. Notably, these are growing problems in the aging population. Working from an existing prototype and extension of our previous Mitacs project, the main objective of this research project is to develop and optimize a personalized […]

Read More
3D Human Motion Generation Using Learnt Motion Representations

In this internship, we aim to develop a machine-learning model that learns human pose and movements. Such models can be used for AI-assisted human animation creation, motion refinement and denoising, video or imageto- pose conversion, and motion editing. We plan to implement and push state-of-the-art human motion models by taking inspiration from the advances in […]

Read More