Bolseiro: Victor Cacciari Miraldo (Lic. Ciências da Computação)
Tìtulo do Projeto: Interpretações do lambda-calculus em redes de interação
Orientadores: José Carlos Espírito Santo e Jorge Sousa Pinto
Resumo: As redes de interacção são um formalismo gráfico, inventadas por Yves Lafont em 1990 como uma generalização das redes de prova. Por constituirem um modelo universal de computação e pela facilidade de uma implementação, paralela mostraram-se imediatamente interessantes na implementação de linguagens funcionais.
O lambda-calculus, por outro lado, é a base teórica das linguagens de programação funcionais, e pode ser traduzido para redes de interacção. O projecto consiste em estudar as interpretações conhecidas do lambda-calculus sobre redes de interacção, considerando em que medida tais interpretações são sensíveis às variantes do \lambda-calculus. Agrupou-se as traduções conhecidas em duas classes: lógicas e directas, e neste documento apresentamos um pequeno survey do processo de tradução por trás das interpretações lógicas e de um estudo detalhado de uma interpretação directa.
Bolseiro: João Marcelo Pires Silva (MI Eng. Civil)
Tìtulo do Projeto: Método dos elementos finitos para determinar o coeficiente de segurança à rotura de maciços terrosos heterogéneos com sobrecargas
Orientadores: Gaspar Machado e Júlio Barreiros Martins
Resumo: Os métodos mais usuais para o cálculo do Fator de Segurança de Maciços Terrosos são os métodos ditos "rígido-plásticos" (como por exemplo todos os Métodos das Fatias). No entanto, o cálculo do Fator de Segurança também pode fazer-se recorrendo a métodos ditos "elásto-plásticos". Para este efeito usualmente recorre-se ao Método dos Elementos Finitos. Observando-se os programas comerciais disponíveis que aplicam os métodos "elásto-plásticos", não é fácil o cálculo de Fator de Segurança, pois, na norma usual, apresentam apenas "manchas", em geral no espaço bidimensional, onde o material plastifica e nunca um mecanismo de rotura. Neste trabalho pretende-se assim desenvolver um programa em MATLAB que utilize o Método dos Elementos Finitos para determinar diretamente o Fator de Segurança, a partir de sistemas de estruturas de elementos elásticos ligadas entre si e com o exterior e concebidas dentro da massa de terreno potencialmente deslizante.
Bolseiro: Lara Maria Lopes Teixeira (Mestrado em Estatística)
Tìtulo do Projeto: Análise Estatística das Desigualdades em Saúde na região Norte de Portugal
Orientadores: Arminda Manuela Gonçalves, Susana Faria e Vasco Machado
Resumo: Necessidades de Saúde diferentes por parte das populações, exigem intervenções diferenciadas por parte dos serviços de Saúde de modo a torná-los mais eficazes, diminuindo-se assim as desigualdades em Saúde. O desenvolvimento de instrumentos eficazes de identificação e análise de Desigualdades em Saúde nas populações constitui, assim, um dos grandes desafios dos serviços de Saúde Pública de âmbito regional e local. Com esta finalidade construiu-se um modelo estatístico que permite identificar e analisar as desigualdades em saúde na Região Norte de Portugal, a nível local, e também fazer uma avaliação prognóstica de modo a orientar as intervenções que poderão ser efectuadas para a redução dessas desigualdades. Utilizou-se como medida resumo do estado de saúde a esperança de vida à nascença, que utiliza as taxas de mortalidade específicas por grupo etário, calculada por triénios, sendo os dados utilizados referentes aos triénios de 1996-1998 a 2008-2010. Para a identificação das Desigualdades em Saúde é utilizado o hiato relativo na esperança de vida, que é a diferença absoluta entre a esperança de vida de uma Área de Referência e a esperança de vida de uma Área em Estudo, apresentada como percentagem da esperança de vida da Área de Referência. Para uma melhor compreensão do hiato relativo na esperança de vida é determinado o contributo de cada causa de morte e de cada grupo etário para esse hiato, bem como ganhos potenciais na esperança de vida. Será possível ainda analisar o impacto de intervenções na esperança de vida, nomeadamente a redução das desigualdades existentes, podendo-se intervir com uma redução percentual ao nível das principais causas de morte e em grupos etários específicos.
O modelo estatístico desenvolvido permitirá aos Serviços de Saúde Pública uma avaliação diagnóstica das desigualdades, com uma especificação das causas de morte e grupos etários que mais contribuem para as mesmas. Permitirá, ainda, uma avaliação prognóstica através da análise do impacto de algumas intervenções na redução do hiato relativo na esperança de vida, que se traduz em ganhos em saúde.