Modularity for Security-Sensitive Workflows

An established trend in software engineering insists on using components (sometimes also called services or packages) to encapsulate a set of related functionalities or data. By defining interfaces specifying what functionalities they provide or use, components can be combined with others to form more complex components. In this way, IT systems can be designed by mostly re-using existing components and developing new ones to provide new functionalities. In this paper, we introduce a notion of component and a combination mechanism for an important class of software artifacts, called security-sensitive workflows. These are business processes in which execution constraints on the tasks are complemented with authorization constraints (e.g., Separation of Duty) and authorization policies (constraining which users can execute which tasks). We show how well-known workflow execution patterns can be simulated by our combination mechanism and how authorization constraints can also be imposed across components. Then, we demonstrate the usefulness of our notion of component by showing (i) the scalability of a technique for the synthesis of run-time monitors for security-sensitive workflows and (ii) the design of a plug-in for the re-use of workflows and related run-time monitors inside an editor for security-sensitive workflows

Como diferentes cenários de aumento de temperatura da água do mar podem alterar a resposta do Mytilus galloprovincialis ao lítio?

Marine ecosystems have been affected by the gradual rise in temperature due to climate change. Warming scenarios and the intensification of extreme climate events, such as marine heatwaves (MHWs), have been negatively affecting marine organisms. In addition, they are also threatened by anthropogenic pollution. Lithium (Li) is an emerging pollutant that has become a major concern due to its increasing use in a variety of applications. Understanding its combination with warming scenarios is crucial, as very little is known about its impact on marine organisms. For this reason, this research aimed to assess how different temperature increase scenarios may affect the response of Mytilus galloprovincialis to the effects of Li. Mussel bioaccumulation levels and physiological and biochemical biomarkers were analyzed after 28 days of exposure to 250 μg/L of Li under different temperature scenarios (control – 17 ºC; warming – 21 ºC and a simulation of a marine heatwave - 23 ºC). The results indicate that Li concentration in the tissues increased only in the contaminated mussels when exposed to 17 and 21 ºC, and that temperature had no effect on the accumulation of Li. The respiration rate of mussels was higher in the contaminated mussels than in the non-contaminated ones. The metabolic rate decreased in mussels exposed to 21 ºC and MHW, while mussels exposed to the combination of Li and MHW increased their metabolic rate. The mussels exposed to MHW and Li exhibited cellular damage. It was found that Li was not neurotoxic to M. galloprovincialis. This study has shown that only the most stressful condition (MHW + Li) induced negative effects in this species which can negatively affect the growth and reproduction of an entire community as well as the structure and functioning of the ecosystem. In general, the presented results highlight the importance of future studies in which it is necessary to combine the effects of pollutants and climate change, namely extreme weather events such as MHWs.Os ecossistemas marinhos têm vindo a ser afetados com o aumento gradual da temperatura devido às alterações climáticas. Cenários de aquecimento e a intensificação de eventos climáticos extremos têm afetado os organismos marinhos, como as ondas de calor marinhas (MHWs), que são períodos de aumento anómalo da temperatura da superfície da água. Para além disso, estes também têm sido ameaçados pela poluição derivado da atividade antropogénica. O lítio (Li) é um poluente emergente que se tornou uma preocupação devido ao seu uso crescente numa variedade de aplicações. Compreender a sua influência nos ambientes marinhos em combinação com os cenários de aquecimento é crucial, pois muito pouco se sabe sobre o seu impacto nos organismos marinhos, especialmente quando se considera também os impactos cada vez mais preocupantes das mudanças climáticas. Posto isto, esta investigação visa avaliar como diferentes cenários de aumento de temperatura podem afetar a resposta de Mytilus galloprovincialis aos efeitos de Li. Foram avaliados níveis de bioacumulação nos mexilhões e biomarcadores fisiológicos e bioquímicos após 28 dias de exposição a 250 μg/L de Li em diferentes cenários de temperatura (controlo – 17 ºC; aquecimento - 21 ºC e uma simulação de uma onda de calor marinha – 23 ºC). Os resultados indicam que a concentração de Li nos tecidos aumentou apenas nos mexilhões contaminados quando expostos a 17 e 21 ºC, e que a temperatura não teve qualquer efeito na acumulação de Li. A taxa de respiração dos mexilhões foi maior nos mexilhões contaminados do que nos não contaminados. A taxa metabólica diminuiu em mexilhões expostos a 21 ºC e MHW, enquanto os mexilhões expostos à combinação de Li e MHW aumentaram a sua taxa metabólica. Os mexilhões expostos à MHW e principalmente com Li exibiram danos celulares. Observou-se que o Li não causou neurotoxicidade em M. galloprovincialis. Este estudo mostrou que apenas a condição de maior stresse (MHW + Li) induziu efeitos negativos nesta espécie, o que pode afetar negativamente o crescimento e reprodução de toda uma população, bem como a estrutura e funcionamento do ecossistema. No geral, os resultados atuais destacam a importância de estudos futuros em que é necessário combinar diferentes poluentes com cenários de aumento de temperatura, nomeadamente eventos climáticos extremos como MHW.Mestrado em Biologia Marinha Aplicad

