Filetype
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
How can we, as IR scholars, contribute to the daunting task of crafting a different world? In this paper, I suggest that we begin by looking towards art. Based on a reading of Jacob Remin’s art project ‘Harvesting the Rare Earth,’ I consider how the material imaginary presented in this particular work of art – bio-engineered worms that can extract rare earth minerals from e-waste – provides IR sch
While the question of how images matters in world politics is a pertinent issue in contemporary International Relations (IR) theory, little attention has been paid to the digital interfaces on and through which images are disseminated. This article engages with recent literature on ‘new materialism,’ ‘postphenomenology’ and ‘interface theory’ as one way to bring to the fore the technological mater
This paper provides an analysis of the establishment of global accounting firms (the ‘Big Four’) in China between 1978 and 2007. Drawing on the extant literature on professional service firms, and the work of Faulconbridge and Muzio (2015), this paper examines how the Big Four entered China following the country’s ‘Reform and Opening-up’ and evolved from tentative representative offices to establi
Graph neural networks for crystal structures typically use the atomic positions and the atomic species as input. Unfortunately, this information is not available when predicting new materials, for which the precise geometrical information is unknown. We circumvent this problem by replacing the precise bond distances with embeddings of graph distances. This allows our networks to be applied directl
The improvements in GPU hardware, including hardware-accelerated ray tracing, and the push for fully dynamic realistic-looking video games, has been driving more research in the use of ray tracing in real-time applications. The work described in this thesis covers multiple aspects such as optimisations, adapting existing offline methods to real-time constraints, and adding effects which were hard
Presentation av EU-medlemstaters samt Norges privatkopieringsersättningsystem (private copying levy system) vid seminariet Nordisk utblick – vad kan Sverige lära angående ersättning för privatkopiering arrangerat av ElektronikBranschen den 2 juli 2018 i Visby, Gotland. http://program.almedalsveckan.info/53118
We present Bioconda (https://bioconda.github.io), a distribution of bioinformatics software for the lightweight, multi-platform and language-agnostic package manager Conda. Currently, Bioconda offers a collection of over 3000 software packages, which is continuously maintained, updated, and extended by a growing global community of more than 200 contributors. Bioconda improves analysis reproducibi
A high quality benchmark for small variants encompassing 88 to 90% of the reference genome has been developed for seven Genome in a Bottle (GIAB) reference samples. However a reliable benchmark for large indels and structural variants (SVs) is yet to be defined. In this study, we manually curated 1235 SVs which can ultimately be used to evaluate SV callers ortrain machine learning models. We devel
Maternal vaccination, resulting in transfer of protective IgG across the placenta, represents a promising strategy to prevent neonatal disease caused by group B Streptococcus (GBS). The prototype vaccine GBS-NN, a fusion protein consisting of the N-terminal domains of the alpha-like protein (Alp) family members AlphaC and Rib, has been shown to display a good safety profile and to elicit a strong
