Kandidatprojekt 2019, Data- och informationsteknik

Algoritmer och maskininlärning

DATX02-19-01 Automation of articulated commercial heavy vehicles
DATX02-19-03 Machine Learning: Starcraft 2 AI
DATX02-19-08 Utveckla AI till realtidsstrategispel (RTS) (Starcraft 2)
DATX02-19-09 Dynamisk flerspråkig röstassistent
DATX02-19-12 A decentralized voting system
DATX02-19-14 Very low bandwidth (marine) web surfing - part 2
DATX02-19-19 Exploring emergence in a multi-agent system
In-Memory computation for machine learning

Datorgrafik / Visualisering

DATX02-19-26 Grammars for music/poetry/fractals
DATX02-19-36 Physically-based animation of fire in real-time
DATX02-19-41 Visualisering av en kompilators interna transformationer

Funktionell programmering

DATX02-19-02 Statisk typcheckning för dynamiskt typade skriptspråk
DATX02-19-16 Proof editor for structural induction
DATX02-19-17 Using typed-holes for generating feedback in AskElle
DATX02-19-18 Bug location detection for AskElle
DATX02-19-22 Creating bugs in Haskell
DATX02-19-23 Matematikens domänspecifika språk (DSLsofmath) för andra kurser
DATX02-19-26 Grammars for music/poetry/fractals
DATX02-19-27 A modular front-end compiler for Paragon
DATX02-19-41 Visualisering av en kompilators interna transformationer

Företag

DATX02-19-01 Automation of articulated commercial heavy vehicles
DATX02-19-10 Utvärdering av programspråk för implementation av SP-kedjor (signal processing chains).
DATX02-19-38 Autogenererad Webbapplikation för User Acquisition genom SEO inom fotboll

Hårdvarunära

DATX02-19-01 Automation of articulated commercial heavy vehicles
DATX02-19-04 Controller for game-console
DATX02-19-05 Navigeringssystem för robotgräsklippare
DATX02-19-10 Utvärdering av programspråk för implementation av SP-kedjor (signal processing chains).
DATX02-19-13 Autonom långdistansdrönare / Obemannat flygplan
DATX02-19-28 Computation on compressed data
DATX02-19-29 Computation on encrypted data
DATX02-19-30 Implementation of a RISC-V core with vector extensions
DATX02-19-31 In-Memory computation for machine learning
DATX02-19-32 Open-source-koddosa
DATX02-19-33 Audio-spektrum-display
DATX02-19-34 Stochastic computing
DATX02-19-35 Evaluating evaluations of mathematical functions in FPGA

Matematik

DATX02-19-16 Proof editor for structural induction
DATX02-19-19 Exploring emergence in a multi-agent system
DATX02-19-23 Matematikens domänspecifika språk (DSLsofmath) för andra kurser
DATX02-19-26 Grammars for music/poetry/fractals
DATX02-19-33 Audio-spektrum-display
DATX02-19-34 Stochastic computing
DATX02-19-35 Evaluating evaluations of mathematical functions in FPGA
DATX02-19-36 Physically-based animation of fire in real-time
DATX02-19-37 A procedural game based on real-time flocking behaviour

Mobilappar och webb

DATX02-19-14 Very low bandwidth (marine) web surfing - part 2​
DATX02-19-20 A smartphone game modeled after logic and proofs
DATX02-19-25 Four-in-one
DATX02-19-38 Autogenererad Webbapplikation för User Acquisition genom SEO inom fotboll

Nätverk och system

DATX02-19-01 Automation of articulated commercial heavy vehicles
DATX02-19-05 Navigeringssystem för robotgräsklippare
DATX02-19-10 Utvärdering av programspråk för implementation av SP-kedjor (signal processing chains).
DATX02-19-12 A decentralized voting system
DATX02-19-13 Autonom långdistansdrönare / Obemannat flygplan
DATX02-19-14 Very low bandwidth (marine) web surfing - part 2
DATX02-19-15 Provably private communications
DATX02-19-28 Computation on compressed data
DATX02-19-29 Computation on encrypted data
DATX02-19-32 Open-source-koddosa

Pedagogik

DATX02-19-06 Miljö för tillämpning av grundläggande programmeringskunskaper​
DATX02-19-17 Using typed-holes for generating feedback in AskElle
DATX02-19-23 Matematikens domänspecifika språk (DSLsofmath) för andra kurser
DATX02-19-24 Automatisk generering av arkadspel
DATX02-19-25 Four-in-one

Programspråk

DATX02-19-02 Statisk typcheckning för dynamiskt typade skriptspråk
DATX02-19-06 Miljö för tillämpning av grundläggande programmeringskunskaper
DATX02-19-10 Utvärdering av programspråk för implementation av SP-kedjor (signal processing chains).
DATX02-19-17 Using typed-holes for generating feedback in AskElle
DATX02-19-18 Bug location detection for AskElle
DATX02-19-21 A tutorial proof checker, reloaded
DATX02-19-22 Creating bugs in Haskell
DATX02-19-27 A modular front-end compiler for Paragon
DATX02-19-39 General purpose programming language with a twist
DATX02-19-40 Lightweight typestate through Paragon
DATX02-19-41 Visualisering av en kompilators interna transformationer
DATX02-19-42 Hur minimalt kan ett programspråk vara?

Spel

DATX02-19-03 Machine Learning: Starcraft 2 AI
DATX02-19-04 Controller for game-console
DATX02-19-08 Utveckla AI till realtidsstrategispel (RTS) (Starcraft 2)
DATX02-19-11 VR-based tabletop gaming
DATX02-19-20 A smartphone game modeled after logic and proofs
DATX02-19-24 Automatisk generering av arkadspel
DATX02-19-25 Four-in-one
DATX02-19-37 A procedural game based on real-time flocking behaviour​

Teoretisk Datavetenskap

DATX02-19-02 Statisk typcheckning för dynamiskt typade skriptspråk
DATX02-19-09 Dynamisk flerspråkig röstassistent
DATX02-19-16 Proof editor for structural induction
DATX02-19-20 A smartphone game modeled after logic and proofs
DATX02-19-21 A tutorial proof checker, reloaded
DATX02-19-26 Grammars for music/poetry/fractals
DATX02-19-42 Hur minimalt kan ett programspråk vara?

User Experience

DATX02-19-04 Controller for game-console
DATX02-19-09 Dynamisk flerspråkig röstassistent
DATX02-19-11 VR-based tabletop gaming
DATX02-19-20 A smartphone game modeled after logic and proofs
DATX02-19-24 Automatisk generering av arkadspel
DATX02-19-25 Four-in-one
DATX02-19-37 A procedural game based on real-time flocking behaviour
DATX02-19-38 Autogenererad Webbapplikation för User Acquisition genom SEO inom fotboll

Publicerad: on 15 okt 2014. Ändrad: ti 20 nov 2018