A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

A indústria de defesa na cooperação Brasil-Portugal

The global dynamics of alliances are strongly determined by the level of cooperation among states. This cooperation can be embodied in various aspects, but the level of defense and security cooperation becomes usually more doctrinal and lasting. By the nature of sovereignty that instills in the bilateral relationship, cooperation at defense and security level can leverages other forms of cooperation. The circumstances and relational balance between Brazil and Portugal seem to evolve towards distancing opportunities, despite they are culturally and institutionally untainted. The economic dynamics, the strategic projection in global sustainability terms, the scale and ambition of Brazilian regional leadership, contrasts with the actual context of Portugal, distancing himself both on the stage where they operate. On the other hand, the historical and cultural roots, the language, the affinity of the peoples of CPLP and some opportunities for economic niches, trend to attract both countries. The condition of Portugal in NATO and Europe, coupled with the ability to export technical and human resources to value-added for Brazil, seems also to become approaching factors. On the balance of these dynamics, there is a set of exogenous factors (economic, external global relations matrix, regional stability, among others), which are not always controlled by any of both countries. These factors call for strong capacity for foresight analysis and decision making, with the inherent risk. There is cooperation vectors that are not apparently penalized by geographic distance, or by the difference of realities. Among these vectors we shall highlight synergies in technological niches, highly tradable goods and, mostly, using the domain of dual technologies. The thirteen niches herein identified are: Monitoring, Navigation, Command and Control, Electronics, Optoelectronics, Communication and remote sensing, Information Technologies, Flight Simulation, Specialized Training, Fiber Optic Sensors, Materials Engineering, Nanotechnology and Communications. Cumulating with identified opportunities in traditional relational framework, both countries are growing (in geography and economic terms) into the Atlantic, making it a central element in the bilateral approach. By being at the same time a growing stage of disputes and which stability tends to be threatened, it will be done an analysis of these synergistic vectors, superimposed on the impact on Atlantic securitization process.

How to increase brand value expanding the category and brand presence to the main meal occasion for Sumol- Compal

Having registered negative retail value growth of 4% in Portugal in 2014, the juice category is set to decline further by 5,5% until 2019. Manufacturers of juices and nectars are therefore increasingly looking for new categories in order to balance this negative forecast in their home territory. One apparent growth opportunity for Compal, the leading producer of juices and nectars, is to expand its commercial reach to new occasions of consumption. This report carefully analyzes the opportunities related to an expansion to the main meal occasion and introduces a complete marketing and communications plan for a possible new main meal juice, Compal à Mesa. The product concept represents a rather premium positioning for the main meal occasion, including new flavor mixes that are targeted at different occasions of meals. The justification of the introduced concept includes a discussion of the primary and secondary research that was performed

The value creation radar applied to the space engineering sector

This case study illustrates the application of the Value Creation Radar (VCR) to SenSyF, an Earth Observation (EO) system which was developed by Deimos Engenharia S.A. (DME), the Portuguese affiliate of Elecnor Deimos. It describes how a team of consultants adopted the VCR in order to find new market applications for SenSyF, selected the one with the highest potential, and defined a path to guarantee a sustainable market launch. This case study highlights the main challenges of bringing a technology-driven company closer to the market in the pursuit of long-term sustainability, while not compromising its technological capabilities

Should my company use Bitcoin?

This work project analyses the possibility for a company to trade their goods and services for bitcoins, by joining the Bitcoin network. It analyses the technological and business requirements to join the Bitcoin Network by looking at Bitcoin’s potential to act as a mean of exchange for trade, unit of account and store of value. The analysis points to the motives, benefits and risks for investors to use the Bitcoin as a traditional currency and recommends on strategies for addressing those risks and maximizing benefits. Other than companies this report, to a lesser extent, will also analyse the Bitcoin from an investor’s point of view, this is, should an investor buy bitcoins for trade and make savings on a regular and everyday basis? A major finding in this work project is that companies could start using the Bitcoin system as a legit form of payment since the benefits of using this technology outweigh the costs and risks, given the right approach. This form of payment will contribute for the upgrade of a company’s business’ image, attract a new pool of consumers and businesses that already trade in bitcoins and pressure existing financial institutions and electronic payment vendors to upgrade their service levels.

Developing a gamification system to increase customer lifetime value at MyGon

There have never been so many touch points between companies and consumers as there are today, which paradoxically makes it very challenging for companies to be able to retain and engage customers. Gamification is a strategy used by a large number of companies to increase customer engagement and customer lifetime value. This work aims at developing a gamification system for MyGon, a Portuguese startup working in the market of discounts and experiences. In addition to examining the literature concerning gamification, its elements and characteristics, recommendations were developed for addressing MyGon’s business goals of increasing conversion and customer engagement. The gamification mechanisms suggested include badges, missions, points, leaderboards and levels.

Using customer lifetime value to improve the prediction of bank deposit subscription in telemarketing campaigns

