UU Student Theses Repository: Recent submissions
Now showing items 721-740 of 46302
-
Transformative Futures: Exploring the Socio-Climatic Imaginaries Shaping the Climate Governance Landscape of the Faroe Islands
(2025)The escalating consequences of the climate crisis expose the limitations of existing hegemonic climate governance for addressing complex and interconnected social, political, economic, and ecological challenges, and ... -
Formal Correctness Proofs for Efficient CHAD
(2025)Automatic Differentiation (AD) is a technique for efficiently calculating derivatives of functions represented as programs. Efficient CHAD, presented by Smeding (2024), is an implementation of an AD algorithm for a ... -
Full Neighbourhood Knowledge Helps Online Vertex Cover More Than Online Dominating Set
(2025)We study the online vertex cover under the Connected Reveal with Neighbourhood (CRN) model, where each revealed vertex exposes all incident edges and must form a connected induced subgraph with previous revealed vertices. ... -
Symbolic Execution + Merging
(2025)The Path explosion problem is a bane that haunts all symbolic execution engines. Too many programming constructs contribute to it, from the humble if statement to the noble fork statement. There are multiple methods to try ... -
The battle against RSV: Infants and children in the front line!
(2025)Background: In the past year, respiratory syncytial virus (RSV) vaccine development has received increased attention, particularly after several clinical trials involving infants and children were stopped because of safety ... -
Enriching Knowledge Resources with Entity Linking
(2025)This research project explores methods for enriching domain-specific knowledge resources through entity linking in the context of botanical and historical data. Focusing on the Time Capsule knowledge base, the study uses ... -
Rolling Stock Scheduling in an integrated planning process
(2025)The Nederlandse Spoorwegen (NS) is the largest passenger railway operator in the Netherlands and operates a fleet of more than 700 train units. One of the problems they encounter in their planning process is the Rolling ... -
Broer/Zus-Relaties en Vriendschappen bij Adolescenten: De Mediërende Rol van Zelfwaardering
(2025)Dit onderzoek richtte zich op de vraag of de kwaliteit van broer/zus-relaties samenhangt met de kwaliteit van vriendschappen bij adolescenten, en of zelfwaardering hierin een mediërende rol speelt. Respondenten waren 561 ... -
Evaluating Quantum-Classical Middleware using Quantum Mini-Apps
(2025)As quantum computing evolves toward practical hybrid applications, middleware systems must support efficient coordination between quantum and classical resources. However, existing middleware platforms are often benchmarked ... -
Improving cloud and precipitation forecasts in HARMONIE cycle 46
(2025)Open cell convection is a type of cellular convection with cloud-free interiors and cloud walls, occurring more frequently in winter than other seasons. The cloud-free interior has a large e!ect on the radiative balance, ... -
How Well Do Simplified Models Capture Complex Ocean Dynamics? A Numerical-Analytical Comparison on the Theory of a Stratified Rotating Fluid
(2025)Understanding how ocean circulation transitions between stable and oscillatory states under ther- mal, rotational, and wind forcing remains fundamental to climate modelling. This study integrates analytical modelling with ... -
Firn Modelling and its Effect on Satellite Derived Basal Melt Rates
(2025)Basal melt, mass loss due to ocean-induced melting of floating ice shelves, is one of the main contributors to Antarctic mass loss. Basal melt rates can be measured in situ, or through remote sensing with satellite altimetry ... -
Quantification and Isotopic Characterisation of Methane Emissions from Dutch Peatland Ditches - Flux Measurements and Isotopic Source Analysis
(2025)Drainage of peatlands drastically reduces methane (CH4) emissions. However, artificially created ditches in these areas serve as hotspots for CH4 production, which offsets this effect. CH4 emissions from peatlands and ... -
A Decision Support Model for Software Composition Analysis Tools
(2025)Context: Software Composition Analysis (SCA) tools are essential for managing third-party dependencies in software development. These tools help identify and mitigate vulnerabilities in third-party dependencies. Given the ... -
Digital Transformation with a purpose: A method for aligning digital transformations with stakeholder values
(2025)Introduction: As organizations pursue digital transformation (DT) to drive innovation and re- main competitive, many initiatives continue to prioritize technological efficiency over the val- ues of stakeholders. This ... -
The evolution of the centre of mass and the basin-averaged angular momentum for finite Prandtl number, full Coriolis forcing and internal waves
(2025)Understanding ocean circulation and its driving variables is essential for comprehending the Earth’s climate system. A low-order model with a reduced parameters set was developed by Maas (1994;2004), using the first moments ... -
Predicting level of care in home care
(2025)This thesis aims to develop prediction models that help Dutch residential care homes anticipate when a client will require more care. Supervised machine learning is used to support timely reindication applications and ...