CS4501 Algorithmik, Logik und Komplexität

SS 2018:

• Komplexität (V+Ü, 4 KP)

WS 2018/19:

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

CS4502 Parallele und verteilte Systeme

SS 2018:

• CS3051 Parallelverarbeitung
• CS4151 Systemarchitekturen für verteilte Anwendungen

WS 2018/19:

• Seminar oder Projekt

CS4503 Ambient Computing und Anwendungen

SS 2018:

• CS4670 Ambient Computing
• Seminar Ambient Computing

WS 2018/19:

• Projekt Ambient Computing

CS4504 Cyber Physical Systems

SS 2018:

• CS5153 Drahtlose Sensornetze
• Seminar Cyber Physical Systems

WS 2018/19:

• CS5150 Organic Computing
• Seminar Cyber Physical Systems

Das Seminar kann wahlweise im SS oder im WS belegt werden

CS4505 Systemarchitektur

SS 2018:

• CS5156 Systemarchitekturen für Mulitmedia
• Seminar System Architecture

WS 2018/19:

• CS5170: Hardware/Software Co-Design

CS4506 Sicherheit von Daten und Kommunikation

SS 2018:

• CS4210 Kryptographische Protokolle

WS 2018/19:

• CS4211: Modellierung und Analyse von Sicherheitseigenschaften

CS4507 Softwareverifikation

SS 2018:

• CS4139  Runtime Verification und Testen

WS 2018/19:

• CS4138 Model Checking

CS4508 Datenmanagement

WS 2018/19:

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

CS4509 Internet-Technologien

SS 2018:

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

WS 2018/19:

• CS5158 Advanced Internet Technologies

CS4510 Signalanalyse

SS 2018:

• CS4220 Mustererkennug
• CS5275 Ausgewählte Methoden der Signalanalyse und -verbesserung
• CS5194 Projektpraktikum Signal- und Bildverarbeitug

WS 2018/19:

• CS5194 Projektpraktikum Signal- und Bildverarbeitung

Das Projektpraktikum kann wahlweise im SS oder im WS belegt werden.

CS4511 Lernende Systeme

SS 2018:

• CS4405 Neuroinformatik
• CS5430 Seminar Maschinelles Lernen

WS 2018/19:

• CS5450 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 Wintersemester 2018/19.

CS4512 Bildgebende Systeme und inverse Probleme

SS 2018:

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

WS 2018/19:

• ME4411 Computertomographie
• ME4412 Magnetresonanztomographie

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.