A Foundational View on Integration Problems

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations themselves, this includes integration across logics. We discuss safe and unsafe integration schemes and devise a general form of safe integration

A coalgebraic perspective on logical interpretations

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics.Fundação para a Ciência e a Tecnologia (FCT

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

Ethnic Inequalities in Psychological Distress : A Population Data Linkage Study on the Pacific Island of Guåhån/Guam

Psychological distress and mental illness has been found to be elevated in migrant groups living in sovereign countries, as well as for indigenous people living under colonial or administrative rule. The north Pacific island of Guam is unusual in its ethnic composition as it has no majority ethnic group, has a large indigenous population and remains a territory of the U.S. This study aimed to identify ethnic differences in self-reported psychological distress between the main ethnic groups on Guam. The study uses a cross sectional design with data linkage methodology, drawing on the Guam Census and the Behavioral Risk Factor Surveillance System health survey for Guam. The results showed that the native Chamorro population had worse self-reported psychological distress (defined as a ‘mental health condition or emotional problem’) than White/Caucasians (OR 2.09, 95% CI 1.52–2.87), particularly for severe distress (OR 3.61, 95% CI 1.33–2.77). This relationship persisted even after adjusting for a wide range of socio-demographic and economic factors (OR 2.58, 95% CI 1.15–5.76). Other Pacific Islanders also had higher psychological distress compared to White/Caucasians, but this association was largely explained by the adjusted factors. The findings are discussed in terms of social and economic disadvantage for Pacific Island peoples on Guam, as well as the impact of colonial administration, disaffection, and lack of autonomy for the Chamorro of Guam. Recommendations are made to improve psychiatric treatment for these groups by considering wider socio-political factors in assessment and treatment, as well as broader implications for the national dialogue on self-determination.Peer reviewe

Ethnic Identity of Older Chinese in Canada

In Canada’s multicultural society, ethnic identity is important to the elderly and can influence areas such as access to services, health promotion and care. Often, the complex nature of ethnic identity is underestimated when looking at cultural groups. This study aims to: (a) validate the factor structure of a Chinese ethnic identity measure for older Chinese in Canada, (b) examine the level of ethnic identity of the participants, and (c) examine the correlates of ethnic identity in these older individuals. Using data from a large, national research project on the elderly Chinese in Canada, this study analyzed the results gathered from a total of 2,272 participants. Principal component analysis, maximum-likelihood confirmatory factor analysis, and multiple regression analysis were performed. The results indicated that ethnic identity of the older Chinese is a multi-dimensional construct made up of three factors: (a) culture related activities, (b) community ties, (c) linkage with country of origin, and (d) cultural identification. The findings have provided a better understanding of how ethnic identity can be measured among the aging Chinese population in Canada

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

Operating load capacity of the ”Warsaw Forties” flyovers after repairs

Pożar Mostu Łazienkowskiego w dniu 14 lutego 2015 roku spowodował wyłączenie go z ruchu wraz z estakadami dojazdowymi decyzją Powiatowego Inspektora Nadzoru Budowlanego do czasu usunięcia „nieprawidłowości”. Pożar mostu stalowego nie spowodował uszkodzeń konstrukcji kablobetonowej estakad sąsiadujących z mostem, poza uszkodzeniami termicznymi podpory rozdzielczej znajdującej się między ustrojami, wyczerpaniem możliwego odkształcenia dylatacji (zaciśnięcia jej i wypchnięcia stalowych wkładek urządzenia dylatacyjnego) oraz osmalenia czoła, wnętrza i spodu konstrukcji kablobetonowej sąsiadującej z mostem po praskiej stronie Wisły. Zarządca obiektu postanowił, korzystając niejako „z okazji zamknięcia Mostu Łazienkowskiego”, przeprowadzić również konieczny remont przęseł kablobetonowych. W referacie przedstawiono opis kablobetonowych konstrukcji „warszawskich czterdziestek”, głównych założeń projektu remontu oraz pojawiających się wraz z postępami prac remontowych nowych wyzwań projektowych i wykonawczych.The fire which damaged Łazienkowski Bridge on 14 February 2015 resulted in the bridge, along with access ramps, including the post–tensioned prestressed concrete flyovers called the “Warsaw Forties,” being closed for traffic. Still before the fire, which damaged Łazienkowski Bridge, the structures experienced local damage, acts of vandalism and their technical condition deteriorated significantly. As if using the opportunity presented by the fire, the facility’s administrator decided to close Łazienkowski Bridge for traffic and to carry out the necessary repairs of post–tensioned prestressed concrete spans. The paper presents the description of the post–tensioned prestressed concrete structure of the Warsaw Forties flyovers, the major assumptions underlying the repair project, as well as the new challenges, both in the areas of design and implementation, which emerged as the work progressed. The paper describes the condition of the structure from before the repairs while relying on surveys of defects, material tests and the impact that the actual defects had on the structure’s load–bearing capacity. Essential results of the completed tests and analyses are presented, thus enabling determination of the bridge’s operating load capacity at the time when it was constructed, with an aim to use these findings during the repair works. The paper also presents the results of the analyses which were later used to determine the facility’s operating parameters upon completion of the repair works