Filetype
Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting bugs and potential vulnerabilities in the code. Traditionally, these analyses are performed offline, either as part of the continuous integration/continuous deployment pipeline or overnight on the entire repository. However, this delayed feedback disrupts developer productivity,
Background: Testing is imperative to validate the functionalities and safety of autonomous driving systems. Simulated scenario-based testing is commonly adopted for autonomous driving systems, which aims to construct various driving scenarios and validate the autonomous driving systems in simulation. Nevertheless, identifying relevant test scenarios, especially critical ones that expose hazards or
This chapter addresses perinatal mortality in early modern Lutheran Sweden by examining the interplay between religious and medical birth practices and fetal and infant concepts and imagery. Early modern European birth intervention strategies aimed at securing baptism: the spiritual survival of unborn individuals. Lutheran doctrine demanded a complete live birth before baptism, yet emergency solut
’Screen time’ has become a catch-all concept for debates on people’s dependence of digital devices in general, and children’s use of media technology in particular, almost exclusively focusing on negative consequences. While children and young people more often than not are at the center of debates around screen time, parents and their everyday practices are held accountable for monitoring, regula
Inosine monophosphate dehydrogenase (IMPDH) and guanosine monophosphate reductase (GMPR) belong to the same structural family, share a common set of catalytic residues and bind the same ligands. The structural and mechanistic features that determine reaction outcome in the IMPDH and GMPR family have not been identified. Here we show that the GMPR reaction uses the same intermediate E-XMP* as IMPDH
Increasing demand for renewable energy and rapid tourism growth point to the need for a better overview of the factors affecting the compatibility of renewable energy infrastructure (REI) with tourism. This study aims to systematically review existing research on the interrelationships between REI and tourism, to identify their type and character and the factors affecting them, and to critically d
The in-flow focusing method, introduced herein, enables rapid and straightforward measurements of the whole-channel acoustic energy of acoustic flow-through devices. The method is applied to assess the whole-channel acoustic energy and acoustophoretic efficiency frequency spectra of a bottom-actuated silicon-glass and a side-actuated glass chip. The input variables are the time-independent geometr
Researchers have envisioned and pioneered data-driven programming assistance for developers based on their interaction with the tools via multiple sensors such as eye trackers, microphones, and AI. However, these new sensors gather sensitive data from programmers, to what extent users can accept them and in what form they may work well are largely unclear. Meanwhile, developer tools such as static
Every two weeks, one of the world’s estimated 7,000 languages dies. Yet what are the consequences of having to give up one’s native language? Speakers of minority languages worldwide face barriers to using their languages outside their homes, often with negative consequences for educational and economic success. A new survey of the Indigenous Sámi in Sweden and Norway suggests that language polici
Static analysis tools play a crucial role in software development by detecting bugs and vulnerabilities. However, running these tools separately from the code editing process often causes developers to switch contexts, which can reduce productivity. Previous work has shown how Reference Attribute Grammars (RAGs) can be used for declarative implementation of competitive tooling for intraprocedural
This is the software artifact for the paper "Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis" published in SLE 2024.This artifact supports the evaluation of a new demand-driven algorithm for efficient circular Reference Attribute Grammar evaluation, specifically designed to improve performance of higly circular applications, e.g., dataflow analyses for Java. The artifac
We study how co-creation practices influence explorative and exploitative learning in five collaborative construction projects with partnering arrangements. Drawing on a longitudinal case study, our findings reveal two different types of explorative learning processes (i.e., adaptation and radical development) and three different exploitative learning processes (i.e., incremental development, know
Gymnasie- och universitetsutbildning var länge en elitens domän. Med ekonomisk tillväxt och ökande teknisk komplexitet växte dock behovet av specialiserad kunskap och färdigheter. Inför och under industrialiseringen tog systemen för högre utbildning emot ett ökande antal studenter och breddades med ett växande utbud av kurser och typer av utbildningsinstitutioner.Danmark, Norge och Sverige utgör rHigh school and university-level education was long an elite pursuit. However, with economic growth and rising technical complexity, the need for specialised knowledge and skills increased. In the run-up to and during industrialisation, higher education systems admitted a growing number of students and diversified across an increasing range of courses and types of educational institutions.Denmark,
Th e performance of a mean field th eory (MFT) neu ralnetwork technique for finding approximate solutions to optimi zationproblems is invest igat ed for the case of th e minimum cut graph bisection problem, which is NP- complete. We address the issues of solut ionquality, programming complexity, convergence tim es and scala bility.Both standard random gr aphs an d mor e st ruct ured geomet ric gra
The effects of deformed shell structure on the potential energies of the doubly even fp shell nuclei are determined by the macroscopic-microscopic method. The calculated potentials are incorporated in the Bohr Hamiltonian for collective quadrupole motion, and the resulting excitation spectra are compared with experimental data.
It is a long-standing view that the main mechanism maintaining narrow migratory divides in passerines is the selection against intermediate and suboptimal migratory direction, but empirical proof of this is still lacking. We present novel results from a willow warbler migratory divide in central Sweden from where birds take the typical SW and SE as well as intermediate routes to winter quarters in
Microbiomes play an important role in determining the ecology and behaviour of their hosts. However, questions remain pertaining to how host genetics shape microbiomes, and how microbiome composition influences host fitness. We explored the effects of geography, evolutionary history and host genetics on the skin microbiome diversity and structure in a widespread amphibian. More specifically, we ex
Immune thrombocytopenia (ITP) is characterized by a dysregulated immune response against platelets, affecting both their destruction and production. A role for an abnormal T-cell compartment has been established in ITP pathogenesis and treatments that increase platelet counts in patients with ITP have shown improvements in T-cell profiles. On the other hand, patients who were refractory to treatme
