Filtyp
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
The European Union (EU) is implementing unilateral trade restrictions on imports that contain residues of pesticides banned for use within its borders. Several Latin American (LA) countries, among other EU trading partners, have criticized these measures, leading to a contentious debate that could escalate into a trade dispute before the World Trade Organization (WTO). This article aims to unpack
Precipitates of the topologically close-packed (TCP) phases can significantly impact a material’s mechanical and fracture properties. This theoretical study uses ab initio modeling to investigate the σ phase of WOs, focusing on composition-dependent mechanical and fracture-related properties. We find the effect of Os on WOs σ to be stronger than that of Re in WRe σ phase, with the WOs phase exhibiPrecipitates of the topologically close-packed (TCP) phases can significantly impact a material’s mechanical and fracture properties. This theoretical study uses ab initio modeling to investigate the phase of WOs, focusing on composition-dependent mechanical and fracture-related properties. We find the effect of Os on WOs to be stronger than that of Re in WRe phase, with the WOs phase exhibiting p
This booklet documents and reflects on the workshop If on a winter’s night an architect, developed within MInDS, Politecnico di Milano, February 2026.The first part outlines the conceptual framework of the project.The second follows the workshop through a sequence of daily propositions.The third closes the booklet as an open ending.The booklet is also produced in the context of the Milano Internat
