Relatório de estágio

Dissertação para obtenção do Grau de Mestre em Ensino da Física e da Química

O Governo de Bernardino de Távora de Sousa Tavares (1701-1702) em Angola: o tráfico de escravos através das tramas portuguesas, africanas e luso-africanas

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História Moderna e dos Descobrimentos

Portugal Telecom’s strategic partnership with Oi: The value creation potential

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

O uso do solo como factor de influência na evolução de um sapal. Casos de estudo do Sapal de Corroios e do Sapal de Pancas

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente perfil Ordenamento do Território e Impactes Ambientais

An approach to teach Calculus/Mathematical Analysis (for engineering students) using computers and active learning – its conception, development of materials and evaluation

Dissertação para obtenção do Grau de Doutor em Ciências da Educação

Retomar percursos que o tempo interrompeu. Uma leitura dos encontros de fotografia de Coimbra

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação - área de especialização em Comunicação e Artes

Abordagem integrada na análise química de amostras ambientais

Dissertação para obtenção do Grau de Doutor em Química

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Caso Sério: Elaboração de uma colecção literária de crime real

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Edição de Texto

Elaboração de listas de verificação e avaliação do cumprimento de pré-requisitos na empresa Refrige, S.A

Dissertação para obtenção do grau de mestre em Tecnologia e Segurança Alimentar

Machine learning Gaussian short rate

Dissertação para obtenção do Grau de Doutor em Estatística e Gestão do Risco

Captura e armazenamento de CO2

Dissertação para obtenção do Grau de Mestre em Energia e Bioenergia

Potencial de valorização de resíduos da concentração de minérios

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente

A dramatização na sala de aula como recurso para desenvolver a expressão e a interação orais

O presente relatório visa, num primeiro capítulo, descrever em que medida as atividades de dramatização podem desenvolver e melhorar a competência comunicativa nas aulas de língua, neste caso Português língua materna e Espanhol língua estrangeira. Para isso, parte-se da definição de dramatização, analisando-se a importância da aquisição da competência oral em língua estrangeira. Abordam-se as dificuldades que apresentam os discentes para se expressarem oralmente e incide-se sobre o papel do professor e dos alunos na realização desta atividade. No segundo capítulo, faz-se uma apresentação do Agrupamento de Escolas de José Relvas – Alpiarça, onde foi realizada a Prática de Ensino Supervisionada e uma caracterização da turma em que foram lecionadas as aulas práticas. Por fim, apresenta-se e reflete-se sobre as atividades de dramatização que foram desenvolvidas durante a lecionação.