Searched for: contributor%3A%22Langendoen%2C+K.G.+%28graduation+committee%29%22
(1 - 20 of 56)
- document
-
Regmi, Bishwas (author)Emotion recognition in Virtual Reality(VR) has the potential to offer numerous benefits across various sectors such as mental healthcare, education, marketing, entertainment, etc. Although emotion recognition itself is a mature field, the sub-field of VR-based emotion recognition is still in its early stages of development. It was found that a...master thesis 2024
- document
-
Verlooy, Bas (author)The Alexandria3K library, a versatile Python-based tool, has been expanded to include the integra- tion of the PubMed dataset, enriching its capabil- ities in the analysis of scientific papers. Origi- nally supporting major datasets like Crossref and US patents, and smaller yet significant datasets like ORCID. The addition of PubMed enables in...bachelor thesis 2024
- document
-
Gupta, Dibyendu (author)The growth of academic publications, heterogeneity of datasets and the absence of a globally accepted organization identifier introduce the challenge of affiliation disambiguation in bibliographic databases. In this paper, we create a baseline using the currently implemented algorithm for author affiliation linkage in Alexandria3k by comparing...bachelor thesis 2024
- document
-
Lim, Dayoung (author)Accurate topic classification is crucial in the scientific community when it comes to finding relevant journals. However, the efficiency and accuracy of topic classification of publications do not seem to be at its best performance, especially with the fast-paced rise in the quantity of research papers. Our research aims to address this problem...bachelor thesis 2024
- document
-
van Lieshout, Jelle (author)Author name disambiguation, otherwise described as (publication) record linking, is a problem that has had considerable research dedicated to its solv- ing. Author attributions, calculating research met- rics and conducting literature reviews are amongst processes that experience increased difficulty due to ambiguous author names. In this study,...bachelor thesis 2024
- 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
-
van der Kolk, Niels (author)Hidden spy cameras are a growing worldwide threat to people’s intimacy and privacy. With the growing interest in full-screen devices and the underlying development of under-screen cameras, a new type of potential security risk is introduced. Recent smartphones such as the ZTE AXON 40 already demonstrate that it’s infeasible to detect the camera...master 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
-
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
-
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
-
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
-
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
-
Ö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
-
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
-
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
-
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
Searched for: contributor%3A%22Langendoen%2C+K.G.+%28graduation+committee%29%22
(1 - 20 of 56)