Datalogi, Kandidat

Kandidatuddannelse

Studiestruktur: Uddannelse

1. semester

Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat

2. semester

Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat

3. semester

Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat

4. semester

Institut for Datalogi › Studienævn for Datalogi › Datalogi, Kandidat

1 - 100 ud af 276Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2022

  2. Structural Reductions of Colored Petri Nets and P/T Nets with Inhibitor Arcs

    Jesper Adriaan van Diepen, Nicolaj Østerby Jensen, Mathias Mehl Sørensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. 2021

  4. 3D Bounding Box Prediction for Embedded Systems

    Rasmus Barrett, Christoffer Najbjerg Knudsen, Ahmet Pekbas

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  5. Automata-Driven Techniques for Partial-Order Reductions and Guided Search of Petri Nets

    Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  6. Deadline Danger Detection Solutions for an Industrial Batch System using Tivoli Workload Scheduler for z/OS

    Emil Ernstsen, Peter Borch Greve

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. Deriving Subgoals Using Network Distillation

    Nikolaj Ljørring, Lars Svane Jensen, Aryan Mohammadi Landi

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. Hierarchical Training using SHAP for Interpretable Organometal Halide Perovskite Bandgap Prediction

    Kenneth Kjærgaard Malowanczyk, Andreas Dahl Nielsen, Sebastian Reidar Petersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. HyperVerlet: a Deep Learning Method for Numerically Solving Initial Value Problems of Hamiltonian Systems

    Anders Madsen, Frederik Baymler Mathiesen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  10. Integrating News Article Metadata into Topic Models

    Rasmus Engesgaard Christensen, Dennis Højbjerg Rose, Peter Langballe Erichsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  11. Most Permissive Strategies for Games with Negation-free CTL

    Beinir Ragnuson, Bogi Napoleon Wennerstrøm, Sigmundur Vang

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. ResqLP: Relation Sequences for Link Prediction in Knowledge Graphs

    Emil Stenderup Bækdahl

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  13. Solving Euclidean Markov Decision Processes with Neural Networks

    Alexander Christoffer Eilertsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  14. Static Taint Analysis in Rust: Using Rusts Ownership System for Precise Static Analysis

    Hilmar Gústafsson, Emil Jørgensen Njor

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  15. Structural Reductions with Partitioning

    Martin Christensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  16. Structural Similarity-Based Matrix Factorization Using Type Extension Trees for Item Cold-Start

    Casper Vorm, Thorbjørn Leonard Eilers, Daniel Drejer Rasmussen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  17. Typing Reflection in Higher-Order Psi-Calculi

    Bjarke Bredow Bojesen, Stian Lybech, Alexander Rønning Bendixen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  18. Unfolding of Colored Petri Nets by Color Quotienting and Approximation

    Thomas Pedersen, Alexander Bilgram Kristensen, Peter Haahr Taankvist

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  19. 2020

  20. Application of Inference Methodsand Caching for Real-time MedicalDiagnosis using BN2O Networks

    Jens Engholm Aggerholm, Casper Skov Mathisen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  21. Behavioural Separation with Parallel Usages for a Core Object-Oriented Language

    Iaroslav Golovanov, Mathias Steen Jakobsen, Mikkel Klinke Kettunen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  22. Early Open Source Development: Reports on Bootstrapping an Open Source Project with Distributed Users

    Ruben Henrik Mensink, Jesper Fyllgraf

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  23. Priced Timed Automata and Monte Carlo Tree Search

    Jeppe Høiriis Mortensen, Adriana Mijacika

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  24. Transfer Learning for Better Cold-Start Recommendation Using Multiple Domains

    Rasmus Krusaa, Victor Kamp, Christian Langkjær Kloster

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  25. 2019

  26. Application of Timed-Arc Colored Petri Net for Network Update Synthesis

    Niels Christensen, Mark Glavind

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  27. Clustercalc: Cluster Computing i Regneark

    Christian Slot

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  28. Cost Models for Learned Index with Insertions

    Per Hedegaard Nielsen, Rasmus Vraa Bilgram

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Nikolaj Lepka, Morten Meyer Rasmussen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  30. Supersegmenter i vejnettet: Estimering af energiforbrug for elbiler

    Martin Raunkjær Andersen, Rasmus Møller Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  31. The Automata Learning Tool

    Morten Stig Mortensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  33. 2018

  34. Development And Testing Of a Bluetooth Multi-Room System

    Michael Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Andreas Hairing Klostergaard

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  36. Forbedring af Abstrakt Tips Generation for Forklarende Anbefalinger

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  38. Kvantitativ Analyse af Single Event Upsets i ARM

    Morten Korsholm Terndrup, Thomas Rafn Andersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  39. Modelling news progression using entity-timelines

    Martin Hammer Thygesen, Michael Stisen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  40. PapaGo - A graphics API built on top of Vulkan, developed with a focus on programmability

    Alexander Brandborg, Claus Worm Wiingreen, Anders Munkgaard, Michael Wit Dolatko

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  41. Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater

    Martin Kristjansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Mikkel Bjerregaard Kristensen, Emil Riis Hansen, Eike Schneiders

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  43. Visualization of Zones in Real-Time Models

    Nicolai Brobak

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Mathias Claus Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  45. 2017

  46. A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets

    Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  47. Clustering Based On Driving Styles Using Hot Paths

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  48. DWStar - Automated Star Schema Generation

    Michael Tarp, Søren Jensen, Jacob Bach Hansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  49. Exploring Use of Surface Electromyography during Horse Riding

    Tina Andersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  50. GPU Accelerated Machine Learning

    Ulf Gaarde Simonsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Thomas Alexander Cano Hald, Mads Mårtensson

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Philipp Daniel Freiberger

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  53. Multi-level Deep Models for Forum Sentiment Classification

    Emil Alexander Lousdahl Nesgaard, Peter Fogh

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Frederik Madsen Halberg

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  58. Vertex Similarity in Graphs using Feature Learning

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  59. 2016

  60. A comparison study for shortest-path queries over heterogenous spacial networks

    Nichlas Bo Nielsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  61. Controller Synthesis by Solving Multi Weighted Games

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

    Datalogi, Kandidat, (Kandidatuddannelse) 3. semester, 2016

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Toke Andresen Wivelsted

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  63. Discount Method for Programming Language Evaluation

    Tommy Aagaard Christensen, Svetomir Kurtev

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  64. Energi Måling og Optimering af Kontinuerlig Gestus Genkendelse

    Jens Emil Gydesen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  65. Generisk typeinferens for psi-kalkyler

    Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  66. Personaliseret Ruteplanlægning med Genopladning for Elektriske Køretøjer

    Andreas Strandfelt, Andreas Thor Lau, Mathias Højsleth

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  67. Pre-Analyses Dependency Scheduling with Multiple Threads

    Nichlas Korgaard Møller

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Elias Ringhauge, Ivan Svilenov Penchev

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  70. User Experience Using Physiological Measurements

    Benjamin Hubert, Michael Lausdahl Fuglsang, Henrik Haxholm

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  71. Værktøj til Transitionering fra Scratch til Python

    Henrik Vinther Geertsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  72. 2015

  73. A Complete Approximation Theory for Weighted Transition Systems

    Peter Christoffersen, Mathias Ruggaard Pedersen, Mikkel Hansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Christoffer Moesgaard, Sine Viesmose Birch

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  75. Detecting Incorrect Wordpress Plugin Function Usage

    Jens Thomas Vejlby Nielsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  76. Developing a BCI system for multible prdictor tasks using a consumer grade EEG reader

    Daniel Bøcker Sørensen, Anders Jensen, Nicolai Lund Hasager Kirk

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  78. Parameter Synthesis for Simulation Distances Between Weighted Transition Systems

    Anders Mariegaard, Julian Trier Ringsmose

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  79. Unifying STM and Side Effects in Clojure

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  80. User-to-User Recommendations in a Fashion Portal, Utilizing a Social Network, Implicit Feedback and Clustering Approaches

    Dan Duus Thøisen, Bjarne Kock, Davide Frazzetto

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  81. 2014

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

  83. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

  85. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  88. TinyVM: A Fault-Tolerant Virtual Machine

    Martin Sørensen, Emil Custic, Rune Hansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Anders Hesselager-Olesen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  90. 2013

  91. Developing a type inference algorithm for The Ambient Calculus with Kill

    Casper Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  94. From Formal to Computational Authenticity: An approach for reconciling formal and computational authenticity

    Michael Garde

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  95. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  98. SKAT - Alternativ tilgang til Sentimental Analyse

    Kim Bernhard Andersen, Jesper Puggaard Hansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  99. 2012

  100. Action Investment Games

    Simon Laursen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  101. Operational and Denotational Properties of a Modal Process Logic

    Hans Huttel

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  102. 2011

  103. Analysis of the recommendation systems based on the tensor factorization techniques, experiments and the proposals

    Martin Leginus, Valdas Zemaitis

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  105. Democratizing General Purpose GPU Programming through OpenCL and Scala

    Reidar Beck, Tommy Jensen, Helge Willum Larsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  106. Designing Examinations Information System Management: a comparative case study application of Soft Systems Methodology

    Saifullah Memon

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  107. Distrbuted parameter sweep for UPPAAL models

    Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  108. Distributed parameter sweep for UPPAAL models

    Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  109. Domotics On-The-Go 2.0

    Mario Muñoz

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  110. Dynamic Difficulty Adjustment Using Behavior Trees

    Torkil Olsen, Huy Long Phan, Kenneth Sejrsgaard-Jacobsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  111. Extending Scala with General Purpose GPU Programming

    Reidar Beck, Helge Willum Larsen, Tommy Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  112. Game On Demand Service: Architecture Proposal & Prototype

    Jais Heslegrave, Thomas Justesen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

Forrige 1 2 3 Næste