In AI safety, compliance ensures that a model adheres to operational specifications at runtime to avoid adverse events for the end user. This proposal looks at increasing the suite of compliance testing and verification tools available to ML practitioners by implementing two more tools, CGDTest and Goose. The overall goal is to develop both proposed […]

The proposed research is for the intern to work with BlueMind Inc. to gather and build data on different types of insurance client scenarios. Once this data is aggregated the intern must work with the organization to clean, organize and label the data. Finally, the outcome of the project should be AI models based on […]

We will develop adaptive mirrors that will allow Photo-Acoustic Remote Sensing (PARS®) microscopes to autofocus, thereby allowing them to obtain three-dimensional, depth-resolved, images.

The proposed research project aims at technology for environmentally benign recycling of nickel. The process entails conversion of nickel found in the “black mass” from recycled Ni-based batteries into nickel carbonyl, Ni(CO)4, by reaction with CO at modest temperatures around 50-120°C (pressuredependent). Only nickel carbonyl is volatile under these conditions and is easily separated from […]

Histology studies the microscopic anatomy of biological tissues, which is critical to clinical disease management and fundamental to biological understanding. However, current approaches that rely on bright-field microscopy require extensive issue preparation prior to imaging and may thus take days. Photoacoustic remote sensing, or PARS, can dramatically reduce the histology bio-imaging time from days to […]

ESGTree is an Environmental, Social, Governance (ESG) data management platform for investors and corporations. Collecting, aggregating, and reporting ESG data is painstakingly inefficient for private capital investors. The ESGTree platform sets up individual client systems in a way that it will cater to all their investors and all the standards they need. The project ESG […]

Main Purpose: The main purpose of the internship is to assist with the development of research protocols for the fruit fly. Tasks / Key Results Expected: 1. Establish a biological laboratory – Equipment set up, qualification and record. 2. Establish optimized drosophila melanogaster growing environment conditions using agile project management methodology 3. Create novel experimental […]

Tourism growth has led to unsustainable and careless practices. An emergent response disrupting such carelessness is regenerative tourism. Regenerative tourism is a transformational approach exploring ways to co-create benefits with local communities and their ecosystems while providing authentic experiences for visitors. While interest in regenerative tourism is growing there are limited studies exploring the benefits […]

It is extremely challenging for clinicians and health researchers to extract insights from unstructured text data at scale. Recently, there has been a significant advancement in Natural Language Processing. Large deep-learning models, most famous of which are the transformers, generate pre-trained embeddings and are developed to extract insights from massive amounts of text. This project […]

The TAMOVES electronic health management web platform and app provide a secure and efficient means to store and send health information between the provider, patient and patient’s family. The TAMVOES platform is focused on creating a more empowered patient through patient-centred care and access to holistic health information. In Ontario and many other parts of […]

Organic compounds in water can be potentially hazardous. We will develop a green and solvent-free method for screening the organic pollutants in different water samples. Also, we will study the changes in water during the different treatment process. This research will benefit the community and provide a protection protocol.

Deductive verification is a subdiscipline of computer science which ensures software reliability and safety by formally modeling and proving program behavior. It is currently difficult to apply by non-experts and scales badly with program size and complexity. Pluggable type systems, which annotate variables and sub-programs with types that describe their expected values and behavior, offer […]