Bachelorprojekt forår 2013 Informa?on om formalia, projektabaler og vejledere

Transkript

1 Bachelorprojekt F13 Onsdag den 7. november 2013 Bachelorprojekt forår 2013 Informa?on om formalia, projektabaler og vejledere Andrzej Wąsowski (på vegne af uddannelsesleder Rune Møller Jensen) MeOe Holm Smith (Uddannelseskoordinator) 09/11/12 1

2 Bachelorprojekt Forløb og deadlines Forudsætning: bestået 120 ECTS November januar. Indkredsning af emne og foreløbig kontakt med vejleder. 30. januar. Semesterstart Uge 5-6 (Se kursusbasen senere). 1. projektklyngemøde. Projektgruppe og projektabale 1. februar. OpreOelse af projektabale i projektbasen 15. februar. Indsendelse af projektabale?l godkendelse af studienævnet 22. maj inden kl. 15:00: Aflevering af projekt. Maj/juni: Mundtligt forsvar af projekt 09/11/12 2

3 Bachelorprojekt - Projektbasen Intranet mit.itu Projektbasen (Opret projekt som bachelorprojekt) Bachelorprojektklynge i kursusbasen Vejledning?l projektbasen og opreoelse af projekt hop://www1.itu.dk/sw asp (Intranet Studiehåndbog Kurser, projekter og specialer Projekter og specialer Projektbasen) Spørgsmål? Kontakt MeOe (uddannelseskoordinator) 3E11 meho@itu.dk Spørgsmål om projektbasen MajbriO Madsen 2E11 mbm@itu.dk 09/11/12 3

4 ProjekOyper a) SoBwarekonstruk?onsprojekt b) Konsulentrapport for en organisa?on c) Design- opgave d) LiOeraturstudium e) Teore?sk eller teknisk forskningsrapport f) Beskrivelse og vurdering af en ny teknologi 09/11/12 4

5 Nogle velmente råd Projektvalg Det er væsentligt, at problemet er både vigkgt og svært Det kan derfor være en god ide at vælge et projekt foreslået af din vejleder Et bachelorprojekt er en teknisk akandling Skriv kort, konsistent og præcist Definer begreber, før du bruger dem Undgå stave- og sjuskefejl, da de underminerer din troværdighed Skriv ikke indforstået Feedback Vær opmærksom på at det kan være svært at give feedback på halvfærdige kapitler 09/11/12 5

6 Find en vejleder Hjemmeside for de enkelte faggrupper og forskere: hop:// Mange forskere har projek?deer på deres hjemmeside 09/11/12 6

7 Vejlerede: SoBware Development Group Peter SestoB - Sprogteori, regneark genberegning, Søren Lausen - SoBware specifika?on, brugergrænseflader Jakob Bardram - Pervasive compu?ng, sundheds- it Yvonne DiOrich - SoBware engineering, Par?cipatory design M. Ali Babar - Global sobware engineering, cloud compu?ng Philipe Bonnet - Database tuning, flash- based database systems 09/11/12 7

8 Vejledere: Programming, Logic and Seman?cs Claus Brabrand - Web technology, domain specific languages Thomas Hildebrandt - Models for concurrent communica?ng processes Marco Carbone - Formal seman?cs, distributed systems Andrzej Wąsowski - Model- driven development, Eclipse frameworks,... Carsten Schürmann - Verifica?on, electronic vo?ng Rasmus Ejlers Møgelberg - Denota?onal seman?cs, category theory 09/11/12 8

9 Vejledere: Algorithms Rasmus Pagh - Datamining algorithmics Thore Husfeldt - Combinatorial op?miza?on algorithmics Jesper Larsson - Efficient computa?on in database/search systems Gaze group Dan Witzner - Eye tracking, gaze es?ma?on, image analysis 09/11/12 9

10 Tilsendte Projekuorslag Peter SestoB - Al?d projekuorslag på hjemmeside Rasmus Pagh 1) Vulnerability mining This is a project in collabora?on with secunia.com, which is located in Mikado House and makes "vulnerability intelligence". The project is presently only loosely defined, but could consist of doing data analysis or mining on data arising from 5 million installa?ons of the Secunia PSI sobware. The scope and goals will be agreed upon in collabora?on with the company and supervisor. 09/11/12 10

