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.

Wage adjustments under extreme downward nominal wage rigidity

Using a rich and highly accurate dataset for Portugal spanning from 1986 to 2013, this paper analyzes the determinants of downward nominal wage rigidity, mainly focusing on macroeconomic factors. The data supports the hypothesis that recessionary periods alongside with low in ation contribute to a higher degree of wage rigidity, as measured by the incidence of nominal wage freezes. It is further highlighted how this lack of wage adjustments con- tributed to an increase in labor costs which culminated in a wage markup of 6-7%. This paper, thus seems to corroborate the argument that low in ation did exacerbated the downward in exibility of (real) wages after the Great Recession.

The burden of chronic low back pain in the adult Portuguese population : an epidemiological population-based study under the scope of Epireumapt

RESUMO: Nos países desenvolvidos a lombalgia é a condição músculo-­‐esquelética mais prevalente. Quando evolui para um quadro crónico é responsável por um encargo económico bastante considerável, não só em relação aos indivíduos, mas também para a sociedade. A lombalgia crónica é por isso uma das principais causas de perda de produtividade e de perda de independência económica, nomeadamente através do absenteísmo (ausência do trabalho), do presenteísmo (perda de produtividade no trabalho, devido à capacidade diminuída provocada pela lombalgia) e da incapacidade para trabalhar (invalidez permanente, total ou parcial). Até à data, em Portugal, a prevalência e carga social da lombalgia crónica eram desconhecidas. Até agora não existiam estudos populacionais de grande dimensão sobre este tema. O objetivo principal desta tese foi determinar a prevalência de lombalgia crónica, e também avaliar a carga social que esta tem na população adulta Portuguesa. O trabalho de investigação foi desenvolvido no âmbito do Estudo Epidemiológico de Doenças Reumáticas em Portugal (EpiReumaPt). Este foi o primeiro estudo de larga escala e de base populacional, que determinou a prevalência de doenças reumáticas e músculo-­‐ esqueléticas na população adulta portuguesa. Foi realizado numa amostra aleatória e representativa, de 10.661 indivíduos do Continente, da Região Autónoma dos Açores e da Região Autónoma da Madeira, entre Setembro de 2011 e Dezembro de 2013. Esta tese foi dividida em duas secções. A primeira secção incluiu o detalhe das questões relativas ao desenvolvimento e gestão do EpiReumaPt, constituindo-­‐se como um guia prático sobre como realizar um estudo de base populacional de larga escala, em Portugal. A metodologia detalhada do EpiReumaPt foi também descrita nesta secção e incluiu os objectivos, o desenho do estudo, as características de recrutamento e a preparação de dados para análise. Nesta secção foram ainda descritos os principais resultados do EpiReumaPt. Estes evidenciaram que a lombalgia foi a condição músculo-­‐esquelética com maior prevalência na população adulta portuguesa.A segunda secção desta tese estimou a prevalência da lombalgia crónica ativa na população adulta Portuguesa, e avaliou a carga social esta condição. A lombalgia ativa foi definida com base na dor auto-­‐relatada no dia da entrevista e que persistia há pelo menos 90 dias (independentemente da causa). A lombalgia foi definida como dor na área definida entre a margem inferior das décimas segundas costelas até às pregas glúteas inferiores, com ou sem dor nos membros inferiores. A carga social foi medida tendo em conta os seguintes parâmetros: qualidade de vida, função, consumo de recursos de saúde, consumo de analgésicos e outros fármacos usados no alívio da dor, sintomas de ansiedade e sintomas de depressão. Os resultados mostraram que o consumo de recursos em saúde e a carga social da lombalgia crónica na população adulta Português é significativa. Também a incapacidade causada pela lombalgia crónica,nos indivíduos com idade ativa, é responsável por elevadas taxas de absenteísmo e má qualidade de vida, aos quais acresce o consequente ónus socioeconómico. Esta tese também concluiu que o consumo de analgésicos e outros medicamentos para alívio da dor, na população adulta portuguesa com lombalgia crónica ativa, é relativamente baixa. A maioria destes indivíduos não tomava nenhum medicamento analgésico, independentemente da intensidade da dor. Mesmo os indivíduos que reportaram dor intensa, apenas 4.0% estavam no primeiro degrau da escada analgésica da Organização Mundial de Saúde; 2.3% usavam opióides fracos e 0.03% usavam opióides fortes para controlar a dor (segundo e terceiro degrau da escada analgésica da Organização Mundial da Saúde). O trabalho de investigação também confirmou que a prevalência de sintomas de ansiedade e depressão entre os indivíduos adultos portugueses com lombalgia crónica ativa é elevada. Nestes indivíduos, registou-­‐se um consumo mais elevado de analgésicos e outros medicamentos para alívio da dor, quando comparados com os indivíduos com lombalgia crónica activa sem esses sintomas psicológicos. Os grupos terapêuticos mais utilizados foram os ansiolíticos, sedativos e hipnóticos, os antidepressivos e os anti-­‐inflamatórios não esteróides. A intensidade média da dor reportada foi também maior entre os indivíduos com lombalgia ativa e sintomas de ansiedade e/ou depressão. Também nestes, foi reportada pior função e pior estado de saúde. Em relação ao consumo de recursos de saúde foram encontradas diferenças significativas entre as duas populações: os indivíduos com lombalgia ativa e sintomas psicológicos concomitantes registaram maior número de consultas de psiquiatria de outras especialidades médicas, assim como precisaram de mais apoio domiciliário nos 12 meses prévios à entrevista do EpiReumaPt. Foram também identificados os fatores associados a sintomas isolados de ansiedade, a sintomas isolados de depressão e a sintomas de ansiedade e depressão. Resumindo,esta tese permitiu concluir que a lombalgia crónica é um problema de saúde comum na população adulta portuguesa, contribuindo para um elevado grau de incapacidade e que consequentemente afeta o desempenho laboral e o bem-­‐estar dos indivíduos. A lombalgia crónica é também responsável por um consumo considerável de recursos de saúde. Acresce ainda que os sintomas de ansiedade e depressão são comuns, entre os indivíduos com lombalgia crónica, contribuindo com uma carga social adicional.---------------------------------- ABSTRACT:Low Back Pain(LBP) is the most prevalent of musculoskeletal condition in developed countries.When it becomes chronic, LBP causesan enormous economic burden on individuals and society -­‐ it is one of the leading causes of loss of productivity and economic independence through absenteeism (time off work), presenteeism (lost productivity because of diminished capacity while at work) and work disability (permanent, partial or complete disablement for work purposes). In Portugal the prevalence and burden of LBP and chronic LBP (CLBP) were poorly defined. Until now no large population-­‐based studies have focused on this. The main aim of this thesis was to determine the prevalence of LBP and CLBP, and also to assess the burden of CLBP in the adult rtuguese population. The research work was developed under the scope of EpiReumaPt (the Portuguese Epidemiologic Study of Rheumatic Diseases). EpiReumaPt was the first national large population-­‐based and prevalence study of rheumatic and musculoskeletal diseases (RMD). It was performed among a randomized and representative sample of 10,661 adult Portuguese subjects recruited in Mainland, Azores and Madeira Islands, from September 2011 to December 2013. The first section of this thesis included detailed issues regarding the development and management of EpiReumaPt, and provided a practical guide on how to set-­‐up a large population-­‐based study in Portugal. The detailed methodology of EpiReumaPt, including its objectives,study design,recruitment features,and data preparation for analyses were also described. The main results from EpiReumaPt study were provided in this section and showed that LBP was the musculoskeletal condition with highest prevalence among Portuguese population. The second section of this thesis estimated the prevalence of active CLBP among adult Portuguese population, and assessed the social burden of this condition. Active CLBP was defined based on self-­‐reported pain on the day of the interview, and for most of the time for at least 90 days (independently from cause). LBP was defined as pain in the back area from the lower margin of the twelfth ribs to he lower gluteal folds, with or without pain referred to the lower limbs. Social burden was measured taking into account the following outcomes: quality of life, function, healthcare resources consumption, analgesic and other pain relief drugs intake, anxiety and depression symptoms. Results showed that the healthcare consumption and social burden of CLBP among adult Portuguese population were enormous, and the disability caused by CLBP among subjects in a working age provides high rates of absenteeism (work loss) and poor quality of life, with a consequent socioeconomic burden. This thesis also concluded that analgesic and other pain relief drugs untake among adult Portuguese population with active CLBP was very low. Most of the subjects with active CLBP did not take any analgesic drug regardless pain severity. Even when subjects self-­‐reported severe pain, only 24.0% were in the 1st step of the analgesic ladder,2.3% used weak analgesic opioids and 0.03% used strong opioids (2nd and 3rd step of WHO analgesic ladder, respectively) to control pain . The research work also confirmed that the prevalence of anxiety and depression symptoms among adult Portuguese subjects with active CLBP was high. Regarding pharmacological therapy, the intake of analgesic and other pain relief drugs was higher among subjects with anxiety and/or depression symptoms, when compared with subjects without these psychological symptoms. Anxiolytics, sedatives and hypnotics, antidepressants and NSAIDs intake had higher usage rates among these subjects. The pain severity mean was also higher among this subjects and function and health status was worse. Regarding healthcare resources consumption,significant differences between the two populations were found. Subjects with ctive CLBP and concomitant psychological symptoms had a higher number of psychiatrist and other physician visits. They also needed more home care in the previous 12 months. Factors associated with isolated symptoms of anxiety, depression,and concomitant anxiety and depression symptoms were also identified. Summarizing, we concluded that CLBP is a common health problem among adult Portuguese population contributing to disability and affecting labor performance, and the well being of subjects. it is also responsible for considerable healthcare resource consumption. Anxiety and depression symptoms are common among subjects with CLBP and provided an additional burden among them.

