research
∙
07/09/2023
A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows
We analyse abstract data types that model numerical structures with a co...
share
research
∙
08/11/2022
The dynamics of belief: continuously monitoring and visualising complex systems
The rise of AI in human contexts places new demands on systems to be tra...
research
∙
07/13/2021
A model of systems with modes and mode transitions
We propose a method of classifying the operation of a system into finite...
research
∙
10/12/2018
An algebraic theory for data linkage
There are countless sources of data available to governments, companies,...
research
∙
01/25/2017