Research Projects

23 items found

Use the filters below to refine your search...

Reset filters

CoPED: Catalogue of Projects on Energy Data

CoPED: Catalogue of Projects on Energy Data

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.

Energy Revolution Research Consortium: EnergyREV

EnergyREV is focused on delivering (by 2022) investable and scalable local business models which use integrated approaches to deliver cleaner, cheaper, energy services for more prosperous and resilient communities.