Searched for: contributor%3A%22Langendoen%2C+K.G.+%28graduation+committee%29%22
(21 - 40 of 56)
- document
-
Gökçe, Tolga (author)An algal bloom is defined as a rapid increase in common algae (phytoplankton) abundance in water bodies and it can occur when a group of certain environmental factors is combined. If the algae populations grow out of control, such algal blooms become problematic and cause damage to the ecosystem, such phenomena are called harmful algal blooms....bachelor thesis 2023
- document
-
Bayraktar, Kerem (author)The term ”Algal Bloom” refers to the accumulation of algae in a confined geological space. They may harm human health and negatively affect ecological systems around the area. Thus, forecasting algal blooms could mitigate the environmental and socio-economical damages. Particularly, the use of deep learning methods could distinguish underlying...bachelor thesis 2023
- document
-
Lubbers, Rob (author)The aim of this paper is to find out which Machine Learning (ML) model predicts the concentration of Chlorophyll-a, in the Palmar lake in Uruguay best. Currently there are no such models to predict the growth in this lake. The algorithms which will be compared in this paper are a Linear Regression model and the U-Net model. We will compare the...bachelor thesis 2023
- document
-
Alvarez Lucendo, Rodrigo (author)Forecasting algal blooms using remote sensing data is less labour-intensive and has better cover- age in time and space than direct water sampling. The paper implements a deep learning technique, the UNet Architecture, to predict the chlorophyll concentration, which is a good indicator for al- gal bloom in the Rio Negro water reservoirs of...bachelor thesis 2023
- document
-
de Gruyl, Einar (author)This research presents a method for forecasting algal blooms using remote sensing with spatially and temporally sparse satellite data. The method involves the use of multiple interpolation methods to interpolate the sparse input data. The approach is shown to be effective in predicting algal blooms in areas where data is sparse, and the results...bachelor thesis 2023
- document
-
van den Ham, Pieter (author)Computer architectures with weak memory models, such as ARMv8 and ARMv7, allow memory accesses to be reordered in many situations.<br/>Therefore, weak memory models may cause a program to exhibit more behavior than a strong memory model, such as x86.<br/>Fency is a static analysis tool that inserts memory fences to ensure that a program exhibits...master thesis 2022
- document
-
Goedemondt, Koen (author)This thesis describes the design and implementation of µLightDigit, which is the second iteration of the LightDigit project: a contactless air-writing system based on ambient light detection with embedded deep learning using only simple photodiodes. The system is able to classify digits 0–9 written in the air by detecting the dynamic hand shadow...master thesis 2022
- document
-
Keller, Ethan (author)Since the regularization of data privacy (e.g., GDPR), the effectiveness of data sharing has decreased. A promising technique to circumvent this problem is tabular data synthesis (i.e., the generation of fake tabular data that statistically resembles the original data). However, the state-of-the-art tabular data synthesis model, CTAB-GAN, fails...bachelor thesis 2022
- document
-
Visser, Marc (author)Sharing data is becoming increasingly difficult, due to the regulatory constraints imposed by the General Data Protection Regulation (GDPR). Businesses are not allowed to share data which contains privacy sensitive information. Synthetic data generation has emerged as a solution to this problem. State of the art generative adversarial networks ...bachelor thesis 2022
- document
-
de Vos, Adriaan (author)The upcoming IEEE 802.1CB standard aims to solve performance and reliability issues in Time-Sensitive Networking (TSN). Mission-critical systems often use these standards for communication in automotive, industrial, and avionic networks. However, researchers did not sufficiently investigate the security risks and possible mitigation solutions to...master thesis 2022
- document
-
Ranjha, Sayra (author)The temporal correctness of safety-critical systems is typically guaranteed via a response-time analysis, whose goal is to determine the worst-case response time (WCRT) of a set of input jobs when they are scheduled by a given scheduling policy on a computing resource. <br/>However, response-time analysis is a hard problem to solve, with most...master thesis 2021
- document
-
Pîrcălăboiu, Laura (author)Recent years have seen a surge of interest for dynamic testing techniques, one of which is symbolic execution. It is the main point of interest of this research paper, in which we give an overview of a framework for symbolically executing definitional interpreters. We will also discuss techniques that we made use of in developing the symbolic...bachelor thesis 2021
- document
-
Boon Alexaki, Philippos (author)Definitional interpreters are difficult to test with a pre-defined test suite. This paper tries to determine the effectiveness of automatic testing of definitional interpreters, using concolic execution. First we develop a model for concolic execution of a functional language. Then we identify different categories of common mistakes when writing...bachelor thesis 2021
- document
-
Juhošová, Sára (author)Manually testing definitional interpreters and their type checkers is a tedious and error-prone process which can largely benefit from automation. This study evaluates the effectiveness of property-based testing on errors in type checkers. Metrics used include the ability to catch different types of errors as well as the ability to provide a...bachelor thesis 2021
- document
-
Backx, Ruben (author)Grading and giving feedback to student submissions automatically is becoming more and more necessary with an increasing amount of students. To verify the correctness of student-written definitional interpreters, a program equivalence approach has been implemented, improved, and extended with new rules to make it more suited specifically for...bachelor thesis 2021
- document
-
Moraru, Alexandru (author)This paper presents an evaluation of different generation methods of input expressions to definitional interpreters. We compare three different ways of generating expressions of a specified algebraic data type. The approaches that we describe are QuickCheck, SmallCheck and a uniform generation technique, as laid out in their original papers....bachelor thesis 2021
- document
-
Anema, Tim (author)In this paper, we consider the Reliable Communication and Byzantine Reliable Broadcast problems on partially connected networks with authenticated links. We consider the Reliable Communication (RC) problem on partially connected networks, and the Byzantine Reliable Broadcast (BRB) problem on partially and fully connected networks. Danny Dolev's...bachelor thesis 2021
- document
-
Klabér, Rahim (author)In this paper, we consider Byzantine reliable broadcast on partially connected networks using signatures. Byzantine reliable broadcast in partially connected and authenticated networks can be achieved by combining two algorithms, Gabriel Bracha's double-echo broadcast protocol and Danny Dolev's reliable communication protocol. Bracha's algorithm...bachelor thesis 2021
- document
-
Fantazia, Qusay (author)Broadcast protocols are a crucial building block for some Agreement protocols. These are protocols used to reach an agreement on common values, action or datum in a distributed system through sending it in a message for other processes to accept it \cite{bracha1987asynchronous}. Byzantine processes are processes that hinder the network from...bachelor thesis 2021
- document
-
Addaguduri Aditya, Aditya (author)This project aims to explore the possibility of monitoring the vitals of the neonate remotely and without placing any sensors or electrodes on the subjects body using Thermal Imaging.master thesis 2021
Searched for: contributor%3A%22Langendoen%2C+K.G.+%28graduation+committee%29%22
(21 - 40 of 56)