• Publications
  • Influence
Using Bayesian networks to improve knowledge assessment
TLDR
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
Automatic semigroups : constructions and subsemigroups
vi Acknowledgements vii
Subsemigroups of the Bicyclic Monoid
TLDR
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
On Automatic Rees Matrix Semigroups
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 isExpand
Using bayesian networks and parameterized questions in independent study
TLDR
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
Computerized Evaluation and Diagnosis of Student's Knowledge Based on Bayesian Networks
TLDR
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
Properties of the subsemigroups of the bicyclic monoid
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 aExpand
Applying abstract algebraic logic to classical automata theory : an exercise
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 withExpand
Using parameterized calculus questions for learning and assessment
TLDR
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
A computer aided learn by example system
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 exampleExpand
...
1
2
3
...