Data science tools for high-performance computing Enabling the provision of popular data science packages within a managed, multi-user, academic high performance computing (HPC) environment
High performance, large-scale regression Investigating the effectiveness of distributed computer systems for running regression analysis, a process which determines the relationships between large numbers of variables
Reliability and reproducibility in computational science Friday 24 Jan 2020 Time: 09:30 - 17:00 Peter V. Coveney Dan Crommelin Onnie Luk Nick Malleson Anna Nikishova Victoria Volodina
Mixing set and bag semantics The conservativity theorem for nested relational calculus implies that query expressions can freely use... Mixing set and bag semantics, Wilmer Ricciotti and James Cheney, DBPL 2019
Language-integrated provenance by trace analysis Language-integrated provenance builds on language-integrated query techniques to make provenance information explaining query results... Language-integrated provenance by trace analysis, Stefan Fehrenbach and James Cheney, DBPL 2019
TryLinks: An interactive tutorial system for a cross-tier Web programming language Links is a web programming language under development in Edinburgh aimed at simplifying web... TryLinks: An interactive tutorial system for a cross-tier Web programming language, Junao Wu, Arek Mikolajczak, and James Cheney, ProWeb 2019
Visualization How can we gain insight into ever-growing datasets and see the reasoning behind automated AI decision-making?
Research Engineering Connecting research to applications, helping create usable and sustainable tools, practices and systems.