A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Global localization with non-quantized local image features

In the field of appearance-based robot localization, the mainstream approach uses a quantized representation of local image features. An alternative strategy is the exploitation of raw feature descriptors, thus avoiding approximations due to quantization. In this work, the quantized and non-quantized representations are compared with respect to their discriminativity, in the context of the robot global localization problem. Having demonstrated the advantages of the non-quantized representation, the paper proposes mechanisms to reduce the computational burden this approach would carry, when applied in its simplest form. This reduction is achieved through a hierarchical strategy which gradually discards candidate locations and by exploring two simplifying assumptions about the training data. The potential of the non-quantized representation is exploited by resorting to the entropy-discriminativity relation. The idea behind this approach is that the non-quantized representation facilitates the assessment of the distinctiveness of features, through the entropy measure. Building on this finding, the robustness of the localization system is enhanced by modulating the importance of features according to the entropy measure. Experimental results support the effectiveness of this approach, as well as the validity of the proposed computation reduction methods.

A interactividade na análise postural: um estudo para crianças do 1º ciclo do ensino básico

Actualmente os educadores e professores devem adoptar uma nova postura no sentido da sua actividade profissional ser cada vez mais inovadora, além de potenciarem a aprendizagem dos seus alunos em diferentes áreas do conhecimento. A ergonomia é uma área que não se encontra incluída especificamente em nenhuma área curricular do 1º ciclo do Ensino Básico, no entanto, é de grande importância no sentido de prevenir situações de desconforto e lesões músculo-esqueléticas originados por posturas incorrectas. Com este estudo pretende-se que a área de ergonomia, nomeadamente no que respeita à adopção de posturas corporais correctas e à influência de factores ambientais, como o ambiente térmico ou a iluminação, seja uma mais valia no desenvolvimento global das crianças do 1º ciclo do Ensino Básico, constituindo uma base de aprendizagem no âmbito de saúde escolar. Pretendeu-se criar materiais pedagógicos que possam ser utilizados pelos professores e estudantes, com o objectivo de sensibilizar os mais novos e educar para a saúde. O material didáctico teve por base jogos interactivos, os quais incluíram conceitos e princípios ergonómicos, particularmente no que respeita à adopção de posturas correctas e utilização da mochila para crianças do 1º ciclo do Ensino Básico. Verificou-se que as crianças estavam motivadas e interessadas no momento de aprendizagem. Quando questionadas sobre possíveis dúvidas que surgiram na apresentação do material didáctico, a maioria não demonstrou dificuldade, evidenciando terem adquirido os conhecimentos pretendidos. O material didáctico foi bem aceite e o pré-teste permitiu identificar várias situações para melhoria. Este estudo, em geral, demonstrou que os materiais didácticos são meios capazes para a transmissão de conhecimentos proporcionando uma boa forma de aprendizagem, mesmo em assuntos novos.

Expropriações: dos impactes dos planos municipais de ordenamento do território à identificação local das áreas a expropriar

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Evolução da população no período 2001–2026 no Concelho de Alenquer – Um aeroporto na Ota? Impactos de desenvolvimento local

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Factores que influenciam a mortalidade de abetarda e sisão por colisão em linhas de muito alta tensão. Análises às escalas local e regional e implicações para o Ordenamento do Território

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Ordenamento do Território e Planeamento Ambiental

The intersection of people, technology and local space. PPGIS and Web in practice for participatory planning

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Turismo como motor de desenvolvimento local: o caso do Vale do Tua

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil Engenharia Gestão e Sistemas Ambientais

Reafirmar a Identidade cultural local: o património cultural imaterial local como recurso

Dissertação conducente à obtenção do grau de Mestre em Educação Social e Intervenção Comunitária, sob orientação do Professor Doutor Luís Manuel Costa Moreno

O património local como recurso para o desenvolvimento de competências essenciais da história no 1.º ciclo

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

New simple digital self-calibration technique for pipeline ADCs using the internal thermal noise

IEEE International Symposium on Circuits and Systems, pp. 232 – 235, Seattle, EUA

Low-power 6-bit 1-GS/s two-channel pipeline ADC with open-loop amplification using amplifiers with local-feedback

IEEE International Symposium on Circuits and Systems, pp. 2258 – 2261, Seattle, EUA

Flora bacteriana da cavidade oral, presas e veneno de Bothrops jararaca: possível fonte de infecção no local da picada

Materiais colhidos das presas, das bainhas das presas e do veneno de 15 Bothrops jararaca recém-capturadas, aparentemente saudáveis, foram submetidos a exame bacterioscópico e cultura aeróbia a anaeróbia. As bactérias mais freqüentemente isoladas foram os estreptococos do grupo D (1.2 serpentes), Enterobacter sp. (6), Providencia rettgeri (6), Providencia sp. (4), Escherichia coli (4), Morganella morganii (3) e Clostridium sp. (5). Como estas bactérias são semelhantes às encontradas nos abscessos de pacientes picados por serpentes do gênero Bothrops, é válido considerar a possibilidade de que bactérias da boca da serpente sejam inoculadas no momento da picada e, encontrando condições favoráveis de multiplicação, causem infecção.

Uso da termografia na deteção de avarias

A civilização contemporânea, pelas suas características, é muito exigente em tudo o que diz respeito ao conforto dos edifícios, para trabalho ou habitação, e à necessidade de economizar e racionalizar o uso de energia. A térmica dos edifícios assume, por isso, uma importância acrescida na atividade profissional e no ensino. Para se conduzir ao aperfeiçoamento de soluções na envolvente dos edifícios a este nível, o trabalho aqui realizado centrou-se no estudo do funcionamento da termografia de infravermelhos e da importância da sua utilização na inspeção térmica de edifícios. Descoberta no início do século XIX e desenvolvendo os primeiros sistemas operativos desde a 1ª Guerra Mundial, a fim de determinar heterogeneidades de temperatura superficial, esta técnica não destrutiva permite identificar anomalias que não são visualizadas a olho nu. Com a análise dessas variações de temperatura é possível conhecer os problemas e a localização de irregularidades. Este trabalho baseia-se substancialmente no estudo de edifícios. A análise realizada teve como finalidade executar inspeções termográficas – visuais, com duas abordagens. Por um lado, avaliar salas pertencentes a estabelecimentos de ensino secundário, reabilitadas e não reabilitadas, todas construídas entre as décadas de 60 e 90, com o intuito de diagnosticar patologias construtivas, recorrendo à termografia. Por outro, a análise de edifícios de habitação, com a intenção de avaliar a necessidade de um equipamento complementar às inspeções termográficas – o sistema de porta ventiladora. As inspeções foram regidas pelas diretrizes da norma europeia EN 13187. A termografia é uma técnica importante na realização de ensaios in situ que requerem rapidez de execução, aliada à vantagem de disponibilizar resultados em tempo real, permitindo assim uma primeira análise das leituras no local. A inspeção termográfica complementada com o sistema de porta ventiladora permitiu, também, revelar a importância da necessidade de meios auxiliares em certos casos. A conjugação destas diferentes técnicas permite reduzir a subjetividade da análise in situ e aumentar a fiabilidade do diagnóstico.

Controlo interno na Administração Local implantação de um novo procedimento numa Autarquia

Trabalho de Projeto Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação do Mestre Carlos Mendes e coorientação da Engª Sónia Rodrigues