- document
-
Savu, Ioana (author)agda2hs is a project that aims to combine the best parts of Haskell and Agda by providing a common subset between them. It allows programmers to im- plement libraries in Agda, verify their correctness and then translate the result to Haskell so they can be used by Haskell programmers. In this paper, a verified Agda implementation of the Ranged...bachelor thesis 2021
- document
-
Schreuder, Rinke (author)In this paper, a method is proposed to artificially expand the dynamic range of screens with a limited dynamic range. This research is linked to a new film-making technology where, instead of using a green screen, the background of a scene is displayed on a screen in real time using a computer generated background. This provides real time...bachelor thesis 2021
- document
-
Kalia, Yash (author)Search engine Entity Cards(ECs) display conciseinformation from the web about a topic or subjectin response to a user query. The topic or subjectcan be a person, an organization etc. and is referredto as an “Entity”. The specific topic under researchis how to determine which entity is most relevantfor the query in terms of helping the user find...bachelor thesis 2021
- document
-
Genkov, Georgi (author)Automatic phoneme recognition (APR) is the process of recognizing phonemes (spoken sounds) in a recording of speech. It can be used for any application requiring fast and accurate transcription, i.e. a courthouse. This research creates such a model using the TDNN-OPGRU architecture and trains it on two datasets of recorded English speech - ...bachelor thesis 2021
- document
-
van Dijk, Hugo (author)Logging user interactions allows researchers to study user behavior in web applications. The LogUI framework can be used to log user interactions on virtually any web application. This framework misses two vital features, a screen capture feature and a dashboard for statistical data analysis and visualization for use in web-based experiments...bachelor thesis 2021
- document
-
Gismondi, Roberta (author)Decision-making dynamics and their impact of human behaviour have raised a large number of questions throughout the years. Traits like competition and collaboration amongst agents are often studied, in the context of Game Theory, by the medium of games such as the Iterative Prisoners’ Dilemma.Furthermore, many realistic scenarios and possible...bachelor thesis 2021
- document
-
Henkes, Casper (author)Finding good viewpoints for catoptric anamorphoses by hand is hard. However, it should be possible to find the optimal viewpoint using just the specifications of the mirror. This problem is solved by first generating a set of candidate viewpoints using the specifications of the mirror. Then all candidates are ranked based on metrics like visible...bachelor thesis 2021
- document
-
El Coudi El Amrani, Nafie (author)Reentrancy attacks target smart contracts of Decentralized Finance systems that contain coding errors caused by developers. This type of attacks caused, in the past 5 years, the loss of over 400 million USD. Several countermeasures were developed that use patterns to detect reentrancy attacks on smart contracts before deployment on the Ethereum...bachelor thesis 2021
- document
-
Den Toonder, Jurriaan (author)Remote learning, learning from home using online available materials, is becoming increasingly more common. This paper focuses on reading activities during remote learning. An important part of learning is keeping sustained attention on the learning materials, as a shift from sustained attention to internal thought or mind-wandering oftentimes...bachelor thesis 2021
- document
-
Roeters van Lennep, Jacob (author)Stance detection is a Natural Language Processing task that can detect if the input text is in favour, against or neutral towards a target. Research on stance detection has been growing and evolving over the last decade. In this paper, the current approaches for stance detection are discussed with a focus on the deep learning approaches. The...bachelor thesis 2021
- document
-
de Bruin, Ivar (author)This paper extends the Multi-Agent Pathfinding (MAPF) algorithm, A*+ID+OD, to be able to solve problems with matching. This extension still keeps the optimal and completeness properties of the original algorithm. Matching is added to the algorithm in both an exhaustive and heuristic manner. Exhaustive matching is further improved by adding a new...bachelor thesis 2021
- document
-
Zeilstra, Mika (author)This paper accelerates the rendering of diffusion curves using the ray tracing cores found on modern NVIDIA graphics cards using the method described by Bowers et al. [Bowers, Leahey and Wang 2011]. This method approximates the final result of the Poisson equation and in this paper is accelerated using Optix and dedicated ray tracing hardware....bachelor thesis 2021
- document
-
Hagspiel, Johannes (author)MalPaCa is a novel, unsupervised clustering algorithm, which creates based on the network flow of a software a behavioral profile representing its actual capabilities. One of the key variables affecting is performance and usability is the sequence length or how many packets it analyzes in order to group a connection to a cluster. This article...bachelor thesis 2021
- document
-
Oosterbaan, Justin (author)Camera traps are used around the world to provide data on species, population sizes and how species are interacting. However this creates a lot of work in identifying which animal was actually spotted near the camera. Attempts have been made to use deep-learning to identify animals and work correctly for animals which are not rare but the lack...bachelor thesis 2021
- document
-
Chiroşca, Mihail (author)A limitation of current ASR systems is the so-called out-of-vocabulary words. The solution to overcome this limitation is to use APR systems. Previous research on Dutch APR systems identified Time Delayed Bidirectional Long-Short Term Memory Neural Network (TDNN-BLSTM) as one of best performing state-of-the-art NN architecture for PR. The goal...bachelor thesis 2021
- document
-
Remmelzwaal, Dirk (author)Locality mapping captures the displacement imposed by a mirroring surface in anamorphic art. Establishing this mapping for a physical mirror, however, is a difficult task. Applying pattern matching on the distorted reflection is a promising technique, though existing pattern matching strategies are often ill equipped for this particular task....bachelor thesis 2021
- document
-
Sokolov, Mihhail (author)Information-Centric Networking (ICN) is a common approach to the Internet of the future. However, transitioning to the new Internet architecture right away is impractical if not impossible. Hence, there will be some period of coexistence of ICN and IP. This paper investigates the support of security and privacy features in the three most popular...bachelor thesis 2021
- document
-
Oude Elferink, Rens (author)The AI World Cup is a virtual competition in which teams of five players compete in a football match. The defensive strategies for the goalkeeper in this environment are yet to be researched, however. In previous editions of the competition the participating teams use a basic goalkeeper that can only dive but not position itself. This project...bachelor thesis 2021
- document
-
van den Hurk, Tobias (author)Virtual robot soccer competitions have been rising in popularity in recent years, due to their easier accessibility than physical robot soccer. This is also the reason these virtual competitions were created. The goal is to compete in the AI world cup, one of the virtual soccer competitions. A coach-based framework has already been built, and...bachelor thesis 2021
- document
-
Velthoven, Tim (author)Robot soccer competitions have been around for a while and have been a great environment to develop AI algorithms in. One of these environments is the AI world cup. The AI world cup environment is a virtual environment where two teams with five robots each play a soccer match. This paper focuses on defending the attacker that is carrying the...bachelor thesis 2021