CS4501 Algorithmik, Logik und Komplexität

WS 2018/19:

• Algorithmik und Logik (V+Ü, 4 KP)
• Seminar Algorithmik, Logik und Komplexität (4 KP)

SS 2019:

• Komplexität (V+Ü, 4 KP)
• Seminar Algorithmik, Logik und Komplexität (4 KP)

Das Seminar kann wahlweise im WS oder SS belegt werden.

CS4502 Parallele und verteilte Systeme

WS 2018/19 nur Teil 2:

• Seminar

CS4503 Ambient Computing und Anwendungen

WS 2018/19 nur Teil 2:

• Projekt Ambient Computing

CS4504 Cyber Physical Systems

Es liegen noch keine bestätigten Informationen vor.

CS4505 Systemarchitektur

Es liegen noch keine bestätigten Informationen vor.

CS4506 Sicherheit von Daten und Kommunikation

WS 2018/19:

• CS4211: Modellierung und Analyse von Sicherheitseigenschaften

SS 2019:

• CS4210 Kryptographische Protokolle

CS4507 Softwareverifikation

WS 2018/19:

• CS4138 Model Checking

SS 2019:

• CS4139  Runtime Verification und Testen

CS4508 Datenmanagement

WS 2018/19:

• CS5140 Semantic Web
• CS4140 Mobile und verteilte Datenbanken
• Seminar oder Projekt Datenmangement

CS4509 Internet-Technologien

WS 2018/19:

• CS5158 Advanced Internet Technologies

SS 2019:

• CS4151 Systemarchitekturen für verteilte Anwendungen
• Projekt Internet-Technologien

CS4510 Signalanalyse

Es liegen noch keine bestätigten Informationen vor.

CS4511 Lernende Systeme

WS 2018/19:

• CS5450 Maschinelles Lernen

SS 2019:

• CS4405 Neuroinformatik
• CS5430 Seminar Maschinelles Lernen

Für Informatik-Studierende mit dem Anwendungsfach Bioinformatik wird die Lehrveranstaltung CS4405 Neuroinformatik ersetzt durch die Lehrveranstaltung CS5204 Künstliche Intelligenz 2 im WS 2018/19.

CS4512 Bildgebende Systeme und inverse Probleme

WS 2018/19:

• ME4411 Computertomographie
• ME4412 Magnetresonanztomographie

SS 2019:

• ME4413 Nuklearbildgebung
• ME4030-INF Inverse Probleme bei der Bildgebung

CS4513 Web and Data Science

WS 2018/19:

• CS5131 Web-Mining-Agenten
• CS5130 Grundlagen von Ontologien und Datenbanken für Informationssysteme

CS4520 Fallstudie zur professionellen Produktentwicklung

Verschiedene Institute bieten Fallstudien an.