Análise dos parâmetros de qualidade das imagens de verificação em radioterapia aplicada a patologias de cabeça e pescoço

Mestrado em Radiações Aplicadas às Tecnologias da Saúde - Área de especialização: Terapia com Radiações.

EVIV: An end-to-end verifiable Internet voting system

Traditionally, a country's electoral system requires the voter to vote at a specific day and place, which conflicts with the mobility usually seen in modern live styles. Thus, the widespread of Internet (mobile) broadband access can be seen as an opportunity to deal with this mobility problem, i.e. the adoption of an Internet voting system can make the live of voter's much more convenient; however, a widespread Internet voting systems adoption relies on the ability to develop trustworthy systems, i.e. systems that are verifiable and preserve the voter's privacy. Building such a system is still an open research problem. Our contribution is a new Internet voting system: EVIV, a highly sound End-to-end Verifiable Internet Voting system, which offers full voter's mobility and preserves the voter's privacy from the vote casting PC even if the voter votes from a public PC, such as a PC at a cybercafe or at a public library. Additionally, EVIV has private vote verification mechanisms, in which the voter just has to perform a simple match of two small strings (4-5 alphanumeric characters), that detect and protect against vote manipulations both at the insecure vote client platform and at the election server side. (c) 2012 Elsevier Ltd. All rights reserved.

Controlo directo de binário de uma máquina assíncrona trifásica

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Coordenação e fiscalização de obras na empresa Landway, S.A.

Relatório de Estágio para obtenção do grau de Mestre em Engenharia na Área de Especialização em Edificações

Estratégias e internacionalização na manutenção e produção

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Projecto de fundações e estrutura de um edifício

Trabalho de Projecto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Implementação do protocolo eNAL num serviço de radioterapia: um estudo de caso

Mestrado em Radioterapia

Projecto de verificação do comportamento térmico de um edifício de habitação: análise e comparação de resultados obtidos com recurso a duas ferramentas de cálculo

O trabalho de projecto desenvolvido tem por objectivo a análise dos resultados obtidos na verificação térmica de edifícios aquando da utilização de programas de cálculo automático. Para o efeito, foram escolhidos dois edifícios unifamiliares com características distintas, tentando que fossem abrangidas o máximo de situações diferentes. Neste projecto foram avaliados sobretudo dois aspectos: quantificação das áreas e desenvolvimentos dos elementos da envolvente dos edifícios em estudo e cálculo dos coeficientes de transmissão térmica superficial e linear dos elementos construtivos. Com base neste trabalho, pode-se promover uma melhoria dos programas de cálculo automático no mercado, de modo a assegurar uma maior qualidade dos projectos de edifícios e consequente reflexo na qualidade da construção civil futura. Por último, apresentam-se as conclusões e possibilidades de desenvolvimento de trabalhos futuros.

Projecto de fundações e estrutura de um edifício de escritórios utilizando os eurocódigos estruturais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Dimensionamento sísmico de um edifício de betão armado segundo os eurocódigos: verificação segundo o eurocódigo 8 parte 3

Trabalho de Dissertação de Natureza Científica para obtenção do grau de Mestre em Engenharia Civil

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.

O uso de códigos QR nas Bibliotecas: a perspetiva do utilizador

O uso das tecnologias sem fios e de telemóveis tem vindo a aumentar substancialmente nos últimos anos. Vários estudos realizados nos Estados Unidos e no Canadá mostram que o número de adultos que possuiu telemóvel é elevado, com valores entre os 78 a 85%, dos quais 33 a 45% são smartphones. Hoje em dia, os telemóveis já não são apenas uma forma de falar com alguém e passaram a ser um meio para obter informação de forma rápida. Este facto fez com que se verificasse um acentuado desenvolvimento de tecnologias de suporte para estes dispositivos. Objetivo do estudo: avaliar o impacto da introdução dos Códigos QR na Biblioteca da Escola Superior de Tecnologia da Saúde de Lisboa (ESTeSL), quer a nível do serviço quer na perspetiva do utilizador.

A internacionalidade de quem não publica em inglês

Os investigadores sentem grande pressão em mostrar trabalho e em publicar, em especial, nas últimas décadas. Muito provavelmente esta situação não se alterará, na medida em que os processos de avaliação do trabalho científico e académico, inicialmente muito confinados às ciências naturais, abrangem cada vez mais todas as disciplinas. Desde meados do séc. XX que os resultados da investigação privilegiam a comunicação em formato de artigo científico devido à rapidez e à facilidade de publicação e de recuperação da informação (bases de dados, plataformas científicas, repositórios e, mais recentemente, redes sociais), revolucionando o tradicional ecossistema de comunicação científica. Como nas últimas décadas se desenvolveram novos meios de difusão, também o conceito de internacionalidade das revistas científicas adquiriu outra importância e tem sido usado como um indicador da sua qualidade.

Examination timetabling automation using hybrid meta-heuristics

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

Relatório de estágio

Resumo I (Prática Pedagógica) - O Estágio do Ensino Especializado realizado no presente ano lectivo foi elaborado na Academia de Música de Lisboa em três turmas. Vários foram os desafios encontrados no decorrer do ano lectivo, como por exemplo a instabilidade das turmas, a falta do quadro na sala em algumas aulas e a pouca experiência anterior na área de docência. A realização deste estágio permitiu experimentar actividades e estratégias aprendidas nas disciplinas do mestrado e estimulou uma atitude de reflexão regular sobre as escolhas pedagógicas elaboradas e sobre a resposta dos alunos. Também o feedback dos professores da Unidade Curricular de Didáctica do Ensino Especializado foi essencial na consciencialização de aspectos que teriam que ser mudados na minha abordagem do ensino: fazer actividades mais formativas e menos avaliativas, dar mais feedback, não avançar para outro nível enquanto uma tarefa ainda não estiver consolidada, não modificar as instruções tão rapidamente, ter cuidado com a apresentação visual das células rítmicas e pensar em soluções para quando os alunos estão cansados. Foi também importante reflectir sobre os planos de aula realizados ao longo do ano e sobre o que não seria realizado da mesma forma, nomeadamente na introdução de células rítmicas, introdução de funções harmónicas e cadências. Durante este ano foi feito um esforço para melhorar estes aspectos, no entanto ainda não foi possível implementar todas as mudanças. De qualquer modo, esta reflexão é um bom ponto de partida para o planeamento do próximo ano e um exemplo da atitude que deve acompanhar-me durante toda a minha actividade enquanto docente.