1. semester
Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat
2. semester
Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat
3. semester
Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat
4. semester
Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat
- 2023
Classifying Abnormal Behaviour Caused by Soft-errors in Logs From PID-controlled Environments Using Machine Learning Models - A Study on the "LANSCE 18 Cruise" Dataset
Anna Veibel Bonde, Simon Kanne Mikkelsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2023
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
On Borrow-Checking Analysis Precision in Rust
Falke Bjernemose Øtker Carlsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2023
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2022
Augmented reality "Root of Guilt": Responses to Human vs. Robotic NPCs.
Peter Madsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2022
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Exploring transfer-learning with TCN-encoders using movement related cortical potentials in single-trials
Rasmus Sønder Krog, Andrei-Ioan Katona
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2022
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Implementations of Sized Types for Parallel Complexity of Message-passing Processes
Thomas Herrmann, Mikkel Korup Lauridsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2022
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Musca: Deep Learning-Based Web Application for Counting Laboratory Populations of Drosophila melanogaster
Christian Schmidt Godiksen, Kristoffer Nøddebo Knudsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2022
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Structural Reductions of Colored Petri Nets and P/T Nets with Inhibitor Arcs
Jesper Adriaan van Diepen, Nicolaj Østerby Jensen, Mathias Mehl Sørensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2022
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Thread-Fuzz: Mutation-based Behavioural Blackbox Fuzzing of Thread
Asger Geel Weirsøe, Lars Bo Park Frydenskov
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2022
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
User Interface Design for UAV Swarms in Search and Rescue
Maria-Theresa Oanh Hoang, Andreh Bassam Bahodi, Rasmus Skov Buchholdt
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2022
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2021
3D Bounding Box Prediction for Embedded Systems
Rasmus Barrett, Christoffer Najbjerg Knudsen, Ahmet Pekbas
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Automata-Driven Techniques for Partial-Order Reductions and Guided Search of Petri Nets
Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Deadline Danger Detection Solutions for an Industrial Batch System using Tivoli Workload Scheduler for z/OS
Emil Ernstsen, Peter Borch Greve
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Deriving Subgoals Using Network Distillation
Nikolaj Ljørring, Lars Svane Jensen, Aryan Mohammadi Landi
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Hierarchical Training using SHAP for Interpretable Organometal Halide Perovskite Bandgap Prediction
Kenneth Kjærgaard Malowanczyk, Andreas Dahl Nielsen, Sebastian Reidar Petersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
HyperVerlet: a Deep Learning Method for Numerically Solving Initial Value Problems of Hamiltonian Systems
Anders Madsen, Frederik Baymler Mathiesen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Integrating News Article Metadata into Topic Models
Rasmus Engesgaard Christensen, Dennis Højbjerg Rose, Peter Langballe Erichsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Most Permissive Strategies for Games with Negation-free CTL
Beinir Ragnuson, Bogi Napoleon Wennerstrøm, Sigmundur Vang
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
ResqLP: Relation Sequences for Link Prediction in Knowledge Graphs
Emil Stenderup Bækdahl
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Solving Euclidean Markov Decision Processes with Neural Networks
Alexander Christoffer Eilertsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Static Taint Analysis in Rust: Using Rusts Ownership System for Precise Static Analysis
Hilmar Gústafsson, Emil Jørgensen Njor
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Structural Reductions with Partitioning
Martin Christensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Structural Similarity-Based Matrix Factorization Using Type Extension Trees for Item Cold-Start
Casper Vorm, Thorbjørn Leonard Eilers, Daniel Drejer Rasmussen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Typing Reflection in Higher-Order Psi-Calculi
Bjarke Bredow Bojesen, Stian Lybech, Alexander Rønning Bendixen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Unfolding of Colored Petri Nets by Color Quotienting and Approximation
Thomas Pedersen, Alexander Bilgram Kristensen, Peter Haahr Taankvist
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2020
Application of Inference Methodsand Caching for Real-time MedicalDiagnosis using BN2O Networks
Jens Engholm Aggerholm, Casper Skov Mathisen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Behavioural Separation with Parallel Usages for a Core Object-Oriented Language
Iaroslav Golovanov, Mathias Steen Jakobsen, Mikkel Klinke Kettunen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Early Open Source Development: Reports on Bootstrapping an Open Source Project with Distributed Users
Ruben Henrik Mensink, Jesper Fyllgraf
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Priced Timed Automata and Monte Carlo Tree Search
Jeppe Høiriis Mortensen, Adriana Mijacika
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Transfer Learning for Better Cold-Start Recommendation Using Multiple Domains
Rasmus Krusaa, Victor Kamp, Christian Langkjær Kloster
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2019
Application of Timed-Arc Colored Petri Net for Network Update Synthesis
Niels Christensen, Mark Glavind
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Clustercalc: Cluster Computing i Regneark
Christian Slot
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Cost Models for Learned Index with Insertions
Per Hedegaard Nielsen, Rasmus Vraa Bilgram
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Investigating the Benets of Ownership in Static Information Flow Security
Nikolaj Lepka, Morten Meyer Rasmussen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Supersegmenter i vejnettet: Estimering af energiforbrug for elbiler
Martin Raunkjær Andersen, Rasmus Møller Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
The Automata Learning Tool
Morten Stig Mortensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Using Spatial and Temporal Context for Predicting Energy Consumption of Electric Vehicles
Bjarke Bak Toxværd Madsen, Christoffer Popp Nørskov, Jacob Hjort Bundgaard
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2018
Development And Testing Of a Bluetooth Multi-Room System
Michael Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs
Andreas Hairing Klostergaard
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Forbedring af Abstrakt Tips Generation for Forklarende Anbefalinger
Michael Kusk Christensen, Lasse Martin Lund Würtz, Søren Nørgreen Gustafsson
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Improving CNC Processes Using Computer Vision to Digitise Physical Objects
Jakob Andersen, Thomas Egon Kærgaard, Jesper Ravn-Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Kvantitativ Analyse af Single Event Upsets i ARM
Morten Korsholm Terndrup, Thomas Rafn Andersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Modelling news progression using entity-timelines
Martin Hammer Thygesen, Michael Stisen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
PapaGo - A graphics API built on top of Vulkan, developed with a focus on programmability
Alexander Brandborg, Claus Worm Wiingreen, Anders Munkgaard, Michael Wit Dolatko
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater
Martin Kristjansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Timely Constraints of EEG in Cognitive Distraction and Focus Detection while Driving
Mikkel Bjerregaard Kristensen, Emil Riis Hansen, Eike Schneiders
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Visualization of Zones in Real-Time Models
Nicolai Brobak
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Weighted Systems in Branching-Time: Behavioural Relations, Behavioural Distances, and their Logical Characterisations
Mathias Claus Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2017
A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets
Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Clustering Based On Driving Styles Using Hot Paths
Lynge Kærlund Poulsgaard, Philip Pannerup Sørensen, Henrik Ullerichs
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
DWStar - Automated Star Schema Generation
Michael Tarp, Søren Jensen, Jacob Bach Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Exploring Use of Surface Electromyography during Horse Riding
Tina Andersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
GPU Accelerated Machine Learning
Ulf Gaarde Simonsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
In-Vehicle Activity Recognition of User Activities Using Smartwatches
Thomas Alexander Cano Hald, Mads Mårtensson
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Modeling of Combined Heat and Power Plants as Flex-offers
Philipp Daniel Freiberger
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Multi-level Deep Models for Forum Sentiment Classification
Emil Alexander Lousdahl Nesgaard, Peter Fogh
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Off by a Bit: Exploring Bit-Flip Vulnerabilities Through Program Emulation and Symbolic Execution
Anders Trier Olesen, Ólavur Debes Joensen, Jannek Alexander Westerhof Bossen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Personalized Navigation: Context-Based Preference Mining Using TensorFlow
Joachim Højbak Klokkervoll, Mike Pedersen, Samuel Nygaard Pedersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
SolveDF: Extending Spark DataFrames with support for constrained optimization
Frederik Madsen Halberg
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives
Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Vertex Similarity in Graphs using Feature Learning
Bjarke Thorn Carstens, Mads Riis Jensen, Mathias Friis Spaniel, Anders Hermansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2016
A comparison study for shortest-path queries over heterogenous spacial networks
Nichlas Bo Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Controller Synthesis by Solving Multi Weighted Games
Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann
Datalogi, Kandidat, (Kandidatuddannelse) 3. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Designer-Friendly Methods for Manual Changes of Procedurally Modeled Terrains
Toke Andresen Wivelsted
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Discount Method for Programming Language Evaluation
Tommy Aagaard Christensen, Svetomir Kurtev
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Energi Måling og Optimering af Kontinuerlig Gestus Genkendelse
Jens Emil Gydesen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Generisk typeinferens for psi-kalkyler
Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Personaliseret Ruteplanlægning med Genopladning for Elektriske Køretøjer
Andreas Strandfelt, Andreas Thor Lau, Mathias Højsleth
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Pre-Analyses Dependency Scheduling with Multiple Threads
Nichlas Korgaard Møller
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Prediction of Affective State Using Consumer Graded Hardware and Sensor Fusion
Brian Frost Pedersen, Anders Bender, Dennis Bækgaard Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Understanding the User of Interaction Tehcniques: Clarity, Comfort, Context, and Control
Elias Ringhauge, Ivan Svilenov Penchev
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
User Experience Using Physiological Measurements
Benjamin Hubert, Michael Lausdahl Fuglsang, Henrik Haxholm
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Værktøj til Transitionering fra Scratch til Python
Henrik Vinther Geertsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2015
A Complete Approximation Theory for Weighted Transition Systems
Peter Christoffersen, Mathias Ruggaard Pedersen, Mikkel Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Compositional Analysis of Timed-arc Resource Workflows with Communication
Christoffer Moesgaard, Sine Viesmose Birch
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Detecting Incorrect Wordpress Plugin Function Usage
Jens Thomas Vejlby Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Developing a BCI system for multible prdictor tasks using a consumer grade EEG reader
Daniel Bøcker Sørensen, Anders Jensen, Nicolai Lund Hasager Kirk
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Multiple Static Segmentation of Videos using a Convolution of Mixtures of Gaussian processes
Jacob Jon Jensen, Niels Nørgaard Samuelsen, Christoffer Samuel Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Parameter Synthesis for Simulation Distances Between Weighted Transition Systems
Anders Mariegaard, Julian Trier Ringsmose
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Unifying STM and Side Effects in Clojure
Thomas Stig Jacobsen, Søren Kejser Jensen, Daniel Rune Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
User-to-User Recommendations in a Fashion Portal, Utilizing a Social Network, Implicit Feedback and Clustering Approaches
Dan Duus Thøisen, Bjarne Kock, Davide Frazzetto
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2014
Applying Application-Level Correctness to the Paparazzi Autopilot
Heine Gatten Larsen, Morten Turn Pedersen, Thomas Viesmose Birch
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Controller Synthesis for Home Automation
Mathias Grund Sørensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Decomposable Common Spatial Patterns: Applying Graphical Model Selection in the Brain-Computer Interface: Applying Graphical Model Selection in the Brain-Computer Interface
Nikolaj Andersen, Jannik Frank Faarkrog, Mikkel Holm Søgaard
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
EgGS - The Energy Game Strategizer
Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Fast Cluster Exploration of BCI data using Riemannian Geometry
Adam René Gregersen, Daniel Agerskov Hejdemann Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Learning Optimal Scheduling for Time Uncertain Settings
Jakob Haahr Taankvist, Peter Gjøl Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
TinyVM: A Fault-Tolerant Virtual Machine
Martin Sørensen, Emil Custic, Rune Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Using Poisson Markov Models to Predict Game States in StarCraft
Anders Hesselager-Olesen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2013
Developing a type inference algorithm for The Ambient Calculus with Kill
Casper Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Evaluering af råd om økonomisk kørsel ud fra GPS og CANBus data
Sabrine Conny Hjøllund Mouritsen, Karsten Jakobsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
EyeGaze: Facilitating eye contact in a video mediated setting
Thomas Søndersø Nielsen, Jacob Haubach Smedegård, Anne Kathrine Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
From Formal to Computational Authenticity: An approach for reconciling formal and computational authenticity
Michael Garde
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Infinite Runs in Recharge Automata
Daniel Ejsing-Duun, Lisa Fontani
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
On-The-Fly Model Checking of Weighted Computation Tree Logic
Jonas Finnemann Jensen, Lars Kærlund Østergaard
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Recognizing North Atlantic right whale up-calls using Gaussian Mixture Models and Hidden Markov Models
Stine Back Larsen, Morten Albeck Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
SKAT - Alternativ tilgang til Sentimental Analyse
Kim Bernhard Andersen, Jesper Puggaard Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2012
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Operational and Denotational Properties of a Modal Process Logic
Hans Huttel
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2012
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- 2011
Analysis of the recommendation systems based on the tensor factorization techniques, experiments and the proposals
Martin Leginus, Valdas Zemaitis
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
Data-driven Resource Management in Real-time Strategy
Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Kandidatspeciale og HD afgangsprojekt