Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. This is due to its enhanced expressivity and modularity, allowing for a h

Recension

Corporate net-zero emission pledges have multiplied in recent years, with estimates suggesting that more than 1000 companies have made such commitments. While seemingly indicative of companies stepping up to address climate change, critics have argued that pledges may be mere greenwashing if they rely on excessive offsetting and legitimise business-as-usual. Considerable grey and academic literatu

This article explores transnational anti-gender networking promoting “the natural family.” We focus on the World Congress of Families (WCF) and investigate how it is organized transnationally. We draw on international relations theory on challenges to the liberal international order as well as on theories on transcalar activism. The empirical material includes observations from two conferences and

This article concerns legal representatives’ negotiations around the principle of children’s best interests and children’s right to participation according to the Convention on the Rights of the Child, in cases of families applying for asylum in Sweden. Using material from nine interviews with children’s advocates, we analyse their strategies for obtaining narratives from children without putting

In this article, we analyse initiatives by and on behalf of undocumented migrants through Hannah Arendt’s notions of action and fabrication. We take three initiatives from the city of Malmö, Sweden, as our empirical examples: a musical, a relay, and a tent-camp action. By showing how these initiatives involve not only action and speech but also a fabrication of things, including works of art, we e

In the following article, based on two years of participatory ethnographic field-work with the No-border musical, as well as interviews with 16 of the musical’s 30 participants, community theatre is investigated in a context of deportability. We analyse the working process in the theatre group, in which actors with and without resident permits participated, through the concept of politics of trans

I den här utvärderingsrapporten analyseras ett urval av de totalt 100 projekt som ingått i Arvsfondens Nyanländasatsning som syftar till att stärka nyanlända barns och ungas etablering och delaktighet i samhället. Rapporten bygger på tre delstudier. En dokumentstudie bestående av ansökningshandlingar, årsrapporter och i förekommande fall slutrapporter från projekten, en enkät omfattande 89 av sats

Uppsatsen är en kartografisk analys av en dom från Högsta förvaltningsdomstolen 2017 gällande rätten till stöd från Socialtjänsten för den som saknar uppehållstillstånd i Sverige (HFD 2017 ref. 33). Fallet gällde två barn och deras mamma vilka saknade formell rätt att vistas i Sverige och därför levde som gömda. Familjen ansökte om bistånd enligt socialtjänstlagen (2001:453) (SoL) i form av fö

The laser host materials undergo relatively small changes in their intrinsic properties due to various sources during an experiment. These sources are often related to temperature change and vibrations due to crystal mounting, which may cause stress-induced birefringence in laser host materials. Birefringence is a phenomenon that causes optical anisotropy due to external load or residual stress. A

Mechanical behavior of meniscus can be modeled using constitutive material models of varying complexity, such as isotropic elastic or fibril reinforced poroelastic (FRPE). However, the FRPE material is complex to implement, computationally demanding in 3D geometries, and simulation is time-consuming. Hence, we aimed to quantify the most suitable and efficient constitutive model of meniscus for sim

Birds breeding in urban environments have lower reproductive output compared to rural conspecifics, most likely because of food limitation. However, which characteristics of urban environments may cause this deficiency is not clear. Here, we investigated how tree composition within urban territories of passerine birds is associated with breeding probability and reproductive success. We used 7 year

MicroRNAs are short non-coding RNAs with important functions in the regulation of gene expression in healthy and diseased tissues. To optimally utilize the biological and clinical information that is contained in microRNA expression levels, tools for their accurate and cost-effective quantification are needed. While the standard method, qPCR, allows for quick and cheap microRNA quantification, spe

Background/Aim: Signs of hypoxic ischaemic encephalopathy (HIE) on head computed tomography (CT) predicts poor neurological outcome after cardiac arrest. We explore whether levels of brain injury markers in blood could predict the likelihood of HIE on CT. Methods: Retrospective analysis of CT performed at 24–168 h post cardiac arrest on clinical indication within the Target Temperature Management

The lifetime of an enzyme is critical to prevent system failure and optimize maintenance schedules in biological and analytical chemistry. The lifetime metrics of an enzyme can be evaluated from enzyme activity in terms of catalytic cycles per enzyme at various storage times. Trypsin, which is a gold-standard enzyme in proteomics, has been known to decrease activity due to self-digestion. To impro

Background: Speech impairments are an early feature of Alzheimer’s disease (AD) and consequently, analysing speech performance is a promising new digital biomarker for AD screening. Future clinical AD trials on disease modifying drugs will require a shift to very early identification of individuals at risk of dementia. Hence, digital markers of language and speech may offer a method for screening

Spin–valley locking is ubiquitous among transition metal dichalcogenides with local or global inversion asymmetry, in turn stabilizing properties such as Ising superconductivity, and opening routes towards ‘valleytronics’. The underlying valley–spin splitting is set by spin–orbit coupling but can be tuned via the application of external magnetic fields or through proximity coupling. However, only

The aim of this article is to articulate how legal processes, that produce assumptions about social realities which subsequently shape relations of inequality and oppression, may be explored using a critical legal cartographic approach. Critical cartography points to the duality of representation and construction that is innate to cartography, i.e. when portraying reality, maps are also making it.The aim of this article is to articulate how legal processes, that produce assumptions about social realities which subsequently shape relations of inequality and oppression, may be explored using a critical legal cartographic approach. Critical cartography points to the duality of representation and construction that is innate to cartography, i.e. when portraying reality, maps are also making it.