Filetype
Modern subgraph-finding algorithm implementations consist of thousands of lines of highly optimized code, and this complexity raises questions about their trustworthiness. Recently, some state-of-the-art subgraph solvers have been enhanced to output machine-verifiable proofs that their results are correct. While this significantly improves reliability, it is not a fully satisfactory solution, sinc
Identifying with and caring for people all over the world (i.e., a global identity) is positively related to pro-environmental behaviour. However, less is known how to foster such a global identity. Drawing on social identity theory, we investigated whether using inclusive (vs. exclusive) language in the context of demonstrations for climate protection increases people’s global identity. Moreover,
Accumulating evidence demonstrating higher cerebrospinal fluid (CSF) α-synuclein (αSyn) levels and αSyn pathology in the brains of Alzheimer's disease (AD) patients suggests that αSyn is involved in the pathophysiology of AD. To investigate whether αSyn could be related to specific aspects of the pathophysiology present in both sporadic and familial disease, we quantified CSF levels of αSyn and as
In this paper, a wideband circularly polarized antenna is designed for integration into the glass roof of a modern car for GNSS positioning applications. Characteristic mode analysis is used to obtain more physical insight into the problem and hence satisfy the polarization and bandwidth requirements. The antenna has a low profile and uses a single coplanar waveguide feed to cover all GNSS bands.
Due to their natural and inherent way of capturing concurrency, dataflow descriptions of stream programs have seen prevalent usage in fields such as video processing, networks and scientific computing. They are often deployed on manycore, heterogeneous and distributed architectures. Despite robust research on the topic, obstacles still exist in evaluating the performance of stream programs accurat
One of the major open problems in complexity theory is proving super-logarithmiclower bounds on the depth of circuits (i.e., P⊈NC1). Karchmer et al. (Comput Complex 5(3/4):191–204, 1995) suggested to approach thisproblem by proving that depth complexity behaves “as expected”with respect to the composition of functions f◊g. They showedthat the validity of this conjecture would imply that P⊈NC1.Seve
Sustainable migration is the new objective of the EU migration policy. But what does this mean in terms of legal design? What instruments should be put in place to achieve it? And most importantly what does it imply for migrants’ rights? While sustainability has attracted scholarly attention in law and politics already since the 1990s, sustainable migration is an extremely understudied topic with
The well-known green color of plants is due to the chlorophyll molecules used for light harvestingduring photosynthesis, which takes place in chloroplasts. Biosynthesis of chlorophyll a is performed by15 enzymatic steps and chlorophyll a can be interconverted to chlorophyll b via the chlorophyll cycle.Barley is a valuable model organism for studying chloroplast development and chlorophyll biosynth
Streaming applications, such as MPEG video encoders or sensor processing pipelines, are increasing in complexity as well as the diversity of platforms that they run on. The toolchains handling these applications must keep up with this increase at all levels of abstraction. The Actor Machine (AM) is an intermediate representation in the toolchain that we make use of. Large AMs are difficult to work
Therapeutic drug monitoring (TDM) of β-lactam antibiotics in critically ill patients may benefit dose optimization, thus improving therapeutic outcomes. However, rapidly and accurately detecting these antibiotics in blood remains a challenge. Our research group recently developed a thermometric biosensor called the New Delhi metallo-β-lactamase-1 (NDM-1) biosensor, which detected multiple classes
Low temperature constitutes one of the main barriers to plant distributions, confining many clades to their ancestrally tropical biome. However, recent evidence suggests that transitions from tropical to temperate biomes may be more frequent than previously thought. Here, we study the evolution of cold and frost tolerance in the globally distributed and highly stress-tolerant Salicornieae (Salicor
β-lactam antibiotics represent a novel direction in the chemotherapy of tuberculosis that brings the peptidoglycan layer of the complex mycobacterial cell wall in focus as a therapeutic target. Peptidoglycan stability in Mycobacterium tuberculosis, especially during infection, relies on the nonconventional peptide cross-links formed by l,d-transpeptidases. These enzymes are known to be inhibited b
This volume originally started as a conversation between academics from across the Arab world, all of whom have bridged their academic careers or professional development expertise to the public sphere in order to use their knowledge more actively to push for progressive, democratic change in their respective countries. Over the course of the conversation, Arab engaged scholars and activists share
With the emergence of autonomous vehicles comes requirements on adequate and rigorous testing techniques, particularly as systems continuously adapt to changing environments. Scenario-based, simulated testing is one approach that has received attention, where deriving relevant scenarios from various sources is still a challenge. We therefore explore creating executable test scenarios from textual
Viktor Kopp, född 1971 i Stockholm, uppväxt i Linköping Viktor Kopp, född 1971 i Stockholm. Bor och arbetar i Stockholm. Utbildning: 1995 – 2000 Konsthögskolan i Malmö 1991 – 1993 Dômens konstskola, Göteborg Separatutställningar: 2015 Bureau, New York, USA 2014 Blondeau & Cie, Geneve, Schweiz Ribordy Contemporary, Geneve, Schweiz 2013 Passagen Linköpings Konsthall, Linköping 2012 Bureau, New York,
https://www.khm.lu.se/sites/khm.lu.se/files/2000cv_viktor_kopp.pdf - 2026-07-17
