Browse by Degree programme

A

Adham, Omar (2022) Building An Automated Theorem Prover for Jankov Logic. Bachelor's Thesis, Computing Science.

Agafitei, Miriam-Bogdana (2022) Enhancing the Automata Theory Course with Notions from Reactive Systems. Bachelor's Thesis, Computing Science.

Andringa, Lars (2022) Automating XML parser generation for specific data operations. Bachelor's Thesis, Computing Science.

Apol, Tom (2022) Per-patch noise functions. Bachelor's Thesis, Computing Science.

Assaf, Mohammad (2022) Automated Planning of Data Processing Pipelines. Bachelor's Thesis, Computing Science.

Aydin, Utku (2022) Expanding the Vulnerability Detection of AndroBugs Considering the Recent Changes in the Android System. Bachelor's Thesis, Computing Science.

B

Bartelsman Mejía, Miguel (2022) Skeletal semantics for message-passing concurrency - from actors to channels and back. Bachelor's Thesis, Computing Science.

Basir, Suhaib (2022) Quantifying Information Exposure for In-App Web Browsers. Bachelor's Thesis, Computing Science.

Baxan, Daniel (2022) Identifying the security & privacy risks of android based mobile payment libraries using vulnerability scanners. Bachelor's Thesis, Computing Science.

Beekum, Damian, van (2022) The viability of metamorphic testing. Bachelor's Thesis, Computing Science.

Berardi, Massimiliano and Penca, Matei-Tudor and Boza, Rares-Dorian (2022) Mining and Analysis of Cost-related Decisions in Cloud Infrastructures. Bachelor's Thesis, Computing Science.

Bighiu, Sorin Iulian (2022) An investigation towards designing decentralized applications for individuals with visual impairments. Bachelor's Thesis, Computing Science.

Blok, Peter Jan (2022) Gamification of Virtual Ray Tracer. Bachelor's Thesis, Computing Science.

Budaj, Lubor (2022) Formalization of modal logic S5 in the Coq proof assistant. Bachelor's Thesis, Computing Science.

C

Chiang, Yu-Hung (2022) How do rumour and non-rumour travel beyond their echo chamber? Bachelor's Thesis, Computing Science.

Choi, Hyungwon (2022) Software Verification of Data Processing Pipelines. Bachelor's Thesis, Computing Science.

Ciocirlan, George-Alexandru (2022) Security vulnerability detection in cameras, printers and smart TVs based on Shodan and Nessus Essentials. Bachelor's Thesis, Computing Science.

Corchis, Vlad (2022) Precision and Flexibility Improvements with Tilt Brush's Guidance Tools. Bachelor's Thesis, Computing Science.

D

Dadashov-Khandan, Chingiz (2022) Fine Control of 3D Meshes in Tilt Brush through Sculpting. Bachelor's Thesis, Computing Science.

Dan, Andreea-Ioana (2022) Knowledge Mining in Scientific Articles. Bachelor's Thesis, Computing Science.

Dobre, Rares-Andrei (2022) A dynamic approach to protocol conformance verification using multiparty session types. Bachelor's Thesis, Computing Science.

Dumitrache, Alexa-Cristina (2022) The list of installed apps as a reflection of a user: A user study. Bachelor's Thesis, Computing Science.

Dumitriu, Andrei (2022) Linear algorithms for Parity Games with the Signature of a Potential. Bachelor's Thesis, Computing Science.

During, Joël (2022) The Trade-Off Between Computation Time and Memory Usage for the Locally Aligned Ant Technique. Bachelor's Thesis, Computing Science.

F

Faroghi, Said (2022) Mining architectural knowledge in issue tracking systems. Bachelor's Thesis, Computing Science.

G

Gericke, Kirsten (2022) Exploring Types, Topics and Knowledge Concepts in Architectural Blogs. Bachelor's Thesis, Computing Science.

