- document
-
Schaap, Jop (author)The superoptimizer STOKE has previously been shown to be effective at optimizing programs containing floating-point numbers. The STOKE optimizer obtains these results by running a stochastic search over the set of all programs and selecting the best-optimized one. This study aims to find more clearly what floating-point programs STOKE optimizes...bachelor thesis 2022
- document
-
Tempelman, Philip (author)Program synthesis is used in various ways to automate repetitive tasks or to generate software automatically. Search-based program synthesis constitutes searching the space of candidate programs created from a given language. However, this form of program synthesis is very expensive in terms of computing power. By optimising the synthesiser’s...bachelor thesis 2022
- document
-
Lindhorst, Paul (author)Human-AI teams require trust to operate efficiently and solve certain tasks like search & rescue. Trustworthiness is measured using the ABI model; Ability, Benevolence and Integrity. This research paper tries to observe the effect a conflicting robot has on the human trustworthiness. The hypothesis we try to test is: “human trustworthiness...bachelor thesis 2022
- document
-
Bos, Robert (author), Zheng, Leo (author)In this report, the analysis and design of a system that extracts keyframes from videos is detailed. The need for such a sub-module stems from the similarity of frames in a video. To aid in reducing the computation time of the content based video search engine, the Keyframe Extraction Module reduces the amount of frames by discarding frames that...bachelor thesis 2022
- document
-
van Oort, Max (author), Hoogeveen, Aron (author)One of the main problems with Instance-Level Image Retrieval in video data is that for query videos with multiple objects of the same instance, extracting features from keyframes of this query video is time consuming. This thesis aims to solve this problem by implementing a Convolutional Neural Network based approach, which significantly reduces...bachelor thesis 2022
- document
-
Korevaar, Matthijs (author), Hoogland, Lars (author)One of the main problems with Instance-level Image Retrieval in video data is that for longer query videos or large amount of image queries, comparing all of the query images to every extracted frame is time-inefficient. This thesis aims to solve this problem by implementing Nearest Neighbour Search (NNS) algorithms and data compression methods,...bachelor thesis 2022
- document
-
Klazinga, Rembrandt (author)Autoencoders seek to encode their input into a bottleneck of latent neurons, and then decode it to reconstruct the input. However, if the input data has an intrinsic dimension (ID) smaller than the number of latent neurons in the bottleneck, this encoding becomes redundant. <br/>In this paper, we study using the Early-Bird (EB) technique, a...master thesis 2022
- document
-
Zhou, H. (author)Applying deep neural networks (DNNs) for system identification (SYSID) has attracted more andmore attention in recent years. The DNNs, which have universal approximation capabilities for any measurable function, have been successfully implemented in SYSID tasks with typical network structures, e.g., feed-forward neural networks and recurrent...doctoral thesis 2022
- document
-
Barendse, Thomas (author)Demand for online grocer Picnic has increased exponentially over the past years, and their truck transport operation must scale with it. Given the resource constraints at all warehouses, as well as other specific restrictions, this poses a Multi Depot Pickup and Delivery Problem with Resource Constraints, for which no good solutions are found to...master thesis 2022
- document
-
Ahn, Ahni (author)The client of the project is Quincy Dalh, who works in organizations supporting job seekers with their job searching journey. He organized the project brief that aims to develop ideas for an online job-matching platform that brings healthy changes to the hiring process. He gave a working title for the platform called HelloCareer. Quincy’s focus...master thesis 2022
- document
- Moraes Gomes, F. (author) doctoral thesis 2022
- document
-
Rasing, Stef (author)Brute, A state-of-the-art inductive program synthesis (IPS) system, introduced a two-phase algorithm; first, complex pro- gram instructions are invented from basic instructions. Sec- ond, a best-first search algorithm finds a sequence of invented instructions to solve an IPS task. This method is limited because invented instructions are always...bachelor thesis 2022
- document
-
Du, XIANGYU (author)Earthquake prediction has raised many concerns nowadays, due to the massive loss caused by earthquakes, as well as the significance of accurate forecasting. Lots of trials have been investigated and experimented but few achieved satisfying results on short-term prediction (i.e., usually those earthquakes that will happen in three months). It is...bachelor thesis 2022
- document
-
Matulewicz, Nadia (author)Recently, a new and promising Inductive Program Synthesis (IPS) system, Brute, showed the potential of using a heuristic-based loss function. However, Brute also has its limitations and struggles with escaping local optima. The Monte Carlo Tree Search might offer a solution to this problem since it balances between exploitation and exploration....bachelor thesis 2022
- document
-
Jenneboer, Bas (author)Search based synthesis has emerged as a powerful tool in program synthesis, the process of automatically generating implementations for software programs given some form of semantic specification. Search based synthesis involves a search over the space of candidate programs that can be derived from a given grammar. A recently developed new...bachelor thesis 2022
- document
-
van Wieringen, Victor (author)In this research the Metropolis-Hastings algorithmis implemented for the problem of program synthesis and compared with Brute, a best-first search, together with multiple other different search algorithms. The implementation and choices of the Metrolpolis-Hastings algorithm are discussed in detail. The algorithms are tested for three different...bachelor thesis 2022
- document
-
Schijlen, Fiske (author)Side-channel attacks (SCA) can obtain secret information related to the private key used during encryption executed on some device by exploiting leakage in power traces produced by the device. In recent years, researchers found that a neural network (NN) can be employed to execute a powerful profiled SCA, even on targets protected with...master thesis 2022
- document
-
de Koning, Christopher (author)The application of autonomous robots in search-and-rescue (SAR) missions forms a challenging field of research. Cooperative search behaviour can greatly increase the efficiency with which a multi-agent system creates situational awareness of and finds victims within an unknown environment. In this research we develop an autonomous mission...master thesis 2022
- document
-
Bulină, Malina (author)Data outsourcing has become one of the primary means for preserving information as it passes the responsibility of storage management to the service provider. However, storing sensitive data remotely poses privacy threats for the data owners. Searchable encryption (SE) is a technique that allows performing search queries over encrypted data. The...bachelor thesis 2022
- document
-
den Ridder, M.J. (author), Knibbe, E. (author), van den Brandeler, Wiebeke (author), Daran-Lapujade, P.A.S. (author), Pabst, Martin (author)The importance of obtaining comprehensive and accurate information from cellular proteomics experiments asks for a systematic investigation of sample preparation protocols. In particular when working with unicellular organisms with strong cell walls, such as found in the model organism and cell factory Saccharomyces cerevisiae. Here, we...journal article 2022