Presentationer av examensarbete i datavetenskap på kandidatnivå (1DT340)
Presentationerna direktsänds även på Zoom (mötes ID: 663 1079 7704).
| Datum | Tid | Plats | Student | Titel | Granskare |
|---|---|---|---|---|---|
2024-05-24 | 13:15 | Ång/101258 | Erik Braathen & Viktor Bakken | Implementing Implicit Constraints for Local Search | Justin Pearson |
15:15 | Ång/101258 | Linda Strid | Performance analysis of data structures in Java using micro benchmarking | Ali Semi Yenimol | |
2024-05-27 | 9:15 | Ång/101172 | Tove Jansson | Validation of a formal floating-point model in Coq | Justin Pearson |
10:15 | Ång/101172 | Sabereh Hassanyazdi | From Data to Therapy: Machine Learning for High-Grade Glioma Treatment Personalization | Justin Pearson | |
11:15 | Ång/101172 | Olof Lindström | Validation of a formal floating-point model for the Interactive proof assistant Isabelle/HOL | Justin Pearson | |
13:15 | Ång/101172 | Victor Odebäck | CTriPio: Developing an Intermediate Representation of C code in Trieste for Static Analysis | Lars-Henrik Eriksson | |
2024-05-29 | 10:15 | Ång/101172 | Noah Wassberg | Implementing and Evaluating an LSTM Based Intrusion Detection System for IoT | Amin Kaveh |
11:15 | Ång/101172 | Ida Hellqvist | Streamlining Spectral Data Generation with Turbospectrum | Gesina Menz | |
16:15 | Ång/101172 | Simon Lalloo | Flexible Scheduling of Traveling Salesmen Using Traffic Data | Pontus Ekberg | |
2024-05-30 | 9:15 | Ång/101172 | Hugo Eidmann | Validation of HOL4’s Formal Floating-Point Model | Justin Pearson |
10:15 | Ång/101172 | Erik Odhner | Enabling Secure Communications with WireGuard in Decentralized Networks | Hannah Atmer | |
11:15 | Ång/101172 | Engla Marmefelt | Visualising greenhouse gas emissions from academic travel | Andrey Shternshis | |
14:15 | Ång/101172 | Arvid Lorén | Hybrid E/P Cores Prefetch Optimization | Chang Hyun Park | |
15:15 | Ång/101172 | Truls Karlsson | Enhancing Face Recognition Pipelines | Nikita Singh | |
2024-06-03 | 10:15 | Ång/101258 | Erik Magnehed | Developing and evaluating an automated test suite for Bubify | Max Kovalenko |
11:15 | Ång/101258 | Annika Elvers | Textual Metrics for Temporal Text Networks | Justin Pearson | |
13:15 | Ång/101258 | Max Malmros | Prefetching with Respect to Indirect Memory Accesses | Chang Hyun Park | |
2024-06-05 | 11:15 | Ång/101258 | Daniel Brown | Performance optimisation of an Intel Alderlake i9-12900K CPU via dynamic hardware prefetching | Stefanos Kaxiras |
2024-06-07 | 10:15 | Zoom only | Pouria Karami | Virtual dashboard UX design and development | David Black-Schaffer |
| 11:15 | Ång/101258 | Arvid Morelid | Dynamic software updates in embedded devices | Tiemo Voigt | |
2024-06-11 | 10:15 | Zoom Only | Nathalie Borglund | Security and application deployment using Docker | Yuan Yao |
2024-06-13 | 9:15 | Ång/101258 | Hampus Lyrstrand | Perceptions and Practices of Software and Technology in Men's Swedish Elite Football | Aletta Nylén |
10:15 | Ång/101258 | Zakarie Warsame | Enhancing User Engagement and Treatment Efficacy in Digital Health | David Black-Schaffer | |
11:15 | Ång/101258 | Samuel Lindberg | The Ability to Seperate Multiple Conversations Apart From One Another | Justin Pearson | |
2024-06-18 | 11:15 | Ång/101258 | Agron Metaj | Implementing and evaluating variations of the multicast DIS-flood attack on RPL | Christian Rohner |
2024-06-19 | 09:15 | Ång/101258 | Josef Tiljander | Identifying most improved students using learning analytics | Lars-Åke Nordén |
10:15 | Ång/101258 | Linus Hellström | Analyzing Various Implementations of the Radial Basis Function Partition of Unity Method for Option Pricing in 3D | Andreas Michael | |
11:15 | Ång/101258 | Linus Waehler | |||
13:15 | Ång/101258 | David Lide | Plate Layout Design Using Local Search | Justin Pearson | |
14:15 | Ång/101258 | Loran Daqouri | Performance Analysis of Time Series Databases for IoT Applications | Karl Marklund | |
15:15 | Ång/101258 | Erik Karlsson | The GNU Emacs Architecture And Concurrency: A Way Forward | Karl Marklund | |
2024-06-20 | 13:15 | Ång/101258 | Isak Drevestad | Parallel/Distributed State-Space Exploration in an Infinite-State Model Checker | Philipp Rümmer |
14:15 | Ång/101258 | Fredrik Jäderblom | Implementing and Evaluating FLATA Compatibility with Modern SMT Solvers | Philipp Rümmer | |
15:15 | Ång/101258 | Kalle Nordgren | Philipp Rümmer |