Vorlesungsverzeichnis (WiSe 2012/13)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Fakultät 6 (Mathematik u. Informatik)

6.2 Informatik

Studiengang Medieninformatik

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65460 Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 65461 Grundzüge der Theoretischen Informatik   -   Paul Grundvorlesung 65462 Grundzüge von Algorithmen und Datenstrukturen   -   Bläser Grundvorlesung 65464 Programmierung 1   -   Smolka Grundvorlesung 65467 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 66504 Mathematik für Informatiker I   -   Setzer Vorlesung 66718 Medienprojekt   -   Krüger Grundvorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 66037 Nebenläufige Automaten / Concurrent Automata   -   Hermanns Proseminar / Seminar 67259 Anwendungen von Markov-Ketten   -   Wolf Blockseminar 67260 Das Erfüllbarkeitsproblem SAT   -   Weidenbach ,  Hack Proseminar 67401 Programmierung mobiler Geräte mit Android   -   Jung Proseminar 67589 Neural Networks for Pattern Recognition   -   Klakow ,  Faubel Blockseminar 67692 Das Buch der Beweise   -   Seidel Proseminar 67733 Statische Programmanalyse   -   Reineke Proseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65470 Telecommunications I   -   Herfet Vorlesung / Übung 65471 Computer Graphics   -   Slusallek Vorlesung / Übung 65472 Machine Learning   -   Hein Vorlesung / Übung 65829 Computer Architecture I   -   Paul Vorlesung / Übung 65843 Security   -   Backes ,  Maffei ,  Hammer Vorlesung / Übung 66379 Image Processing and Computer Vision   -   Weickert Weiterführende Vorlesung 66836 Algorithms and Datastructures   -   Seidel Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65485 Automatic Planning   -   Hoffmann Weiterführende Vorlesung 65780 Development of Safety-Critical Embedded Systems   -   Wilhelm ,  Kästner Weiterführende Vorlesung 65969 Algorithmic Game Theory   -   van Stee Weiterführende Vorlesung 65980 Sublinear Algorithms   -   Sauerwald Weiterführende Vorlesung 66222 Statistical Learning II   -   Lengauer Spezialvorlesung 66256 Public Key Encryption   -   Schröder Weiterführende Vorlesung 66258 Modelling and Simulation   -   Wolf Weiterführende Vorlesung 66659 Probabilistic Graphical Models and their Applications   -   Schiele Weiterführende Vorlesung 66660 Dynamic Geometry Processing   -   Wand ,  Wuhrer Blockvorlesung 66712 Automated Testing and Verification   -   Gorla ,  Galeotti Weiterführende Vorlesung 66713 Automated Debugging   -   Zeller Weiterführende Vorlesung 66721 Automated Reasoning II   -   Weidenbach Blockvorlesung 66992 Parallel Programming with CUDA   -   Slusallek ,  Kalojanov ,  Danilewski Weiterführende Vorlesung 67063 Correspondence Problems in Computer Vision   -   Weickert ,  Mainberger Spezialvorlesung 67224 Visualization and Data Analysis   -   Krüger ,  Weinkauf Weiterführende Vorlesung 67261 Automata, Games and Verification   -   Finkbeiner Weiterführende Vorlesung 67341 Discrete Topics in Data Mining   -   Miettinen Weiterführende Vorlesung 67597 Randomized Methods in Computer Science   -   Doerr Weiterführende Vorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65469 Heuristic Search Algorithms   -   Hoffmann Seminar 65825 Automatic Parallelization in the Polyhedral Model   -   Hack Seminar 65968 Social Choice Theory   -   van Stee Seminar 65979 Non-Traditional Data Management (NoSQL and more)   -   Michel Seminar 66037 Nebenläufige Automaten / Concurrent Automata   -   Hermanns Proseminar / Seminar 66666 Hauptseminar: Milestones and Advances in Image Analysis   -   Weickert ,  Demetz Seminar / Hauptseminar 66912 Practical Cryptographic Systems   -   Kate Seminar 67073 Graphs in Surfaces   -   Mnich ,  Schmidt Seminar 67149 Multimodal dialog systems: personalization and generic approaches   -   Klakow ,  Alexandersson ,  Petukhova Seminar 67245 Reading Group in Algorithms (B)   -   Mehlhorn Seminar 67265 Recent Topics in Computergraphics and Visualization   -   Krüger Seminar 67275 Dynamic Streaming   -   Herfet Seminar 67330 Technology Enhanced Learning   -   Siekmann ,  Sosnovsky Seminar 67344 Parallel Visual Computing   -   Ihrke ,  Ritschel ,  Fritz Seminar 67365 Real-time Systems & Synthesis   -   Finkbeiner ,  Faymonville ,  Gerke Seminar 67435 Applied Perception   -   Myszkowski ,  Ritschel Seminar 67547 Tangible Maps   -   Löchtefeld Blockseminar 67577 Real-Time Scheduling and Synchronization   -   Brandenburg Seminar 67670 Parametricity and Modular Reasoning   -   Dreyer Seminar 67728 Decision Procedures   -   Piskac Seminar 67732 Embodied Interaction: User Interfaces Merge With the Real World   -   Steimle Blockseminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 63834 Marketingmanagement   -   Gröppel-Klein ,  N. N. Vorlesung / Übung

Spezialisierungsfach: Medienpsychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 64634 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura Vorlesung