Wintersemester 2019/20

Projektgruppe "Praxis der Forschung"

Angebotene Themenfelder im Wintersemester 2019/20

Die Themenfelder für das Wintersemester 2019/20 sind:

• Formale Methoden
• Hochperformante Humanoide Technologien
• Kryptographie und Sicherheit
• Maschinenübersetzung
• Medizinrobotik
• Pervasives Computing
• Zuverlässige Softwaresysteme

Die folgende Liste gibt einen Überblick über Themen, die im Wintersemester ausgeschrieben werden. Bei Interesse an einem Thema oder Fragen dazu kann der/die betreffende Mitarbeiter/in angeschrieben werden. Die endgültige Liste der ausgeschriebenen Themen wird auf der Informationsveranstaltung und der Themenvorstellung zu Semesterbeginn (s.o.) bekannt gegeben und kann anschließend im Handout nachgelesen werden.

Hinweis: Erfahrungsgemäß lohnt es sich, bereits im Vorfeld mit den entsprechenden Mitarbeiter:innen Rücksprache zu halten, um Enttäuschungen bei der Themenvorstellung zu vermeiden. Sollten Sie Interesse an der Durchführung eines Projektes im Rahmen von Praxis der Forschung haben, aber Ihr Wunschthema ist hier nicht  aufgeführt, so können in Ausnahmefällen bis zum Ende der ersten Vorlesungswoche noch Themen nachgemeldet werden. Halten Sie hierzu bitte frühzeitig Rücksprache mit den entsprechenden Mitarbeiter:innen bzw. Forschungsgruppen (deren Themen Sie interessieren), um ein Thema zu vereinbaren, und bitten Sie diese, (bei Interesse) schnellstmöglich mit uns Kontakt aufzunehmen.

Liste der Projekte für das Wintersemester 2019/20

#	Projekt	Forschungsgruppe(n)	Betreuende Mitarbeiter:innen
1.	Episodic Memory for Verbalization of Robot Experience	IAR Asfour und IAR Waibel	Fabian Peller-Konrad und Stefan Constantin
2.	Incremental Learning of Object-Action-Effects using Multiple Learning Modes	IAR Asfour	Fabian Paus und Rainer Kartmann
3.	Understanding Verbal Commands to Manipulate Semantic Scene Structure	IAR Asfour	Rainer Kartmann
4.	Lattice-based Black-Box Accumulation	ITI Müller-Quade	Alexander Koch und Astrid Ottenhues
5.	Alias Analysis with LLVM in the Context of Program Verification	ITI Sinz	Marko Kleine Büning und Prof. Carsten Sinz
6.	Generating General Preconditions	ITI Sinz	Marko Kleine Büning und Prof. Carsten Sinz

#	Projekt	Forschungsgruppe(n)	Betreuende Mitarbeiter:innen
a.	Real-Time Data Processing of Multiple Camera Input Streams for Vision-based Robotic Grasping	IAR Asfour	Felix Hundhausen
b.	Magnetbasierte 3D-Lokalisierung von minimal-invasiven medizinischen Instrumenten	IAR Mathis-Ullrich	Christian Marzi und Jun.‑Prof. Franziska Mathis‑Ullrich
c.	Relationale Sozialwahl-Eigenschaften für sichere und skalierbare Blockchain-Konsensusverfahren	ITI Beckert	Michael Kirsten
d.	Runtime Verification für KI-basierte Systeme	ITI Beckert	Jonas Klamroth und Alexander Weigl
e.	Scheduling Attacks on Smart Contracts	ITI Beckert	Jonas Schiffl
f.	Generieren von personalisierten In-Ear Kopfhöreraufsätzen mit commercial off-the-shelf Smartphone Tiefenkameras	TM Beigl	Tobias Röddiger und Prof. Michael Beigl< /td>

Zu den Themen aus dem Sommersemester 2019.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen finden meist donnerstags oder freitags statt. Die erste ist am 23.10.2019 von 15.45 - 17.15 Uhr in Raum 010 (Geb. 50.34). Die Teilnahme an der ersten Veranstaltung ist unter anderem Voraussetzung zur Teilnahme an Praxis der Forschung, hier werden wichtige organisatorischen Informationen bekannt gegeben. Im Folgenden ist die grobe Planung für beide Semester aufgelistet (Änderungen vorbehalten):

1. Semester (Wintersemester 2019/20)

Datum	Zeit	Veranstaltung
Vorlesungswoche 2	2,0 Stunden	KickOff & Literaturrechereche und Zitieren
Vorlesungswoche 3	7,0 Stunden	Projektmanagement
Vorlesungswoche 4	8,0 Stunden	Präsentationsworkshop
Vorlesungswoche 8	1,5 Stunden	Erkenntnistheorie
Vorlesungswoche 9	1,5 Stunden	Wissenschaftstheorie
Vorlesungswoche 11	3,0 Stunden	Workshop zur Forschungsfrage
Vorlesungswoche 12	1,5 Stunden	Anträge schreiben
Vorlesungswoche 13	1,5 Stunden	Experimentaldesign

2. Semester (Sommersemester 2020)

Datum	Zeit	Veranstaltung
Vorlesungswoche 1	1,5 Stunden	KickOff & Dokumentation des wissenschaftlichen Fortschritts
Vorlesungswoche 2	2,0 Stunden	Paper schreiben
Vorlesungswoche 4	1,5 Stunden	Statistische Auswertung
Vorlesungswoche 12	5,0 Stunden	Schreibworkshop I - Modelle & Techniken zum wiss. Schreiben
Vorlesungswoche 14	6,0 Stunden	Schreibworkshop II - Schreiben von Abstracts & Präzisierungen

Im Rahmen von Praxis der Forschung finden zusätzlich noch Präsentationstermine (drei im ersten Semester, zwei im zweiten) statt. Außerdem werden die Inhalte jedes Semesters mit jeweils einer mündlichen Prüfung abgeprüft.
Weitere Termine, Details und eventuelle Änderungen sind im ILIAS zu finden. Bitte melden Sie sich hierzu an.

• ILIAS-Kurs mit allen Terminen für das 1. Semester
• ILIAS-Kurs mit allen Terminen für das 2. Semester

Veranstaltungen und Termine vergangener Jahrgänge finden sich im Archiv.