This paper explains SAMO, an educational game for Spanish orthography. The game is an evolution of MITO, which was evaluated with real students. Using information obtained from th...
Cristina Carmona, David Bueno, Miguel A. Jim&eacut...
This paper presents a task selection model for personalised educational instruction. The proposed model is based on the student expertise level and it takes into account performan...
In the present paper, we study the problem of aggregation under the squared loss in the model of regression with deterministic design. We obtain sharp oracle inequalities for conve...
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...