Spatial operators for collaborative map handling

MSC Dissertation in Computer Engineering

The K-Th derivatives of the immanant and the X-symmetric power of an operator

In recent papers, formulas are obtained for directional derivatives, of all orders, of the determinant, the permanent, the m-th compound map and the m-th induced power map. This paper generalizes these results for immanants and for other symmetric powers of a matrix.

Serviço de visualização de informação geográfica na WEB - A publicação do atlas de Portugal utilizando a especificação WEB MAP SERVICE

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

How human schematization and systematic errors take effect on sketch map formalizations

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

Linear algebra: selected problems

Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

A MAP approach to evidence accumulation clustering

The Evidence Accumulation Clustering (EAC) paradigm is a clustering ensemble method which derives a consensus partition from a collection of base clusterings obtained using different algorithms. It collects from the partitions in the ensemble a set of pairwise observations about the co-occurrence of objects in a same cluster and it uses these co-occurrence statistics to derive a similarity matrix, referred to as co-association matrix. The Probabilistic Evidence Accumulation for Clustering Ensembles (PEACE) algorithm is a principled approach for the extraction of a consensus clustering from the observations encoded in the co-association matrix based on a probabilistic model for the co-association matrix parameterized by the unknown assignments of objects to clusters. In this paper we extend the PEACE algorithm by deriving a consensus solution according to a MAP approach with Dirichlet priors defined for the unknown probabilistic cluster assignments. In particular, we study the positive regularization effect of Dirichlet priors on the final consensus solution with both synthetic and real benchmark data.

Utilização do algoritmo Self-Organizing Map na caracterização de organizações públicas portuguesas.

Dissertação apresentada como requisito parcial para a obtenção do grau de mestre em Estatística e Gestão de Informação.

Caracterização da situação orçamental no poder local em indicadores orçamentais e self-organizing map.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Análise Exploratória do Índice de Desenvolvimento Humano: uma aplicação do Self Organizing Map na segmentação dos países

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Implementing quality management systems in small and medium construction companies: a contribution to a road map for success

Leadership and Management in Engineering, January 2009

Biodiversity open map (BiodOM) - SIGWeb colaborativos e Software Geoespacial Livre e Aberto numa abordagem da neogeografia aplicada ao conhecimento da biodiversidade

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

Using GIS to map the spatial and temporal occurrence of cholera epidemic in Camaroon

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

Map-it – Mapeamento tridimensional de interiores

A perceção tridimensional é uma área em crescente desenvolvimento. Não existindo uma tecnologia ideal capaz de percecionar todo o tipo de cenários, têm surgido estudos sobre a aplicabilidade de diferentes tecnologias de forma a obter modelos que melhor se aproximem da realidade. Propõe-se nesta dissertação o desenvolvimento de um sistema de baixo-custo de percepção tridimensional que seja portátil e acessível na sua aplicabilidade, de forma a ter a capacidade de percecionar tridimensionalmente espaços interiores com pouca iluminação, tais como as divisões de um edifício ou os canais de uma mina subterrânea. Utilizou-se a triangulação entre uma câmara digital, os pontos de uma linha laser e um emissor laser para a obtenção dos dados tridimensionais do cenário. Para isso, recorreu-se a metodologias de processamento digital de imagens para a construção dos modelos dos cenários. Para se obter a validação desta dissertação, realizaram-se testes do protótipo de forma a determinar as suas capacidades percecionais. Em primeiro lugar realizou-se uma bateria de testes de calibração onde, repetidamente, se estudaram isoladamente pontos do cenário para verificar a precisão do sensor. Após esta calibração, estudou-se a capacidade de transformação de uma linha laser projetada num conjunto de coordenadas. Finalmente testou-se a capacidade de perceção tridimensional por rotação do sensor, de forma a realizar a transformação de múltiplas projeções de linhas laser num conjunto de coordenadas em torno do sensor. Verificou-se: no teste de calibração, a obtenção de distâncias com erro médio relativo inferior a 1%; no teste da linha laser, a capacidade de perceção de profundidade de múltiplos pontos ao longo da mesma; no teste de rotação, a aquisição de múltiplos conjuntos de linhas de profundidade no cenário, por rotação do sensor. Os resultados dos testes de validação permitiram concluir a viabilidade de utilizar a triangulação na aquisição de conjuntos de coordenadas de espaços interiores.

Fate map of zebrafish left-right organizer

The organizer is a ciliated signalling transient organ, responsible for the patterning of embryo tissues during embryonic development. In higher vertebrates, such as mouse and chick, this organizer (the node and the Hensen’s node, respectively) performs dorsalventral and anteriorposterior axis definition, as well as left-right patterning of the internal organs. In lower vertebrates, such as frog and zebrafish, there is a separate specialized organ for left-right purposes called the Gastrocoel Roof Plate (GRP) and Kupffer’s Vesicle (KV), respectively. It is known that mouse and chick organizer cells give rise to structures like floor plate, notochord, hypochord and somites. Frog GRP originates all these but floor plate. In zebrafish, at 13-14 somite stage (ss) the KV finished its left-right patterning but what happens to this organizer’ cells is still poorly studied. This research attempts to understand the fate and behaviour of the KV cells. We followed the fate of KV cells by live imaging and by tight time-courses with fixed larvae. We assessed in detail their proliferative and death profile, as well as cilia length progression from 9-10 ss until 29-30 ss. We conclude that the KV cells mostly follow the evolutionarily conserved fates described for other organizers. These cells mainly incorporate the notochord and hypochord; few cells incorporate the floor plate and the somites. As a novelty, it is also hypothesized that the hypural cell fate may be among the KV cell fates.