Gevers, Kevin (2022) Monitoring of computational waste in cloud-based applications. Bachelor's Thesis, Computing Science.

Guan, Xiaoyu (2022) Studying the decoy e ect in the Android location permission prompt. Bachelor's Thesis, Computing Science.

H

Haan, Eize de (2022) Detecting self-admitted technical debt in an industrial setting. Bachelor's Thesis, Computing Science.

Hasami, Arjan (2022) Can Code Smells serve as indicators for Security Vulnerabilities in Java-based Android applications. Bachelor's Thesis, Computing Science.

Hendriks, Attie (2022) A Reversible Semantics for Logic-Based Typed Concurrent Processes. Bachelor's Thesis, Computing Science.

Heo, Jeewon (2022) Detecting Holograms in Identity Documents Using Single Shot Detector. Bachelor's Thesis, Computing Science.

Herwijnen, Cornelis Teunis van (2022) Siamese neural network for camera identification through sensor pattern noise. Bachelor's Thesis, Computing Science.

Hewson, Luke (2022) Unsupervised Machine Learning Techniques for Leak Localization in Water Distribution Networks: A Comparative Study. Bachelor's Thesis, Computing Science.

Huizen, Bart, van (2022) Adapting MTO to Radio Astronomical Data Part III: Optimizing Preprocessing and Background Estimation. Bachelor's Thesis, Computing Science.

J

Jager, Florian de (2022) Total ordering of Events using In-Network Computing in the context of Complex-Event Processing. Bachelor's Thesis, Computing Science.

Jokhan, Krishan (2022) Dangerous Smells in Your Phone. Bachelor's Thesis, Computing Science.

K

Kadiri, Maksym (2022) Chain of custody provenance information in blockchain-based systems. Bachelor's Thesis, Computing Science.

Kandil, Medhat Mahmoud Mohamed Medhat (2022) Comparing Validation Methods for Binary Classification Models: Cross-Validation and Bootstrap. Bachelor's Thesis, Computing Science.

Ketonen, Samuli (2022) Exploring Architectural Knowledge in Blogs using Latent Dirichlet Allocation. Bachelor's Thesis, Computing Science.

Kilburn, Floor (2022) Image stacking on both a comet and stars. Bachelor's Thesis, Computing Science.

Kokushkin, Alexander (2022) Continuous Evaluation of Apps Intrusiveness Based on Their Privileges and Capabilities. Bachelor's Thesis, Computing Science.

Koshenkov, Denis (2022) Automation of Street Light Intensity. Bachelor's Thesis, Computing Science.

L

Lalis, Andrew (2022) Searching for Architectural Design Decisions in Open-Source Software Mailing Lists. Bachelor's Thesis, Computing Science.

Landsaat, Eelke (2022) A Model Checker for Game Logic via Parity Games. Bachelor's Thesis, Computing Science.

Lassche, Herman (2022) Privacy implications of screen time applications on iOS and Android. Bachelor's Thesis, Computing Science.

Lipka, Johanna (2022) Estimating classroom proximity through smartphone sensors. Bachelor's Thesis, Computing Science.

Lucas, Mike (2022) Improving few-shot learning for fine-grained image classification. Bachelor's Thesis, Computing Science.

M

Maccari, Giulio (2022) A study on in-app browsers and analysis of their user agent strings: should you use them? Bachelor's Thesis, Computing Science.

Meijer, Jean Paul Donovan (2022) Design and Performance Analysis of Distributed Event Stream Processing using In-Network Computing. Bachelor's Thesis, Computing Science.

Molema, Yorick (2022) Cloud based air quality monitoring system. Bachelor's Thesis, Computing Science.

Molen, Janco van der (2022) Analyzing ACM classification codes using multi-label classification. Bachelor's Thesis, Computing Science.

Monhemius, Hessel (2022) Survey of the decision problem for linear logic and its fragments. Bachelor's Thesis, Computing Science.

N

