Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Production of aluminium based composites reinforced with embedded NiTi by friction stir welding

Dissertação para a obtenção do grau de Mestre em Engenharia Mecânica

Earth-based repair mortars: experimental analysis with different binders and natural fibers

RESTAPIA 2012 - Int. Conf. on Rammed Earth Conservation, Valencia, 21-23 June 2012

DYNAMOD – A dynamic agent based modelling framework for digital businesses

Digital Businesses have become a major driver for economic growth and have seen an explosion of new startups. At the same time, it also includes mature enterprises that have become global giants in a relatively short period of time. Digital Businesses have unique characteristics that make the running and management of a Digital Business much different from traditional offline businesses. Digital businesses respond to online users who are highly interconnected and networked. This enables a rapid flow of word of mouth, at a pace far greater than ever envisioned when dealing with traditional products and services. The relatively low cost of incremental user addition has led to a variety of innovation in pricing of digital products, including various forms of free and freemium pricing models. This thesis explores the unique characteristics and complexities of Digital Businesses and its implications on the design of Digital Business Models and Revenue Models. The thesis proposes an Agent Based Modeling Framework that can be used to develop Simulation Models that simulate the complex dynamics of Digital Businesses and the user interactions between users of a digital product. Such Simulation models can be used for a variety of purposes such as simple forecasting, analysing the impact of market disturbances, analysing the impact of changes in pricing models and optimising the pricing for maximum revenue generation or a balance between growth in usage and revenue generation. These models can be developed for a mature enterprise with a large historical record of user growth rate as well as for early stage enterprises without much historical data. Through three case studies, the thesis demonstrates the applicability of the Framework and its potential applications.

Almirante: Evaluating the board game: Board game, startup, discounted cash flow, venture capital method, real options

This thesis evaluates a start-up company (Jogos Almirante Lda) whose single asset is a board game named Almirante. It aims to conclude whether it makes sense to create a company or just earn copyrights. The thesis analyzes the board game’s market, as part of the general toy’s market, from which some data exists: European countries as well as the USA. In this work it is analyzed the several ways to finance a start-up company and then present an overview of the valuation of the Jogos Almirante based on three different methods: Discounted Cash Flow, Venture Capital Method and Real Options.

Characterization of earth-based mortars for rammed earth repair

All over the world, many earth buildings are deteriorating due to lack of maintenance and repair. Repairs on rammed earth walls are mainly done with mortars, by rendering application; however, often the repair is inadequate, resorting to the use of incompatible materials, including cement-based mortars. It has been observed that such interventions, in walls that until that day only had presented natural ageing issues, created new problems, much more dangerous for the building than the previous ones, causing serious deficiencies in this type of construction. One of the problems is that the detachment of the new cement-based mortar rendering only occurs after some time but, until that occurrence, degradations develop in the wall itself. When the render detaches, instead of needing only a new render, the surface has to be repaired in depth, with a repair mortar. Consequently, it has been stablished that the renders, and particularly repair mortars, should have physical, mechanical and chemical properties similar to those of the rammed earth walls. This article intends to contribute to a better knowledge of earth-based mortars used to repair the surface of rammed earth walls. The studied mortars are based on four types of earth: three of them were collected from non-deteriorated parts of walls of unstabilized rammed earth buildings located in Alentejo region, south of Portugal; the fourth is a commercial earth, consisting mainly of clay. Other components were also used, particularly: sand to control shrinkage; binders stabilizers such as dry hydrated air-lime, natural hydraulic lime, Portland cement and natural cement; as well as natural vegetal fibers (hemp fibers). The experimental analysis of the mortars in the fresh state consisted in determining the consistency by flow table and the bulk density. In the hardened state, the tests made it possible to evaluate the following properties: linear and volumetric shrinkage; capillary water absorption; drying capacity; dynamic modulus of elasticity; flexural and compressive strength.

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

Reporting cash flow evidence from campanies listed in the Euronext Lisbon

Based on the 2013 and 2014 consolidated statements of cash flows of companies listed in Euronext Lisbon, this Work Project analyses the cash flow disclosures, namely if they are in accordance with International Accounting Standards 7, specifically the format, the choice of classification interests, dividends paid and received and the composition of cash and cash equivalents. Additionally, quality of income ratio is analyzed due to its importance for users of financial statements. The results show evidence of uniformity and consistency in the use of the direct method for reporting operational activities in both years, but there are some differences regarding the disclosure of interests and dividends, paid and received, respectively.