Natural hydraulic lime (nhl3.5) mortars with scrap tire rubber

The use of wastes and industrial by-products as building materials is an important issue in order to decrease costs with waste management and the embodied energy of building products. In this study scrap tire rubber was used as additional aggregate of mortars based on natural hydraulic lime NHL 3.5 and natural sand. Different particle size fractions and proportions of scrap tire rubber were used: a mix obtained directly from industry and separated fine, medium and coarse fractions; 0 %, 18 %, 36 % and 54 % of the weight of binder, corresponding to 2.5 %, 5 % and 7.5 % of the weight of sand. As mortars based on NHL specifications became stricter with the current version of EN 459–1:2015, the influence of the rubber’s additions on the mortars’ fresh state, mechanical and physical performance is presented in this work: flow table consistency, water retention, dynamic elasticity modulus, flexural and compressive strength, open porosity and bulk density, capillary absorption, drying and thermal conductivity are studied. The use of the rubber mix coming from the waste tire industry seems advantageous and may open possibilities for use as raw material by the mortars industry.

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.