Distributed processing of large remote sensing images using MapReduce - A case of Edge Detection

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

Probabilistic constraint reasoning

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A modular distributed transactional memory framework

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Distributed replicated macro-components

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Partial replication in distributed software transactional memory

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Life (dis)satisfaction and the decision to migrate: Evidence from Central and Eastern Europe

This paper provides empirical evidence of the impact of life satisfaction on the individual intention to migrate. The impacts of individual characteristics and of country macroeconomic variables on the intention to migrate are analyzed jointly. Differently from other studies, we allow for life satisfaction to serve as a mediator between macroeconomic variables and the intention to migrate. Using the Eurobarometer Survey for 27 Central Eastern European (CEE) and Western European (non-CEE) countries, we find that people have a higher intention to migrate when dissatisfied with life. The socio-economic variables and macroeconomic conditions have an effect on the intention to migrate indirectly through life satisfaction. The impact of life satisfaction on the intention to migrate for middle-aged individuals with past experience of migration, low level of education, and with a low or average income from urban areas is higher in CEE countries than in non-CEE countries.

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

Constraint-based modelling of mixed microbial populations: Application to polyhydroxyalkanoates production

Dissertação para obtenção do Grau de Doutor em Engenharia Química e Bioquímica

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

Definição de um modelo de incentivo de profissionais de saúde em contexto de integração vertical e financiamento capitativo de cuidados de saúde

RESUMO - Contexto Os indivíduos, tal como as instituições, não são imunes a incentivos. No entanto, enquanto os modelos de incentivos das instituições têm sido alvo de diferentes evoluções, o mesmo não se verificou ao nível dos profissionais. Esta situação não se figura compatível com a complexidade de gestão de recursos humanos, devendo ser obviada para potenciar o alinhamento entre os interesses institucionais e os dos próprios profissionais. Objectivos Estudar a atribuição de incentivos a profissionais de saúde no contexto de organizações com integração vertical de cuidados. Metodologia A metodologia adoptada compreendeu três fases. Numa primeira procedeu-se à revisão sistemática de literatura relativa à: (1) construção de modelos de incentivo a profissionais em diferentes sistemas de saúde e tipo de prestadores; e (2) identificação de medidas de custo-efectividade comprovada. Tendo por base esta evidência, a par de documentação oficial ao nível do modelo de financiamento das ULS, procedeu-se, numa segunda fase, à construção de um modelo de incentivo base com recurso à ferramenta Microsoft Excel. Por último, numa terceira etapa, procedeu-se à adaptação do modelo base construído na etapa transacta tendo por base informação obtida mediante a realização de um estudo retrospectivo in loco na ULS do Baixo Alentejo (ULSBA). Em adição, procedeu-se à estimativa do impacto na perspectiva da ULS e dos profissionais para o cenário base e diversas análises de sensibilidade. Resultados No que respeita à estrutura, o modelo base de incentivos a profissionais apresenta 44 indicadores, distribuídos por cinco dimensões de análise, sendo que 28 indicadores (63,6%) são de processo e 14 (31,8%) de resultado. Relativamente às dimensões em análise, verifica-se uma predominância de indicadores ao nível da dimensão eficiência e qualidade assistencial, totalizando 35 (i.e. 79,5% dos 44 indicadores). No que respeita ao destinatário, 14 indicadores (31,8%) apresentam uma visão holística da ULS, 17 (38,6%) encontram-se adstritos unicamente aos cuidados primários e os remanescentes 13 (29,5%) aos cuidados hospitalares. Cerca de 85% dos actuais incentivos da ULSBA decorre da unidade de pagamento salarial secundada pelo pagamento de suplementos (12%). Não obstante, o estudo retrospectivo da ULSBA confirmou o cenário expectável de ausência de um modelo de incentivo homogéneos e transversal à ULS, transparecendo importantes assimetrias entre diferentes unidades prestadoras e/ou profissionais de saúde. De forma relevante importa apontar a insuficiência de incentivos capitacionais (ao contrário do que sucede com o modelo de incentivo da própria ULSBA) ou adstritos a índices de desempenho. Tendo em consideração o modelo de incentivo concebido e adaptado à realidade da ULSBA, a par do plano de implementação, estima-se que o modelo de incentivos gere: (1) poupanças na perspectiva da ULS (entre 2,5% a 3,5% do orçamento global da ULSBA); e (2) um incremento de remuneração ao nível dos profissionais (entre 5% a 15% do salario base). O supracitado – aparentemente contraditório - decorre da aposta em medidas de custo-efectividade contrastada e um alinhamento entre o modelo proposto e o vigente para o próprio financiamento da unidade, apostando numa clara estratégia de ganhos mútuos. As análises de sensibilidade realizadas permitem conferir a solidez e robustez do modelo a significativas variações em parâmetros chave.

Design, implementation, and performance of a distributed and scalable sensor system for critical distance measurements in the CMS detector at LHC

The “CMS Safety Closing Sensors System” (SCSS, or CSS for brevity) is a remote monitoring system design to control safety clearance and tight mechanical movements of parts of the CMS detector, especially during CMS assembly phases. We present the different systems that makes SCSS: its sensor technologies, the readout system, the data acquisition and control software. We also report on calibration and installation details, which determine the resolution and limits of the system. We present as well our experience from the operation of the system and the analysis of the data collected since 2008. Special emphasis is given to study positioning reproducibility during detector assembly and understanding how the magnetic fields influence the detector structure.

Can location-based mobile marketing enhance the customer experience and increase customer satisfaction and loyalty?

This study intends to explore the impact of customer experience on customer satisfaction and loyalty by trying to understand how location-based mobile marketing might enhance the customer experience. Primary data was collected from 201 smartphone users in 24 countries. Results have indicated that targeted location-based marketing positively influences customers’ experiences. Besides, the analysis has also shown a favorable impact on customers’ satisfaction and self-perceived loyalty. This suggests that location-based mobile marketing has the potential to positively add value to a customer’s experience and should therefore be considered an important tool in marketing communications.

Work satisfaction and affective commitment of classical musicians: The European Union Youth Orchestra

This work project investigates career paths in the music field, by testing the application of general career and social theories for musicians. Using a sample from the European Union Youth Orchestra’ Alumni, the Boundaryless Career Theory, Intelligent Career Framework and Social Identity Theory were analysed through the impact on individual outcomes - musicians’ Overall work satisfaction and Affective commitment to the orchestra. Results suggest support for the three theories, and show their applicability for classical musicians’ careers.

Paradox of choice: The influence of assortment size on customer satisfaction

Recently researchers showed that more choice is not always better. Choosing from large assortments can be overwhelming, raising expectations and decreasing overall level of consumer satisfaction. Author contributes to existing overchoice studies by using real assortment of online stores to find influence of assortment size on customer satisfaction. 90 students participated in the main experiment, where they chose a smartphone case for their friend. Results of the study show that large assortment size leads to higher expectations, higher choice difficulty and higher level of satisfaction. This research does not show overchoice presence and author suggests future studies could focus more on assortment variety and more personal characteristics of consumers, like preference uncertainty.