Where do I find that program?

Supervisors: Sebastijan Dumancic

Program Synthesis with A*

By Bas Jenneboer

VanillaGP: Genetic Algorithm for Inductive Program Synthesis

By Farhad Azimzade

Inductive Program Synthesis through using Monte Carlo Tree Search guided by a heuristic-based loss function

By Nadia Matulewicz

Comparative analysis of the Metropolis-Hastings algorithm as applied to the domain of program synthesis

By Victor van Wieringen

Characterizing Wearable SmartID Badges for the Analysis of Social Interactions

Supervisors: Hayley Hung, Stephanie Tan

Categorizing the performance of the rotation vector produced by the Digital Motion Processor of the midge.

By Bent Engbers

Characterizing Wearable SmartID Badges for the Analysis of Social Interactions

By Bram Dikker

Predicting speaking status using full 9 Degrees Of Freedom Inertial MeasurementUnit (IMU) data

By Mark Groenendijk

Accuracy Comparison of Inertial Measurement Units (IMUs)

By Ties Schwertasek

Do automated music processing pipelines actually extract musical information?

Supervisors: Dr Cynthia Liem, Dr Jaehun Kim

Measuring the Accuracy of Music Genre Classifier Models Using Cross-collection Evaluation

By Borna Salarian

Improving quality of the GTZAN dataset for SVM genre classifiers

By Leonard in 't Veen

Impact of audio codec and quality on genre classificaton and BPM recognition in Essentia

By Sjoerd Hulleman

THE EFFECT OF TEMPO TRANSFORMATIONS ON ESSENTIA’S BEAT TRACKING PIPELINES

By Vykintas ÄŒivas

Explainable Reinforcement Learning

Supervisors: Anna Lukina

Interpretability and performance comparisons of decision tree surrogate models produced by AGGREVATE

By Jonathan Wols

Interpretability of Surrogate Models Produced by Viper

By Otto Kaaij

Let smart contract meet trusted hardware based attestation

Supervisors: prof.dr. Kaitai Liang, Huanhuan Chen

Enhancing smart contract security using trusted hardware

By Agniv Chatterjee

Creating a TPM based smart contract for the Medical Supply Chain in Hyperledger Fabric

By Kevin Nanhekhan

Increasing security of an e-auction smart contracts with Intel SGX trusted hardware

By Rohan Deshamudre

Sign Hyperledger Fabric Smart Contract using the TPM

By Zeddrich Starke

Night vision for Deep Learning: exploring color invariant convolutions

Supervisors: prof. dr. Jan C. van Gemert, Attila Lengyel

Unsupervised Day-Night Domain Adaptation with a Physics Prior for Image Classification

By Gees Brouwer

A trainable Gaussian color model for determining the color invariant

By Gianpaolo Gioia

Unpaired day-night domain adaptation using CycleGANs combined with CIConv

By Thomas Streefkerk

Predicting Earthquakes with Deep Neural Networks

Supervisors: Mohammad Sabbaqi, Maosheng Yang, Elvin Isufi

Earthquake prediction: A comparison between MLP and SVM

By Daniel van den Akker

How does a CNN mixed with LSTM methods compare with the individual one in predicting earthquakes?

By Irtaza Hashmi

Comparing multichannel mixed CNN-RNN to individual models for earthquake prediction

By Maikel Houbaer

Short-term Earthquake Prediction via Recurrent Neural Networks

By Xiangyu Du

SARS-CoV-2 abundance quantification from wastewater sequencing data

Supervisors: Jasmijn Baaijens

Optimal region-based reference set design: SARS-CoV-2 lineage abundance quantification from wastewater sequencing data

By Ioanna Nika

The impact of sequencing errors and contaminating viruses on SARS-CoV-2 variant detection in wastewater

By Mart van der Lugt

Kallisto repurposed: Focusing on genomic regions of SARS-CoV-2 to better predict variant abundances in wastewater

By Matei Anton

EFFECT OF GRANULARITY ON SARS-COV-2 VARIANT ABUNDANCE ESTIMATES USING DOMESTIC WASTEWATER.

By Yash Kalia

Secure enhancement for smart contract

Supervisors: prof.dr. Kaitai Liang

Enhancing Hyperledger Fabric smart contracts with secret sharing

By Ali Kahawati

Using Self-Encryption to safeguard data security in Fabric’s smart contract

By Chaiwon Park

Secure Smart Contract-Based Data Aggregation using Homomorphic Encryption

By Floor Joosen

Secure smart contract data sharing for IoT devices

By Julio Vega Sanchez

Created by Jordi Smit