Searched for: contributor%3A%22Yorke-Smith%2C+N.+%28graduation+committee%29%22
(1 - 20 of 24)

Pages

List view
Grid view
document
Jaldevik, Albin (author)
Over the last decade, there have been significant advances in model-based deep reinforcement learning. One of the most successful such algorithms is AlphaZero which combines Monte Carlo Tree Search with deep learning. AlphaZero and its successors commonly describe a unified framework for tree construction and acting. For instance, build the tree...
master thesis 2024
document
Kleijweg, Marvin (author)
The aim of this thesis project is to understand how policy instruments influence the adoption of wood-based building practices and to examine the effect of increased wood-based construction on circular practices. This study identifies key actors in the built environment, including housing associations, private owners, construction and demolition...
master thesis 2023
document
Venkataraman, Gautham (author)
Solving routing problems efficiently is instrumental in minimizing operational costs in logistics. These routing problems are hard to solve and often take a lot of time to find a good solution. In this thesis, we present a methodology that tackles the challenge of efficiently solving recurring instances of the Vehicle Routing Problem with Time...
master thesis 2023
document
Huizer, Rick (author)
Automated imaging systems, critical in domains like medical imaging, autonomous driving, and security, experience noise from camera sensors and electronic circuits in bad or dark lighting conditions. This impacts downstream tasks, including object detection. However, an analysis of strategies combining denoising and object detection is lacking....
master thesis 2023
document
Greeve, Tiago (author)
This paper will give a formalisation of proofs, given in the paper "isomorphism is equality", in the proof assistant language Coq. The formalisations will be added to UniMath library. A library containing machine readable proofs in the mathematical field of Homotopy Type theory, a relatively new field which combines Homotopy Theory and Martin...
bachelor thesis 2023
document
van de Laar, Luuk (author)
This paper focuses on implementing and verifying the proofs presented in ``Finite Sets in Homotopy Type Theory" within the UniMath library. The UniMath library currently lacks support for higher inductive types, which are crucial for reasoning about finite sets in Homotopy Type Theory. This paper addresses that issue and introduces higher...
bachelor thesis 2023
document
Sarker, Pallabi Sree (author)
To address the challenge of the time-consuming nature of proofreading proofs, computer proof assistants—such as the Coq proof assistant—have been developed. The Univalent Mathematics project aims to formalise mathematics using the Coq proof assistant from a univalent perspective, which is based on homotopy type theory. <br/><br/>The Symmetry...
bachelor thesis 2023
document
Pennings, Casper (author)
A flexible manufacturing system (FMS) has advantages over traditional manufacturing systems due to its ability to deal with unpredicted circumstances such as changes in demand or component breakdowns by re-routing. However, this flexibility increases the complexity of controlling such a system. Traditionally, the system model is simplified to...
master thesis 2023
document
PANAGOPOULOS, IOANNIS (author)
Humanitarian, environmental, and political concerns have contributed to the evolution of agricultural technology, also known as AgTech. Researchers from various scientific backgrounds are diving into AgTech to ensure the world's food security, create a sustainable future for agriculture, and pave the way for autonomous cultivation methods. This...
master thesis 2023
document
Mc Donald, Tom (author)
Recently, ReLU neural networks have been modelled as constraints in mixed integer linear programming (MILP) enabling surrogate-based optimisation in various domains as well as efficient solution of machine learning verification problems. However, previous works have been limited to multilayer perceptrons (MLPs). The Graph Convolutional Neural...
master thesis 2022
document
Meijer, Wouter (author)
In this work, we address the challenges of employing robots in the Search-and-Rescue (SAR) domain, where they can benefit rescue workers to quickly obtain Situational Awareness (SA). Missions with autonomous mobile robots are heavily dependent on environmental representations. Representations have been steadily increasing in the richness that...
master thesis 2022
document
Wu, Shixun (author)
With the strong demand for computing capacity in industrial applications and the rapid development of the hardware industry in recent years, multiprocessor platforms have been widely used in real-time embedded systems. The quest for performance has led to existing multiprocessor platforms often featuring complex interconnected hardware...
master thesis 2022
document
Zhang, Peter (author)
Peer-to-peer trading and energy communities have garnered much attention over the last few years due to the wider spread of distributed energy resources. Much research has been performed on the mechanisms and methodologies behind their implementation and realisation. However, the efficiency and micro-structure of trading in such markets raise...
master thesis 2022
document
Wilms, Ivo (author)
Build systems speed up builds by reusing build step outputs from previous builds when possible.<br/>This requires precise definitions of the dependencies for build steps.<br/>PIE is a build system with precise dependencies, but its task definitions in Java are verbose.<br/>The PIE DSL allows pipeline developers to write concise definitions of...
master thesis 2022
document
Ziengs, Bart (author)
Interpretability of ML models and image recognition models specifaclly, is a increasing problem. In this thesis, the design and implementation of Brickroutine: a system that used a trained model, is presented. Using human annotations, semantic interpretations are given to image classification problems. By giving an iterative approach in terms of...
master thesis 2022
document
de Vries, Rolf (author)
As software systems evolve over time, the quality of its structure and code degrade unless developers regularly maintain it, requiring significant effort. Automated tools to help developers maintain software have been well-studied in the past. <br/>In particular, software remodularisation tools focus on improving the code structure quality with...
master thesis 2022
document
Langerak, Jens (author)
Satisfiability solvers have been shown to be a powerful tool for solving constraint problems. These problems often contain pseudo-boolean and cardinality constraints. These constraints can either be encoded into SAT or handled by extending the solver with special propagators. Which method will perform better is often not known in advance. It has...
master thesis 2021
document
Miljak, Luka (author)
Context-free grammars (CFGs) provide a well-known formalism for the specification of programming languages. They describe the structure of a program in terms of parse trees. One major issue of CFGs is ambiguity, where one sentence can sometimes have multiple different parse trees. Some formalisms like SDF3 or YACC allow annotating a grammar with...
master thesis 2021
document
Schröder, Casper (author)
Code quality of software products often degrades while they grow. Counteracting the degradation of code quality or improving it requires immense effort. Tools that reduce this effort are a hot topic in software engineering research. Software Modularization in particular aims to aid in the process of improving the quality of code structure, by...
master thesis 2020
document
Maas, O.P. (author)
Social housing corporations in the Netherlands have a limited ability to influence the social housing market through offering houses to households outside of the regular waiting-list system, but often do not use an algorithmic strategy for utilising this freedom well. There is thus an open question of whether there exist algorithmic approaches...
master thesis 2020
Searched for: contributor%3A%22Yorke-Smith%2C+N.+%28graduation+committee%29%22
(1 - 20 of 24)

Pages

List view
Grid view