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