Sort by
Refine Your Search
-
the RACE for 2030 Collaborative Research Centre and Planet Ark Power is the Industry Partner on the project. This PhD will be completed through a PhD by publication/compilation or thesis with a minimum of
-
[1,2,3,4,5,6] have shown that the unknown transition models can be accurately approximated as neuro-symbolic (deep) neural networks which then can be compiled into mathematical optimisation models (e.g., MILP
-
error messages often produced by compilers. However, tools exist (such as those that take advantage of constraint solvers to resolve types) that can offer a much finer grained level of feedback about the
-
multi-objective optimisation, (3) optimisation and user interaction, (4) optimisation in the context of knowledge compilation (e.g. computing smallest representations of AI and ML systems), (5) problems