Avaliação de desempenho docente e seus atores

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Supervisão em Educação

Autonomic workflow activities: the award framework

Workflows have been successfully applied to express the decomposition of complex scientific applications. This has motivated many initiatives that have been developing scientific workflow tools. However the existing tools still lack adequate support to important aspects namely, decoupling the enactment engine from workflow tasks specification, decentralizing the control of workflow activities, and allowing their tasks to run autonomous in distributed infrastructures, for instance on Clouds. Furthermore many workflow tools only support the execution of Direct Acyclic Graphs (DAG) without the concept of iterations, where activities are executed millions of iterations during long periods of time and supporting dynamic workflow reconfigurations after certain iteration. We present the AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic) model of computation, based on the Process Networks model, where the workflow activities (AWA) are autonomic processes with independent control that can run in parallel on distributed infrastructures, e. g. on Clouds. Each AWA executes a Task developed as a Java class that implements a generic interface allowing end-users to code their applications without concerns for low-level details. The data-driven coordination of AWA interactions is based on a shared tuple space that also enables support to dynamic workflow reconfiguration and monitoring of the execution of workflows. We describe how AWARD supports dynamic reconfiguration and discuss typical workflow reconfiguration scenarios. For evaluation we describe experimental results of AWARD workflow executions in several application scenarios, mapped to a small dedicated cluster and the Amazon (Elastic Computing EC2) Cloud.

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Articulação do tratamento das águas lixiviantes de infraestruturas de resíduos com ETAR urbanas: caso de estudo

A deposição de resíduos sólidos urbanos (RSU) em aterros sanitários (AS) tem uma dimensão que necessita de uma atenção especial por parte da sociedade. Deste acto podem resultar situações gravosas para o meio ambiente se não forem tomadas as medidas correctas. Um dos pontos que necessita de uma particular atenção é o tratamento das águas lixiviantes dos aterros sanitários, uma vez que estas apresentam geralmente cargas altamente poluentes. O presente trabalho apresenta a estrutura de um aterro sanitário, definindo os seus princípios de funcionamento, bem como as principais características a ter em consideração para a sua concepção e construção. É ainda abordada a composição dos resíduos sólidos produzidos em Portugal de acordo com (1) e as características quantitativas e qualitativas do lixiviado produzido por um AS. São apresentados os sistemas tratamento convencionais, biológicos e físico-químicos, mais utilizados em Portugal para o tratamento de águas lixiviantes, relacionando as problemáticas e as limitações associadas a cada um deles. É ainda apresentado o tratamento combinado de águas lixiviantes com águas residuais e a recirculação de lixiviado no sistema de tratamento, assim como algumas das vantagens associadas a estas práticas. Tendo por base, uma situação real, avalia-se um caso de estudo, que visa a avaliação do funcionamento da estação de pré-tratamento das águas lixiviantes produzidas no aterro sanitário do ecoparque de Palmela, tendo em consideração o facto de este tratamento ser realizado em combinação com o tratamento de águas residuais urbanas. A avaliação do funcionamento da estação de pré-tratamento de águas lixiviantes (EPTAL) é realizada de acordo com os dados fornecidos nos relatórios elaborados pela empresa LUSÁGUA, que apresentam os valores das cargas poluentes medidos à entrada e saída da EPTAL, verificando com estes dados se os valores limite de emissão medidos à saída da EPTAL são respeitados. São ainda propostas algumas alterações baseadas em pareceres técnicos que acompanham os relatórios elaborados pela LUSÁGUA e um estudo elaborada pela ECOserviços em Fevereiro de 2010 onde se obtêm eficiências de etapas de tratamentos com base em testes laboratoriais e testes realizados na própria EPTAL.

e-Recruitment: descrição e inferência sobre oferta e procura

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

O processo ensino-aprendizagem: relatório de estágio

I - Inserido no Concelho de Odivelas, cuja realidade e contexto sócio cultural realçam a problemática da diversidade cultural, colocando ao professor dúvidas e dificuldades emrelação às suas práticas educativas, o Conservatório de Música D. Dinis é a escola na qual leciono desde 1993. É também local de reflexão permanente quanto aos critérios e condições que devem nortear a prática pedagógica contemporânea na área da música, cujo objetivo assenta na formação integral do aluno através da utilização de estratégias de ensino que o responsabilizem na própria aprendizagem. Considerando estes desafios, o seguinte trabalho será realizado no contexto da minha classe de violino e incidirá sobre três alunos em particular, que frequentam os seguintes graus, a saber: 1 - Iniciação (1º ciclo do ensino básico); 2 - 2º grau (2º ciclo do ensino básico); 3 - 5º grau (3º ciclo do ensino básico). Apesar de acreditar nas suas capacidades de aprendizagem e ter um cuidado especial sobre as minhas ações e os efeitos destas na aprendizagem académica e social dos meus alunos, os resultados finais são reveladores da importância da motivação, do apoio parental e da responsabilidade dos alunos na obtenção do seu próprio sucesso escolar.

Long-run consumption risk with durable goods : UK evidence for equity and bond markets

"It is a widely accepted fact that the consumption-based capital asset pricing model (CCAPM) fails to provide a good explanation of many important features of the behaviour of financial market returns in a large range of countries over a long period of time. However, within a representative consumer/investor model, it is hard to see how the basic structure of the consumption based model can be safely abandoned." [introdução]