Equity research - Pirelli

Mestrado em FinançasA Pirelli é um dos fabricantes de pneus mais conhecidos do mundo, que se destaca pelos produtos de alta qualidade e uma presença consistente e dominante nos desportos motorizados. A empresa atua exclusivamente no mercado de pneus para consumidores, com foco especial em pneus premium. A posição da Pirelli surge de grandes investimentos em pesquisa e desenvolvimento ao longo dos anos e retenção de talentos, permitindo que a empresa tenha alguns dos melhores pneus do mercado em termos de segurança e desempenho. Este projeto é uma avaliação completa da empresa com o objetivo de analisar o possível resultado de um investimento nas suas ações, com a ressalva de que efeitos imprevisíveis podem afetar o desempenho da empresa. Para a avaliação, foi utilizado o método dos Fluxos de Caixa Descontados (DCF), complementado com uma Avaliação por Múltiplos, no sentido de suportar a conclusão final. O modelo DCF foi construído com base numa análise completa da empresa e da indústria de pneus, e é suportado por várias análises adicionais, nomeadamente análise de sensibilidade e análise de risco. Esta tese será feita e apresentada seguindo o modelo CFA.Pirelli is one of the best known tyre manufacturers in the world that stands out with high quality products, and a consistent and dominant presence on motorized sports. The company acts solely on the consumer tyres market, with a particular focus on high value tyres. Pirelli's position comes from large investments in R&D over the years and retaining talent, allowing the company to have some of the best tyres on the market in terms of safety and performance. This project is a complete valuation of the company with the objective of analyzing the possible outcome of an investment on its stocks, with the disclaimer that unpredictable effects may affect the company's performance. For the valuation, the Discounted Cash Flows method (DCF) was used, complemented with a Relative Valuation in order to support the overall conclusion. The DCF model was built based on a complete analysis of the company and tyre industry, and it's supported by a number of additional analysis, such as sensitivity analysis and risk analysis. This thesis will be done and presented following the CFA model.info:eu-repo/semantics/publishedVersio

Stochastic differential equations death rates models : the portuguese case

