Automatic Verification of Comparators and Hash Functions

The implementation of data structures usually requires checking for certain mathematical properties such as equality. Those properties are usually implemented in methods that reason about the objects stored in these data structures. However, the implementation of such methods is fairly complex, and may exhibit software bugs that may not necessarily lead to program crashes. Therefore, […]

Read More
Evaluation of Clustering Methods on Game Play Data

The goal of the project is to evaluate several clustering algorithms on players’ styles data in the context of Video Lottery Terminals (VLTs). The previous work has shown that by segmenting anonymous player data by sessions, and then clustering the sessions using the simple k-means algorithm, we can get a descriptive statistic on player styles, […]

Read More
Innovations in Collaborative Food System Governance

Food security is a growing concern in communities across Canada, along with a host of other challenges impacting the health and equity outcomes of our food system. Municipalities, whether big or small, find themselves at the front lines of these issues and there is growing recognition of the potential for municipalities to play a leading […]

Read More
The interplay between mental health, mental illness, sport culture, and athletic performance in Olympic and Paralympic sport

Mental health is increasingly being recognized as a key component of elite athletes’ overall functioning and sport performance. Globally, research on antecedents (e.g., sport culture) and consequences (e.g., athletic performance) of mental health and illness in elite athlete populations is growing. However, little is known about the relationship between mental health, mental illness, sport culture, […]

Read More
Cognitive Powertrain and Metaveillogrammetric sensing for transportation

There is massive growth in the area of smart cities (e.g. sensors in streetlights), smart cars, and “smart people” (sensors on people, e.g. wearable computing). In some cities like San Diego, there are cameras and microphones in nearly every streetlight in the downtown core area. Most cars made now have one or more cameras in […]

Read More
Towards a Theory of Blockchain as a Socio-Informational-Technical System

Blockchains operate as perhaps the most promising system of trust for any type of digital transaction of value — everything from cryptocurrencies to patient medical records. But a number of barriers — involving social institutions, data and identity management and technological processes — stand in the way of broader adoption. These challenges also ultimately speak […]

Read More
The Role of Natural Background Radiation on Neurological Development and Processes

All species on the planet are affected by their environment: temperature, atmospheric pressure, daylight hours, and so on. These conditions affect how a species react to stress, grow, reproduce, and survive. Natural background radiation (NBR) is ever-present and has been prior to the evolution of all species. In order to study the effect of NBR […]

Read More
Defining and Targeting Autoimmune Liver Disease

The liver is the largest solid organ in the body and is critical for metabolic and immune functions, however huge gaps still exist in our basic knowledge of the human liver. Due to challenges in obtaining human liver tissue and the fragility of liver specimens, little is known about the cells that make up the […]

Read More