11 Tilsendte Projekuorslag Rasmus Pagh 2) All- pairs similarity search on GPU Graphics Processing Units have emerged as the plauorm that currently offers the highest processing capacity per wao, and per dollar. They are extensively used in computa?onally intensive applica?ons. The goal of this project is to inves?gate the use of GPUs to find "similar" pairs of vectors in a large collec?on of vectors. This is a central problem in data analysis, and could be applied to data from many domains. A prototype should be developed, its performance tested on a Tesla GPU made available by ITU, and the results compared to exis?ng theore?cal knowledge. 09/11/12 11

12 Tilsendte Projekuorslag Rasmus Pagh 2) All- pairs similarity search on GPU Graphics Processing Units have emerged as the plauorm that currently offers the highest processing capacity per wao, and per dollar. They are extensively used in computa?onally intensive applica?ons. The goal of this project is to inves?gate the use of GPUs to find "similar" pairs of vectors in a large collec?on of vectors. This is a central problem in data analysis, and could be applied to data from many domains. A prototype should be developed, its performance tested on a Tesla GPU made available by ITU, and the results compared to exis?ng theore?cal knowledge. 09/11/12 12

13 Tilsendte Projekuorslag Dan Witzner 1) Machine Learning: Make programs that learns from observa?ons Many problems are hard to program directly typical examples are how to find the number of faces in an image, recognize paoerns in large databases and suggest the customer to buy a book given she intends to buy another book. One idea for a project that could include machine learning is to classify gestures in the Kinect sensor. 2) Using the eyes for secure login In this project you will inves?gate how the eyes and their movements can be used to make more secure logins and iden?fica?on of persons using informa?on from the eye. 09/11/12 13

14 Tilsendte Projekuorslag 3) Suppor?ng elderly in the store using gaze In this project you will inves?gate how gaze of a person and the loca?on the person can support and enhance the experience for elderly when shopping. Such systems can be a tremendous help when the elderly want to know more about the different object without having to reach or stretch aber the objects of interest. 5) Gaze- enhanced intelligent home People with disabili?es (e.g. some elderly) want to remain in their own homes while maintaining their independence. In this project you will inves?gate methods interac?ng with home appliances eyes. For example how to turning on and control a TV just by looking at it or in combina?on with other devices. 09/11/12 14

15 Tilsendte Projekuorslag 5) Eye tracking in Schools Geyng informa?on at the right?me and at the right place is important in several ac?vi?es when learning (e.g. in schools while reading). In this project you will inves?gate how eye tracking can support and enhance the experience when learning (reading and wri?ng). 09/11/12 15

16 Tilsendte Projekuorslag Andrzej Wąsowski 1) Analysis of failure causes for Linux kernel. The objec?ve is to gather and explain as many as possible reasons for failure in the Linux kernel code. I am interested in deep analyses and classifica?on of these failures, including an explana?on of the cause of the error, all the way to the original programming error. I am especially interested in errors that can be linked to low level programming errors (like unini?alized variables) or viola?ons in use of kernel internal APIs by drivers, etc. The work will provide input for the VARIETE research project. Prerequisites for this project: good command of C programming language, and ability to read and understand Linux kernel implementa?on code. The project does not involve programming (essen?ally), but involves intensive work with code wrioen by others. 09/11/12 16

17 Tilsendte Projekuorslag 2) Modelling environment for crea?ng domain- models in a re- engineering scenario. She et al (ICSE'11) have offered a SAT- based algorithm for reconstruc?ng feature models from Boolean constraint systems (a knowledge base). The objec?ve of the project is to develop an intelligent visual editor for feature models, which would use the synthesized model as a star?ng port, and allow to modify it by adding and removing facts from the knowledge base), by organising and modularizing the model, and by introducing abstrac?ons. Prerequisites: The work requires understanding of proposi?onal logics and its reasoning tools, plus knowledge (or willingness to learn) of frameworks for crea?ng visual editors. 09/11/12 17