Mestrado Bolonha em Actuarial ScienceIn recent years, the increasing life expectancy of the world population (which is most commonly seen in first-world countries), due to increased availability to prescribed medication, quality of health care services and quantity of health care institutions, combined with a sharp decrease in birth rates along time has proven to be a challenging problem for governments worldwide. Both of these factors put at risk the sustainability of state funded welfare programs (e.g. social security) and also lead to a decrease in productivity, available workforce and tax revenue in the near future. With the tendency for these problems to worsen in the next decades, it is of paramount importance to estimate the extension of human life in order to analyse the severity of this phenomena. Stochastic differential equations have been used recently to model the evolution of death rates. In fact, such models have some advantages compared to the deterministic ones since we can input random environmental fluctuations and evaluate the uncertainty in forecasts. Instead of the usual cohort analysis, we propose a cross-sectional analysis of mortality by applying stochastic differential equations models, which we wish to model to the Portuguese population, describing death rates trends for all ages and for both genders. The main goal of this work is to apply and compare stochastic differential equations death rates models (Geometric Brownian motion, Stochastic Gompertz model) separately for each age and gender with independent standard Wiener processes and forecast Portuguese death rates until the year 2030.Nos últimos anos, o aumento da esperança média de vida da população mundial (que é habitualmente observada em países de primeiro mundo), devido ao aumento do acesso a medicamentos com receita médica, qualidade dos serviços relacionados com cuidados de saúde e quantidade de instituições de saúde, em conjunto com um forte decréscimo registado nas taxas de natalidade ao longo do tempo provou ser um problema desafiante para governos de todo o mundo. Estes fatores colocam em risco a sustentabilidade dos programas de assistência social financiados pelo Estado (como por exemplo a segurança social) e podem causar uma descida na produtividade, mão-de obra disponível e receita fiscal no futuro próximo. Com a tendência destes problemas agravarem-se nas próximas décadas, é da maior importância estimar o prolongamento da vida humana com a finalidade de analisar a gravidade dos fenómenos referidos. As equações diferenciais estocásticas têm vindo a ser usadas recentemente para modelar a evolução de taxas de mortalidade. De facto, este tipo de modelos apresentam algumas vantagens quando comparados aos modelos determinísticos, visto que podemos introduzir flutuações ambientais aleatórias e avaliar a incerteza nas previsões. Em vez da habitual análise por coorte, propomos uma análise transversal da mortalidade através da aplicação de modelos de equações diferenciais estocásticas, que desejamos modelar para a população portuguesa, descrevendo as tendências das taxas de mortalidade para todas as idades e para ambos os géneros. O principal objectivo deste trabalho ´e aplicar e comparar modelos de equaçõess diferenciais estocásticas de taxas de mortalidade (movimento Browniano Geom´etrico, modelo de Gompertz estoc´astico) separadamente para cada idade e género com processos de Wiener padrão independentes e efetuar as previsões das taxas de mortalidade portuguesas até ao ano 2030.info:eu-repo/semantics/publishedVersio

Marketing plan for Redken Brews launch

The Portuguese professional hair market is an interesting, dynamic and complex market. With a business-to-business approach, it has a clear customer centric vision, along with the desire to communicate more and more with the consumer. Even being considered a mature and slow-paced market, it has been facing some struggles and challenges throughout the years. One of the most current challenge is the men’s grooming boom. During the last few years, men are awaking to beauty, more specifically hair and beard care. With the previous, the market has being experiencing the comeback effect of old barbershops and hair salons with a men’s approach. L’Oréal group, as the leader of the beauty industry, cannot be behind of this opportunity. It has, within its professional hair portfolio, men’s brands but with a total outdated approach to the market. Due to previous, it is important to launch a brand in this market, with an updated communication, packaging and business approach. Given all the previous, this project thesis proposes a marketing plan for the launch of Redken Brews- a new brand within Redken that will renovate its men’s offer. This plan will have a deep analysis on the market, its opportunities and threats, on the competition and implementation proposal, with the development of clear marketing strategies. This marketing plan will deliver a clear go-to-market, with the main objective to turn Redken Brews the number one player in the men’s professional hair market.O mercado capilar profissional português é um muito interessante, dinâmico e complexo. Com um modelo de negócio business-to-business, coloca o cliente no centro da sua estratégia, mas com o desejo de comunicar cada vez mais com o consumidor. Apesar de ser considerado um mercado maduro e lento, o mesmo tem passado por alguns desafios e dificuldades. Um dos atuais desafios é a explosão do cuidado dos homens. Nos últimos anos, os homens estão a acordar para a beleza, especialmente cabelo e barba. Tendo em conta o anterior, o mercado tem experienciado um revivalismo com o aparecimento de barbershops e cabeleireiros com uma abordagem mais masculina. O grupo L’Oréal, como líder da indústria de beleza, não pode ficar atrás desta oportunidade. O grupo tem, dentro o seu portfolio profissional, marcas masculinas mas com uma abordagem ao mercado completamente desatualizada. Tendo em conta isso, é importante lançar uma marca para este segmento de mercado, com uma comunicação, embalagem e modelo de negócio mais atualizados. Posto isso, este projeto de tese propõe um plano de marketing para o lançamento de Redken Brews- uma nova marca de Redken que irá renovar a sua oferta masculina. Este plano fará uma análise profunda ao mercado, as suas oportunidades e ameças, à concorrência e fará uma proposta de implementação, com estratégias de marketing claras. Este plano de marketing irá entregar uma estratégia clara, com o objetivo de fazer de Redken Brews a marca número um do mercado profissional masculino