Nambiar, Athul Raj (2022) Analysis of One-Shot Facial Recognition for Real-Time Identity Verification using Deep Learning. Bachelor's Thesis, Computing Science.

Nguyen, Tran Duy hieu (2022) Backtracking with Tree Decomposition for Solving Constraint Optimization Problems. Bachelor's Thesis, Computing Science.

O

Ozaras, Emre (2022) Integration of Blockchain Smart Contracts with Zeebe Process Engine as Task Implementations. Bachelor's Thesis, Computing Science.

P

Pijnacker, Bjorn (2022) Performance Comparison of Parallel Programming Models for the Convolution Algorithm. Bachelor's Thesis, Computing Science.

Pot, Derk Jan (2022) Analysing Redundant Exploration of Parallel Search Algorithms. Bachelor's Thesis, Computing Science.

Pot, Derk Jan (2022) Analysing Redundant Exploration of Parallel Search Algorithms. Bachelor's Thesis, Computing Science.

Q

Quaicoe, Hector (2022) Gaining Insights from EV Charging Reviews Using Natural Language Processing. Bachelor's Thesis, Computing Science.

R

Riemsdijk, Chris van (2022) Surrogate model development for short term load forecasting. Bachelor's Thesis, Computing Science.

Rigoni, Davide (2022) Digital Twins for Scientific Experiments. Bachelor's Thesis, Computing Science.

Rosema, Roan (2022) Adapting Virtual Ray Tracer to a Web and Mobile Application. Bachelor's Thesis, Computing Science.

S

Schagen, Steven J. van (2022) Game Logic: A Proof Transformation from Gentzen to Hilbert. Bachelor's Thesis, Computing Science.

Schimbător, Laura-Andrea (2022) Hoare Logics for Skeletal Semantics. Bachelor's Thesis, Computing Science.

Segura Lorente, Adrian (2022) Image retrieval using siamese networks with application to side-view cattle. Bachelor's Thesis, Computing Science.

Skala, Daniel (2022) Multi-Document Keyphrase Extraction. Bachelor's Thesis, Computing Science.

T

Teodorescu, Micha (2022) Blockchain for the Protection of Forensic Evidence, A Comprehensive Study. Bachelor's Thesis, Computing Science.

Thioux, Antonin (2022) Redesign of the Spatio-Temporal Contour Visualization Pipeline. Bachelor's Thesis, Computing Science.

Toie, Vlad (2022) A Technical Evaluation of Mobile Security Tools. Bachelor's Thesis, Computing Science.

Turgay, Hande Naz (2022) Change Mining and Logging in Process-Aware Information Systems: A Literature Review. Bachelor's Thesis, Computing Science.

V

Veres, Andrei-Claudiu (2022) Web Application Vulnerability Scanners Comparison. Bachelor's Thesis, Computing Science.

Vos, Wesley (2022) Development of the BEEGrader. Bachelor's Thesis, Computing Science.

W

Wang, Heyang (2022) Analysis and Predictive Modelling of Network-wide EV Charging Patterns. Bachelor's Thesis, Computing Science.

Westra, Martijn (2022) EMD on Supervoxels for Spatio-Temporal Volume Visualization. Bachelor's Thesis, Computing Science.

Wezel, Chris van (2022) A Virtual Ray Tracer. Bachelor's Thesis, Computing Science.

Wortelboer, Sjors (2022) Mail Marketing Microservice using AWS SES. Bachelor's Thesis, Computing Science.

Y

Yilmaz, Bora (2022) Acceleration data structures for Virtual Ray Tracer. Bachelor's Thesis, Computing Science.

Z

Zailskas, Felix (2022) An Evaluation of three Dissimilarity Measures for Alpha Trees in Colored Images. Bachelor's Thesis, Computing Science.

Zwaag, Jesper van der (2022) Virtual Ray Tracer: Distribution Ray Tracing. Bachelor's Thesis, Computing Science.