Search results

Today's dynamic invariant detectors often produce invariants that are inconsistent with program semantics or programmer knowledge. We improve the consistency of dynamically discovered invariants by considering second-order constraints. These constraints encode knowledge about invariants, even when the invariants themselves are unknown. For instance, even though the invariants describing the behavi

The death of a parent during childhood is a major traumatic event. While there is a good understanding of the early-life effects of parental loss, the evidence regarding its impact on adult mortality is still scarce. Accordingly, the aim of this article is to study the long-term consequences of parental loss on mortality with a particular focus on differences by socioeconomic status (SES) of the f

A software breast phantom, based upon a breast tissue model derived from physical properties of breast anatomy, has been developed for mammography simulation. Synthetic mammograms, obtained by applying a breast compression model and an x-ray acquisition model to the software breast phantom, were compared by quantitative and qualitative means with real mammograms at different scales. Good agreement

Type-2 diabetes (T2D) is a global disease caused by the inability of pancreatic β-cells to secrete adequate insulin. However, the molecular mechanisms underlying the failure of β-cells to respond to glucose in T2D remains unknown. Here, we investigated the relative contribution of UDP-glucose (UDP-G), a P2Y14-specific agonist, in the regulation of insulin release using human isolated pancreatic is

The Covid-19 pandemic has significantly changed the lives of most people. It has been described as the most severe global health disaster of modern times by the United Nations. No doubt such a major crisis influences what citizens think of different policies, and how they become politically active, not to mention, the forceful emotional experiences that the Covid-19 pandemic brings. This study eva

Den 28:e november 2010 publicerade mediaorganisationen Wikileaks en dokumentläcka som bestod av 251 287 dokument från det amerikanska utrikesdepartementet. Denna läcka kom att skapa en het debatt runt om i världen. Ett av de länder som nämns bland dokumenten är Sverige och även här blossade en diskussion upp. Denna uppsats använder detta fall för att problematisera hur den svenska dagspressen rapp

Jag har genomfört en kvalitativ innehållsanalys av olika tidskrifter, tillgängliga på den svenska marknaden. Samtliga tidskrifter inriktar sig mot den medvetne konsumenten – konnässören. Syftet med analysen är att kartlägga och förklara konnässörskapet, dess uppbyggnad och funktion, samt att söka förståelse i hur det kan finnas utrymme till alla dessa konnässörtidskrifter, och varför just nu – i d

Digital food platforms are being launched, offering consumers convenient access to ‘ethical’ food. Ensuring the viability of these platforms hinges on attracting and retaining loyal customers. However, recent studies show that despite considerable efforts from market actors, stable platformconsumer relationships are rare in these digitalized food markets. The aim of this paper is to explore and ex

This paper contributes to the discussion about the importance of different energy community (EC) characteristics. Based on a questionnaire to the members of solar ECs in Sweden, it investigates (1) to what extent EC members agree with the established view of the “ideal” energy community, as described in previous literature, and (2) to what extent the studied ECs match the characteristics of such a

The latest Novo Nordisk revelations provide the strongest argument yet for a Sunshine Act for drug and medical device companies operating in the UK

Objective: To report outcomes of urgent juxtarenal/pararenal aneurysms (J/P-AAAs) managed by off-the-shelf multibranched thoracoabdominal endografts (Cook, T-branch). Methods: In this observational, multicenter, retrospective study, patients with J/P-AAAs treated by urgent endovascular repair by T-branch in 23 European aortic centers, from 2013 to 2023, were analyzed. Contained J/P-AAAs rupture, p

The notion of a superior “civilisation” has been a hallmark of the politics of Western institutions and fringe white supremacists alike. Known ideologically as “civilisationism”, it has occupied a prominent position in the ideology of the Australian far-right. Paying tribute to their settler-colonial origins, the far-right has consistently promoted “white civilisation”, even inspiring terrorist at

The breakup of the L-chondrite parent body (LCPB) in the asteroid belt at 466 Ma ago is the largest asteroid breakup documented in Earth's geological record for the past ca. three billion years. Recovery of abundant macroscopic fossil L chondrites in mid-Ordovician marine sediments as well as reconstructions of the flux of micrometeoritic chrome spinel through the ages have given much new informat

This paper explored how the source of exclusion (ingroup/outgroup) influences ingroup identification and political engagement. It is well documented that social exclusion has a negative impact on individuals' well-being, but less is known how it affects identification with the ingroup, and subsequent behavior. In two studies, one survey (N = 193) and one experiment (N = 384), we explore how exclus

The hegemony of the private car is increasingly challenged as new policies and technologies affect passenger mobility. This study investigates how car-sharing is emerging and unfolding amidst established urban mobility practices. We apply a conceptual framework with seven elements based on social practice theories and transition literature to deconstruct practices in order to reveal how such (rela

Objectives: The aim is to compare Sweden, Denmark, Finland and Norway regarding government response to the COVID-19 pandemic in mid-March–June 2020 using the Oxford Government Response Tracker. Study design: Descriptive longitudinal ecological study. Methods: Descriptive analysis of time series data. Results: Sweden displayed a far lower response index in March. By late April indexes were similar.