UU Student Theses Repository: Recent submissions
Now showing items 3601-3620 of 46339
-
LeanWasm: An Intrinsically-Typed Interpreter for WebAssembly
(2024)WebAssembly is a new low-level programming language and portable bytecode format designed with the goal of increasing interoperability and security across the software ecosystem. In order to ensure correctness and adherence ... -
Computational Brains and Biological Computers: AI, Cognitive Science, Conceptual Borrowing, and Anthropomorphism
(2024)Artificial Intelligence (AI) has increasingly become a central topic of public discussion. However, in these discussions, both in the general public and academia, AI is not only portrayed as an engineering tool that addresses ... -
Would You Trust Me Now? A Study on Repair Trust Strategies in Human-Robot Collaboration
(2024)Human-robot collaboration is getting more and more widely used. Robots, just like humans, make errors, which break the trust necessary for a successful collaboration. It is thus important to implement strategies to repair ... -
Modelling changing migration in Bangladesh due to climate change
(2024)There is fear that climate change will lead to the displacement of thousands of people in the next 100 years. This has led to increased academic interest in predicting the trends of climate-related migration. Bangladesh ... -
Universal Automated Theorem Prover for non-classical logics
(2024)Non-classical logics are an adaptation of classical (boolean) logic that support nuanced forms of reasoning. This additional expressivity comes at a cost: non-classical logics tend to be more complex. This additional ... -
I/O efficient cutting trees
(2024)This thesis is focused on the cutting tree data structure, which can be used for simplex range searching problems. The cutting tree is a data structure that allows for fast query times, but this comes at the cost of memory. ... -
The Draining Nature of Pinball: How different multiplayer playstyles affect demand.
(2024)This study investigates the impact of various multiplayer modes on the demand experienced by a player while playing pinball. The multiplayer modes explored in this research are: playing alone, playing with one spectator, ... -
Exploring Cosmic Censorship through Gauge/Gravity Duality
(2024)We dynamically explore the Cosmic Censorship conjecture by studying asymptotically AdS solutions to Einstein-dilaton gravity in a boost-invariant setup. Our investigation reveals that even though a singularity is only found ... -
D-branes in String Theories with spontaneously broken Super Symmetry
(2024)In the context of String Theory, orbifold compactification has proven to be an effective method for breaking supersymmetry (SUSY) [1]. Specifically, freely acting orbifolds can be tied to spontaneous SUSY breaking, and ... -
A scoping review using the COM-B model to explore the literature on barriers and facilitators of help-seeking behavior amongst women affected by domestic and family violence in Australia
(2024)Domestic and family violence is an urgent problem in Australia, with high prevalence rates amongst women and wide-reaching consequences for both individuals and society. While several governmental interventions have been ... -
THE INFLUENCE OF WOOL GROWTH ON WOOL CORTISOL IN LACTATING EWES ON DUTCH SHEEP FARMS
(2024)Wool cortisol determination is a nowadays frequently used and convenient method of measuring chronic stress in sheep. The exact way cortisol accumulates in wool is not yet fully understood and might be influenced by the ... -
Regeneration & Relations, the effects of plant diversity on plant-based ecosystem services for regenerating Neotropical rainforest
(2024)Tropical forests are among the most diverse ecosystems of our planet and provide important ecosystem services (ES) to humanity: benefits enabling life on earth and making it worth living. A third of the tropical forests ... -
Time-series Specialized Neural Networks for Detailed Changepoint Predictions in Cloud Datacenters
(2024)Cloud computing data centers play a crucial role in providing the necessary resources for computationally demanding fields and applications, allowing for dynamic need-based resource scaling. However, these massive systems ... -
The Buffering Effect of Social Support in the Relation Between Loneliness and Life Satisfaction in Dutch MBO Students
(2024)Loneliness appears to be most prevalent in the adolescent years because during this period adolescents undergo significant changes in their identity, relationships and social roles. Research shows that loneliness is ... -
SORROW AND SCREENS: THE ROLE OF SOCIAL SUPPORT AND GENDER IN THE RELATIONSHIP BETWEEN EMOTIONAL PROBLEMS AND ONLINE SELF-DISCLOSURE
(2024)This study attempts to answer the question whether emotional problems are predicting online self-disclosure, and whether there is a moderating role of social support (parents, teachers, and classmates) and gender in this ... -
Rurality in Relation to Adolescent Binge Drinking: Examining the Role of Parental Norms
(2024)This study examines the relationship between rurality and binge drinking, investigating the mediating role of parental norms. In rural areas in The Netherlands, there are indications that binge drinking occurs inside keten, ... -
The Relationship between Work Ethic and Life Satisfaction among People in the Netherlands and Poland
(2024)This study investigates the relationship between culture and life satisfaction and investigates if and how work ethic influences this relationship. Based on the Protestants Work Ethic of Weber (1905) and research of Oishi ...