Passerine migration and stopover across an urban gradient

To develop ‘green’ cities and to assess environmental impacts in cities, it is essential to understand the spatial distribution of sensitive species, such as migrating birds. Migration is a costly and dangerous time for songbirds, with up to 80% mortality during their first migration. As migratory birds are protected under the federal Migratory Bird Act, […]

Read More
Automated Impact Analyses to Support Code Review Practices

Large software systems are updated incrementally to add new features or fix bugs. It is a common practice in the software industry to have each incremental change reviewed by a peer to detect software quality issues and transfer knowledge among team members. While peer review boasts technical and non-technical benefits, it is still primarily based […]

Read More
Predicting real-world attention with physiology

It is estimated that the average person spends up to 50% of their waking hours thinking about things other than what they are presently doing (i.e., mind wandering). This internal form of distraction along with its external counterpart (i.e., external distraction) are associated with performance deficits during everyday activities, such as reading or driving. Moreover, […]

Read More
Direct Recycling Process of Spent Lithium Iron-phosphate Batteries

Lithium batteries, developed during 80’s, are used more and more as energy sources for electronic devices, hybrid or electric vehicles or other uses. Another application currently in development is the use of lithium batteries to stabilize the energy grid system and energy fluctuations from renewable energy sources such as solar and wind power. Hydro-Québec is […]

Read More
Sécurité urbaine : entraînement, soutien opérationnel, protection des infrastructures et analyses prédictives

La majorité de la population des pays développés vivra en ville, ce qui, malgré les possibilités que la vie urbaine entraine, provoquera plusieurs problèmes reliés au trafic, au bruit et à la criminalité. Le présent programme de recherche a pour objectif de développer de nouvelles expertises et technologies visant à réconcilier la croissance rapide de […]

Read More
Advanced Manufacturing of Graphene Oxide Membranes for Acoustic Drivers

The Graphene Audio group at TandemLaunch is working to revolutionize loudspeaker design through the use of graphene composite materials (Graphene-CMs) in loudspeaker membranes. Graphene is a newly discovered material with exceptional mechanical and electrical characteristics. Its low mass and high strength make it ideal for use in acoustic transducers offering an immediate benefit over existing […]

Read More
Ottan Thullal: A Vanishing Indian Preforming Art

In satisfaction of my PhD dissertation at McGill University, I intend to conduct both archival and field research on Ottan Thullal, a classical art form from Kerala, India. This surviving art form embodies an intangible cultural heritage which is on the verge of disappearing from the historical record. This dissertation aims to trace the historical […]

Read More
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