Customer lifetime value (LTV) enables using client characteristics, such as recency, frequency and monetary (RFM) value, to describe the value of a client through time in terms of profitability. We present the concept of LTV applied to telemarketing for improving the return-on-investment, using a recent (from 2008 to 2013) and real case study of bank campaigns to sell long- term deposits. The goal was to benefit from past contacts history to extract additional knowledge. A total of twelve LTV input variables were tested, un- der a forward selection method and using a realistic rolling windows scheme, highlighting the validity of five new LTV features. The results achieved by our LTV data-driven approach using neural networks allowed an improvement up to 4 pp in the Lift cumulative curve for targeting the deposit subscribers when compared with a baseline model (with no history data). Explanatory knowledge was also extracted from the proposed model, revealing two highly relevant LTV features, the last result of the previous campaign to sell the same product and the frequency of past client successes. The obtained results are particularly valuable for contact center companies, which can improve pre- dictive performance without even having to ask for more information to the companies they serve.

Seasonality, parity rates and transmission indices of Mansonella ozzardi (Manson) (Nematoda: Onchocercidae) by Cerqueirellum argentiscutum (Shelley & Luna Dias) (Diptera: Simulidae) in a lower Solimões River community, Amazonas, Brazil

Mansonella ozzardi is transmitted by two dipterian families, Ceratopogonidae (midges) and Simuliidae (black flies). In Brazil, black flies are vectors for this filariasis until now. In this paper, we determined the seasonality, parity capacity and parasitic infection rate of Cerqueirellum argentiscutum. The work was carried out in the Porto Japão community, Lower Solimões River, Amazonas, Brazil. Results show that the black flies were more abundant during the rainy season (from December to May). The number of parous flies was higher in every sampling during the course of year. Monthly Biting Rate (MBR1 123742.00, MBR2 86701.50) was high, although Parasitic Infection Rate (PIR1 0.06, PIR2 0.08) and Annual Transmission Potential (ATP 7.25) were low in numbers.

Step towards multiplatform framework for supporting pediatric and neonatology care unit decision process

Children are an especially vulnerable population, particularly in respect to drug administration. It is estimated that neonatal and pediatric patients are at least three times more vulnerable to damage due to adverse events and medication errors than adults are. With the development of this framework, it is intended the provision of a Clinical Decision Support System based on a prototype already tested in a real environment. The framework will include features such as preparation of Total Parenteral Nutrition prescriptions, table pediatric and neonatal emergency drugs, medical scales of morbidity and mortality, anthropometry percentiles (weight, length/height, head circumference and BMI), utilities for supporting medical decision on the treatment of neonatal jaundice and anemia and support for technical procedures and other calculators and widespread use tools. The solution in development means an extension of INTCare project. The main goal is to provide an approach to get the functionality at all times of clinical practice and outside the hospital environment for dissemination, education and simulation of hypothetical situations. The aim is also to develop an area for the study and analysis of information and extraction of knowledge from the data collected by the use of the system. This paper presents the architecture, their requirements and functionalities and a SWOT analysis of the solution proposed.

Extreme value Birnbaum-Saunders regression models applied to environmental data

Extreme value models are widely used in different areas. The Birnbaum–Saunders distribution is receiving considerable attention due to its physical arguments and its good properties. We propose a methodology based on extreme value Birnbaum–Saunders regression models, which includes model formulation, estimation, inference and checking. We further conduct a simulation study for evaluating its performance. A statistical analysis with real-world extreme value environmental data using the methodology is provided as illustration.

Assessment and management of the geomorphological heritage of Monte Pindo (NW Spain): a landscape as a symbol of identity

This study focuses on the granite mountain known as Monte Pindo (627 m above sea level) in the Autonomous Community of Galicia (NW Spain). This territory is included in the area classified as “Costa da Morte” in the “Politica de Ordenación Litoral” (POL) (Coastal Planning Policy) for the region of Galicia. This coastal unit, located between “Rías Baixas” and “Cape Fisterra” has great potential for demonstrating geological processes and its geomorphological heritage is characterized by a high degree of geodiversity of granite landforms. The main objective of our work is to assess the geomorphological heritage of the site, thus revealing its wide geodiversity. We shall analyze and highlight: its scientific value, developing an inventory of granite landforms; its educational valuel and its geotouristic potential. It must be ensured that the Administration understands that natural diversity is composed of both geodiversity and biodiversity. Only then will the sustainable management of Monte Pindo become possible by integrating natural and cultural heritage values. The goal is to ensure that Monte Pindo and its immediate surroundings become a geopark with the aim of promoting local development projects based on the conservation and valorization of its geological heritage.

Análise e melhoria da produtividade numa empresa do sector de componentes de automóveis

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Aplicação de princípios e técnicas de Lean Manufacturing para melhoria do desempenho de linhas de montagem

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

“Learning-by-producing” in the fashion value chain

Proceedings da AUTEX 2015, Bucareste, Roménia.

Estudo da logística do armazenamento e distribuição interna de consumíveis clínicos de uma unidade hospitalar

Dissertação de mestrado em Engenharia Industrial