A proof system for lock-free concurrency

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

Speed control of induction machine based on direct torque control method

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Is Information Power? Using Mobile Phones and Free Newspapers during an Election in Mozambique*

African elections often reveal low levels of political accountability. We assess different forms of voter education during an election in Mozambique. Three interventions providing information to voters and calling for their electoral participation were randomized; an SMS-based information campaign, an SMS hotline for electoral misconduct, and the distribution of a free newspaper. To measure impact, we look at official electoral results, reports by electoral observers, behavioral and survey data. We find positive effects of all treatments on voter turnout. We observe that the distribution of the newspaper led to more accountability-based participation and to a decrease in electoral problems.

Cohesion decay: quantitative analysis of partial sister chromatid cohesion

Cell division is a highly dynamic process where sister chromatids remain associated with each other from the moment of DNA replication until the later stages of mitosis, giving rise to two daughter cells with equal genomes. The “molecular glue” that links sister DNA molecules is called cohesin, a tripartite ring-like protein complex composed of two Structural Maintenance of Chromosome proteins (Smc1 and Smc3) bridged by a kleisin subunit Rad21/Scc1, that together prevent precocious sister chromatid separation. Accumulating evidence has suggested that cohesion decay may be the cause of segregation errors that underlie certain human pathologies. However it remains to be determined how much cohesin loss abolishes functional sister chromatid cohesion. To answer these questions, we have developed different experimental conditions aiming to titrate the levels of cohesin on mitotic chromosomes in a precise manner. Using these tools, we will determine the minimal amount of cohesin needed to confer functional cohesion. The approaches described here take advantage of a system in Drosophila melanogaster where the Tobacco Etch Virus (TEV) protease can cleave the Rad21 subunit of cohesin leading to precocious sister chromatid separation. Firstly, we tried to express different levels of TEV protease to obtain partial loss of cohesion. However, this approach has failed to produce systematic different levels of sister chromatid separation. Most of the work was therefore focused on a second strategy, for which we established strains with different levels of cohesin sensitive/cohesin resistant to TEV protease. Strains containing different amounts of functional cohesin (TEV resistant) were tested by in vitro cleavage and by in vivo injections in embryos for their ability to promote sister chromatid cohesion. Our results reveal that removal of half of the cohesin complexes does not impair chromosome segregation, implying that chromosome cohesion is less sensitive to cohesin amounts than previously anticipated.

Young adults' preferences and satisfaction levels in Duty-free shopping in airports

This study aims to explore and understand what young adults’ duty free shoppers (18-26 years old) want and are getting from travel retail shopping on airport environments and to evaluate their satisfaction levels with the service. It has important managerial contributions since it is an important target in a fast growing market. An online survey was conducted with 188 young adults and its results show that young adults’ are somewhat satisfied with the overall service on duty free stores mainly in what concerns quality of the products and physical evidence of the stores. Results also show that the majority of buyers within this segment are price driven and strongly influenced by promotions associated with price reductions, and do not seem very satisfied with respect to that. Keywords: Young