Internal Models of Homotopy Type Theory

Homotopy Type Theory is a formal system that conjecturally can be used as a foundation for Mathematics. It has at least two advantages over other existing foundations of Mathematics. It has a flexible language in which the notion of space is as primitive as the notion of set, thus making it easier to work with […]

Read More
Bridging natural and machine intelligence for calculating insurance premiums

The project will undertake a review of the existing and ongoing research in the field of InsurTech. Here, “InsurTech” refers to the marriage of insurance and technology with a goal to transform the insurance industry by using modern technologies to generate efficiencies. It is proposed to develop new technology based solutions for more realistic insurance […]

Read More
Examining microclimatic effects on vertebrate interactions with foundational plant species.

Desertification and arid region expansion are critical global change issues. Temperature, variability in precipitation, extended drought periods, and radiation are probable factors affecting the function of foundations shrubs. The changes in the above weather parameters are primarily due to anthropogenic climate change that significantly modifies physical and biological systems in all continents. Micro-climatic-driven behavioural plasticity […]

Read More
A Critical Transition in the Common Core: Analyzing Networks for Mathematics Implementation

Since the U.S. Common Core State Standards for Mathematics were introduced in 2010, states have been grappling with the implementation of revised mathematics instruction. Implementation challenges have meant fewer students are adequately prepared for the elementary to middle school transition. Educators’ professional learning networks (PLNs) may be effective in addressing this issue, yet minimal research […]

Read More
Mitigation of CO2 in the emissions of stand-alone electricity generators

In Canada, there are over 280 communities that are off the grid, the majority of which are First Nation. They use stand-alone diesel-powered electricity generators to supply their basic needs, and whilst there are plans to provide renewable energy alternatives, this will take time. In addition, there are a growing number of generators that burn […]

Read More
La domination sociale des élites gouvernantes de Metz dans l’espace lorrain (XIVe-XVIe siècle) : Conservation et gestion documentaire de l’activité judiciaire

Le projet de doctorat, conçu dans le cadre d’une collaboration scientifique entre l’Université d’Ottawa et l’École des hautes études en sciences sociales, vise à comprendre les modes de légitimation de l’autorité urbaine à Metz, ville du Saint-Empire romain germanique entre le XIVe et le XVIe siècle. L’analyse approfondie des pratiques d’écriture des groupes dirigeants à […]

Read More