A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

The strategic deployment of quality-improvement innovations

Journal of Business, Vol. 78 Issue 3, p1049-1072

Active cycle breathing techniques como técnica de higiene brônquica na asma: estudo piloto

RESUMO: Relevância e Objectivos: O objectivo deste estudo consistiu em verificar a eficácia e segurança de uma técnica de higiene brônquica – Active Cycle breathing technique (ACBT), na remoção de secreções e desinsuflação em crianças asmáticas. É uma técnica recente, que ainda não foi estudada nesta população. Metodologia: A amostra foi constituída por um total de 14 crianças, com idades compreendidas entre os 6 e 18 anos, com o diagnóstico de asma. Foi dividida em dois grupos: grupo de controlo, constituído por asmáticos estáveis e grupo experimental constituído por asmáticos pós-crise. Ambos receberam o mesmo tratamento, que consistiu numa única sessão de ACBT. Realizaram um exame da função respiratória (variáveis FEV1, PEF, MEF75%, RV e FRC) antes e após a aplicação da técnica. Mediu-se a Saturação de O2 antes, a meio e no fim da aplicação da técnica. Por último, pesaram-se as secreções recolhidas durante a sessão de tratamento. Resultados: Como resultados, quando omparamos o antes e após aplicação do ACBT, obtivemos diferenças significativas no RV (p <0,05) e FRC (p <0,05); muito significativa na Sa02 (p <0,01) e peso de secreções, nos asmáticos pós crise. Ocorreu uma melhoria significativa da saturação (p <0,05) em asmáticos estáveis, não havendo secreções. Não houve efeitos adversos nem broncoespasmo em ambos os grupos.Conclusão: O ACBT é uma técnica que promove a remoção de secreções e diminuição da insuflação na população de asmáticos.--------------------ABSTRACT:Relevance and Goals: the goal of this study was to verify the efficiency and security of a bronchial hygienic technique - Active Cycle Breathing Technique (ACBT) – in the obstruction and insufflation of asthmatic children. This is a new technique that has not yet been studied in this population. Procedures: The subjects were 14 children aged between 6 and 18 years old with asthma diagnosis. They were divided in two groups: the control group with stable asthmatics and the experimental group with post-crisis asthmatics. Both received the same treatment that was a single session of ACBT. They made a lung function test before and after the application of the technique (variables FEV1, PEF, MEF75%, RV and FRC). The level of O2 saturation was measured before, during and after the procedure. In the end, the secretions collected during the treatment were weighted. Results: We observed a significant difference on RV (p ˂0,05), FRC (p ˂0,05), Sa02 (p ˂0,01) and in the weight of the secretions in the post-crisis asthmatics after ACBT. There was a significant improvement of saturation (p ˂0,05) only in the stable asthmatics. There were no adverse effects or bronchospasm in both groups.

The African studies course of the Instituto de Estudos Superiores Militares. An analysis of the correlations and conflictive character inside the triangle - Development, environment and security - in Africa’s Nigeria

Relatório de Estágio de Mestrado em Ciência Política e Relações Internacionais Globalização e Ambiente

The impact of large-scale mortgage backed security purchases

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

Qualidade e satisfação do sistema de seguimento à distância de cardioversores-desfibrilhadores implantáveis

