- document
- van Dobben de Bruyn, J. (author) doctoral thesis 2023
- document
-
Keizer, Sanne (author)With nearly 70% of people living in cities by 2050 (United Nations, 2018), our urban environments are being put to the test, with more severe and frequent heat waves, droughts, floods, ongoing biodiversity loss, air pollution, and land subsidence. To sustain and increase the liveability and climate resilience of cities, the design and...master thesis 2023
- document
-
Keur, Hans (author)In biology, phylogenetics is the study of the evolutionary history of and relations between e.g. species. Such data are often represented in trees. Remarkably, trees lack the representation of reticulation events, such as hybridization, while such events are believed to be important. One of the reasons why trees are widely used, is the enormous...master thesis 2023
- document
-
Minderhoud, Max (author)The maritime industry faces a lot of uncertainty, and the energy transition has only increased this uncertainty. Ships will probably have to be converted to an alternative fuel during their lifetime and methanol seems to be the fuel with the most potential for offshore ships. By preparing for this, Design-for-Conversion to methanol, the costs of...master thesis 2023
- document
-
Temudom, Kulaporn Temudom (author)Make Scents considers the impact of changing climate conditions on resource extraction by establishing an in-house laboratory that specializes in producing fragrances specific to a region. This contribution captures Berlin’s landscape transitory due to critical climate change. As of 2040 the Linden tree—a significant<br/>longstanding tree with...master thesis 2023
- document
-
Zeng, Henwei (author)Several algorithms can often be used to solve a complex problem, such as the SAT problem or the graph coloring problem. Those algorithms differ in terms of speed based on the size or other features of the problem. Some algorithms perform much faster on a small size while others perform noticeably better on a larger instance. The optimization...bachelor thesis 2023
- document
-
Huijsman, Robbert (author)TreeContainment is a well-known problem within phylogenetics, which asks whether a binary phylogenetic tree is embedded in a binary phylogenetic network. For this problem, Jones, Weller and van Iersel (2022) have created an algorithm that uses dynamic programming on tree-decompositions to achieve a running time that is exponential in the tree...master thesis 2023
- document
-
van Pampus, Murielle (author)Mangroves can provide coastal protection by attenuating waves, currents, and trapping sediment (Menéndez et al., 2020; Bao, 2011). The effect of mangroves on the hydrodynamics depends on their size, location, density, distribution and morphology of the vegetation (Mendez and Losada, 2004). Mangrove loss during storm events will therefore impact...master thesis 2023
- document
-
Cipriani, A. (author), Dan, Biltu (author), Hazra, Rajat Subhra (author), Ray, Rounak (author)The discrete membrane model is a Gaussian random interface whose inverse covariance is given by the discrete biharmonic operator on a graph. In literature almost all works have considered the field as indexed over Zd, and this enabled one to study the model using methods from partial differential equations. In this article we would like to...journal article 2023
- document
-
Thomas, Jeroen (author)In a world where more data gets uploaded to the cloud, it is essential that the data gets stored securely. For users to keep search functionality, searchable symmetric encryption has been developed. SSE works by a user sending a token representing a keyword (or a range), after which the server returns the documents that match the keyword (or...master thesis 2022
- document
-
Clark, Liam (author)Interaction trees are an active development in representing effectful and impure pro- grams in the Coq proof assistant. Examples of programs they can represent are programs that use: mutable state, concurrency and general recursion. Besides representing these programs we also want to reason about and verify these programs using separation logic....master thesis 2022
- document
-
Visser, Florida (author)This research explores the frequent urban flooding problems typically experienced in South-East Asian cities. Heavy rainfall during the monsoon period in combination with rapid urbanisation in the past decades causes an increasing amount of inundation events in the case study area Hanoi. The damage caused by these floods results in major...master thesis 2022
- document
-
van de Klok, Margot (author)Describing phylogenetic trees or networks with a polynomial is a tool to distinguish between them. In this thesis, a new polynomial for describing rooted binary internally labeled phylogenetic networks and trees is introduced based on the research of P. Liu and J. Pons et al. Two different cases are considered, one where the reticulation nodes...bachelor thesis 2022
- document
-
van de Werken, Nathalie (author)A recent development in program synthesis is using Monte Carlo Tree Search to traverse the search tree of possible programs in order to efficiently find a program that will successfully transform the given input to the desired output. Previous research has shown promising results as Monte Carlo Tree Search is able to escape local optima that...bachelor thesis 2022
- document
-
FU, RUNNAN (author)Planting trees is widely considered an effective way to create a good urban wind environment, improve air quality, mitigate heat island effects, improve pedestrian wind comfort and reduce building energy consumption. To assess tree effects and find suitable tree setups in urban areas, Computational Fluid Dynamic (CFD) simulations can be used.<br...master thesis 2022
- document
-
van der Horst, Noortje (author)A digital reconstruction of real-life trees could provide many benefits in fields such as botany, forestry management, biology, and urban planning. Plant growth modelling in particular would enable the analysis of plant structure and behaviour in a customizable, widely applicable and non-destructive manner. Although many data-driven plant...master thesis 2022
- document
-
Simons, Robin (author)In the last century, biodiversity has come under increasing pressure, and this is also the case in the urban context. The preservation of biodiversity is an important issue. Research shows that part of this biodiversity is largely dependent on the buildings and vegetation in the city and to help this biodiversity we need to build as nature...master thesis 2022
- document
-
Lek, Gert (author)The application of machine learning in daily life requires interpretability and robustness. In this paper we try to make the process of building robust and interpretable decision trees more accessible. We do this by making the fitting of these models cheaper and simpler. We build on previous research and see if changing input data or the fitting...bachelor thesis 2022
- document
-
Seda, Edwin (author)Dutch Housing associations (HA’s) are responsible for producing, maintaining, and managing about 30% of all Dutch housing stock. HA’s draw up their investment forecasts yearly for the next 5 years to construct, improve or maintain homes and other real estate investments. Since 2013, the realization rate of new construction plans by HA’s, which...master thesis 2022
- document
-
Incremental Adaptation of Behaviour Trees for Applications in Learning from Demonstration Frameworksde Lange, Rudy (author)This thesis proposes the novel Behaviour Tree Update Framework (BTUF) for the initial construction and continuous incremental adaptation of Behaviour Trees (BTs) for applications in Learning from Demonstration (LfD) frameworks to create complex robot behaviours associated with Activities of Daily Living (ADL) without requiring the user to have a...master thesis 2022