Inspecção Visual de Isoladores Eléctricos -Abordagem baseada em Deep Learning

To supply the electrical population’s demand is necessary to have a good quality power distribution systems. Electrical asset inspection, like electrical towers, dam or power line is a high risk and expensive task. Nowadays it is done with traditional methods like using a helicopter equipped with several sensors or with specialised human labour. In the last years, the Unmanned Aerial Vehicle (UAV) exponential growth (most common called drones) make them very accessible for different applications. They are cheaper and easy to adapt. Adopting this technology will be in the future the next step on electrical asset inspection. It will provide a better service (safer, faster and cheaper), particularly in power line distribution. This thesis brings forward an alternative to traditional methods using a UAV for images processing during the insulator visual inspection. The developed work implement real-time insulators visual detection using na Artificial Neural Network (ANN), You Only Look Once (YOLO) in this case, on medium and high voltage power lines. YOLO was trained with different types and sizes of insulators. Isn’t always possible to see what the UAV is recording so it has a gimbal system which controls the camera orientation/position. It will centre the insulator on the image and this way getting a better view of it. All the training and tests were performed on board Jetson TX2.A inspeção de ativos elétricos, sejam eles torres elétricas, barragens ou linhas elétricas, é realizada com recurso a helicópteros, equipados com sensores para o efeito ou, de uma forma mais minuciosa, com o recurso a mão-de-obra especializada. Ambas as situações são trabalhos de risco elevado. Nos últimos anos temos assistido a um enorme crescimento de veículos aéreos não tripulados, vulgarmente chamados de drones. Estes sistemas estão bastante desenvolvidos e são economicamente acessíveis, o que os torna perfeitos para variadíssimas funções. A inspeção de linhas elétricas não ´e exceção. Esta dissertação, pretende ser uma primeira abordagem `a utilização de drones para uma inspeção autónoma de linhas elétricas, nomeadamente no processamento de imagem para inspeção visual de isoladores. O trabalho desenvolvido, consiste na implementação de um sistema que funciona em tempo real para a deteção visual de isoladores. A deteção ´e feita com recurso a uma rede neuronal, neste caso específico a fico a You Only Look Once (YOLO), que foi treinada com isoladores de diferentes tamanhos e materiais. Uma vez que nem sempre ´e possível acompanhar o que está a ser filmado, o drone consta de um sistema capaz de orientar a câmara, chamado gimbal, para centrar o isolador na imagem e assim conseguir obter um melhor enquadramento do ativo a ser inspecionado. Todos este desenvolvimentos e consequentes testes foram realizados com a utilização de processamento paralelo, que neste caso foi utilizada a placa Jetson TX2