Mathematical Methods for Monitoring and Controlling Mite Infestations in Apple Orchards

Various species of mites pose significant challenges for apple growers worldwide. In order to control the mite infestations, miticides can be sprayed or predators can be introduced. The latter option leads to a complex ecology characterized by predator-prey relationships. Multiple species, with varying behaviours, give rise to complex population dynamics that must be better understood […]

Read More
Data Analysis and Hypothesis Testing for Cattle Carcass Data and Single Nucleotide Polymorphisms

Feedlot Health Management Services is a comprehensive beef industry consultancy, providing veterinary services, herd health programs and computerized health-recording systems and other informational tools to producers. Fat yield, lean yield, meat tenderness, carcass marbling and carcass grading are some characteristics of cattle that are measures of beef quality. Thus, the goal of this project is […]

Read More
Model for Dispersal of the Emerald Ash Borer

For this project, the intern will be building a probabilistic model to predict how an individual emerald ash borer searches for host trees. The emerald ash borer is an exotic beetle which most likely arrived in North America in wood packing material carried in cargo ships. The beetle larvae feed on the inner bark of […]

Read More
A Mathematical Framework for Modelling Forest Fire Spread

Computer prediction models for forest fires are of great value to wildfire management. The goal of this project is to analyze the mathematical model used by the Wildfire Science Unit in their Prometheus fire prediction software package. In particular, the internship will work on the development of a robust software package which includes 3-D features […]

Read More
Analysis and Classification of Data from 3D Morpho-Functional Assessments

The digital and bio-mechanical analysis of human motion is an attractive research field as it helps one understand and interpret pathologies affecting the body’s articular components. The goal of this project is to develop data analysis and automatic classification methods to differentiate between data from asymptomatic and pathological individuals. The data will be drawn from […]

Read More
Modelling Home and Community Care

The overall project goal is to develop a model of the Home and Community Care System that can aid in predicting future loads on the system and explore how policy changes might impact it.

Read More
Mathematical and statistical synthesis of sea lice and salmon population dynamics in the Broughton Archipelago

The David Suzuki Foundation, a science-based Canadian environmental organization, and an intern from the University of Alberta will analyze data on sea lice and Pacific salmon population dynamics using mathematical and statistical techniques. The project will have three components: (1) evaluate how well current management actions work to protect wild juvenile salmon from sea lice […]

Read More
Development of Cognitive Mapping Analysis Tool

Cognitive Mapping or CM – sometimes called Fuzzy Cognitive Mapping- is a process by which an individual, group of individual, or groups of individuals can identify a central topic and over prolonged discussion, identify the various factors which relate to that topic. CM has been recently applied to explore issues in First Nations communities by […]

Read More
User Modelling and Feature Selection for Personalized Local Search

Search engines, such as Google, have revolutionized the way we search for electronic information, providing a user with a ranked list of documents most relevant for a particular query. This project with GenieKnows R&D, a search engine company, concerns an extension of this basic technology, in which the goal is to incorporate geographic constraints into […]

Read More
Delayed Polynomial Arithmetic and its Applications

The main component of this project with MapleSoft, Inc., a software development and business consulting firm, will be to design a high performance implementation (in C) of a set of procedures the intern has created in Maple language. These procedures provide an environment for doing polynomial arithmetic in a ‘lazy’ way. That is, they allow […]

Read More
An Algebra-Based Approach to Program Verification

We want to study the feasibility of using an algebra-based approach to performing program analysis. In particular, we are interested in the code comparison problem: tackling this problem enables us, among other things, to identify differences between two versions of a code or to check whether an optimized code is equivalent to its non-optimized version. […]

Read More