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.

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

História da colonização - África (séc. XVII-XX)

Ler História, n.21, pág.128-145

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

Perfil espirométrico e sintomas respiratórios numa amostra de idosos sem história de doença respiratória: estudo GERIA

O sistema respiratório sofre alterações inerentes ao envelhecimento que, aliadas à exposição ambiental e à carga tabágica contribuem para um maior declínio da função respiratória. Os testes de função respiratória (e.g. espirometria) contribuem para uma melhor identificação alterações ventilatórias nas vias aéreas, tendo em conta que idade avançada poderá ser um fator para má perceção de sintomas. Objetivo do estudo - Caracterizar o perfil espirométrico e os sintomas respiratórios em idosos sem história de doença respiratória, residentes num lar de Lisboa.

Entre a Literatura e a História: Verdade, Ficção e Verosimilhança (a propósito de alguns testemunhos das relações luso-alemãs)

Comunicação apresentada no 2º Encontro da Associação Luso-Alemã para a Cultura e Ciência (Lisboa, 28 de Outubro de 1991), subordinado ao tema Aspectos da História Luso-Alemã; publicada em Aspectos da História Luso-Alemã, Lisboa (pp. 57-68)

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.

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

As tendências do ensino e da investigação académica na história da contabilidade em Portugal

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação da Professora Doutora Ana Maria Alves Bandeira