Sort by
Refine Your Search
-
Category
-
Field
-
with the ARIA Safeguarded AI programme project “Data-Parallel Proof Checking for Monoidal Theories”, led by Professor Fabio Zanasi within the Programming Principles, Logic and Verification (PPLV
-
Operational Research Unit (CORU) is a team within the Department of Mathematics dedicated to applying operational research, data science and mathematical modelling to problems in healthcare. To find out more
Searches related to data compression
Enter an email to receive alerts for data-compression positions