Vorlesungsverzeichnis (WiSe 2022/23)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengang Medieninformatik

Master, StO 2013

Pflichtbereich aus dem Fachbereich Informatik oder Medieninformatik

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 137812 Machine Learning for Natural Language Processing and beyond   -   Klakow Blockseminar Zur Zeit keine Belegung möglich 140201 Hybrid Learning and Reasoning   -   Klusch ,  Müller ,  Nonnengart Seminar 140204 Understanding of Configurable Software System   -   Apel Seminar 140216 Speech-based Adaptation of Personalized User Interfaces   -   Feld Seminar 140327 AI for HCI   -   Feit Seminar 140328 Machine Learning for Program Analysis   -   Pellegrino ,  Staicu ,  Holz Seminar 140329 Privacy of Machine Learning   -   Zhang Seminar 140330 Advanced Theory of Secure Messaging   -   Cremers Seminar 140331 Machine Learning Security   -   Schönherr Seminar 140333 Industrial Control System Security   -   Ghaeini Seminar 140334 Applied Multiparty Computation and Fully Homomorphic Encryption   -   Kluczniak Seminar 140335 Topics in Optimization for Machine Learning   -   Stich Seminar 140336 Pruning Deep Neural Networks for Lottery Tickets   -   Burkholz Seminar 140337 Topics in Out-of-Distribution Generalization   -   Muandet Seminar 140338 Verification of Distributed Systems   -   Jacobs Seminar 140345 Aspects of Quantitative Program Verification   -   Kaminski Seminar 140346 Legal Tech und eJustice   -   Sorge Seminar 140355 Games User Research   -   Lessel ,  Altmeyer Seminar 140492 Hot Topics in Data Networks   -   Feldmann Seminar 140603 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 140604 The Web Security Seminar   -   Pellegrino ,  Stock Seminar 140605 Interactive Robotics   -   Steimle Seminar 140606 Alignment-free Sequence Analysis Algorithms   -   Rahmann Seminar 140607 Machine Learning meets Communication Networks   -   Herfet Seminar 140608 Seminar: Inpainting in Image Analysis   -   Weickert ,  Schaefer Seminar 140641 Deep Reinforcement Learning   -   Wolf Seminar 140653 Machine Learning for Software Development   -   Zeller Seminar 140661 Learning from Limited Data in NLP   -   Mosbach ,  Zhu Seminar belegen/abmelden 140680 3D Object Representation and Reconstruction with Machine Learning   -   Ilg Seminar 141077 Space Informatics   -   Hermanns ,  Fraire Seminar 141078 Embedded Systems Security   -   Abbasi Seminar 141079 Microarchitectural Security via Hardware-Software Contracts   -   Reineke Seminar 141091 Deep Generative Diffusion Models   -   Wolf ,  Großmann Seminar 141825 Intelligent Systems for Supporting Human Learning   -   Nagashima Blockseminar 141947 Counting Complexity   -   Bläser Blockseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 139470 Compiler Construction   -   Hack Vorlesung / Übung 139471 Database Systems   -   Dittrich Vorlesung / Übung 139472 Automated Reasoning   -   Weidenbach ,  Bromberger ,  Möhle Vorlesung / Übung 139473 Computer Graphics   -   Slusallek Vorlesung / Übung 139474 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 139475 Human Computer Interaction   -   Schmitz Vorlesung / Übung 139476 Security   -   Bugiel ,  Holz Vorlesung / Übung 139477 Software Engineering   -   Apel Vorlesung / Übung 139478 Algorithms and Data Structures   -   Seidel Vorlesung / Übung 139479 Complexity Theory   -   Bläser Vorlesung / Übung 140762 Computer Algebra   -   Bartholdi Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 137850 Statistik mit R   -   Demberg Vorlesung / Übung belegen/abmelden 138267 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 139049 Approximation Algorithms   -   Spoerhase Weiterführende Vorlesung 139530 Quantum Artificial Intelligence   -   Klusch ,  Macaluso ,  Slusallek Weiterführende Vorlesung 139791 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 139871 Elements of Machine Learning   -   Vreeken ,  Bojchevski Vorlesung / Übung 139873 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 139874 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 140156 Social Computing (Affective Computing)   -   Gebhard ,  Tsovaltzi ,  Müller ,  Nunnari Weiterführende Vorlesung 140339 Usable Security and Privacy (vormals Usable Security)   -   Krombholz Weiterführende Vorlesung 140348 Systems Security   -   Holz ,  Abbasi Weiterführende Vorlesung 140349 Reactive Synthesis   -   Dimitrova Weiterführende Vorlesung 140351 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 140352 Automata, Games, and Verification   -   Finkbeiner Weiterführende Vorlesung 140353 Clock Synchronization and Adversarial Fault Tolerance   -   Lenzen Weiterführende Vorlesung 140354 Automated Debugging   -   Zeller Weiterführende Vorlesung 140357 Generic and Generative Software Design   -   Apel Weiterführende Vorlesung 140420 Reinforcement Learning   -   Singla ,  Radanovic Weiterführende Vorlesung 140423 Coding Theory   -   Döttling Weiterführende Vorlesung 140434 Randomized Algorithms and Probabilistic Analysis of Algorithms   -   Wellnitz Weiterführende Vorlesung 140487 AI Planning Weiterführende Vorlesung 140488 Hands-On Dependability   -   Schmidt Weiterführende Vorlesung 140535 Topics in Algorithmic Dynamical Systems Theory   -   Ouaknine Weiterführende Vorlesung 140610 Empirical Software Engineering Research   -   Apel Blockvorlesung 140865 Program Analysis   -   Reineke Weiterführende Vorlesung 140899 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 140900 Image Acquisition Methods   -   Peter Vorlesung / Übung 140901 Advanced Image Analysis   -   Peter Vorlesung / Übung 140903 Interpolation and Approximation for Visual Computing   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung