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
- 2022
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: Speciale (inkl. HD afgangsprojekt)
- 2021
3D Bounding Box Prediction for Embedded Systems
Rasmus Barrett, Christoffer Najbjerg Knudsen, Ahmet Pekbas
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Deriving Subgoals Using Network Distillation
Nikolaj Ljørring, Lars Svane Jensen, Aryan Mohammadi Landi
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
ResqLP: Relation Sequences for Link Prediction in Knowledge Graphs
Emil Stenderup Bækdahl
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Solving Euclidean Markov Decision Processes with Neural Networks
Alexander Christoffer Eilertsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Structural Reductions with Partitioning
Martin Christensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Priced Timed Automata and Monte Carlo Tree Search
Jeppe Høiriis Mortensen, Adriana Mijacika
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Clustercalc: Cluster Computing i Regneark
Christian Slot
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Cost Models for Learned Index with Insertions
Per Hedegaard Nielsen, Rasmus Vraa Bilgram
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Investigating the Benets of Ownership in Static Information Flow Security
Nikolaj Lepka, Morten Meyer Rasmussen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
The Automata Learning Tool
Morten Stig Mortensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2019
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
- 2018
Development And Testing Of a Bluetooth Multi-Room System
Michael Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs
Andreas Hairing Klostergaard
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Kvantitativ Analyse af Single Event Upsets i ARM
Morten Korsholm Terndrup, Thomas Rafn Andersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Modelling news progression using entity-timelines
Martin Hammer Thygesen, Michael Stisen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater
Martin Kristjansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Visualization of Zones in Real-Time Models
Nicolai Brobak
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
DWStar - Automated Star Schema Generation
Michael Tarp, Søren Jensen, Jacob Bach Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Exploring Use of Surface Electromyography during Horse Riding
Tina Andersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
GPU Accelerated Machine Learning
Ulf Gaarde Simonsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Modeling of Combined Heat and Power Plants as Flex-offers
Philipp Daniel Freiberger
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Multi-level Deep Models for Forum Sentiment Classification
Emil Alexander Lousdahl Nesgaard, Peter Fogh
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
SolveDF: Extending Spark DataFrames with support for constrained optimization
Frederik Madsen Halberg
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
- 2016
A comparison study for shortest-path queries over heterogenous spacial networks
Nichlas Bo Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Designer-Friendly Methods for Manual Changes of Procedurally Modeled Terrains
Toke Andresen Wivelsted
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Discount Method for Programming Language Evaluation
Tommy Aagaard Christensen, Svetomir Kurtev
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Energi Måling og Optimering af Kontinuerlig Gestus Genkendelse
Jens Emil Gydesen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Generisk typeinferens for psi-kalkyler
Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Pre-Analyses Dependency Scheduling with Multiple Threads
Nichlas Korgaard Møller
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
User Experience Using Physiological Measurements
Benjamin Hubert, Michael Lausdahl Fuglsang, Henrik Haxholm
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Værktøj til Transitionering fra Scratch til Python
Henrik Vinther Geertsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Compositional Analysis of Timed-arc Resource Workflows with Communication
Christoffer Moesgaard, Sine Viesmose Birch
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Detecting Incorrect Wordpress Plugin Function Usage
Jens Thomas Vejlby Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Parameter Synthesis for Simulation Distances Between Weighted Transition Systems
Anders Mariegaard, Julian Trier Ringsmose
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Controller Synthesis for Home Automation
Mathias Grund Sørensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
EgGS - The Energy Game Strategizer
Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Learning Optimal Scheduling for Time Uncertain Settings
Jakob Haahr Taankvist, Peter Gjøl Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
TinyVM: A Fault-Tolerant Virtual Machine
Martin Sørensen, Emil Custic, Rune Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Using Poisson Markov Models to Predict Game States in StarCraft
Anders Hesselager-Olesen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
- 2013
Developing a type inference algorithm for The Ambient Calculus with Kill
Casper Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
From Formal to Computational Authenticity: An approach for reconciling formal and computational authenticity
Michael Garde
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Infinite Runs in Recharge Automata
Daniel Ejsing-Duun, Lisa Fontani
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
SKAT - Alternativ tilgang til Sentimental Analyse
Kim Bernhard Andersen, Jesper Puggaard Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
- 2012
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Operational and Denotational Properties of a Modal Process Logic
Hans Huttel
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2012
Studenteropgave: Speciale (inkl. 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: Speciale (inkl. 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: Speciale (inkl. HD afgangsprojekt)
Democratizing General Purpose GPU Programming through OpenCL and Scala
Reidar Beck, Tommy Jensen, Helge Willum Larsen
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Designing Examinations Information System Management: a comparative case study application of Soft Systems Methodology
Saifullah Memon
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Distrbuted parameter sweep for UPPAAL models
Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Distributed parameter sweep for UPPAAL models
Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Dynamic Difficulty Adjustment Using Behavior Trees
Torkil Olsen, Huy Long Phan, Kenneth Sejrsgaard-Jacobsen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Extending Scala with General Purpose GPU Programming
Reidar Beck, Helge Willum Larsen, Tommy Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
Game On Demand Service: Architecture Proposal & Prototype
Jais Heslegrave, Thomas Justesen
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale (inkl. HD afgangsprojekt)