Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
134451
|
Machine Translation
-
van Genabith
|
Vorlesung / Übung
|
belegen/abmelden
|
134460
|
Text-to-Speech Synthesis
-
Möbius
|
Vorlesung
|
|
136332
|
Quantitative Model Checking
-
Hermanns
,
Maggio
|
Weiterführende Vorlesung
|
|
136353
|
Ethics for Nerds
-
Hermanns
,
Baum
,
Sterz
|
Weiterführende Vorlesung
|
|
136354
|
Automated Reasoning II
-
Waldmann
|
Weiterführende Vorlesung
|
|
136357
|
Interaktive Systeme
-
Schmitz
|
Vorlesung
|
|
136434
|
Algorithms for Cryptanalysis
-
Joux
|
Weiterführende Vorlesung
|
|
136462
|
Machine Learning Privacy
-
Zhang
|
Weiterführende Vorlesung
|
|
136463
|
Formal analysis of real-world security protocols
-
Cremers
|
Weiterführende Vorlesung
|
|
136464
|
Secure Web Development
-
Pellegrino
,
Staicu
|
Weiterführende Vorlesung
|
|
136465
|
Foundations of Web Security
-
Stock
|
Weiterführende Vorlesung
|
|
136466
|
Physical-Layer Security
-
Tippenhauer
,
Singh
|
Weiterführende Vorlesung
|
|
136467
|
Digital Currencies and Smart Contracts
-
Wüst
|
Blockvorlesung
|
|
136468
|
Distributed Graph Algorithms
-
Brandt
|
Weiterführende Vorlesung
|
|
136469
|
Optimization for Machine Learning
-
Stich
|
Weiterführende Vorlesung
|
|
136504
|
Topics in Algorithmic Data Analysis
-
Vreeken
|
Weiterführende Vorlesung
|
|
136517
|
Audio/Visual Communication and Networks (Telecommunications 2)
-
Herfet
|
Vorlesung / Übung
|
|
136518
|
High Level Computer Vision
-
Schiele
|
Weiterführende Vorlesung
|
|
136520
|
Realistic Image Synthesis
-
Slusallek
|
Weiterführende Vorlesung
|
|
136567
|
Recht der Cybersicherheit - Datenschutzrechtliche Aspekte
-
Sorge
|
Weiterführende Vorlesung
|
|
136887
|
Data Science
-
Maaß
|
Vorlesung / Übung
|
|
136937
|
IT-Forensics
-
Sorge
|
Weiterführende Vorlesung
|
|
136978
|
Parameterized Verification
-
Jacobs
|
Weiterführende Vorlesung
|
|
136990
|
Algebraic Geometry (Algebraische Geometrie)
-
Schreyer
,
Mitarbeiter des Lehrstuhls
|
Vorlesung / Übung
|
|
137175
|
Convex Analysis
-
Swoboda
|
Weiterführende Vorlesung
|
|
137193
|
Automated Knowledge Base Construction
-
Razniewski
|
Weiterführende Vorlesung
|
|
137217
|
Competitive Programming
-
Weidenbach
,
Bläser
,
Bromberger
,
Bringmann
|
Weiterführende Vorlesung
|
|
137234
|
How to Clock Your Computer
-
Lenzen
|
Weiterführende Vorlesung
|
|
137293
|
Spezialvorlesung der Bioinformatik: Algorithms for Sequence Analysis
-
Rahmann
|
Spezialvorlesung
|
|
137482
|
Causality for Complexity Theorists
-
Bläser
|
Weiterführende Vorlesung
|
|
137555
|
Image Compression
-
Peter
,
Mitarbeiter des Lehrstuhls
|
Vorlesung / Übung
|
|
137657
|
Mathematical Morphology in Image Analysis
-
Schaefer
|
Vorlesung / Übung
|
|
137658
|
Model-driven Deep Learning Lab for Image Analysis
-
Schrader
|
Vorlesung / Übung
|
|