Under Armour

Equity research report

Improving practical reasoning and argumentation

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7).

Regret associated with past and future messes under a maximizing mind-set

Promotions can make you happy if you get the “best” deal or miserable if you miss it. Previous research on this topic has shown that people favor products associated with a past miss to products associated with a future miss, and people in a maximizing mind-set, i.e. people who search for the best in different domains, feel more regret in a consumption domain. This research confirms that consumers prefer purchasing a product associated with a past miss (Experiments 1 and 2) and that regret levels are higher when participants come across the future miss, under the maximizing mind-set (Experiment 2). These studies add to the notion that information on regret might prompt people to make decisions towards a more optimistic outcome.

Empowerment and intentions to resist future change: the moderating effect organization-based self-esteem

Nowadays, organizations face a constant need for adaptability, increasing the importance of change management. Our study focuses of how empowering leadership influences intentions to resist future changes, mediated by the effects of psychological and structural empowerment. From the responses of the two questionnaires (N1=230; Ntf=113), we found that empowering leadership fosters psychological and structural empowerment. Structural empowerment was the main driver in reducing intentions to resist future change when an employee has high organization-based self-esteem. Our findings add to the literature by examining how we can anticipate and manage change under an empowering context, building on social exchange and uncertainty reduction theories

Uncertainty in olfactory decision-making

Relationships between accuracy and speed of decision-making, or speed-accuracy tradeoffs (SAT), have been extensively studied. However, the range of SAT observed varies widely across studies for reasons that are unclear. Several explanations have been proposed, including motivation or incentive for speed vs. accuracy, species and modality but none of these hypotheses has been directly tested. An alternative explanation is that the different degrees of SAT are related to the nature of the task being performed. Here, we addressed this problem by comparing SAT in two odor-guided decision tasks that were identical except for the nature of the task uncertainty: an odor mixture categorization task, where the distinguishing information is reduced by making the stimuli more similar to each other; and an odor identification task in which the information is reduced by lowering the intensity over a range of three log steps. (...)