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
Filling in the gaps of the IMD immune pathway of the kissing bug Rhodnius prolixus

Rhodnius prolixus is a hemathophagous insect that has served for decades as a model to study insect physiology. Rhodnius prolixus is also a major vector of Trypanosoma cruzi, the etiological agent of Chagas disease that kills 45,000 people annually and affects over 8 million people worldwide. The genome of R. prolixus contains ~15,500 predicted protein-coding […]

Read More
The impact of hypernasality on the perception of prosody

Hypernasality is a speech disorders that results from excessive sound coming through the nose during speech. A speaker afflicted with hypernasality may be perceived as sounding flat and monotonous because the nasal murmur masks the inflections of the fundamental frequency (Kummer, 2008). However, the masking of prosody by the nasal murmur has not been investigated […]

Read More
Dispersal in bromeliad macroivertebrate communities

Dispersal, or the movement of individuals, is very important in order to maintain natural populations. However, dispersal is often difficult to study. New technological developments now allow us to infer dispersal from genetic data. We will use naturally occurring communities of insects that live in small pools of water in order to study how dispersal […]

Read More
Safe Cities, Urban Politics and Social Policy in North America

This project will fund Emily Diemert, a Wilfrid Laurier University undergraduate student, to collect research on the intersection between safer cities initiatives and social policies in Mexico City. Emily will be an exchange student at the Tecnológico de Monterrey, in Mexico City while also gaining experience as a researcher on data collection, coding and analysis […]

Read More
Surface modification to reduce biofouling on water quality monitoring devices

Biofouling is the unwanted accumulation of proteins and microorganisms on wetted surfaces. Accumulation of biofoulers on sensors and microfluidic devices greatly impairs their performance in assessing the physical, chemical, and biological condition of natural and processed water. Failure to obtain accurate data on these changes and respond in a timely manner may lead to serious […]

Read More
Battery Rickshaws in New Delhi: Socio-Economics and Environmental Impact

In the past four years, the number of battery-powered rickshaws in New Delhi has grown from a few dozen to around 100,000. These vehicles have zero-emissions, play an important role in the urban transport system and provide employment opportunities for low-income groups. However, they are not covered by existing transport regulations and there is currently […]

Read More
Feasibility Study of a New Fully Flexible Hydraulic Variable Valve Actuation System for Engines

Recently, due to stringent emission regulations such as US EPA (Environmental Protection Agency) and CARB (California Air Resource Board), improvement in fuel economy and reduction in the exhaust gas emissions have become the two major challenges for engine manufacturers. To meet the new emission standards, new innovative technologies are needed to improve the performance of […]

Read More
Narratives of Canadian Teacher Candidates’ Cross-cultural Experience in China

This study will explore narrative perspectives from Canadian teacher candidates’ cross-cultural experience in Chongqing, China from March 2015 to June 2015, and will be built on participant experiences during the Teacher Education Reciprocal Learning Program between University of Windsor and Southwest University China. Inquiries into the Canadian students’ learning trip in China will discover how […]

Read More
Measuring the Neural Responses to Auditory Rhythm and Beat in Nonhuman Primates

Despite the amazing level of shared neural machinery between humans and nonhuman primates, only humans appear to sense and react to musical rhythm. This ability spontaneously occurs very early in development, and has played a major role in human culture for millennia. The goal of this project is to advance our understanding of the neural […]

Read More