DATX02-19-01 Automation of articulated commercial heavy vehiclesDATX02-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
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
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
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
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 computingDATX02-19-35 Evaluating evaluations of mathematical functions in FPGA
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
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
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?
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
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?
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
Sidansvarig Publicerad: on 15 okt 2014. Ändrad: ti 20 nov 2018
Var god fyll i ett meddelande
Skicka meddelande