The integration and evaluation of an existing generic Bayesian student model (GBSM) into an existing computerized testing system within the Mathematics Education Project (PmatE) of the University of Aveiro and results show a high degree of agreement among the scores given by the experts and also among the diagnosis provided by the BSM in the written exam and expert's average.Expand

It is shown that there are essentially five different types of subsemigroups of the bicyclic monoid B, and one of them is the degenerate case, and the remaining four split in two groups of two, linked by the obvious anti-isomorphism of B.Expand

Abstract We consider a Rees matrix semigroup S = M[U; I, J; P] over a semigroup U, with I and J finite index sets, and relate the automaticity of S with the automaticity of U. We prove that if U is… Expand

This approach allows the students a certain level of independence and provides some orientation in their independent study, by giving feedback about answers to questions and also about the general progress in the study subject, shown in the form of progress bars computed by Bayesian networks.Expand

The integration and evaluation of an existing generic Bayesian student model into an existing computerized testing system within the Projecto Matematica Ensino (PmatE) of the University of Aveiro is described.Expand

In this paper we study some properties of the subsemigroups of the bicyclic monoid B, by using a recent description of its subsemigroups. We start by giving necessary and sufficient conditions for a… Expand

In [4], Blok and Pigozzi have shown that a deterministic finite automaton can be naturally viewed as a logical matrix. Following this idea, we use a generalisation of the matrix concept to deal with… Expand

A Web application is implemented reusing questions from two computer systems, true/false questions from PmatE (Projeto Matemática Ensino) and multiple choice questions from Megua (Mathematics Exercise Generator) for diagnosing student knowledge in the topics covered.Expand

We present a learn by example system being developed in the University of Aveiro. This system uses the software platform, PeA, of the project PmatE, which provides a way to store and run our example… Expand