Research Projects

23 items found

Use the filters below to refine your search...

Reset filters

STARGATE

Reducing the amount of instrument cabling on turbine engines is key to more efficient testing, and will enable reduced wiring weight and complexity on production engines in the future.

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.