1. semester
Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat
2. semester
Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat
3. semester
Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat
4. semester
Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat
- 2018
Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs
Andreas Hairing Klostergaard
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Master 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: Master afgangsprojekt
Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater
Martin Kristjansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale
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
Weighted Systems in Branching-Time: Behavioural Relations, Behavioural Distances, and their Logical Characterisations
Mathias Claus Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018
Studenteropgave: Speciale
- 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
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
DWStar - Automated Star Schema Generation
Michael Tarp, Søren Jensen, Jacob Bach Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale
Exploring Use of Surface Electromyography during Horse Riding
Tina Andersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale
GPU Accelerated Machine Learning
Ulf Gaarde Simonsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale
In-Vehicle Activity Recognition of User Activities Using Smartwatches
Thomas Alexander Cano Hald, Mads Mårtensson
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale
Modeling of Combined Heat and Power Plants as Flex-offers
Philipp Daniel Freiberger
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale
Multi-level Deep Models for Forum Sentiment Classification
Emil Alexander Lousdahl Nesgaard, Peter Fogh
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale
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
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
SolveDF: Extending Spark DataFrames with support for constrained optimization
Frederik Madsen Halberg
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017
Studenteropgave: Speciale
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
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
- 2016
A comparison study for shortest-path queries over heterogenous spacial networks
Nichlas Bo Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
Controller Synthesis by Solving Multi Weighted Games
Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann
Datalogi, Kandidat, (Kandidatuddannelse) 3. semester, 2016
Studenteropgave: Speciale
Designer-Friendly Methods for Manual Changes of Procedurally Modeled Terrains
Toke Andresen Wivelsted
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
Discount Method for Programming Language Evaluation
Tommy Aagaard Christensen, Svetomir Kurtev
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
Energi Måling og Optimering af Kontinuerlig Gestus Genkendelse
Jens Emil Gydesen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
Generisk typeinferens for psi-kalkyler
Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
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
Pre-Analyses Dependency Scheduling with Multiple Threads
Nichlas Korgaard Møller
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
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
Understanding the User of Interaction Tehcniques: Clarity, Comfort, Context, and Control
Elias Ringhauge, Ivan Svilenov Penchev
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
User Experience Using Physiological Measurements
Benjamin Hubert, Michael Lausdahl Fuglsang, Henrik Haxholm
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
Værktøj til Transitionering fra Scratch til Python
Henrik Vinther Geertsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016
Studenteropgave: Speciale
- 2015
A Complete Approximation Theory for Weighted Transition Systems
Peter Christoffersen, Mathias Ruggaard Pedersen, Mikkel Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Speciale
Compositional Analysis of Timed-arc Resource Workflows with Communication
Christoffer Moesgaard, Sine Viesmose Birch
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Speciale
Detecting Incorrect Wordpress Plugin Function Usage
Jens Thomas Vejlby Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Speciale
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
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
Parameter Synthesis for Simulation Distances Between Weighted Transition Systems
Anders Mariegaard, Julian Trier Ringsmose
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015
Studenteropgave: Speciale
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
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
- 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
Controller Synthesis for Home Automation
Mathias Grund Sørensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale
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
EgGS - The Energy Game Strategizer
Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale
Fast Cluster Exploration of BCI data using Riemannian Geometry
Adam René Gregersen, Daniel Agerskov Hejdemann Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale
Learning Optimal Scheduling for Time Uncertain Settings
Jakob Haahr Taankvist, Peter Gjøl Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale
TinyVM: A Fault-Tolerant Virtual Machine
Martin Sørensen, Emil Custic, Rune Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale
Using Poisson Markov Models to Predict Game States in StarCraft
Anders Hesselager-Olesen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014
Studenteropgave: Speciale
- 2013
Developing a type inference algorithm for The Ambient Calculus with Kill
Casper Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale
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
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
From Formal to Computational Authenticity: An approach for reconciling formal and computational authenticity
Michael Garde
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale
Infinite Runs in Recharge Automata
Daniel Ejsing-Duun, Lisa Fontani
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale
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
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
SKAT - Alternativ tilgang til Sentimental Analyse
Kim Bernhard Andersen, Jesper Puggaard Hansen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013
Studenteropgave: Speciale
- 2012
Studenteropgave: Speciale
Operational and Denotational Properties of a Modal Process Logic
Hans Huttel
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2012
Studenteropgave: Speciale
- 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
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
Democratizing General Purpose GPU Programming through OpenCL and Scala
Reidar Beck, Tommy Jensen, Helge Willum Larsen
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale
Designing Examinations Information System Management: a comparative case study application of Soft Systems Methodology
Saifullah Memon
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Distrbuted parameter sweep for UPPAAL models
Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Distributed parameter sweep for UPPAAL models
Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale
Studenteropgave: Speciale
Dynamic Difficulty Adjustment Using Behavior Trees
Torkil Olsen, Huy Long Phan, Kenneth Sejrsgaard-Jacobsen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Extending Scala with General Purpose GPU Programming
Reidar Beck, Helge Willum Larsen, Tommy Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Game On Demand Service: Architecture Proposal & Prototype
Jais Heslegrave, Thomas Justesen
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale
gbnav - a gbeta Source Code Navigation Tool
Thomas Glæsner, Søren Toft Pedersen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2011
Studenteropgave: Speciale
High Concurrent R-tree Operations when Tracking Continuous Movement in Main Memory
Cezar Chitac, Robertas Kerpys, Raluca Marcuta
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale
Reachability Analysis for Timed Automata using Max-Plus Algebra
Qi Lu, Michael Madsen, Martin Milata, Søren Ravn
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011
Studenteropgave: Speciale
Reachability Analysis for Timed Models using Max-Plus Algebra
Qi Lu, Michael Madsen, Søren Ravn
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Sequence Tree Prediction
Mikkel Færch Hansen, Peder Sand Sørensen, Frederik Kristian Frandsen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Speeding up tensor based recommenders with clustered tag space and improving quality of recommendations with Non-negative tensor factorization
Martin Leginus, Valdas Žemaitis
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Strategy Prediction in StarCraft: Brood War using Multilayer Perceptrons
Henrik Otte Sørensen, Johannes Garm Nielsen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
TileShifter: Et Peer-2-Peer Multiplayer Spil til Smartphones
Jais Heslegrave, Thomas Justesen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
Udvidelse af Adfærds Træer med Klassisks Planlægning
Søren Larsen, Jonas Øgendahl Groth
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011
Studenteropgave: Speciale
- 2010
AI Modellering: Behaviour Trees
Anders Tankred Holm, Mads Bøgeskov
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
Android Application for Aalborg University
Regis Louge, Antonio Arfe, Thibaut Le Guilly, Lou Guillot, Pierre Deguy
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010
Studenteropgave: Speciale
Applying Behavior Trees to StarCraft AI
Kenneth Sejrsgaard-Jacobsen, Søren Larsen, Torkil Olsen, Long Huy Phan, Jonas Øgendahl Groth
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010
Studenteropgave: Speciale
Collaborative Filtering in Social Networks
Sergio Mateo
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
Efficient Resource Management in StarCraft: Brood War
Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010
Studenteropgave: Speciale
Energy Efficient Code Updates in Wireless Sensor Networks: validation and enhancement of the GCP protocol
Peter Finderup, Thomas Birk Abildgaard, Robertas Backys
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
Exploring Multiple Users Interaction With a Dual Sided Interface: Investigating Emerging Technologies; Dual Sided Interaction
Bo Lind Jensen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
Hybrid Indoor Positioning: An Empirical Study in Cassiopeia
Artur Baniukevic, Dovydas Sabonis
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
Konkrete Tidsværdier for Symbolske Eksekveringer
Danny Bøgsted Poulsen, Jonas van Vliet
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
Measures of semantic similarity in folksonomies
Jan Kadlec
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010
Studenteropgave: Speciale
Modeling and Verification of Extended Timed-Arc Petri Nets
Morten Jacobsen, Lasse Jacobsen, Mikael H. Møller
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010
Studenteropgave: Speciale
Modellering og Verifikation af Timed-Arc Petri Net
Morten Jacobsen, Lasse Jacobsen, Mikael Harkjær Møller
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
OOPEG: An Object-Oriented Parser Generator Based on Parsing Expression Grammars
Jacob Korsgaard, Jørgen Ulrik B. Krag
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
Predicting Player Strategies in Real Time Strategy Games
Henrik Otte Sørensen, Peder Sand Sørensen, Jakob Svane Knudsen, Johannes Garm Nielsen, Mikkel Færch Hansen, Frederik Kristian Frandsen
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010
Studenteropgave: Speciale
Smartphone Software for Department of Computer Science
Joan Puig, Marina Fernandez, Gurvan Herve, Côme Saint-André
Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010
Studenteropgave: Speciale
To Infinity and Beyond: Scaling Massively Multiplayer Games
Ron Cohen, Anders Ejlersen, Rasmus Kristensen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010
Studenteropgave: Speciale
To Infinity and Beyond: Scaling Massively Multiplayer Games
Ron Cohen, Anders Ejlersen, Rasmus Kristensen
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010
Studenteropgave: Speciale
- 2009
A Data Warehouse Solution for Flow Analysis Utilising Sequential Pattern Mining
Rune Leth Wejdling, Simon Nicholas Moesby Tinggaard
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009
Studenteropgave: Speciale
A Mobile Solution for the Home Care Sector in Herning Municipality
Lasse Soelberg, Peter Gammelholm Poulsen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009
Studenteropgave: Speciale
Automated Assignment of Employees to Work Tasks
Lars Schunk
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009
Studenteropgave: Speciale
Continuous Live Information Monitor and Benchmarking: A JavaScript Library For Client Benchmarking and Code Modification
Morten Bøgh, Markus Krogh
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009
Studenteropgave: Speciale
Data Access Problem on the Cell BE Architecture
Ales Kozumplik
Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2009
Studenteropgave: Speciale
Design Science Based Commercial Software Development
Jesper Lund Andersen, Kim Markfoged
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009
Studenteropgave: Speciale
Dynamic Styling in Web Development: Creating PDSS, a Powerful Dynamic Styling Solution
Daniel Solsø Korsgård, Michael Stampe Knudsen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009
Studenteropgave: Speciale
Exploring Interpersonal Interaction Through the Design, Evaluation, and Enhancement of a Mobile Game
Daniel Kold, Michael Petersen
Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009
Studenteropgave: Speciale