5 citations · 9 across the 12 of their papers we have counts for
5 papers · 1 filter
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou +2
Collaboration across institutional boundaries is widespread and increasing today. It depends on federations sharing data that often have governance rules or external regulations re…
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Special Relativity is a cornerstone of modern physical theory. While a standard coordinate model is well-known and widely taught today, several alternative systems of axioms exist.…
Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction
Colleen E. Charlton, Michael Tin Chung Poon, Paul M. Brennan +1
Prediction of survival in patients diagnosed with a brain tumour is challenging because of heterogeneous tumour behaviours and responses to treatment. Better estimations of prognos…
An Evaluation of the Archive of Formal Proofs
Carlin MacKenzie, Jacques Fleuriot, James Vaughan
The Archive of Formal Proofs (AFP) is an online repository of formal proofs for the Isabelle proof assistant. It serves as a central location for publishing, discovering, and viewi…
Object-Level Reasoning with Logics Encoded in HOL Light
Petros Papapanagiotou, Jacques Fleuriot
We present a generic framework that facilitates object level reasoning with logics that are encoded within the Higher Order Logic theorem proving environment of HOL Light. This inv…