Contribution of the evaluation strategy and the use of hearing protection for the uncertainty associated with occupational exposure to noise

Doctoral Thesis for PhD degree in Industrial and Systems Engineering

As agências europeias no Direito Administrativo Europeu

Dissertação de mestrado em Direito Administrativo

Narrative change in Gloria Films: Comparing various processes of therapeutic innovation

Aims: The present study focuses on the analysis of novelty emergence in classic Gloria Films with Rogers, Perls, and Ellis to understand how the same client formulated her own problem and if and how change occurred in those three sessions. Method: The Innovative Moments Coding System was applied to track innovative moments (IMs) and their themes. Results: The session with Rogers showed more diversity in disclosed problems and themes of IMs, as well as a higher proportion of reflection IMs. The session with Perls demonstrated a high proportion of protest IMs. The session with Ellis showed less innovation than other sessions. The changes found were based mostly on reflection and protest IMs in three sessions. Conclusion: Narrative innovations occurred in the three single sessions. The type of dominant innovation is consistent with the therapeutic model and the IMs model. The exploration of the IMs’ themes allowed a more precise identification of Gloria's new narrative positions and their development throughout those sessions.

Pervasive patient timeline

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

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Rádio Renascença: um caso de sucesso na convergência jornalística?: experiência de estágio e considerações criticas

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

A proteção cumulativa do design pelo Direito de Autor e pelo Direito da Propriedade Industrial: o caso especial do contrato de trabalho

Dissertação de mestrado em Direito dos Contratos e das Empresas

A Thomson Reuters e o PSI20: as notícias e as decisões dos investidores

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)