A relational algebra approach to ETL modeling

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

A expressão dramática em contexto escolar: um estudo de caso com alunos do 1º ciclo do ensino básico na Região Autónoma da Madeira

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Dramática).

Form tutors in the joint teaching of music: perspectives and experiences

In the Portuguese school system, form tutors (FTs) are an intermediate education management structure. The form tutor is responsible for a position of coordination and orientation with a «threefold function»: a relationship with students, relationship with the student’s family and relationship with other class teachers. The joint teaching of music is a part of the educational system in basic education. It is optional and provides musical and instrumental training to students who are interested in taking it. In order to achieve this, there is a system, subject to protocols, between general education schools and schools specializing in teaching music. There is also the position of FT in specialized schools and it also includes a «threefold function». However, these FTs have the additional role of representing music teachers at the class council, which is held at the general education school. Thus, in these cases, both FTs have a fourth joint area, between the music school and the general education school, which makes the relationship between them even more complex. This paper is based on the analysis of empirical data obtained from the testimonies of FTs regarding their representations and experiences in leadership and the coordination of teachers among schools in which there is a joint teaching system. The aim of collecting narratives is to look into some of the main challenges and confrontations related to leadership issues, which we assume to be the focus of those who have the role of form tutor in that specific context.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Modelação de processos de negócio: análise comparativa de linguagens

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Modelação de processos num serviço de uma organização de ensino superior

Dissertação de mestrado integrado em Engenharia e Gestão Industrial