Filetype
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
acceptera (1931) är bokmanifestet för skandinavisk modern arkitektur, skrivet av arkitekterna Gunnar Asplund, Wolter Gahn, Sven Markelius, Eskil Sundahl, Uno Åhrén och konsthistorikern Gregor Paulsson. Boken publicerades i nära anslutning till Stockholmsutställningen 1930 och representerar en milstolpe inom arkitekturkulturen, i en föregångare till den skandinaviska framgången med att humanisera macceptera (1931) is the book-manifesto of Scandinavian modern architecture, written by the architects Gunnar Asplund, Wolter Gahn, Sven Markelius, Eskil Sundahl, Uno Åhrén, and the art historian Gregor Paulsson. Published in close connection with the 1930 Stockholm Exhibition, it represents a milestone in architectural culture, anticipating the Scandinavian success in humanizing modern architectur
Winner of the 1938 Littoriali della Cultura e dell’Arte, the project for a Hotel-Refuge in Valmalenco (2000 m altitude) by Gianni Albricci (1916-2001) and Marco Zanuso (1916-2001) was conceived by two young students from the Faculty of Architecture at the Politecnico di Milano. The skillful design combines traditional alpine materials with innovative solutions, reflecting the autarkic policies of
The Students’ Union Building (THS) at the Royal Institute of Technology (KTH) in Stockholm, inaugurated in October 1930 shortly after the Stockholm Exhibition, is a key work in Swedish modernism. Designed by Sven Markelius and Uno Åhrén after their 1928 competition win, it embodied funkis ideals, as a result of a new architectural vision shaped by foreign impulses. Yet the history of the students’