RESUMO - Com o aumento da esperança de vida e das doenças crónicas, cada vez se tem implantado mais cardioversores-desfibrilhadores (CDI) para prevenção de morte súbita. O aumento exponencial no número de implantes aumenta o número de seguimentos dos dispositivos, sobrecarregando os profissionais de saúde e comprometendo a qualidade dos serviços prestados. Segundo as recomendações internacionais, um CDI deverá ser vigiado a cada 3 meses, o que perfaz 4 consultas por ano/doente no mínimo, se não existirem episódios de “choques” ou “descompensações” clínicas, e mensalmente quando é atingido o indicador de substituição electiva do gerador. A evolução da tecnologia, de algoritmos, visualização de episódios e terapias requer recursos técnicos e humanos diferenciados e um gasto de tempo considerável no seguimento. Em países como os Estados Unidos da América, em que os doentes têm de percorrer distâncias muito grandes para aceder aos cuidados de saúde, tornou-se preemente a necessidade de um sistema de vigilância alternativo. Nesse sentido, e usando o conceito da telemedicina, foi criado o seguimento/monitorização à distância de dispositivos cardíacos. Este reduz os custos em consultas, deslocações e recursos humanos, uma vez que contempla apenas uma consulta presencial por ano. Por outro lado, aumenta a segurança do doente com a monitorização periódica e a criação de alarmes, permitindo uma assistência de qualidade e intervenção adequada imediata. Aproveitando as vantagens que este tipo de sistema de transmissão remota oferece, procedeu-se no meu serviço, à distribuição inicial de 62 comunicadores a doentes portadores de CDI´s ou com Ressincronizadores Cardíacos (TRC´s1). Apesar de ser considerada uma melhoria na qualidade dos serviços prestados, é também uma mudança importante na metodologia da consulta feita até aqui. Segundo vários autores, a avaliação da qualidade dos cuidados em saúde está intrinsecamente ligada ao grau de satisfação dos doentes com esses serviços, ou seja, à relação entre as suas expectativas e os resultados percebidos por eles, sendo considerado um importante indicador de qualidade dos serviços. Com este trabalho, pretende-se avaliar a percepção dos doentes face ao novo seguimento em termos de aceitação, satisfação, validade, segurança e confiança no novo sistema. Se este mantém os mesmos padrões de qualidade que o seguimento presencial. Trata-se de um estudo transversal com uma componente retrospectiva de avaliação da nova metodologia de consulta à distância. Para tal, foi elaborado um questionário, que foi aplicado a 40 doentes (17,5% do género feminino e 82,5% do género masculino; média de idades de 65 anos) que constituíram a amostra do estudo. Verificou-se uma média de 5 anos de tempo de implante do CDI. Dos dados obtidos, é de realçar que 70% dos inquiridos estão satisfeitos e 30% estão muito satisfeitos com esta nova metodologia de consulta e cerca 67,4% prefere a consulta à distância. Quando solicitados para comparar a qualidade do serviço prestado entre as duas consultas, 65% respondeu igual e 27,5% melhor. Todos os inquiridos responderam ter confiança e segurança com o sistema de consulta à distância. Cerca de 87,5% dos inquiridos vê-se mesmo a continuar com este tipo de consulta. Os resultados obtidos são bastante satisfatórios no que diz respeito à transição do modo como a consulta de CDI´s é feita. Reflectem também que a tecnologia não é necessariamente uma barreira no acesso aos profissionais de saúde, desde que suportada por algum contacto directo (telefone e através de uma consulta presencial por ano). 1 TRC – Terapia de Ressincronização Cardíaca

The impacts of the Cape Verde self-employed social security scheme

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

Adjusting to external imbalances within the EMU, the case of Portugal

From 1995 to 2010 Portugal has accumulated a negative international asset position of 110 percent of GDP. In a developed and aging economy the number is astonishing and any argument to consider it sustainable must rely on extremely favorable forecasts on growth. Portuguese policy options are reduced in number: no autonomous monetary policy, no currency to devaluate, and limited discretion in changing fiscal deficits and government debt. To start the necessary deleveraging a remaining possible policy is a budget-neutral change of the tax structure that increases private saving and net exports. An increase in the VAT and a decrease in the employer’s social security contribution tax can achieve the desired outcome in the short run if they are complemented with wage moderation. To obtain a substantial improvement in competitiveness and a large decrease in consumption, the changes in the tax rates have to be large. While a precise quantitative assessment is difficult, the initial increase in the effective VAT rate needed to allow the social security tax to decrease by 16 percentage points (pp) is approximately 10 pp. Such a large increase in the effective VAT rate could be obtained by raising most of the reduced VAT rates to the new general VAT rate of 23 percent. The empirical analysis shows that over time the suggested tax swap could generate surpluses and improve the trade balance. A temporary version of the suggested tax-swap has the attractiveness to achieve a sharper increase in the private saving rate maintaining the short run gains in competitiveness. Finally, the temporary version of the fiscal devaluation could be the basis for an automatic stabilizer to external imbalances within a monetary union.Portugal has been running large current account deficits every year since 1995. These deficits have accumulated to an astonishing 110 percent of GDP negative external asset position. The sustainability of such a large external position is questionable and must rely on fantastic productivity growth expectations. The recent global financial crisis appears to have anticipated the international investors reality check on those future expectations with the result of a large increase in the cost of external financing. Today the rebalancing of the current account through an increase in national savings and an improvement in competitiveness must be at the top of the Portuguese authorities “to do” list as the cost of a pull out from international investors is of the order of 10% of GDP. The external rebalancing is difficult as the degrees of freedom of the Portuguese authorities are limited in number: they have no autonomous monetary policy, no currency to devaluate, and little discretion in fiscal policy as deficit limits and debt targets are set by the Stability Growth Pact and the postcrisis consensus on medium-term fiscal consolidation. One possibility that remains is to change the fiscal policy mix for a given budget deficit. The purpose of this paper is to explore the effects of a “fiscal devaluation”1 obtained through a tax swap between employers’ social security contributions and taxes on consumption2. The paper begins by illustrating Portugal’s current account evolution during the euro period. The second section section lays out a model to offer a qualitative assessment of the dynamic outcomes of the the tax swap. I show that the suggested tax swap can in theory achieve the desired outcomes in terms of competitiveness and consumption if complemented with moderation (stickiness) in wages. I also study the effects of a temporary version of the tax swap and show that it achieves a sharper improvement in the current account that accelerate the rebalancing. The third section moves to the empirical analysis and estimates the likely effects of the tax swap for the Portuguese economy. The fourth section concludes.

