Série das invasões francesas”: análise da imagética. Uma visão Ibérica sobre um inimigo exterior

Dissertação de Mestrado em História de Arte - Variante Contemporânea

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.

Alves Redol - o olhar das ciências sociais

Alves Redol – O olhar das ciências sociais é o resultado da leitura da obra do escritor Alves Redol por antropólogos, historiadores, geógrafos, sociólogos, etnógrafos, folcloristas e outros cientistas sociais. Participam neste livro António Mota Redol, Luísa Tiago de Oliveira, Helena Neves, Cristina Santinho, Joana Alcântara, Inês Fonseca, Jorge Crespo, Paulo Dias Oliveira, Mariana Nascimento, Pedro Ferreira, Fernando Oliveira Baptista, Vítor Viçoso, David Santos, Luís Maçarico, Miguel Falcão, João Madeira, Maria Alice Samara, Carina Infante do Carmo, João Edral, António Monteiro Cardoso, Gaspar Martins Pereira, Shawn Parkhurst, Miguel Cardina, Paulo Mendes, Sónia Almeida, Domingos Morais, Filomena Sousa, João Monteiro Serrano e Paula Godinho.

A utilização da calculadora gráfica no estudo das funções trigonométricas

As novas tecnologias, nomeadamente a calculadora gráfica, têm um papel fundamental no ensino da Matemática. A sua utilização possibilita mudanças importantes no processo de ensino/aprendizagem. Todavia, é questionável até que ponto o uso da calculadora é perspetivado de forma a desenvolver o conhecimento e o raciocínio dos alunos. Assim, o objetivo principal desta investigação é analisar o modo como os alunos utilizam a calculadora gráfica e aferir da qualidade das suas aprendizagens, nomeadamente no conteúdo das funções trigonométricas do programa do ensino secundário de Matemática. O estudo segue uma metodologia qualitativa, na modalidade de estudo de caso, recorrendo a uma abordagem instrumental baseada na teoria da atividade, pretendendo-se compreender as questões relacionadas com a aprendizagem dos alunos e a utilização da calculadora, ou seja, perceber como os alunos utilizam as calculadoras gráficas e, posteriormente, a partir desse uso, refletir acerca das suas aprendizagens em diferentes representações matemáticas. São feitos estudos de caso interpretativos de tarefas realizadas por estudantes, com o intuito de compreender o uso que estes fazem da calculadora gráfica. Para tal, são usados como instrumentos de recolha de dados, a observação e a gravação de processos utilizados pelos alunos na realização de tarefas. Para esta investigação, realizou-se uma contextualização teórica do papel das ferramentas computacionais na educação, abordando as práticas associadas ao uso da calculadora gráfica, tendo em conta as orientações metodológicas dos programas de Matemática, estudando-se a trigonometria do ponto de vista das diferentes representações e da realização de tarefas, atribuindo especial ênfase aos conteúdos programáticos do 11º ano do ensino secundário relacionados com funções trigonométricas. Com a análise dos dados recolhidos, constata-se que existem técnicas que são comummente aceites, mas carecem de um suporte teórico que permita uma eficaz utilização dos meios tecnológicos. As resoluções que os alunos fazem das tarefas fornecidas pelos professores dependem muito de como os enunciados encaminham os processos de uso da calculadora gráfica, facilitando consequentemente a aprendizagem de uma forma mais ativa e assertiva.

Identificação de compostos bioactivos envolvidos na sinalização entre raízes e fungos micorrízicos

Fundação para a Ciência e a Tecnologia(FCT)

Fatores que influenciam a adesão à terapêutica antirretroviral : a perceção dos enfermeiros de um serviço de infeciologia

RESUMO - A investigação no âmbito da infeção por VIH/SIDA tem tido avanços notáveis, nomeadamente no que se refere à evolução da terapêutica antirretroviral, sendo atualmente o único meio de controlar a doença. Nesta área, a compreensão da problemática da adesão torna-se importante para as instituições e para os profissionais de saúde, quer pelas taxas de morbilidade e mortalidade associadas à doença, quer pelos problemas de saúde pública e pelos gastos financeiros das organizações de saúde. A adesão ao regime terapêutico é um conceito que engloba tanto o cumprimento da prescrição medicamentosa, como dos comportamentos promotores de saúde. O presente estudo teve como objetivo identificar como os enfermeiros, a desempenhar funções num serviço de infeciologia, percecionam a adesão à terapêutica antirretroviral, por indivíduos portadores de VIH/SIDA. Participaram neste estudo nove enfermeiras a desempenhar funções no serviço de Medicina 1/Infeciologia/HDI do Hospital Fernando Fonseca, EPE, que reuniam os critérios definidos. Como metodologia para a identificação da perceção dos enfermeiros realizou-se um estudo qualitativo e utilizou-se uma entrevista semi-estruturada. Da análise das entrevistas, resultaram diferentes áreas temáticas. Os resultados obtidos evidenciam a importância atribuída à adesão à terapêutica antirretroviral e demostram que o acompanhamento dos doentes pelos profissionais e instituições de saúde permite o desenvolvimento de estratégias promotoras de adesão. Verifica-se que é ainda necessário percorrer um longo caminho, de forma a se obterem resultados ótimos de adesão. Contudo, os resultados obtidos no presente estudo são um incentivo para o desenvolvimento de estratégias de adesão e para a melhoria da gestão da qualidade.