C. Lofi
37 records found
1
Heart rate (HR) is a critical indicator of an individual’s health, serving as a key metric for detecting potential cardiac issues. This paper explores a method for real-time heart rate measurement using RGB camera footage, aimed at general health monitoring. The proposed method u
...
A reliable dependency resolution process should minimize dependency-related issues. We identify transparency, stability, and flexibility as the three core properties that define a reliable resolution process and discuss how different dependency declaration strategies affect them.
...
Text summarisation in healthcare to reduce workload
Summarising patient experiences for healthcare professionals
Summarising patient interactions creates a huge workload for the healthcare professionals. This research finds that patient interactions contain a lot of noise that is subjective of nature. To explore the problem area interviews with a summarisation prototype have been conducted
...
Ever since the origin of human life, we have been infected by a wide range of viruses. These pathogens have invaded our cells, leaving behind traces of their presence in our genome, known as endogenous viral elements (EVEs). Among the affected cells are neurons. The infectious hy
...
Dynamic Algorithmic Fairness Monitoring in Machine Learning
The Effect of Ageing of Datasets in Long Term Fairness
Recent scandals like the dutch Toeslagenaffaire have shown the importance of fairness monitoring of machine learning models. When not careful, automated decision making models can unfairly favor groups of people and discriminate other groups. The results can be devastating for th
...
Analysing Data Features on Algorithmic Fairness in Machine Learning
Comparing the sensitivity of data features under fairness properties between different sectors
Fairness in machine learning is an increasingly important yet complex issue, especially as these algorithms are integrated into critical decision-making processes across various sec- tors. This research focuses on the impact of features under fairness properties across multiple s
...
Sonic Filter Localization
Integrating Particle Filter with Sound Source Localization techniques to achieve accurate indoor localization
For my master’s thesis, I developed a novel indoor localization approach that can achieve accurate localization results. Indoor localization is a well-known topic of research, and many attempts have been made to find the so-called holy grail. For a robotic car swarm to be able to
...
The SMICT algorithm for enhancing fairness in Dynamic Datasets
Research Project under the topic of Dynamic Algorithmic Fairness.
As machine learning algorithms become more and more prevalent, so do the inherent risks of unfair classification of disadvantaged or underrepresented groups. Additionally, in a dynamic context, the underlying distributions can shift over time, so corrective measures that can
...
Curve Reconstruction and Approximation in Binarised Scanned Historic Watermark Images
A Study of Techniques Aiding Binarisation for an Automated Watermark Similarity-matching Pipeline
A curve is a continuously bending line with no angles that can be found anywhere in the real world, forming shapes and outlines. They are also the building blocks of historic watermarks, imprinted images on paper that may be used to identify its manufacturers. Their shapes consis
...
Optimizing Database Joins
Cost Models and Benchmarking for CPU and GPU Systems
Optimizing SQL query execution through effective cost models is a critical challenge in database management systems (DBMS). This thesis introduces a modular benchmarking system for cost models, with a pluggable architecture for both cost models and execution engines, enabling com
...
Adding fault tolerance to OpenCL
Through redundant heterogeneous computing
The ever-increasing demand for computing has led to the need for specialized heterogeneous hardware, and the frameworks required to utilize them. Besides the traditional central processing units, more and more programs will make use of specialized hardware to accelerate computati
...
Formal verification is a powerful tool for ensuring program correctness but is often hard to learn to use and has not yet spread into the commercial world. This thesis focuses on finding an easy-to-use solution to make formal verification available in popular programming language
...
Replacing the acquisition function in Bayesian optimization by a neural network
How effectively do meta-learned acquisition functions in Bayesian optimization perform when optimizing for control variates of unknown functions, as compared to BO with standard acquisition functions
Bayesian Optimization (BO) has demonstrated significant utility across numerous applications. However, due to it being designed as a universal optimizer, its performance can often be suboptimal in specialized environments. To overcome this issue, research has been conducted into
...
An empirical analysis of entropy search in batch bayesian optimisation
A comprehensive study of function shape, batch size, noise level, and dimensionality impact on information-theoretic methods
Bayesian optimisation is a rapidly growing area of research that aims to identify the optimum of the black-box function, as it strategically directs the optimisation process towards promising regions. This paper provides an overview of the theoretical background used by the Entro
...
Measuring students’ progress in Machine Learning
A case study of Decision Trees and Random Forests
Machine Learning (ML) is a rapidly growing field, therefore ensuring that students deeply understand such concepts is of key importance in order to certify that they are prepared for the challenges and opportunities of the future workforce. Despite this, literature on teaching ML
...
This paper presents a novel approach to synthetic data generation for OCR post-correction, utilizing specific background and font variations tailored to specific timeperiods. The goal is to use synthetic data to enhance text accuracy in digitized historical documents. The propose
...
Scientific problems are often concerned with optimization of control variables of complex systems, for instance hyperparameters of machine learning models. A popular solution for such intractable environments is Bayesian optimization. However, many implementations disregard dynam
...
The European Commission is developing a European Digital Identity (EDI), which will enable a trustworthy digital proof of identity for its citizens. We present a proof of identity in combination with cryptographic evidence of the natural person being authorized to act on behalf o
...
Tactile Internet opens many new possibilities as it solves one of the critical problems in the modern-day Internet, namely latency. Remote operations are possible that are deemed too dangerous with current technologies. Interacting directly with the remote environment without bei
...