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 […]

Depression is estimated to be the second most disabling condition by 2020. More than 300 million people of all ages suffer from depression making it the leading cause of disability worldwide. Schizophrenia affects about 1% of the population, and is one of the leading causes of health burden in the world. The two mental disorders […]

The purpose of the proposed research project is to develop a bench-scale method to investigate the release of opportunistic pathogens such as Legionella pneumophila, in drinking water distribution systems. Legionella pneumophila can cause serious health effects in humans and causes one of the largest water related diseases. To complete this research, two bench-scale experiments have […]

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 […]

E-mental health, which is an emerging field that utilizes technology to improve access to care, has shown strong potentials to address the overwhelming demand for mental health services. Australia is currently undertaking an unified effort between clinicians, researchers, private sector, the government, and the users to provide a rigorously evaluated digital platform through Project Synergy. […]

Research on assessment accommodations for students with disabilities is well-documented in the literature. Assessment accommodations are the arrangements made by the teacher such as allocation of more time on the tests to give disability students a fair and equal opportunity to show their learning as well as possible. However, much of the research on this […]

Desert ants rely on multiple systems in order to successfully navigate, including memorizing snapshots of their visual surroundings and path integration. During path integration, foragers record both their heading direction, through a sky compass, and the distance from the nest through a step-counter giving the forager an estimate of the nest’s location while they forage. […]