1. Datalogi, Kandidat
  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. Developing a type inference algorithm for The Ambient Calculus with Kill

    Casper Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  13. Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  14. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  17. SKAT - Alternativ tilgang til Sentimental Analyse

    Kim Bernhard Andersen, Jesper Puggaard Hansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  18. Action Investment Games

    Simon Laursen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  19. Operational and Denotational Properties of a Modal Process Logic

    Hans Huttel

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

  21. Measures of semantic similarity in folksonomies

    Jan Kadlec

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  24. Data Access Problem on the Cell BE Architecture

    Ales Kozumplik

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  25. From games to executables!

    Kenneth Blanner Holleufer, Jesper Brix Rosenkilde

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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