Van Kampen's Theorem and Fundamental Groupoids

This thesis is about Van Kampen's theorem and fundamental groupoids. Van Kampen's Theorem is a classical result in algebraic topology, which proposes a way of calculating the fundamental group of a topological spaces using the fundamental groups of certain subspaces. In this thesis we will construct the fundamental group, which intuitively...

Calculating the Fundamental Group of the Circle in Homotopy Type Theory: Formalized in the Coq Unimath library

The goal of this paper is to formalize the Fundamental Group of the Circle within Coq and the Unimath library, as described in the paper by Mr Licata and Mr Shulman, and show it is isomorphic to Z. Fundamental groups are a powerful algebraic invariant for studying Homotopy theory, and provide deep, yet concise insights into the fundamental...

Framing the opportunities of robotics in meaningful autonomous vehicle experiences: An exploration of fundamental needs, AI-systems, and user interfaces

Vehicle automation will increasingly release car drivers from driving tasks, allowing them to engage in previously inconceivable activities. Experiential components are therefore expected to become central in human automotive mobility. In this context, the design of future in-vehicle experiences is a research gap to still discover, that concerns...

Designing for Well-being during Covid-19: Converting daily activities into [un]conscious pursuits of joy

The ongoing Covid-19 pandemic has led to an unprecedented public health crisis worldwide starting from the early days of 2020. Alongside the medical concerns, a set of measures called non-pharmacological interventions (NPIs) affected daily lives of people drastically, in turn having a negative impact on subjective well-being (Berg, 2021; Wang et...

Designing a more inclusive museum experience: A strategic service concept to contribute to inclusion in the museum sector, by facilitating a mutually beneficial relationship between museums and their audiences

This project is about inclusion in the museum sector. Concerns around inclusion and equality are rapidly increasing. And, due to these societal dynamics, museums are in times of fundamental change towards inclusivity.<br/><br/>At the start of the project, a theoretic framework depicting the different layers and elements of inclusion was...

Numerical prediction of the dynamic properties of a historic masonry structure: A Case Study of The Old Church in Garrelsweer, Groningen

The gas production in the Groningen gas field of the Netherlands has caused a significant amount of shallowhuman induced earthquakes. Among various building typologies, Groningen is home to many Dutch historical churches constructed by unreinforced masonry which has shown to be highly vulnerable to these earthquakes. From the perspective of...

An Analysis of the Factors Influencing the Capacity of Constrained Urban Airspace

The traffic density of small aerial vehicles operating within urban environments is expected to increase significantly in the near future. This urban environment is highly constrained due to being limited to the low-altitude airspace directly above the existing road network. To increase understanding of the factors influencing the capacity of...

Exploring perspectives in the public debate with emotional awareness: Design to reduce polarization

The term ‘polarization’ has become well-known in the public debate. In January 2019, the SCP (Netherlands Institute for Social Research) reported that 77% of the Dutch citizens think disagreements on social issues increase. As we mostly hear and see the more extreme and opposing sides in the media, it seems like society is divided about many...

Developing a Platform for Traffic Data Analysis

Scenwise is a business working on innovative and sophisticated solutions in the domain of traffic management. Leveraging data science and IT systems, Scenwise delivers products to institutions to facilitate efficient traffic management. In order to manage the highly complex network of infrastructure on the road network, traffic managers need to...

Vitesse Buiten Spel: Balancing entertainment and social value to create relatedness and belonging among the younger supporters

This graduation project focuses on balancing entertainment and social value of football to create relatedness and belonging among the younger supporters in Arnhem and Vitesse. Relatedness and belonging are two of the thirteen fundamental needs defined by Desmet and Fokkinga (2018). Designing for fundamental needs is one of the eight approaches...

Modelling traffic in the Randstad using a dynamic zone model based on the Network Fundamental Diagram

The aim of this master thesis is to develop a dynamic zone-based traffic model for large areas, using the concept of the Network Fundamental Diagram (NFD), which relates the average internal flow (production) and speed in a zone to the number of vehicles in the same zone (accumulation). The model that has been developed is then applied to the...

Towards Understanding How Developers Comprehend Tests

Developers spend the majority of their time and effort on reading and comprehending source code. In order to improve this process of program comprehension for developers, a numerous amount of existing studies have looked into understanding how developers approach it and factors of influence. However, less is known in the field about how...

Fundamentals For An Autonomous Zebro Swarm

In this thesis, a swarm is defined as:<br/>”A swarm is a large number of homogenous, unsophisticated agents that interact locally<br/>among themselves and their environment, without any central control or management to<br/>yield a global behaviour to emerge.”<br/>The bigger perspective is to have the units within a swarm operate for a...

The Effect of Network Structure and Signal Settings on the Macroscopic Fundamental Diagram

Recently it has been proposed that the performance of a complete network can be represented graphically using only aggregated data for flow and density. The resulting graph is the macroscopic fundamental diagram (MFD), which relates the average flow (performance) to the number of vehicles in the network (accumulation). The resulting shape is...

Application of Macroscopic Fundamental Diagrams to Dynamic Traffic Management

This thesis project is a part of Dutch project PraktijkProef Amsterdam (PPA), in which the coordinated network traffic management in the regional area is analyzed. One of control levels in the project PPA is sub-networks, where the concept of the macroscopic fundamental diagram (MFD) is applied. Unlike a conventional link fundamental diagram, an...