A SDK improvement towards gesture support

Human-Computer Interaction have been one of the main focus of the technological community, specially the Natural User Interfaces (NUI) field of research as, since the launch of the Kinect Sensor, the goal to achieve fully natural interfaces just got a lot closer to reality. Taking advantage of this conditions the following research work proposes to compute the hand skeleton in order to recognize Sign Language Shapes. The proposed solution uses the Kinect Sensor to achieve a good segmentation and image analysis algorithms to extend the skeleton from the extraction of high-level features. In order to recognize complex hand shapes the current research work proposes the redefinition of the hand contour making it immutable to translation, rotation and scaling operations, and a set of tools to achieve a good recognition. The validation of the proposed solution extended the Kinects Software Development Kit to allow the developer to access the new set of inferred points and created a template-matching based platform that uses the contour to define the hand shape, this prototype was tested in a set of predefined conditions and showed to have a good success ration and has proven to be eligible for real-time scenarios.

Information provision improvement with a geofencing event-bases system

Nowadays there is a big percentage of the population, specially young users, which are smartphone users and there is a lot of information to be provided within the applications, information provision should be done carefully and should be accurate, otherwise an overload of information will be produced, and the user will discard the app which is providing the information. Mobile devices are becoming smarter and provide many ways to filter information. However, there are alternatives to improve information provision from the side of the application. Some examples are, taking into account the local time, considering the battery level before doing an action and checking the user location to send personalized information attached to that location. SmartCampus and SmartCities are becoming a reality and they have more and more data integrated every day. With all this amount of data it is crucial to decide when and where is the user going to receive a notification with new information. Geofencing is a technique which allows applications to deliver information in a more useful way, in the right time and in the right place. It consists of geofences, physical regions delimited by boundaries, and devices that are eligible to receive the information assigned to the geofence. When devices cross one of these geofences an alert is pushed to the mobile device with the information.

Improvement of Lipton’s business model through wholesalers and traditional supermarkets channel

Field Lab in Entrepreneurial Innovative Ventures

Maritime Security in the Gulf of Guinea: Issues and Solutions for the 21st Century

A producer of 5.4 M bbl/d, totalling almost half of the consumption of the entire European Union, the Gulf of Guinea is a fundamental lifeline and maritime link between Europe, the Americas and Africa. Geographically positioned as a staging post for transit originating in Latin America and coupled with its relatively porous borders, the region is also the perfect stepping stone for contraband heading to European shores. While blessed with an enviable wealth of marine and mineral resources, the region is also plagued by an ever-increasing spectre of maritime piracy; accounting for around 30% of incidents in African waters from 2003 to 2011. It is for these reasons that this research centres around the issues of maritime security in the Gulf of Guinea, with a particular focus on the first two decades of the 21st century. This research looks to examine the overall picture of the present state of play in the area, before going on to provide an analysis of potential regional developments in maritime security. This research begins with the analysis of concepts/phenomena that have played a notable role in the shaping of the field of maritime security, namely Globalisation and security issues in the post-Cold War era. The ensuing chapter then focuses in on the Gulf of Guinea and the issues dominating the field of maritime security in the region. The penultimate chapter presents a SWOT analysis, undertaken as part of this research with the aim of correlating opinions from a variety of sectors/professions regarding maritime security in the Gulf of Guinea. The final chapter builds upon the results obtained from the abovementioned SWOT analysis, presenting a series of potential proposals/strategies that can contribute to the field of maritime security in the region over the coming years. This research draws to a close with the presentation of conclusions taken from this particular investigation, as well as a final overview of the earlier presented proposals applicable to the field of maritime security during the second decade of the 21st century.

Functional characterization and directed engineering of redox proteins for a rational improvement of Bioelectrochemical systems

In recent years, new methods of clean and environmentally friendly energy production have been the focus of intense research efforts. Microbial fuel cells (MFCs) are devices that utilize naturally occurring microorganisms that feed on organic matter, like waste water, while producing electrical energy. The natural habitats of bacteria thriving in microbial fuel cells are usually marine and freshwater sediments. These microorganisms are called dissimilatory metal reducing bacteria (DMRB), but in addition to metals like iron and manganese, they can use organic compounds like DMSO or TMAO, radionuclides and electrodes as terminal electron acceptors in their metabolic pathways.(...)

Continuous improvement logidtics project: A study on the increase of the finished goods warehouse of Unilever at Sta. Iria

This project is called Improvement Logistics Project and aims to study an opportunity of expansion of the output in 80% of the Unilever warehouse at Sta. Iria via an increase in exportations for the next two years. This has been done using the Distibuidora Luís Simões tariff rates as basis of comparison for the as-is and to-be situations. For this matter, an allocation of all the costs of the warehouse is prepared and described with the goal of comparing the differences with and without expansion. The results show that a better outcome is achieved with the investment, but the warehouse is yet to prove its efficiency against the distribution company.