Liquid Intersection Types

We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise types than in the original refinement system. We have been able to prove several interesting properties for our system (including subject reduction) and developed an inference algorithm, which we proved to be sound.Comment: In Proceedings ITRS 2014, arXiv:1503.0437

A importância do home advantage na competição futebolística Champions League

O objetivo passou por estudar o fator casa - home advantage - na competição de futebol Champions League nas épocas desportivas 2011/2012 e 2012/2013. Foram recolhidos dados da maior competição futebolística europeia de clubes nas diferentes fases da mesma e nas duas épocas desportivas relacionados com a posse de bola, cantos, cartões, remates e penalties. Foram igualmente analisados os resultados e a comparação dos mesmos entre épocas. Os resultados evidenciaram na sua globalidade que à medida que se avança na competição o conceito home advantage tem tendência a diminuir. Entre as épocas desportivas também se verificou uma tendência para a perca de influência do fator jogar em casa, uma vez que na primeira época registaram-se vinte e uma vitórias em casa, quatro vitórias fora e três empates, enquanto na época seguinte apenas doze vitórias em casa, sete vitórias fora e nove empates. Relativamente aos comportamentos e sansões dos árbitros, constatámos que o home advantage parece ter influência nas decisões tomadas durante os jogos. Na Champions League, comparando as épocas desportivas 2011/2012 e 2012/2013, o efeito do home advantage tem tendência a perder influência no resultado, embora em outras variáveis do jogo como o número de cartões parece evidente que o fator casa influencia a atitude dos árbitros

Sistema de Governo: A Singularidade Cabo-verdiana

O sistema de governo cabo-verdiano tem sido objecto de discussão político-constitucional permanente, fruto de abordagens diferentes por parte dos dois principais partidos, sobre os poderes do Presidente da República. A discussão renova-se sempre que se aproxima um acto eleitoral presidencial ou uma revisão da constitucional, mas convém reconhecer que as divergências políticas sobre esta matéria já não são tão fracturantes como em 1992, mercê da convergência de um conjunto importante de factores políticos e constitucionais

Characterization of cognitive and functional performance in everyday tasks: implications for health in institutionalised older adults

Trabalho apresentado no 3rd IPLeiria International Health Congress: Health, Demographic Changes & Well-being, 6-7 maio de 2016, Leiria, Portugalinfo:eu-repo/semantics/publishedVersio

Mergers and acquisitions outcomes: the role of R&D and intangible assets

Dissertação de mestrado em FinançasMergers and Acquisitions (M&As) have been used by companies as a mean to invest in R&D and Intangible Assets. The main purpose of this study is to analyse if differences between the target firm and the acquiring firm in terms of R&D and Intangible Assets could affect the outcome of M&As. Does this result in the creation or destruction of value for the target and acquirer shareholders? The sample comprises 2,760 deals from the United States of America and the Eurozone throughout 15 years – from 2005 to 2019. The stock price reaction to the announcement of an acquisition is measured by the cumulative abnormal returns (CARs). Concerning the intangible assets, I do not find evidence for the theory of adverse selection. The idea that the target firm is bought at a discount due to the possibility of information asymmetries is not confirmed in this study. About the R&D expenditures, the idea that the acquirer is buying a firm with relatively higher R&D expenditures to enter a tech environment and, therefore, gain with the deal is not confirmed in this study. I find evidence that the combined firms incur losses when the target has relatively higher R&D expenditures than the bidder. I also find that targets firms with relatively higher R&D expenditures than the bidder gain with the announcement of the deal. Some authors defend that the idea - that the acquirer is buying a target with relatively higher R&D expenditures to enter into a tech environment and, due to that, gain with the M&A - is especially significant in a tech environment where R&D capabilities are crucial for further expansion of companies, however, I do not find support for that in this analysis. Regarding the differences between deals made by the Eurozone firms and the USA firms, I do not find results that show differences between the two geographical zones.As Fusões e Aquisições (F&A) têm sido usadas como um meio para as empresas investirem em R&D e Ativos Intangíveis. O objetivo principal deste estudo é analisar se as diferenças entre a empresa alvo e a empresa compradora em termos de R&D e Ativos Intangíveis podem afetar o resultado das F&A. Isto resulta na criação ou destruição de valor para os acionistas das empresas compradoras e alvo? A amostra compreende 2,760 negócios dos Estados Unidos da América e da Zona Euro ao longo de 15 anos – desde 2005 a 2019. A reação do preço das ações ao anúncio de uma aquisição é medida pelas rendibilidades anormais acumuladas (CARs). Em relação aos ativos intangíveis, não encontro evidência para a teoria de “adverse selection”. A ideia de que a empresa alvo é comprada com desconto devido à possibilidade de assimetrias de informação não se confirma neste estudo. Relativamente aos gastos em R&D, a ideia de que a empresa compradora faz a aquisição de uma empresa que tem um investimento relativo superior em R&D para entrar num ambiente tecnológico, e por isso, ganhar com o negócio não é confirmada neste estudo. Encontro evidência de que as empresas combinadas incorrem em perdas quando a empresa alvo investe mais em R&D do que a empresa compradora. Encontro também evidência de que as empresas alvo com investimento superior em R&D do que as empresas compradoras ganham com o anúncio do negócio. Alguns autores defendem que a ideia – de que o comprador está a comprar uma empresa alvo com um investimento relativo superior em R&D para entrar num ambiente tecnológico, e por isso, ganhar com o negócio – é especialmente significativa num ambiente tecnológico onde as capacidades de R&D são cruciais para a expansão das empresas, no entanto não encontro resultados que confirmem essa ideia. No que diz respeito às diferenças entre os negócios realizados pelas empresas da zona euro e pelas empresas dos EUA, não encontro resultados que mostrem diferenças entre negócios realizados nessas zonas geográficas

A novel visualisation paradigm for three-dimensional map-based mobile services

Estágio realizado na NDrive Navigation Systems, S. A.Tese de mestrado integrado. Engenharia Informátca e Computação. Faculdade de Engenharia. Universidade do Porto. 200