Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

O Futuro dos Centros de Dados

Atualmente, as Tecnologias de Informação (TI) são cada vez mais vitais dentro das organizações. As TI são o motor de suporte do negócio. Para grande parte das organizações, o funcionamento e desenvolvimento das TI têm como base infraestruturas dedicadas (internas ou externas) denominadas por Centro de Dados (CD). Nestas infraestruturas estão concentrados os equipamentos de processamento e armazenamento de dados de uma organização, por isso, são e serão cada vez mais desafiadas relativamente a diversos fatores tais como a escalabilidade, disponibilidade, tolerância à falha, desempenho, recursos disponíveis ou disponibilizados, segurança, eficiência energética e inevitavelmente os custos associados. Com o aparecimento das tecnologias baseadas em computação em nuvem e virtualização, abrese todo um leque de novas formas de endereçar os desafios anteriormente descritos. Perante este novo paradigma, surgem novas oportunidades de consolidação dos CD que podem representar novos desafios para os gestores de CD. Por isso, é no mínimo irrealista para as organizações simplesmente eliminarem os CD ou transforma-los segundo os mais altos padrões de qualidade. As organizações devem otimizar os seus CD, contudo um projeto eficiente desta natureza, com capacidade para suportar as necessidades impostas pelo mercado, necessidades dos negócios e a velocidade da evolução tecnológica, exigem soluções complexas e dispendiosas tanto para a sua implementação como a sua gestão. É neste âmbito que surge o presente trabalho. Com o objetivo de estudar os CD inicia-se um estudo sobre esta temática, onde é detalhado o seu conceito, evolução histórica, a sua topologia, arquitetura e normas existentes que regem os mesmos. Posteriormente o estudo detalha algumas das principais tendências condicionadoras do futuro dos CD. Explorando o conhecimento teórico resultante do estudo anterior, desenvolve-se uma metodologia de avaliação dos CD baseado em critérios de decisão. O estudo culmina com uma análise sobre uma nova solução tecnológica e a avaliação de três possíveis cenários de implementação: a primeira baseada na manutenção do atual CD; a segunda baseada na implementação da nova solução em outro CD em regime de hosting externo; e finalmente a terceira baseada numa implementação em regime de IaaS.

Scalable and interference aware wi-fi mesh networks using cots devices

A crescente tendencia no acesso móvel tem sido potenciada pela tecnologia IEEE 802.11. Contudo, estas redes têm alcance rádio limitado. Para a extensão da sua cobertura é possível recorrer a redes emalhadas sem fios baseadas na tecnologia IEEE 802.11, com vantagem do ponto de vista do custo e da flexibilidade de instalação, face a soluções cabladas. Redes emalhadas sem fios constituídas por nós com apenas uma interface têm escalabilidade reduzida. A principal razão dessa limitação deve-se ao uso do mecanismo de acesso ao meio partilhado Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) em topologias multi-hop. Especificamente, o CSMA/CA não evita o problema do nó escondido levando ao aumento do número de colisões e correspondente degradação de desempenho com impacto direto no throughput e na latência. Com a redução da tecnologia rádio torna-se viável a utilização de múltiplos rádios por nó, sem com isso aumentar significativamente o custo da solução final de comunicações. A utilização de mais do que um rádio por nó de comuniações permite superar os problemas de desempenho inerentes ás redes formadas por nós com apenas um rádio. O objetivo desta tese, passa por desenvolver uma nova solução para redes emalhadas multi-cana, duar-radio, utilizando para isso novos mecanismos que complementam os mecanismos definidos no IEEE 802.11 para o estabelecimento de um Basic Service Set (BSS). A solução é baseada na solução WiFIX, um protocolo de routing para redes emalhadas de interface única e reutiliza os mecanismos já implementados nas redes IEEE 802.11 para difundir métricas que permitam à rede escalar de forma eficaz minimizando o impacto na performance. A rede multi-hop é formada por nós equipados com duas interfaces, organizados numa topologia hierárquica sobre múltiplas relações Access Point (AP) – Station (STA). Os resultados experimentais obtidos mostram a eficácia e o bom desempenho da solução proposta face à solução WiFIX original.

Parallelization of web processing services on cloud computing: A case study of Geostatistical Methods

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

Algorithmic skeleton framework for the orchestration of GPU computations

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

Desenvolvimento de uma framework de argumentação Para apoio à tomada de decisão ubíqua

