Filetype
Automated testing is a safeguard against software regression and provides huge benefits. However, it is yet a challenging subject. Among others, there is a risk that the test cases are too specific, thus making them inefficient. There are many forms of undesirable behaviour that are compatible with a typical program’s specification, that however, harm users. An efficient test should provide most p
Deteriorating water quality is a challenge which affects people of the entire world, with a growing population and increased industrialization worldwide. The problem is especially apparent in many developing nations where water resource management must be improved to secure a future sustainable supply. This study was undertaken as a bachelor degree within the MFS-program funded by SIDA. The study
Urban Sprawl is one of the challenges to urban development in many nations. Different aspects of the phenomenon have been researched with a view to providing solutions to myriad of ills attributed to it. For any meaningful intervention, however, assessment of development to ascertain sprawl is essential. Despite this, its quantification and monitoring in environment with paucity of data remains a
Shale gas extraction commonly known as fracking had support from the UK government with their ‘all out for shale’ policy. Despite this industry has struggled to establish itself mainly due to strong opposition from communities concerned about environmental and health impacts. Most research into the impacts of fracking is concerned with either environmental degradation or physical health impacts wh
Dead wood is a key element in forest ecosystems and a wide range of organisms are dependent on this substrate for development and reproduction. Saproxylic beetles are important decomposers of dead wood and serve as food for many organisms. Due to the significant forestry-related decrease of dead wood in rural areas, many species of saproxylic beetles are considered threatened. Thus, other spaces h
Sharks are an ecologically important group of fishes important to maintaining ecosystem structure and function, yet the additive effects of climate change and anthropogenic activities threaten their survival. Northwestern Atlantic populations of shortfin mako sharks and white sharks are considered threatened species, with populations in decline since the 1950s. Previous conservation efforts have a
Fully precise static analysis of program behavior is undecidable in theory and infeasible in practice. While individual static analyses can prove specialized invariants about program behavior or resolve narrow ambiguities, real programs are complex composites of many different abstractions and programming patterns. State-of-the-art approaches to program analysis thus generally rely on composite an
BACKGROUND: Brief Admission by self-referral (BA) was implemented in 2018 in Swedish child and adolescent psychiatric (CAP) inpatient care. This intervention empowers adolescents to self-admit at their own request for brief periods to prevent self-harm and suicidal crisis. As BA enhances healthcare user autonomy, it is a timely intervention to consider with the emerging human rights discourse and
Many software language tools use declarative domain-specific languages (DDSLs) to implement parts of their functionality, such as context-free grammars for parsing or inference rules for type analysis. For interoperability and ease of use, DDSLs often rely on embedded general-purpose language (GPL) code fragments, as in the semantic actions of parser specifications, but require that these GPL frag
Stjärnor sägs vara astronomins tidskapsel, genom att studera stjärnor kan vi bättre förstå många fenomen. Stjärnor är en viktig del av vårt universum från det att de skapas till det att de dör. De berikar vårt universum med olika grundämnen som krävs för att planeter ska bildas och för att liv ska uppstå. Det verkar då självklart varför man vill undersöka och förstå alla aspekter kring stjärnbildnThis is a thesis project, analysing data from high-resolution imaging observations, specifically speckle imaging, as a follow up study of exoplanet host stars observed with K2, the second operational phase of the space telescope Kepler. The project was accomplished at NASA Ames research center under the guidance of Rachel A. Matson, during an internship in collaboration with the Swedish National S
Sustainability researchers are facing increasing pressure to improve their scientific communication and to achieve impacts in wider society with their research. Knowledge mobilisation (KMB) is a key component of both challenges, as it relates to efforts undertaken by researchers to achieve impacts with their research. This study seeks to identify some of the KMB practices being undertaken by exper
Outdoor climate has considerable impact on the indoor climate and it is therefore important to adapt the buildings to the climate. This thesis shows how to improve indoor climate in a climate which it is hot, dry in the summer and cold in the winter. My investigative unit is a middle class house in the town Baalbek in Lebanon and the purpose of the study is to come up with proposals on possible so
Denna uppsats handlar om livet på en flyktingförläggning. Uppsatsens syfte är att helt enkelt ta del av vardagen på en flyktingförläggning utifrån ett antal sociologiska förklaringsmodeller. I och med att det är en så pass sluten institution och att de som inte behöver träffa på den inte vet hur livet på en flyktingförläggning ser ut, vill vi i detta arbete ge en beskrivning av situationen där. Vi
In the last column, we promised to return to one of the inevitable challenges that vibe coding leaves us with. At the AI Engineer World’s Fair 2025, OpenAI’s Sean Grove claimed that whoever writes the specification is now the programmer since AI can take it from there. Sounds amazing, but what gets lost along the way? To explore this, I’m joined by Jan-Philipp Steghöfer, a researcher at XITASO and
INTRODUCTION: Parents can act as important agents of change and support for healthy childhood growth and development. Studies have found that parents may not be able to accurately perceive their child's weight status. The purpose of this study was to measure parental perceptions of their child's weight status and to identify predictors of potential parental misperceptions.METHODS: We used data fro
Infections caused by anaerobes are common in children. However, limited data are available on bloodstream infections caused by these bacteria in Europe. A multicentre retrospective observational study was conducted over a 4-year period (2020–2023) across 44 European hospitals to analyze all anaerobes isolated from blood cultures. The study examined the epidemiology and antimicrobial resistance pro
BACKGROUND: A significant proportion of acute myocardial infarction (AMI) patients have characteristics of high-bleeding -risk (HBR). Their influence on ischaemic and bleeding-events in AMI all-comers is not well described.METHODS: AMI Patients in England and Wales (E&W), and Sweden between 2005 and 2019 were included from MINAP and SWEDEHEART national registries. Patients were categorised acc
Introduction: Consensus is lacking regarding the upper limit for a safe contraction frequency during labor. We aimed to assess the association between different contraction frequencies and acidemia at birth, and whether an association was affected by oxytocin augmentation, concomitant cardiotocography (CTG) classification, and stage of labor. Material and Methods: This is a case–control study base
