Searched for: contributor%3A%22Duman%C4%8Di%C4%87%2C+S.+%28graduation+committee%29%22
(1 - 5 of 5)
document
Chiu, Simba (author)
It is possible to improve the performance of planners by modifying the PDDL domain of a problem. The goal of this research is to implement this to the domain of the Train Unit Shunting Problem (TUSP). The research question we attempt to answer is: To what extent can we improve planner performance by optimizing the PDDL domain of TUSP? The main...
bachelor thesis 2023
document
Li, Bowu (author)
The escalating complexity of software systems in the digital age heavily relies on reusable code collections(packages) for their development and operation. Despite the numerous advantages of pre-existing libraries, managing dependencies can be intricate and time-consuming. This thesis focuses on enhancing package management tools through a...
master thesis 2023
document
Baartman, Wesley (author)
In this thesis, we have defined a symbolic execution technique to automatically generate test suites for programs written in functional programming languages that can find the behavioural differences between a reference implementation and a set of potentially different implementations. Our symbolic execution technique uses a constraint solver in...
master thesis 2022
document
Droogh, Marc (author)
The increased heat on an integrated circuit is a limiting factor for the performance and lifetime of a chip. The increased power density on chips resulted in increased heat and the formation of non-uniform hotspots. Earlier research has shown that the package design and layout of package components in flip-chip design can influence the thermal...
master thesis 2022
document
van Bokkem, Dirk (author)
The increasing global food demand, accompanied by the decreasing number of expert growers, brings the need for more sustainable and efficient solutions in horticulture. Consultancy company Delphy aims to face this challenge by taking a more data-driven approach, by means of autonomous growing inside the greenhouse. The controlled environment of...
master thesis 2022
Searched for: contributor%3A%22Duman%C4%8Di%C4%87%2C+S.+%28graduation+committee%29%22
(1 - 5 of 5)