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/.

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

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.

The influence of low-frequency noise pollution on the quality of life and place in sustainable cities: a case study from northern Portugal

Discussing urban planning requires rethinking sustainability in cities and building healthy environments. Historically, some aspects of advancing the urban way of life have not been considered important in city planning. This is particularly the case where technological advances have led to conflicting land use, as with the installation of power poles and building electrical substations near residential areas. This research aims to discuss and rethink sustainability in cities, focusing on the environmental impact of low-frequency noise and electromagnetic radiation on human health. It presents data from a case study in an urban space in northern Portugal, and focuses on four guiding questions: Can power poles and power lines cause noise? Do power poles and power lines cause discomfort? Do power poles and power lines cause discomfort due to noise? Can power poles and power lines affect human health? To answer these questions, we undertook research between 2014 and 2015 that was comprised of two approaches. The first approach consisted of evaluating the noise of nine points divided into two groups â near the sourceâ (e.g., up to 50 m from power poles) and â away from the sourceâ (e.g., more than 250 m away from the source). In the second approach, noise levels were measured for 72 h in houses located up to 20 m from the source. The groups consist of residents living within the distance range specified for each group. The measurement values were compared with the proposed criteria for assessing low-frequency noise using the DEFRA Guidance (University of Salford). In the first approach, the noise caused discomfort, regardless of the group. In the second approach, the noise had fluctuating characteristics, which led us to conclude that the noise caused discomfort.

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.

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.

A Casa do Côto: entre a definição medieval e o desígnio contemporâneo

Dissertação de mestrado integrado em Arquitectura

Aplicação de princípios e ferramentas Lean numa empresa de produção de cablagens

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

Indoor biological agents: evaluation of primary schools environments

Dissertação de mestrado em Human Engineering

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

Proceedings da AUTEX 2015, Bucareste, Roménia.

Estudo, conceção e desenvolvimento de um equipamento industrial para colocação automática de produtos alimentares em cuvetes

Dissertação de mestrado em Engenharia Mecânica

Reducing seismic vulnerablity: Retrofitting historic buildings

The value of preserving historic buildings is increasingly accepted by society, which not only recognizes built cultural heritage as a part of its identity but is also more cognizant of its economic value. In Europe, for example, tourism accounts for 10 percent of the GDP in the EU and 12 percent of employment.1 Built cultural heritage is a fundamental element of what draws tourists to European destinations. To a great extent, the value of historic buildings rests in the integrity of their components as unique products of the technology of their time and place. Unfortunately, cultural heritage buildings are particularly vulnerable to disasters, for a variety of reasons. They are often damaged or in a state of deterioration; they were built with materials with low resistance; they are heavy; and the connections among their various structural components are frequently insufficient. The main causes of damage are lack of maintenance, water-induced deterioration (from rain or rising damp), soil settlement, and extreme events such as earthquakes. Earthquakes have caused hundreds of thousands of deaths in the last decade, in addition to the tremendous losses in built cultural heritage.

Saprotrophic fungi Hypholoma fasciculare effect on the fungal community associated to Castanea sativa

Dissertação de mestrado em Biologia Molecular, Biotecnologia e Bioempreendedorismo em Plantas

Nutritional value, bioactive compounds and antioxidant properties of three edible mushrooms from Poland

Mushrooms contain a multitude of biomolecules with nutritional and/or biological activity. Among the bioactive molecules, phenolic compounds and tocopherols are the most responsible for their antioxidant activity. In the present work, Boletus edulis, Lentinus edodes and Xerocomus badius, three edible mushroom species originated from Poland, were analyzed for their chemical composition and antioxidant activity. Carbohydrates were the most abundant macronutrients, followed by proteins and ash. Fructose, mannitol and trehalose were the prevalent sugars, but glucose was only found in B. edulis. Polyunsaturated fatty acids predominated over mono and saturated fatty acids. Palmitic, oleic and linoleic acids were abundant in the three samples. α- and β- Tocopherols were quantified in all the samples, but γ-tocopherol was only identified in X. badius. Oxalic and fumaric acids were quantified in the three samples; quinic acid was only present in L. edodes, and malic and citric acids were only found in X. badius. p-Hydroxybenzoic, protocatechuic and cinnamic acids were quantified in all the species, while p-coumaric acid was only found in B. edulis. This species and X. badius revealed the highest antioxidant properties, being B. edulis more effective in radicals scavenging activity and reducing power, and X. badius in lipid peroxidation inhibition, which is related with the highest amounts in phenolic compounds and tocopherols, respectively.