Computer Science, Master

Master Programme

Education structure: Education

1. term

Department of Computer Science › Study Board of Computer Science › Computer Science, Master

2. term

Department of Computer Science › Study Board of Computer Science › Computer Science, Master

3. term

Department of Computer Science › Study Board of Computer Science › Computer Science, Master

4. term

Department of Computer Science › Study Board of Computer Science › Computer Science, Master

  1. 2000
  2. Adaptive Bayesian Networks for Zero-Sum Games

    Thomas Jørgensen

    Computer Science, Master, (Master Programme) 4. term, 2000

    Student thesis: Master thesis (including HD thesis)

  3. Building a Temproal Cartridge for Oracle8i

    Bo Gundersen, Kim Thrysøe

    Computer Science, Master, (Master Programme) 4. term, 2000

    Student thesis: Master thesis (including HD thesis)

  4. Internal documentation in an Elucidative environment

    Max Rydahl Andersen, Kristian Lykkegaard Sørensen, Claus Nyhus Christensen

    Computer Science, Master, (Master Programme) 4. term, 2000

    Student thesis: Master thesis (including HD thesis)

  5. The Aware Design Tool - A Tool Supporting a Data Warehouse Design Methodology

    Carsten Nielsen, Flemming N. Larsen, Peter S. Kristiansen

    Computer Science, Master, (Master Programme) 4. term, 2000

    Student thesis: Master thesis (including HD thesis)

  6. 2001
  7. An Augmented Reality Museum for the PAVE Framework

    Rune Elmgaard Laursen, Henrik Lunardi Weide, Mikkel Kierkegaard Stausholm

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  8. An Augmented Reality Museum for the PAVE Framework

    Rune Elmgaard Laursen, Henrik Lunardi Weide, Mikkel Kierkegaard Stausholm

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  9. Beregning af sekvenser af reparationshandlinger til troubleshooting i domæner med afhængige fejl og afhængige handlinger

    Lise Thorn Andersen, Frank Hahn

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  10. Bisimilarity in the Spi-Calculus

    Ulrik Frendrup, Jesper Nyholm Jensen

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  11. gVM - a Stand-alone gbeta Virtual Machine

    Michal Wojciechowski, Ricki Jensen, Christian E. Jørgensen

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  12. Route Guide Providing route guidance for Nomadic Users

    Peter Vinther, Henrik Olesen

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  13. Seamless Handoff in Mobile IPv6

    Torben Wittrup Andersen, Anders Lildballe

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  14. Speaker Attention for Video Conferencing using Multiple Visual Cues

    Bjarke Andersen, Peter Zinck Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  15. The Optimized Link State Routing Protocol - Performance Analysis through Scenario-based Simulations

    Lars Christensen, Gitte Hansen

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  16. The Quotient Technique for Probabilistic Systems

    Jacob Vestergaard

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  17. Using XML Data in OLAP Queries

    Karsten Riis, Dennis Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)

  18. 2002
  19. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  20. Computational Complexity of Consistency Checking

    Jacob Johnsen, John Knudsen, Jens Alsted Hansen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  21. Data Warehouse Based Traffic Jam Detection

    Jan Eliasen, Casper Kjær, Helen Urban

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  22. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  23. Extensive Simulation Based Evaluation of MANET Broadcast Protocols using A Simulation Framework

    Nicolai Larsen, Tue Olesen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  24. GCVRT - Merging the Collaborative Virtual Reality and Round Table Concepts

    Jacob Koch Uhrenholt, Jens Peter Vester, Flemming Jønsson

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  25. Genetic Programming applied to a real time game domain

    Jørn Holm, Jens Dalgaard Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  26. Interactive 3D Modeling - Artistic Shape Design in Immersive Virtual Environments

    Morten Flyger, Jim Meyer, Kenneth Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  27. Metoder til brugbarhedstest af mobile apparater - HOVEDBILAG

    Elena Tørnæs Beck, Morten Klitgaard Christiansen, Nikolaj Kolbe

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  28. Metoder til brugbarhedstest af mobile apparater - RAPPORT

    Elena Tørnæs Beck, Morten Klitgaard Christiansen, Nikolaj Kolbe

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  29. Metoder til brugbarhedstest af mobile apparater - SIDEBILAG (Et enkelt bilagskapitel)

    Elena Tørnæs Beck, Morten Klitgaard Christiansen, Nikolaj Kolbe

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  30. Papers on the Development of a Hybrid Approach to Web Usage Mining

    Søren Enemærke Jespersen, Jesper Thorhauge

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  31. Procesforbedring ved hjælp af selvforbedrende projektgrupper

    Joakim Recht, Rasmus Walbum Jensen, Michael Lerskov Munk Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  32. Rbot - The Intelligent Agent in Unreal Game Environment

    Rimantas Benetis

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  33. Server Side LAML Framework

    Mikael M. Hansen, Paw Iversen, Jimmy Juncker

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)

  34. 2003
  35. A Verification System

    Rasa Bonyadlou

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  36. Comparing Schemas for Spatiotemporal Data Warehouses

    Luis Domínguez

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  37. Compositionality & Abstraction in verification of Probabilistic Transition

    Tu Hoang Anh, Antoinette Ahiable

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  38. Cooperation Among Autonomous Adaptive Agents II

    Michael Vengø Rydtoft, Henrik Skriver Rasmussen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  39. Improving quality of keyword query results using ESKuSE

    Martin Christensen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  40. Influence Diagrams Involving Time

    Søren Holbech Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  41. Influence Diagrams Involving Time, a Framework for Decision Problems Involving Time

    Mads Broe, Rune Jeppesen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  42. Join/Leave Protocol for Structured Peer-to-Peer Networks

    Arunas Vrubliauskas

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  43. k-divisive hierarchical clustering

    Addin Osman Mohamed Addin

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  44. Multi-dimensional Classification - Data Mining using Data Cubes

    Peter Jensen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  45. Online Aalborg Guide - Development of a Location-Based Service

    Kristian V. B. Andersen, Michael Cheng, Rasmus Klitgaard-Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  46. Outsourcing of Spam Filtering - with Emphasis on Trust Management

    Allan Larsen, Søren Meyer

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  47. Quantum Data Compression

    Joana Miguéns

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  48. Querying Mobile Objects in Road Networks

    Eva Blazquez, Jose A. Ruano

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  49. Runtime Validation for Embedded Real-Time Systems

    Anders Bo Christensen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  50. Tailoring Knowledge Management Systems: Embracing Soft Systems Thinking

    Jens Henrik Hosbond, Rasmus Ørtoft

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  51. The pi-engine, PART 2, Dynamic illumination in 3D engines using real-time photon mapping.

    Thorsten Ottosen, Dennis Kristensen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  52. The Temporal Multi-Dimensional Join

    Peter Sune Jørgensen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  53. Unsupervised Feature Subset Selection

    Nicolaj Søndberg-Madsen, Casper Thomsen

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  54. Using Bayesian Networks for Modeling Computer Game Agents

    Andreas S. Værge, Henrik Jarlskov

    Computer Science, Master, (Master Programme) 4. term, 2003

    Student thesis: Master thesis (including HD thesis)

  55. 2004
  56. A Generic and Portable Database API

    Claus Abildgaard Christensen, Steen Gundersborg, Kristian de Linde, Jacob Richard Thornber

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  57. A Job Manager for the NorduGrid ARC

    Henrik Thostrup Jensen, Jepser Ryge Leth

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  58. Ambients makes Business Processes Mobile

    Mikkel Refsgaard Bech

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  59. A Multi User Unit Test Framework for Testing Database Applications

    Claus Abildgaard Christensen, Steen Gundersborg, Kristian de Linde, Jacob Richard Thornber

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  60. Aspect.NET - A cross-language aspect weaver

    Bjørn D. Rasmussen, Casper S. Jensen, Jimmy Nielsen, Lasse Jensen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  61. Building a Business Intelligence System for AUB (second edition)

    Trien Huy Ly, Jacob Mogensen, Kristian Reesen Skouboe

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  62. Cultural Influences in software development: a study of a Kenyan company

    Maureen Adhiambo Odipo

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  63. Developing Location Based Services for Tourists

    Jasmin Catovic, Yan Zhao, Vedran Alikalfic

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  64. Entertaining Agents: for Multi-Player Role Playing Games

    Mads Granding, Rasmus Toftdahl Olesen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  65. Hierarchical Influence Diagrams

    Thomas Ledet, Michael Fogh Kristensen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  66. Incorporating Trust and Trickery Management in First Person Shooters

    Niels Christian Nielsen, Henrik Oddershede, Jacob Larsen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  67. Integrating NorduGrid system with Uppaal verification tool

    Dong Liu, Hoang Thi Thu Huong

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  68. Linkage Analysis with PDGs

    Mads Thrane, Mette Thøgersen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  69. Producing Efficient Web Services for Distributed Embedded Systems

    Michael Sig Birkmose, Lars Haugaard Kristensen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  70. Property Extraction Engine for LSCs

    Mads Jensen, Rene Gøttler, Michael Jacobsen, Jens Gorm Rye-Andersen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  71. Quality Assurance Recommendations for Open Source Developers

    Bjarne Bue Jensen, Simon Lyngshede, David Søndergaard

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  72. Relational Reinforcement Learning - Decreasing Game State Spaces Through Generalization

    Klaus Jensen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  73. RelaXML - a Tool for Transferring Data between Relational Databases and XML Files

    Steffen Ulsø Knudsen, Christian Thomsen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  74. Strategic Cooperation in First-Person Shooters

    Alex Vendelbo Ringgaard, Martin Guld Thomsen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  75. The Applied pi-calculus: Type Systems and Expresiveness

    Anders Bloch, Morten V. Frederiksen, Bjørn Haagensen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  76. Umbrella, We cant prevent the rain - But we dont get wet

    Søren Nøhr Christensen, Kristian Sørensen, Michel Thrysøe

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  77. Using reinforcement learning in the context of computer games

    Ole Kaae Thomsen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)

  78. 2005
  79. A New Grid Manager for NorduGrid – A Transitional Path

    Thomas Christensen, Rasmus Aslak Kjær

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  80. Combining Relational and Hierarchical Reinforcement Learning

    Carl Christian Sloth Andersen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  81. Data Models and Query Languages for Data Streams

    Jes Søndergaard

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  82. Dont Optimize Yet! - On an approach for making early performance evaluation usable to Software Engineering

    Dennis Micheelsen, René Hansen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  83. Hierarchical Reinforcement Learning in Multi-Agent Environment

    Dennis Kjærulff Pedersen, Tim Boesen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  84. KALCHAS - a Dynamic Full-Text XML Search Engine

    Dennis Alexander Noergaard, Rasmus Christian Kaae, Duy Thanh Nguyen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  85. Learning utility Functions by Imputing

    Anders Hansen, Nicolaj Lock, Peter Poulsen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  86. 'Optimizing the Interval Decision Diagram Implementation in the CF Firewall'

    Jesper Sloth Christensen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  87. Relational Data Mining Using Probabilistic Relational Models -- Design, Implementation and Test

    Morten Gade, Michael Gade Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  88. Retargetable Protocol Conformance Specifications

    Lars Riis Olsen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  89. SPRQ-træ i distribueret DOPRI system

    Kim Algreen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  90. U.P. - Job Distribution Network for Mass Computing Projects

    Anders Rune Jensen, Lau Bech Lauritzen, Ole Laursen

    Computer Science, Master, (Master Programme) 4. term, 2005

    Student thesis: Master thesis (including HD thesis)

  91. 2006
  92. 'Algoritmer til løsning af ubegrænsede influensdiagrammer på begrænset plads'

    Ole pedersen, Kristian Ahlmann-Ohlsen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  93. 'Amigo: An Object Relational Query'

    Rune D. Hammerskov, Jakob T. Andersen, Lars H. Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  94. 'An AI Framework for Real-Time Strategy Games'

    Kasper Frederiksen, Kasper G. Kristensen, Anders Lauritsen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  95. 'Combinatory Tests of AI Techniques for Common Tasks in Computer Games'

    Pelle Coltau, Jens Juul Jacobsen, Brian Jensen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  96. 'Constructing Human-Like Architecture with Swarm Intelligence'

    Dennis Plougman Buus

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  97. 'Designing an autostereoscopic display - Based on a study of three-dimensional languages'

    Lars Holm Jensen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  98. 'Efficient Retrieval from Vast Music Collections'

    Claus Åge Jensen, Ester Moses Mungure, Kenneth Rand Sørensen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  99. 'Generating and Indexing Multi-Dimensional Moving Regions in Spatio-Temporal Databases'

    Jens Frøkjær, Palle B. Hansen, Ivan V. S. Larsen, Tom Oddershede

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  100. 'Kreditvurdering ved brug af bayesiansk reject inference'

    Kim N. Jensen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  101. 'Logics for The Applied Pi Calculus'

    Michael David Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  102. 'Microsoft SQL Server 2005: Rethinking Code Placement'

    Jacob Elkjær Hansen, Morten Kirkegaard Hansen, Erik Hejlskov

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  103. On the Feasibility of Memory Sharing: --Content-Based Page Sharing in the Xen Virtual Machine Monitor

    Jacob Faber Kloster, Jesper Kristensen, Arne Mejlholm

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  104. 'Practical Data Mining on a Swiss Flora Database and Geographical Clustering Software Implementation'

    Óliver Centeno, Javier T. Mediano

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  105. 'Simple Object Query Language in PersiJ'

    Rolf Njor Jensen, Peter Sönder

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  106. 'Type Checking Versus Flow Logics'

    Lars Hornbæk Jensen, Bjørn Mølgård Vester

    Computer Science, Master, (Master Programme) 4. term, 2006

    Student thesis: Master thesis (including HD thesis)

  107. 2007
  108. Animated Billboard Clouds for Foliage Simplification

    Jeppe Carlsen, Jakob Schmid, Anders Bennett-Therkildsen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  109. Cava - A New Concurrency Model for Java

    Birthe Damborg, Anders Mørk Hansen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  110. DynaBlu - A Framework for developing Location-Aware Web Service Applications using Bluetooth Communication

    Nikolaj Andersen, Morten Vejen Nielsen, Jørn Martin Rasmussen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  111. Framework for on-demand delivery of data and automatic patching of code and content.

    Rasmus B. Nielsen, Marc N. Kammersgaard, Jasper Melsvik

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  112. Identifying Usability Problems in relation to User Experience with System and Tests

    Quang Minh Phung

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  113. Innovation in Software Development - Comparing Theory and Practice

    Peter Morrud Corneliussen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  114. Merlin: A Simple Actor-Based Language

    Simon Kongshøj

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  115. Odds Assessment on Football Matches

    Tobias Christensen, Rasmus Dencker Hansen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  116. Procedural Character Generation: Implementing Reference Fitting and Principal Components Analysis

    Andreas Madsen, Esben Bach

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  117. Programming the Semantic Web - A Microformats Compatible GRDDL Implementation for ActiveRDF

    Christian Planck Larsen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  118. Slicing for UPPAAL

    Uffe Sørensen, Claus Rørbæk Thrane

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  119. The LINK Operating System Architecture and Security Model

    Anders Franz Terkelsen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  120. Travel-Time Estimation in Road Networks Using GPS Data

    Anders Forum Jensen, Troels Villy Larsen

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  121. Vivid Data Objects

    Alex Henning Johannesen, Jacob Volstrup

    Computer Science, Master, (Master Programme) 4. term, 2007

    Student thesis: Master thesis (including HD thesis)

  122. 2008
  123. A Generic Backend for Fast Au-

    Anders Skovsgaard

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  124. A Generic Backend for Fast Audio Fingerprint Matching

    Anders Skovsgaard

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  125. Asymmetric Game Trees using Dynamic Bayesian Networks

    Esben Skov Pedersen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  126. Asymmetric Game Tree using a Dynamic Bayesian Network

    Esben Skov Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  127. Efficient Model Checking for Probabilistic Timed Automata

    Robert Jørgensgaard Engdahl, Arild Martin Møller Haugstad

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  128. Indexing and Querying Spatiotemporal Raster Data

    Dennis Bak Andersen, Martin L. Kristiansen, Claus H. Poulsen, Thomas Winterberg

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  129. Intelligent IP Camera: An FPGA Motion Detection Implementation

    Nicolas Cothereau, Delaite Guillaume, Edouard Gourdin

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  130. Intelligent IP Camera, An FPGA Motion Detection Implementation

    Nicolas Cothereau, Delaite Guillaume, Edouard Gourdin

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  131. Learning inference friendly Bayesian networks: using incremental compilation

    Søren Pedersen, Martin Karlsen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  132. Learning Inference friendly Bayesian Networks - using incremental compilation

    Martin Karlsen, Søren Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  133. Regular Model Checking and Verification of Cellular Automata

    Joakim Byg, Kenneth Yrke Jørgensen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  134. Secrecy and Authenticity in Mobile Ad-Hoc Networks

    Willard Rafnsson

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  135. Secrecy and Authenticity in Mobile Ad-Hoc Networks, Extended Abstract

    Willard Þór Rafnsson

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  136. Secrecy and Authenticity in Mobile Ad-Hoc Networks, Extended Abstract

    Willard Þór Rafnsson

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  137. Security Made Easy

    Morten Jørgensen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  138. Spider: Social-Mobile Network

    Antonio Sapuppo

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  139. Update-Efficient Main-Memory Indexing of Moving Objects

    Jan Maffert Johansen, Donatas Saulys, Christian Christiansen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  140. Vurdering af antal mål i fodboldkampe

    Rasmus Olesen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  141. WordAdjust: Et deobfuskerings frontend til content-aware anti-spam værktøjer

    Lars Tabro Sørensen, Martin Møller Larsen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  142. WordAdjust - A Deobfuscation Frontend to Content-Aware Anti-Spam Tools

    Lars Tabro Sørensen, Martin Møller Larsen

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  143. 2009
  144. A Data Warehouse Solution for Flow Analysis Utilising Sequential Pattern Mining

    Rune Leth Wejdling, Simon Nicholas Moesby Tinggaard

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  145. A Mobile Solution for the Home Care Sector in Herning Municipality

    Lasse Soelberg, Peter Gammelholm Poulsen

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  146. Automatisk tildeling af medarbejdere til arbejdsopgaver

    Lars Schunk

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  147. Continuous Live Information Monitor and Benchmarking: A JavaScript Library For Client Benchmarking and Code Modification

    Morten Bøgh, Markus Krogh

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  148. Data Access Problem on the Cell BE Architecture

    Ales Kozumplik

    Computer Science, Master, (Master Programme) 4. term, 2009

    Student thesis: Master thesis (including HD thesis)

  149. Design Science baseret kommerciel software udvikling

    Jesper Lund Andersen, Kim Markfoged

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  150. Dynamisk Styling i Webudvikling: Creating PDSS, a Powerful Dynamic Styling Solution

    Daniel Solsø Korsgård, Michael Stampe Knudsen

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  151. Exploring Interpersonal Interaction Through the Design, Evaluation, and Enhancement of a Mobile Game

    Daniel Kold, Michael Petersen

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  152. Frameworks For Private Identification Of Nearby Friends

    Jeppe Rishede Thomsen, Laurynas Šikšnys

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  153. From games to executables! Implementaions of strategies from UPPAAL TIGA

    Jesper Rosenkilde

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  154. From games to executables!

    Kenneth Blanner Holleufer, Jesper Brix Rosenkilde

    Computer Science, Master, (Master Programme) 4. term, 2009

    Student thesis: Master thesis (including HD thesis)

  155. Hurtig modstandermodellering i simplificeret poker

    Flemming Jensen

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  156. Improving the JCilk-1 Compiler and Runtime System

    Allan B. Christensen, Martin Skou, Per S. Stilling

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  157. Modular Execution Time Analysis using Model Checking: METAMOC

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  158. Modular Execution Time Analysis using Model Checking (METAMOC)

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Computer Science, Master, (Master Programme) 4. term, 2009

    Student thesis: Master thesis (including HD thesis)

  159. Privacy aware P2P Friend Locator

    Ove Andersen

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  160. Type-check og type-inferens i en modstanders åsyn

    Palle Raabjerg

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  161. 2010
  162. AI Modelling: Behaviour Trees

    Anders Tankred Holm, Mads Bøgeskov

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  163. Android Application for Aalborg University

    Regis Louge, Antonio Arfe, Thibaut Le Guilly, Lou Guillot, Pierre Deguy

    Computer Science, Master, (Master Programme) 1. term, 2010

    Student thesis: Master thesis (including HD thesis)

  164. Applying Behavior Trees to StarCraft AI

    Kenneth Sejrsgaard-Jacobsen, Søren Larsen, Torkil Olsen, Long Huy Phan, Jonas Øgendahl Groth

    Computer Science, Master, (Master Programme) 1. term, 2010

    Student thesis: Master thesis (including HD thesis)

  165. Collaborative Filtering in Social Networks

    Sergio Mateo

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  166. Concrete Delays for Symbolic Traces

    Danny Bøgsted Poulsen, Jonas van Vliet

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  167. Efficient Resource Management in StarCraft: Brood War

    Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard

    Computer Science, Master, (Master Programme) 1. term, 2010

    Student thesis: Master thesis (including HD thesis)

  168. Energy Efficient Code Updates in Wireless Sensor Networks: validation and enhancement of the GCP protocol

    Peter Finderup, Thomas Birk Abildgaard, Robertas Backys

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  169. Student thesis: Master thesis (including HD thesis)

  170. Hybrid Indoor Positioning: An Empirical Study in Cassiopeia

    Artur Baniukevic, Dovydas Sabonis

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  171. Measures of semantic similarity in folksonomies

    Jan Kadlec

    Computer Science, Master, (Master Programme) 4. term, 2010

    Student thesis: Master thesis (including HD thesis)

  172. Modeling and Verification of Extended Timed-Arc Petri Nets

    Morten Jacobsen, Lasse Jacobsen, Mikael H. Møller

    Computer Science, Master, (Master Programme) 4. term, 2010

    Student thesis: Master thesis (including HD thesis)

  173. Modeling and Verification of Timed-Arc Petri Net

    Morten Jacobsen, Lasse Jacobsen, Mikael Harkjær Møller

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  174. OOPEG: An Object-Oriented Parser Generator Based on Parsing Expression Grammars

    Jacob Korsgaard, Jørgen Ulrik B. Krag

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  175. 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

    Computer Science, Master, (Master Programme) 1. term, 2010

    Student thesis: Master thesis (including HD thesis)

  176. Smartphone Software for Department of Computer Science

    Joan Puig, Marina Fernandez, Gurvan Herve, Côme Saint-André

    Computer Science, Master, (Master Programme) 1. term, 2010

    Student thesis: Master thesis (including HD thesis)

  177. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  178. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

    Computer Science, Master, (Master Programme) 4. term, 2010

    Student thesis: Master thesis (including HD thesis)

  179. 2011
  180. Analysis of the recommendation systems based on the tensor factorization techniques, experiments and the proposals

    Martin Leginus, Valdas Zemaitis

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  181. Data-driven Resource Management in Real-time Strategy

    Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  182. Democratizing General Purpose GPU Programming through OpenCL and Scala

    Reidar Beck, Tommy Jensen, Helge Willum Larsen

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  183. Student thesis: Master thesis (including HD thesis)

  184. Distrbuted parameter sweep for UPPAAL models

    Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  185. Distributed parameter sweep for UPPAAL models

    Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  186. Domotics On-The-Go 2.0

    Mario Muñoz

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  187. Dynamic Difficulty Adjustment Using Behavior Trees

    Torkil Olsen, Huy Long Phan, Kenneth Sejrsgaard-Jacobsen

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  188. Extending Behavior Trees with Classical Planning

    Søren Larsen, Jonas Øgendahl Groth

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  189. Extending Scala with General Purpose GPU Programming

    Reidar Beck, Helge Willum Larsen, Tommy Jensen

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  190. Game On Demand Service: Architecture Proposal & Prototype

    Jais Heslegrave, Thomas Justesen

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  191. gbnav - a gbeta Source Code Navigation Tool

    Thomas Glæsner, Søren Toft Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2011

    Student thesis: Master thesis (including HD thesis)

  192. High Concurrent R-tree Operations when Tracking Continuous Movement in Main Memory

    Cezar Chitac, Robertas Kerpys, Raluca Marcuta

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  193. Reachability Analysis for Timed Automata using Max-Plus Algebra

    Qi Lu, Michael Madsen, Martin Milata, Søren Ravn

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  194. Reachability Analysis for Timed Models using Max-Plus Algebra

    Qi Lu, Michael Madsen, Søren Ravn

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  195. Sequence Tree Prediction

    Mikkel Færch Hansen, Peder Sand Sørensen, Frederik Kristian Frandsen

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  196. Student thesis: Master thesis (including HD thesis)

  197. Strategy Prediction in StarCraft: Brood War using Multilayer Perceptrons

    Henrik Otte Sørensen, Johannes Garm Nielsen

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  198. TileShifter: A Peer-2-Peer Multiplayer Game for Smartphones

    Jais Heslegrave, Thomas Justesen

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  199. 2012
  200. Action Investment Games

    Simon Laursen

    Computer Science, Master, (Master Programme) 4. term, 2012

    Student thesis: Master thesis (including HD thesis)

  201. Operational and Denotational Properties of a Modal Process Logic

    Hans Huttel

    Computer Science, Master, (Master Programme) 4. term, 2012

    Student thesis: Master thesis (including HD thesis)

  202. 2013
  203. Developing a type inference algorithm for The Ambient Calculus with Kill

    Casper Jensen

    Computer Science, Master, (Master Programme) 4. term, 2013

    Student thesis: Master thesis (including HD thesis)

  204. Evaluating Eco-driving Advice using GPS and CANBus data

    Sabrine Conny Hjøllund Mouritsen, Karsten Jakobsen

    Computer Science, Master, (Master Programme) 4. term, 2013

    Student thesis: Master thesis (including HD thesis)

  205. EyeGaze: Facilitating eye contact in a video mediated setting

    Thomas Søndersø Nielsen, Jacob Haubach Smedegård, Anne Kathrine Jensen

    Computer Science, Master, (Master Programme) 4. term, 2013

    Student thesis: Master thesis (including HD thesis)

  206. Student thesis: Master thesis (including HD thesis)

  207. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

    Computer Science, Master, (Master Programme) 4. term, 2013

    Student thesis: Master thesis (including HD thesis)

  208. On-The-Fly Model Checking of Weighted Computation Tree Logic

    Jonas Finnemann Jensen, Lars Kærlund Østergaard

    Computer Science, Master, (Master Programme) 4. term, 2013

    Student thesis: Master thesis (including HD thesis)

  209. Recognizing North Atlantic right whale up-calls using Gaussian Mixture Models and Hidden Markov Models

    Stine Back Larsen, Morten Albeck Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2013

    Student thesis: Master thesis (including HD thesis)

  210. TAX – Another Approach Sentimental Analysis

    Kim Bernhard Andersen, Jesper Puggaard Hansen

    Computer Science, Master, (Master Programme) 4. term, 2013

    Student thesis: Master thesis (including HD thesis)

  211. 2014
  212. Applying Application-Level Correctness to the Paparazzi Autopilot

    Heine Gatten Larsen, Morten Turn Pedersen, Thomas Viesmose Birch

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  213. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  214. Decomposable Common Spatial Patterns: Applying Graphical Model Selection in the Brain-Computer Interface

    Nikolaj Andersen, Jannik Frank Faarkrog, Mikkel Holm Søgaard

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  215. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  216. Fast Cluster Exploration of BCI data using Riemannian Geometry

    Adam René Gregersen, Daniel Agerskov Hejdemann Jensen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  217. Learning Optimal Scheduling for Time Uncertain Settings

    Jakob Haahr Taankvist, Peter Gjøl Jensen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  218. TinyVM: A Fault-Tolerant Virtual Machine

    Martin Sørensen, Emil Custic, Rune Hansen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  219. Using Poisson Markov Models to Predict Game States in StarCraft

    Anders Hesselager-Olesen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  220. 2015
  221. A Complete Approximation Theory for Weighted Transition Systems

    Peter Christoffersen, Mathias Ruggaard Pedersen, Mikkel Hansen

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  222. Compositional Analysis of Timed-arc Resource Workflows with Communication

    Christoffer Moesgaard, Sine Viesmose Birch

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  223. Detecting Incorrect Wordpress Plugin Function Usage

    Jens Thomas Vejlby Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  224. 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

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  225. Multiple Static Segmentation of Videos using a Convolution of Mixtures of Gaussian processes

    Jacob Jon Jensen, Niels Nørgaard Samuelsen, Christoffer Samuel Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  226. Parameter Synthesis for Simulation Distances Between Weighted Transition Systems

    Anders Mariegaard, Julian Trier Ringsmose

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  227. Unifying STM and Side Effects in Clojure

    Thomas Stig Jacobsen, Søren Kejser Jensen, Daniel Rune Jensen

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  228. 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

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  229. 2016
  230. A comparison study for shortest-path queries over heterogenous spacial networks

    Nichlas Bo Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  231. Controller Synthesis by Solving Multi Weighted Games

    Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann

    Computer Science, Master, (Master Programme) 3. term, 2016

    Student thesis: Master thesis (including HD thesis)

  232. Designer-Friendly Methods for Manual Changes of Procedurally Modeled Terrains

    Toke Andresen Wivelsted

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  233. Discount Method for Programming Language Evaluation

    Tommy Aagaard Christensen, Svetomir Kurtev

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  234. Energy Measurement and Optimization of Continuous Gesture Recognition

    Jens Emil Gydesen

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  235. Generic Type inference for the psi-calculi

    Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  236. Personalized Route Planning with Recharging for Electric Vehicles

    Andreas Strandfelt, Andreas Thor Lau, Mathias Højsleth

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  237. Pre-Analyses Dependency Scheduling with Multiple Threads

    Nichlas Korgaard Møller

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  238. Prediction of Affective State Using Consumer Graded Hardware and Sensor Fusion

    Brian Frost Pedersen, Anders Bender, Dennis Bækgaard Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  239. Tool for Transitioning from Scratch to Python

    Henrik Vinther Geertsen

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  240. Understanding the User of Interaction Tehcniques: Clarity, Comfort, Context, and Control

    Elias Ringhauge, Ivan Svilenov Penchev

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  241. User Experience Using Physiological Measurements

    Benjamin Hubert, Michael Lausdahl Fuglsang, Henrik Haxholm

    Computer Science, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  242. 2017
  243. A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets

    Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  244. Clustering Based On Driving Styles Using Hot Paths

    Lynge Kærlund Poulsgaard, Philip Pannerup Sørensen, Henrik Ullerichs

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  245. DWStar - Automated Star Schema Generation

    Michael Tarp, Søren Jensen, Jacob Bach Hansen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  246. Exploring Use of Surface Electromyography during Horse Riding

    Tina Andersen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  247. GPU Accelerated Machine Learning

    Ulf Gaarde Simonsen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  248. In-Vehicle Activity Recognition of User Activities Using Smartwatches

    Thomas Alexander Cano Hald, Mads Mårtensson

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  249. Modeling of Combined Heat and Power Plants as Flex-offers

    Philipp Daniel Freiberger

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  250. Multi-level Deep Models for Forum Sentiment Classification

    Emil Alexander Lousdahl Nesgaard, Peter Fogh

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  251. Off by a Bit: Exploring Bit-Flip Vulnerabilities Through Program Emulation and Symbolic Execution

    Anders Trier Olesen, Ólavur Debes Joensen, Jannek Alexander Westerhof Bossen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  252. Personalized Navigation: Context-Based Preference Mining Using TensorFlow

    Joachim Højbak Klokkervoll, Mike Pedersen, Samuel Nygaard Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  253. SolveDF: Extending Spark DataFrames with support for constrained optimization

    Frederik Madsen Halberg

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  254. Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives

    Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  255. Vertex Similarity in Graphs using Feature Learning

    Bjarke Thorn Carstens, Mads Riis Jensen, Mathias Friis Spaniel, Anders Hermansen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  256. 2018
  257. Development And Testing Of a Bluetooth Multi-Room System

    Michael Jensen

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  258. Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs

    Andreas Hairing Klostergaard

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  259. Improving Abstractive Tips Generation for Explaining Recommendations

    Michael Kusk Christensen, Lasse Martin Lund Würtz, Søren Nørgreen Gustafsson

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  260. Improving CNC Processes Using Computer Vision to Digitise Physical Objects

    Jakob Andersen, Thomas Egon Kærgaard, Jesper Ravn-Nielsen

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  261. Modelling news progression using entity-timelines

    Martin Hammer Thygesen, Michael Stisen

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  262. 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

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  263. Quantitative Analysis of Single Event Upsets in ARM

    Morten Korsholm Terndrup, Thomas Rafn Andersen

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  264. Strategy Generation for Distributed Smart Production Systems based on Networks of Timed Automata

    Martin Kristjansen

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  265. Timely Constraints of EEG in Cognitive Distraction and Focus Detection while Driving

    Mikkel Bjerregaard Kristensen, Emil Riis Hansen, Eike Schneiders

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  266. Visualization of Zones in Real-Time Models

    Nicolai Brobak

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  267. Weighted Systems in Branching-Time: Behavioural Relations, Behavioural Distances, and their Logical Characterisations

    Mathias Claus Jensen

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  268. 2019
  269. Application of Timed-Arc Colored Petri Net for Network Update Synthesis

    Niels Christensen, Mark Glavind

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  270. Clustercalc: Cluster Computing in Spreadsheets

    Christian Slot

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  271. Cost Models for Learned Index with Insertions

    Per Hedegaard Nielsen, Rasmus Vraa Bilgram

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  272. Investigating the Benets of Ownership in Static Information Flow Security

    Nikolaj Lepka, Morten Meyer Rasmussen

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  273. Supersegments in the road network: Predicting energy consumption for electric cars

    Martin Raunkjær Andersen, Rasmus Møller Jensen

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  274. The Automata Learning Tool

    Morten Stig Mortensen

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  275. Using Spatial and Temporal Context for Predicting Energy Consumption of Electric Vehicles

    Bjarke Bak Toxværd Madsen, Christoffer Popp Nørskov, Jacob Hjort Bundgaard

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)