Searched for: contributor%3A%22Langendoen%2C+K.G.+%28graduation+committee%29%22
(1 - 20 of 50)
- document
-
WANG, NIAN RU (author)This thesis presents LightLetter, a system that is designed for recognizing fingertip air-writing of both numbers and letters. This provides a cost-effective and privacy-conscious method for interacting with public devices, such as touchscreens. The current iteration of LightLetter allows for the input of letters and numbers to public devices...master thesis 2023
- document
-
Pathak, Karan (author)Computer Architects often walk the tightrope between performance, power and area while designing modern day processors. This daunting task is made even more challenging by short Time-to-Market requirements set by the clients. In light of these challenges, architectural simulators provide a much needed tool for the architects to gauge the impact...master thesis 2023
- document
-
Kloppenburg, Jeroen (author)The behaviour of software is intrinsically linked to the hardware it runs on. As hardware innovations continuously change the landscape of computing, software has to adapt to these changes. Running legacy software on new hardware requires either the old hardware to be emulated, or a very time-consuming and error-prone process of reverse...master thesis 2023
- document
-
Padilla Cancio, José (author)This paper concerns itself with correct by construction refactoring of Maybe values to List values in a Haskell-like language (HLL) as a case study on data-oriented refactorings. Our language makes use of intrinsically-typed syntax and de Bruijn indices for variables. Operational semantics are defined using big step semantics. We define a...bachelor thesis 2023
- document
-
Bastenhof, Jeroen (author)Refactoring is a useful tool for increasing the overall quality of software without making changes to how it interacts with the environment. To verify that a refactoring operation correctly transforms an expression, one can provide a formal proof. Using Agda, a dependently-typed language, as a proof assistant, we investigate the feasibility of...bachelor thesis 2023
- document
-
Jóźwik, Michał (author)When designing critical software, great care must be taken to guarantee its correctness. Refactoring is one of the techniques used to improve code readability, maintainability, and other factors without changing functionality. Thus, to ensure that it is properly applied, automated tools are used to perform refactoring. To ensure that the code...bachelor thesis 2023
- document
-
Struik, Kalle (author)Refactoring tools are an important tool for developers, but their reliability can be questionable at times. In this paper, we show that it is feasible to formally verify refactoring tools using computer-aided proofs. To this end, we create a Haskell-like language and a refactoring operation on this language to add an extra function argument to...bachelor thesis 2023
- document
-
Zandbergen, Timen (author)This paper provides a refactoring from do notation to >>= operators and proves that this refactoring maintains observational equivalence. As programs grow ever larger and more complex, there is a growing need to automatically apply refactorings to these programs in a dependable manner. Current refactoring engines often contain errors, even...bachelor thesis 2023
- document
-
Džiugaitė, Neda (author)Software testing is a necessary aspect of software development. With high expectations placed on software testers and a shortage of qualified professionals, Massive Open Online Courses (MOOCs) have emerged as a potential solution to improve software testing education. MOOCs provide accessible education and can offer a comprehensive review of...bachelor thesis 2023
- document
-
Özmetin, Doruk (author)In this study, we try to understand what kind of topics and frameworks are covered by the popular software testing books, and see whether these topics satisfy the industry needs and address the rising trends. To define "popular" software testing books, we formulated three heuristics. The topics of the books are analyzed through LDA topic...bachelor thesis 2023
- document
-
Gupta, Dibyendu (author)This paper aims to unveil and gather testing-related information from Stack Overflow, highlighting it as a valuable resource for practitioners seeking answers and guidance. <br/>The study aims to accumulate knowledge from real-life experiences shared on Stack Overflow and bridge the knowledge gap between industry practices and teaching practices...bachelor thesis 2023
- document
-
de Munck, Philip (author)As software and systems continue to get more complex, software testing is an important field to ensure that software functions properly. Every day information about software testing is being discussed on the internet via blog posts, discussion boards, and more. This information is scattered among many different websites, making it hard to access...bachelor thesis 2023
- document
-
Gökmen, Onur (author)Software testing plays a crucial role in delivering reliable software. Currently, research is ongoing on how software developers and testers acquire this knowledge of software testing to deliver reliable software and what kind of knowledge is being transferred to developers and testers. In an effort to gain more insight into this area, we will...bachelor thesis 2023
- document
-
Dijkstra, Jonathan (author)In recent years, the agricultural sector has seen significant techno- logical improvements under the flag of precision agriculture, assisting farmers in the manageability that coincides with large-scale farming. Moreover, precision agriculture aims to enable plant-specific farming on the macro scale that is demanded by the current global...master thesis 2023
- 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
-
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
-
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
-
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
Searched for: contributor%3A%22Langendoen%2C+K.G.+%28graduation+committee%29%22
(1 - 20 of 50)