Rigorous development of database backends

Using a verification-based approach for database storage backends has the potential to avoid such bugs, but specifying the complexity of a modern backend upfront is a daunting task. To decompose the problem into smaller pieces, we base our approach on the following insights: (1) There are two broad classes of backends: eager, state-based maps, vs. […]

Read More
Integrating Optical and RADARSAT-2 Imagery for Enhanced Lake Ice Monitoring

This project aims to improve how lake ice is monitored in Canada by combining images from optical and RADARSAT-2 satellites with advanced data analysis techniques. Monitoring lake ice is important because it reflects climate changes, which affect both local and global environments. The partner company, ApoSys, specializes in using satellite technology for environmental monitoring, but […]

Read More
!Drop impact of non-Newtonian fluids!!!

Le projet portera sur l’étude de l’impact de goutte de fluides complexe qui a de nombreuses applications industrielles ou en géophysique. Nous utiliserons notamment des fluides à seuils qui ont la particularité de se comporter comme des solides lorsqu’il sont faiblement sollicités et comme des fluides quand on a dépassé une contrainte limite dite contrainte […]

Read More
Simulation of cerium dissolution and interaction with the catalyst-ionomer interface in fuel cells

Polymer electrolyte fuel cells are a key technology in the race against climate challenges, and while commercial applications are increasingly common, challenges remain in cost, performance, and durability. Most of the issues that prevent full commercialization affect the catalyst layer, the region where the power-generating electrochemical reactions take place, like the oxygen reduction reaction. This […]

Read More
Innovation Intermediary: Design Strategies for Business Incubator Modeling

TechBA Vancouver is evolving from exclusively operating as an organization delivering programs run by the US-Mexico Foundation for Science (FUMEC) and supported by Mexico’s Secretary of Economy, to an innovation-focused solution generator. This encompasses accelerating and incubating services for businesses. Along with TechBA`s other eight locations in highly technologically competitive environments, its objective is to […]

Read More
Assessment of Cattle Winter Feeding Using Internal and External Accelerometer Data

Extreme cold temperatures caused by disrupted polar vortexes subject beef cattle to a stressful environment, leading to a diversion of energy from cattle growth or fertility to thermoregulatory mechanisms that increase heat production. We hypothesize that simultaneous selection of both heat and cold tolerance could be possible, which might be essential for the volatile effects […]

Read More
Exploring a century of change through repeat photography on the Alsek River

Historical survey images of mountains, glaciers, vegetation, and river features captured during the 1906 Alaska Border Survey will be repeated on the Alsek River by PhD student Christopher Rhodes. The sites of the original images will be accessed by river rafting during expeditions with Canadian River Expeditions down the Alsek River. The goal is to […]

Read More
Evaluation of a novel energy efficient high pressure grinding rolls-vertical power mill grinding circuit

Comminution is the most energy intensive process in mining operations, which represents a major operating cost and contributes the carbon footprint of mining activities. In recent years, high pressure grinding rolls (HPGR) and high speed stirred mills technologies have been attractive due to their energy efficiency comparing to conventional tumbling mills (including autogenous/semi-autogenous grinding mills […]

Read More
Learning from the Past: Strengthening Collaborative Skeena River Watershed Fisheries Management

The Skeena River near Prince Rupert is home to five species of salmon, steelhead and many other aquatic species, and draws diverse interests which include: federal and provincial governments, First Nations, commercial and recreational fishers, non-governmental environmental organizations, small businesses, and the public. Parties with diverse ecological, economic and cultural interests such as these present […]

Read More
Exploring and elucidating the structure and dynamics of dialcohol nanocelluloses

This project aims to explore and improve a special type of bio-based material called dialcohol nanocelluloses, which is made from cellulose. By working with experts at Université de Grenoble Alpes and using their advanced equipment, the research will help us understand how these materials are structured and how they behave. This knowledge is important because […]

Read More
Drone Assessment of Winter Feeding of Climate Resilient Cattle

In the Climate Resilience Cattle project, we are combining the Red Angus, Senepol, Galloway, and Scottish Higland Bos taurus breeds with the objective of producing a novel synthetic breed called the Climate Master Composite. Thermally equipped drones will be autonomously flown to each individual animal using the GPS coordinates supplied by Virtual Fencing collars placed […]

Read More
Enabling Customization of OS Memory Eviction Policies

The project aims to optimize memory management in operating systems by allowing user-space applications to design custom memory eviction policies. Traditional memory management policies, embedded in operating systems, often perform well on average but fail to deliver optimal performance for specific applications. This research will explore the use of eBPF technology to create more tailored […]

Read More