Untyping Typed Algebras and Colouring Cyclic Linear Logic

We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the corresponding untyped decision procedures can be extended for free to the typed settings. Some of these theorems are obtained via a detour through fragments of cyclic linear logic, and give rise to a substantial optimisation of standard proof search algorithms.Comment: 21

Perceived Discrimination and Self-Reported Quality of Care Among Latinos in the United States

Given the persistence of health and health-care disparities among Latinos in the United States and evidence that discrimination affects health and health care, an investigation of the relationship between perceived discrimination and quality of health care among Latinos is warranted. To examine the relationship of perceived discrimination (in general and in regard to doctors and medical personnel) with self-reported quality of health care and doctor-patient communication in a nationally representative Latino population sample. Participants were 1,067 Latino adults aged ≥18 years living in the US selected via random-digit dialing. Telephone interviews were conducted in 2008 during Wave 2 of the Pew Hispanic Center/Robert Wood Johnson Foundation Hispanic Healthcare Survey. US-born Latinos were twice as likely to report general discrimination as foreign born: 0.32 SD versus −0.23 SD (P < 0.001) on the Detroit Area Survey (DAS) discrimination scale. Higher DAS discrimination was associated with lower self-reported quality of care in US-born Latinos [OR = 0.5; 95% CI (0.3, 0.9); P = 0.009]. For foreign-born Latinos, report of any doctor or medical staff discrimination was associated with lower quality of care [OR = 0.5; 95% CI (0.3, 0.9); P = 0.03], but the DAS was not. For US-born Latinos, doctor discrimination and higher DAS were jointly associated with worse doctor-patient communication. For foreign-born Latinos, the effect of discrimination on doctor-patient communication was significantly smaller than that observed in US-born Latinos. Given the association between perceived discrimination and quality of care, strategies to address discrimination in health-care settings may lead to improved patient satisfaction with care and possibly to improved treatment outcomes

Tracking CNS and systemic sources of oxidative stress during the course of chronic neuroinflammation

The functional dynamics and cellular sources of oxidative stress are central to understanding MS pathogenesis but remain elusive, due to the lack of appropriate detection methods. Here we employ NAD(P)H fluorescence lifetime imaging to detect functional NADPH oxidases (NOX enzymes) in vivo to identify inflammatory monocytes, activated microglia, and astrocytes expressing NOX1 as major cellular sources of oxidative stress in the central nervous system of mice affected by experimental autoimmune encephalomyelitis (EAE). This directly affects neuronal function in vivo, indicated by sustained elevated neuronal calcium. The systemic involvement of oxidative stress is mirrored by overactivation of NOX enzymes in peripheral CD11b(+) cells in later phases of both MS and EAE. This effect is antagonized by systemic intake of the NOX inhibitor and anti-oxidant epigallocatechin-3-gallate. Together, this persistent hyper-activation of oxidative enzymes suggests an "oxidative stress memory" both in the periphery and CNS compartments, in chronic neuroinflammation

The DRUID study: racism and self-assessed health status in an indigenous population

BackgroundThere is now considerable evidence from around the world that racism is associated with both mental and physical ill-health. However, little is known about the mediating factors between racism and ill-health. This paper investigates relationships between racism and self-assessed mental and physical health among Indigenous Australians as well as potential mediators of these relationships.MethodsA total of 164 adults in the Darwin Region Urban Indigenous Diabetes (DRUID) study completed a validated instrument assessing interpersonal racism and a separate item on discrimination-related stress. Self-assessed health status was measured using the SF-12. Stress, optimism, lack of control, social connections, cultural identity and reactions/responses to interpersonal racism were considered as mediators and moderators of the relationship between racism/discrimination and self-assessed health status.ResultsAfter adjusting for socio-demographic factors, interpersonal racism was significantly associated with the SF-12 mental (but not the physical) health component. Stress, lack of control and feeling powerless as a reaction to racism emerged as significant mediators of the relationship between racism and general mental health. Similar findings emerged for discrimination-related stress.ConclusionsRacism/discrimination is significantly associated with poor general mental health among this indigenous population. The mediating factors between racism and mental health identified in this study suggest new approaches to ameliorating the detrimental effects of racism on health. In particular, the importance of reducing racism-related stress, enhancing general levels of mastery, and minimising negative social connections in order to ameliorate the negative consequences of racism

Antihypertensives for combating dementia? A perspective on candidate molecular mechanisms and population-based prevention

Age-related increases in prevalent dementia over the next 30–40 years risk collapsing medical resources or radically altering the way we treat patients. Better prevention of dementia therefore needs to be one of our highest medical priorities. We propose a perspective on the pathological basis of dementia based on a cerebrovascular-Alzheimer disease spectrum that provides a more powerful explanatory framework when considering the impact of possible public health interventions. With this in mind, a synthesis of evidence from basic, clinical and epidemiological studies indeed suggests that the enhanced treatment of hypertension could be effective for the primary prevention of dementia of either Alzheimer or vascular etiology. In particular, we focus on candidate preventative mechanisms, including reduced cerebrovascular disease, disruption of hypoxia-dependent amyloidogenesis and the potential neuroprotective properties of calcium channel blockers. Following the successful translation of large, long-term and resource-intense trials in cardiology into improved vascular health outcomes in many countries, new multinational prevention trials with dementia-related primary outcomes are now urgently required