research
∙
11/16/2020
The Influence of Domain-Based Preprocessing on Subject-Specific Clustering
The sudden change of moving the majority of teaching online at Universit...
share
research
∙
10/12/2020
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper
This white paper argues that formal methods need to be better rooted in ...
research
∙
10/04/2020
Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks
There has been an increasingly popular trend in Universities for curricu...
research
∙
04/08/2020
New Opportunities for the Formal Proof of Computational Real Geometry?
The purpose of this paper is to explore the question "to what extent cou...
research
∙
09/21/2018