Filtyp
The Copernicus High Resolution Vegetation Phenology and Productivity product (HR-VPP) has been operational for several years and has been used by various institutions to assess crop growth conditions and estimate crop yield. However, studies focusing on winter-growing crops, especially winter wheat, remain limited. HR-VPP is based on the Plant Phenology Index (PPI). In theory, PPI is expected to p
Foodborne diseases are a growing global concern, and a shift in trends has occurred regarding salmonella infections in Sweden. The purpose of this study is therefore to investigate how nursing homes in Sweden work to prevent foodborne infections. The study was conducted through semi-structured interviews with staff at nursing homes and with representatives from inspection authorities to gather the
Water reservoirs fulfill numerous functions for ecosystems and society. They are crucial for flood control, hydrological cycles, and biodiversity. Knowledge about the storage capacity is useful for adaptive water management, risk assessment, and hydrological modeling. In-situ measurements of reservoir storage capacity are challenging due to the high financial and temporal costs of field survey, wh
Cyanobacterial blooms and bottom-water hypoxia have long been studied and connected to the eutrophication in the Baltic Sea. This thesis investigates the dynamic of the spatiotemporal correlation between cyanobacterial summer bloom and dissolved oxygen at the sea floor in the Western Gotland Basin, as per defined by HELCOM 2022. The thesis is conducted using weekly and monthly data from 1998 to 20
Pork makes up around 30 % of the overall meat consumption. Pig production has an impact on the environment, and its impact depends mainly on the feed used. Agriculture in general has impacts both on the climate and biodiversity. Since animal products’ consumption are increasing it is of interest to assess its environmental impact. This study aims to assess two pig feeds’ environmental impact throu
Administrative environmental sanctions is a regulatory tool that plays a key role within Swedish environmental supervision, and its implementation often falls on municipal environmental and health inspectors. The system operates around the premise that specific offenses are combined with set fees, thus theoretically removing the need for complex judicial assessments. This study examines the experi
Benthic foraminifera are valuable environmental indicators, as species assemblages can vary depending on their surrounding marine conditions. Previous studies have reported the potentially invasive Nonionella sp. T1 along the Swedish west coast, a non-indigenous species (NIS) with abilities to denitrify and adapt to varying environments. In this thesis, with the aim of studying foraminiferal speci
Passive immunotherapy targeting amyloid-β (Aβ) has emerged as a major therapeutic strategy for Alzheimer’s disease (AD), yet its clinical benefits remain modest and are frequently accompanied by vascular adverse events such as amyloid-related imaging abnormalities (ARIA). While the removal of extracellular Aβ plaques is associated with therapeutic efficacy, accumulating evidence suggests that addi
As global population growth drives up food demand, approximately 40% of produced food is still wasted rather than consumed. This waste is largely driven by rigid aesthetic and quality requirements established by marketing standards, resellers, and consumer expectations. This study was conducted to investigate those systemic barriers and how it affects waste reduction within the organization that i
Objective – This study aimed to characterize the occurrence of hypogammaglobulinaemia (HG) in rituximab (RTX)-treated patients with ANCA-associated vasculitis (AAV) in a population-based Swedish cohort. Methods – Patients with incident AAV (1997–2019) in southern Sweden who received RTX for induction or maintenance therapy were included in this study. Medical records were reviewed to assess the in
Nurses are in need of effective sterile packaging for transporting, storing, handling, preparing and disposing of single use medical devices. At the same time, requirements surrounding sustainability are mounting both from a regulatory and user perspective. Producers need to develop more sustainable options for hospitals with a great variation in waste management practices while not impeding on th
River water levels and river discharge are key hydrological variables for flood risk assessment, water resource management, drought monitoring and climate change research. However, in-situ river measurements are lacking, and globally many rivers remain ungauged. Satellite altimetry offers an alternative approach to water surface measurement by providing river observations from space. The Surface W
Systemidentifiering handlar om att skapa modeller som beskriver ett system utifrån mätningar. Fokus i den här texten ligger på dynamiska system som styrs av ordinära differentialekvationer. Avvägningen mellan en noggrann modell och en modell som ̈ar lätt att förstå, tas upp. Metoden SINDy bygger på att konstruera ett bibliotek av funktioner som används för att optimera f i ekvationen x’ = f(x). Me
We further the study of supercritical tradeoffs in proof and circuit complexity, which is a type of tradeoff between complexity parameters where restricting one complexity parameter forces another to exceed its worst-case upper bound. In particular, we prove a new family of supercritical tradeoffs between depth and size for Resolution, Res(k), and Cutting Planes proofs. For each of these proof sys
We give a new characterization of the Sherali-Adams proof system, showing that there is a degree-d Sherali-Adams refutation of an unsatisfiable CNF formula C if and only if there is an ε > 0 and a degree-d conical junta J such that viol_C(x) - ε = J, where viol_C(x) counts the number of falsified clauses of C on an input x. Using this result we show that the linear separation complexity, a complex
Modern CDCL SAT solvers easily solve industrial instances containing tens of millions of variables and clauses, despite the theoretical intractability of the SAT problem. This gap between practice and theory is a central problem in solver research. It is believed that SAT solvers exploit structure inherent in industrial instances, and hence there have been numerous attempts over the last 25 years
The Stabbing Planes proof system [BFI+18] was introduced to model the reasoning carried out in practical mixed integer programming solvers. As a proof system, it is powerful enough to simulate Cutting Planes and to refute the Tseitin formulas — certain unsatisfiable systems of linear equations mod 2 — which are canonical hard examples for many algebraic proof systems. In a recent (and surprising)
In this chapter, the author examines the European Union’s (EU) strategic choices and challenges in confronting the twin crises of climate change and biodiversity loss, and how these crises influence the EU’s ability to achieve its sustainability ambitions. The purpose is to analyse the coherence and effectiveness of EU climate and biodiversity policies, with a particular focus on the European Gree