Os Sistemas de Apoio à Tomada de Decisão em Grupo (SADG) surgiram com o objetivo de apoiar um conjunto de decisores no processo de tomada de decisão. Uma das abordagens mais comuns na literatura para a implementação dos SADG é a utilização de Sistemas Multi-Agente (SMA). Os SMA permitem refletir com maior transparência o contexto real, tanto na representação que cada agente faz do decisor que representa como no formato de comunicação utilizado. Com o crescimento das organizações, atualmente vive-se uma viragem no conceito de tomada de decisão. Cada vez mais, devido a questões como: o estilo de vida, os mercados globais e o tipo de tecnologias disponíveis, faz sentido falar de decisão ubíqua. Isto significa que o decisor deverá poder utilizar o sistema a partir de qualquer local, a qualquer altura e através dos mais variados tipos de dispositivos eletrónicos tais como tablets, smartphones, etc. Neste trabalho é proposto um novo modelo de argumentação, adaptado ao contexto da tomada de decisão ubíqua para ser utilizado por um SMA na resolução de problemas multi-critério. É assumido que cada agente poderá utilizar um estilo de comportamento que afeta o modo como esse agente interage com outros agentes em situações de conflito. Sendo assim, pretende-se estudar o impacto da utilização de estilos de comportamento ao longo do processo da tomada de decisão e perceber se os agentes modelados com estilos de comportamento conseguem atingir o consenso mais facilmente quando comparados com agentes que não apresentam nenhum estilo de comportamento. Pretende-se ainda estudar se o número de argumentos trocados entre os agentes é proporcional ao nível de consenso final após o processo de tomada de decisão. De forma a poder estudar as hipóteses de investigação desenvolveu-se um protótipo de um SADG, utilizando um SMA. Desenvolveu-se ainda uma framework de argumentação que foi adaptada ao protótipo desenvolvido. Os resultados obtidos permitiram validar as hipóteses definidas neste trabalho tendo-se concluído que os agentes modelados com estilos de comportamento conseguem na maioria das vezes atingir um consenso mais facilmente comparado com agentes que não apresentam nenhum estilo de comportamento e que o número de argumentos trocados entre os agentes durante o processo de tomada de decisão não é proporcional ao nível de consenso final.

Social BPM – The role of social networks in business process management

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

Organizational culture influence on information quality - use of business intelligence systems relationship: portuguese context

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

Mobilie Banking adoption: a novel in the portuguese context

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

ISEGI-NOVA AR Project - Augmented Reality Aplied to the Universidade Nova de Lisboa

Project work presented as a partial requirement to obtain a Master Degree in Information Management

Processo de desenvolvimento e difusão de cloud computing: estudo sobre as redes de colaboração no Brasil

Com base no relatório de Projecto III para o Programa Doutoral em Avaliação de Tecnologia (2011-2012)

Cloud computing adoption - Determinants of cloud computing adoption by firms

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

Promoção da saúde mental em espaço urbano

RESUMO: A saúde pública deve estar atenta aos contextos e às mudanças sociais, políticas, económicas, científicas e tecnológicas com que se confrontam constantemente as comunidades, particularmente em situações de grandes transformações como o momento que a União Europeia atravessa. A urbanização é provavelmente a mudança demográfica mais importante das últimas décadas. Tendo importantes repercussões sobre a saúde mental, é importante desenvolver a investigação neste domínio, de forma multidisciplinar e integrando a compreensão dos diferentes determinantes sociais, psicológicos e físicos. As políticas de saúde mental tornaram-se uma parte importante da política social e da sociedade de bem-estar, em particular se considerarmos a urbanização das nossas comunidades. Considerar a saúde mental em espaço urbano é fundamentalmente estudar como um espaço particular pode influenciar a saúde. Baseado nesta reflexão, desenvolveu-se uma investigação participada de base comunitária, com recurso a uma metodologia de estudo de caso. Recorreu-se a dezenas de documentos de referência local, registos em arquivo, à observação direta, à observação participante e à observação in loco do espaço urbano. Foi utilizada uma amostragem em bola de neve, estratificada, para selecionar 697 habitantes de uma cidade da área metropolitana de Lisboa. Estes habitantes foram entrevistados por 42 entrevistadores, previamente formados, assim como foram enviados questionários online dirigidos aos professores (196) e aos Técnicos Superiores de Serviço Social (12) em exercício no espaço urbano em estudo, para a caraterização sociodemográfica e para avaliação de indicadores de saúde, de indicadores relacionados com a saúde e de indicadores estruturais de saúde mental. Os resultados mostraram um espaço urbano promotor de saúde estrutura-se para capacitar os seus cidadãos a se integrarem ativamente no funcionamento da sua comunidade. Foram identificadas algumas caraterísticas como 1) o início do processo de promoção da saúde mental ser o mais precoce possível; 2) a participação comunitária ativa, num sentimento de segurança individual e comunitária, envolvendo estruturas governamentais e não-governamentais; 3) a solidariedade e a inclusão, promovendo o voluntariado e a promoção do suporte social e desenvolvendo a coesão social; 4) o reconhecimento das necessidades expressas pelos habitantes; 5) a identificação de respostas para a conciliação entre vida pessoal, familiar e profissional; 6) as estruturas de acompanhamento dos grupos sociais mais desfavorecidos; 7) as estratégias de combate ao isolamento envolvendo a população sénior e outros grupos minoritários ativamente no processo de reorganização do seu funcionamento social; 8) uma efetiva governança e gestão relacional por parte dos poderes locais, centrando a vida quotidiana da comunidade nas pessoas. A investigação participada de base comunitária constitui um instrumento útil e eficaz no desenho de planos locais de promoção da saúde mental para encontrar respostas ao desafio em saúde pública: a saúde mental e a urbanização.

Printed electronics for ubiquitous computing applications

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

The integration of online advertising: The effects of source expertise and certainty level of the message on consumer involvement and persuasion in the context of user-generated advertising

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics