Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
Blind people encounter great difficulties in dealing with Mathematics. Based on an analysis of these problems, we shall outline possible strategies to overcome them through softwa...
In this paper, based on recent scientific findings in the fields of neurology, evolutionary psychology and cognitive psychology we propose a software architecture and technology su...
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
The University of Queensland has recently established a new design-focused, studio-based IT degree at a new “flexible-learning” campus. The Bachelor of Information Environment...
Michael Docherty, Peter Sutton, Margot Brereton, S...