Research Projects

23 items found

Use the filters below to refine your search...

DOMUS - Design OptiMisation for efficient electric vehicles based on a USer-centric approach

The DOMUS project aims to change radically the way in which vehicle passenger compartments and their respective comfort control systems are designed so as to optimise energy use and efficiency while keeping user comfort and safety needs central.

Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition (DEWCAD)

The DEWCAD project aims to produce a state of the art tool for solving problems of Quantifier Elimination or Satfiability over Non-Linear Real Arithmetic.

Development of a Roadmap for Scaling-up Use of Solar Energy for Climate Resilient Water Supply Systems in Rwanda

Given Rwanda’s hilly topography, water supply systems require significant pumping to move water from valleys to hilltops. This leads to high electricity and diesel costs, and in many remote areas, intermittent power supply causes frequent water shortages. Consequently, water provision is often expensive and unreliable.