1. 2014
  2. 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)

  3. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  4. 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)

  5. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  6. 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)

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

  8. TinyVM: A Fault-Tolerant Virtual Machine

    Martin Sørensen, Emil Custic, Rune Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Anders Hesselager-Olesen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  10. 2013
  11. Developing a type inference algorithm for The Ambient Calculus with Kill

    Casper Jensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. 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)

  13. 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)

  14. Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  15. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  16. 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)

  17. 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)

  18. SKAT - Alternativ tilgang til Sentimental Analyse

    Kim Bernhard Andersen, Jesper Puggaard Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  19. 2012
  20. Action Investment Games

    Simon Laursen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2012

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  21. Operational and Denotational Properties of a Modal Process Logic

    Hans Huttel

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2012

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  22. 2011
  23. gbnav - a gbeta Source Code Navigation Tool

    Thomas Glæsner, Søren Toft Pedersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  24. 2010
  25. Measures of semantic similarity in folksonomies

    Jan Kadlec

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  26. 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 (inkl. HD afgangsprojekt)

  27. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  28. 2009
  29. Data Access Problem on the Cell BE Architecture

    Ales Kozumplik

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  30. From games to executables!

    Kenneth Blanner Holleufer, Jesper Brix Rosenkilde

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  32. 2008
  33. A Generic Backend for Fast Au-

    Anders Skovsgaard

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  34. Asymmetric Game Tree using a Dynamic Bayesian Network

    Esben Skov Pedersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  35. Intelligent IP Camera, An FPGA Motion Detection Implementation

    Nicolas Cothereau, Delaite Guillaume, Edouard Gourdin

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  36. Learning Inference friendly Bayesian Networks - using incremental compilation

    Martin Karlsen, Søren Pedersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Willard Þór Rafnsson

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Willard Þór Rafnsson

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  39. Spider: Social-Mobile Network

    Antonio Sapuppo

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Lars Tabro Sørensen, Martin Møller Larsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  41. 2007
  42. Animated Billboard Clouds for Foliage Simplification

    Jeppe Carlsen, Jakob Schmid, Anders Bennett-Therkildsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  43. Cava - A New Concurrency Model for Java

    Birthe Damborg, Anders Mørk Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Quang Minh Phung

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  47. Innovation in Software Development - Comparing Theory and Practice

    Peter Morrud Corneliussen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  48. Merlin: A Simple Actor-Based Language

    Simon Kongshøj

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  49. Odds Assessment on Football Matches

    Tobias Christensen, Rasmus Dencker Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Andreas Madsen, Esben Bach

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Christian Planck Larsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  52. Slicing for UPPAAL

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

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  53. The LINK Operating System Architecture and Security Model

    Anders Franz Terkelsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Anders Forum Jensen, Troels Villy Larsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  55. Vivid Data Objects

    Alex Henning Johannesen, Jacob Volstrup

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Ole pedersen, Kristian Ahlmann-Ohlsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  58. 'Amigo: An Object Relational Query'

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

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Kasper Frederiksen, Kasper G. Kristensen, Anders Lauritsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)