4 citations · 6 across the 4 of their papers we have counts for
4 papers
Lazard-style CAD and Equational Constraints
James H. Davenport, Akshar S. Nair, Gregory K. Sankaran +1
McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improvement on the original Collins version, and has had many subsequent advances, notably for total or partial eq…
The Influence of Domain-Based Preprocessing on Subject-Specific Clustering
Alexandra Gkolia, Nikhil Fernandes, Nicolas Pizzo +2
The sudden change of moving the majority of teaching online at Universities due to the global Covid-19 pandemic has caused an increased amount of workload for academics. One of the…
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…
Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks
Nikhil Fernandes, Alexandra Gkolia, Nicolas Pizzo +2
There has been an increasingly popular trend in Universities for curriculum transformation to make teaching more interactive and suitable for online courses. An increase in the pop…