Tax policy stance over the business cycle: evidence from Europe

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

Cost efficiency in the Portuguese water sector: The case of multimunicipal systems operating at the bulk level

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

Positive self-image over time

This paper incorporates egocentric comparisons into a human capital accumulation model and studies the evolution of positive self image over time. The paper shows that the process of human capital accumulation together with egocentric comparisons imply that positive self image of a cohort is first increasing and then decreasing over time. Additionally, the paper finds that positive self image: (1) peaks earlier in activities where skill depreciation is higher, (2) is smaller in activities where the distribution of income is more dispersed, (3) is not a stable characteristic of an individual, and (4) is higher for more patient individuals.

Exploring the predictive power of Google searches over the US stock market

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

Schottky principal G-bundles over compact Riemann surfaces

Fundação para a Ciência e a Tecnologia (FCT)- PhD grant SFRH/BD/37151/2007; projects PTDC/MAT/099275/2008; PTDC/MAT/119689/2010; PTDC/MAT/120411/2010; PTDC/MAT-GEO/0675/2012

Molecular simulation of gas adsorption equilibria in nanoporous materials

This work is divided into two distinct parts. The first part consists of the study of the metal organic framework UiO-66Zr, where the aim was to determine the force field that best describes the adsorption equilibrium properties of two different gases, methane and carbon dioxide. The other part of the work focuses on the study of the single wall carbon nanotube topology for ethane adsorption; the aim was to simplify as much as possible the solid-fluid force field model to increase the computational efficiency of the Monte Carlo simulations. The choice of both adsorbents relies on their potential use in adsorption processes, such as the capture and storage of carbon dioxide, natural gas storage, separation of components of biogas, and olefin/paraffin separations. The adsorption studies on the two porous materials were performed by molecular simulation using the grand canonical Monte Carlo (μ,V,T) method, over the temperature range of 298-343 K and pressure range 0.06-70 bar. The calibration curves of pressure and density as a function of chemical potential and temperature for the three adsorbates under study, were obtained Monte Carlo simulation in the canonical ensemble (N,V,T); polynomial fit and interpolation of the obtained data allowed to determine the pressure and gas density at any chemical potential. The adsorption equilibria of methane and carbon dioxide in UiO-66Zr were simulated and compared with the experimental data obtained by Jasmina H. Cavka et al. The results show that the best force field for both gases is a chargeless united-atom force field based on the TraPPE model. Using this validated force field it was possible to estimate the isosteric heats of adsorption and the Henry constants. In the Grand-Canonical Monte Carlo simulations of carbon nanotubes, we conclude that the fastest type of run is obtained with a force field that approximates the nanotube as a smooth cylinder; this approximation gives execution times that are 1.6 times faster than the typical atomistic runs.

Who uses NHS saúde 24 hotline? Has the user changed over time?

There has been an increase in the use of telephone-based services and internet throughout the years and, therefore, the Saúde 24 Hotline has become an important service in Portugal. This service aims to screen, counsel and refer the patient in order to avoid unnecessary visits to health institutions and also to indicate the most appropriate resource according to the illness. This work has two different questions: the first one examines the determinants of satisfaction that have more influence on the overall satisfaction of the Saúde 24 Hotline users. The second one aims to analyze if the confidence level of the users is increasing over time, measured by following the recommendation. The first study was conducted on a random sample collected from June to October 2014, which was taken from the User Satisfaction Survey. The second approach includes data from January 2008 to December 2014 from the Clinical Data Base of all users who have called the Hotline. Findings suggest that the majority of users are very satisfied with the service and the variables with more impact on the overall satisfaction are commitment and availability from the nurse, adequacy of call duration and quick identification of the problem. The survey indicates that 94% of respondents follow the recommendation and on average people have called the hotline 3 times in the previous year. The results from the Clinical Database show that people who were recommended to go to the emergency room are more likely to follow the advice than the people who were recommended to book routine appointments

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.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.