Research Projects

22 items found

Use the filters below to refine your search...

Reset filters

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.