This paper shows how we can make use of an asynchronous transition syste...
Privacy is currently in 'distress' and in need of 'rescue', much like
pr...
Domain operations on semirings have been axiomatised in two different wa...
It is generally agreed that one origin of machine bias is resulting from...
We give a formalization of Pratt's intuitive sculpting process for
highe...
This paper summarises our work on studying educational applications enab...
In recent years, it has come to attention that governments have been doi...