Combining global tabu search with local search for solving systems of equalities and inequalities

This papers aims at providing a combined strategy for solving systems of equalities and inequalities. The combined strategy uses two types of steps: a global search step and a local search step. The global step relies on a tabu search heuristic and the local step uses a deterministic search known as Hooke and Jeeves. The choice of step, at each iteration, is based on the level of reduction of the l2-norm of the error function observed in the equivalent system of equations, compared with the previous iteration.

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

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

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

Proposta de alteração ao Decreto-Lei 39/2008 e da Portaria 517/2008: RJAL - Alojamento Local

Trabalho de natureza profissional para a atribuição do Título de Especialista do Instituto Politécnico do Porto, na área de Hotelaria e Restauração, defendido a 15-12-2013.

Avaliação em camundongo da eficácia do antiveneno administrado no local da inoculação intramuscular do veneno de Crotalus durissus terrificus

A eficácia do antiveneno crotálico por via intramuscular (im) no local da inoculação, também im, do veneno de Crotalus durissus terrificus foi avaliada em camundongos. Em três experimentos inocularam-se duas DLSO do veneno por via im e administrou-se o antiveneno de três formas: metade da DE50 por via intraperitoneal (ip) e metade por via im, no mesmo local, imediatamente após (1º) e 30' após (2º) a inoculação do veneno; quatro quintos de DE50 por via ip e um quinto por via im, no mesmo local e 30' após a inoculação do veneno (3º). O antiveneno ofereceu, por via ip, maior proteção aos camundongos (menor taxa de óbito em 48 horas) do que quando foi administrado, em parte, por via im, no local da inoculação do veneno (p<0,05). Infere-se, portanto, que esta via não deve ser rotineiramente utilizada em seres humanos picados por serpente.