Outputs (2)

SACRO: Semi-Automated Checking Of Research Outputs (2023)
Presentation / Conference Contribution

Output checking can require significant resources, acting as a barrier to scaling up the research use of confidential data. We report on a project, SACRO, that is developing a general-purpose, semi-automatic output checking systems that works across... Read More about SACRO: Semi-Automated Checking Of Research Outputs.

Evolutionary n-level hypergraph partitioning with adaptive coarsening (2019)
Journal Article

Hypergraph partitioning is an NP-hard problem that occurs in many computer science applications where it is necessary to reduce large problems into a number of smaller, computationally tractable sub-problems. Current techniques use a multilevel appro... Read More about Evolutionary n-level hypergraph partitioning with adaptive coarsening.