Module

143 Treffer

Wahlmodule Informatik: Games Engineering143

Advanced Concepts of Programming LanguagesNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit der Bedeutung (Semantik) verschiedener Sprachkonstrukte und damit, wie sie in Compilern und Laufzeitsystemen umgesetzt werden. Am Ende kannst du Sprachfeatures analysieren, vergleichen und gegebenenfalls in einem anderen Sprachmodell nachbilden sowie Compiler erweitern, um diese Konstrukte zu unterstützen.6 ECTSläuft dieses SemesterCIT3230000Advanced Robot Learning and Decision-MakingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst fortgeschrittene Methoden für Robotik, die Modellierung, optimale Regelung und lernbasierte Verfahren (inkl. Reinforcement Learning) verbinden. Am Ende kannst du robotische Systeme modellieren, moderne Steuerungsalgorithmen ableiten und gelernte Modelle in Kontrollarchitekturen einsetzen, um mit Unsicherheiten und Modellfehlern umzugehen.5 ECTSläuft dieses SemesterCIT433037Advanced Topics of Software EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Anforderungen, Architektur, Design, Implementierung und Qualitätssicherung bei der Entwicklung großer Softwaresysteme eng verzahnt werden. Am Ende kannst du Anforderungen (funktional und nicht-funktional) erheben und spezifizieren, ihre Auswirkungen auf Architektur und Code bewerten sowie Architekturen und Lösungsansätze hinsichtlich zentraler Qualitätsattribute analysieren.8 ECTSläuft dieses SemesterIN2309AI TestingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man Software prüft, deren Logik und Entscheidungen stark auf Künstlicher Intelligenz beruhen. Am Ende kannst Du Teststrategien für datengetriebene, KI-basierte Systeme entwerfen, geeignete Testverfahren auswählen und Testergebnisse kritisch bewerten.5 ECTSläuft dieses SemesterCIT423002Ausgewählte Themen aus dem Bereich Datenbanken und InformationssystemeNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikIn diesem Modul werden wechselnde, aktuelle Themen aus dem Bereich Datenbanken und Informationssysteme vorgestellt. Du lernst Forschungsstand und Techniken in ausgewählten Gebieten kennen und kannst am Ende Konzepte zur Datenhaltung analysieren und kritisch bewerten.5 ECTSläuft dieses SemesterIN3100
138 weitere in Wahlmodule Informatik: Games EngineeringAusgewählte Themen aus dem Bereich Formale Methoden und ihre AnwendungenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit aktuellen Themen aus dem Bereich Formale Methoden und ihrer Anwendung. Am Ende kennst du Forschungs- und Entwicklungsstand in ausgewählten Teilgebieten und kannst dich mit aktuellen Forschungsprojekten und -ergebnissen auseinandersetzen.5 ECTSläuft dieses SemesterIN3350Automata and Formal LanguagesNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie verschiedene Klassen von Automaten (endliche, deterministische, nichtdeterministische, Büchi-Automaten) als Datenstrukturen zur Darstellung und Manipulation von (auch unendlichen) Mengen und Relationen eingesetzt werden. Du übst Aufbau und Kombination von Automaten, automatische Operationen (z. B. Boolesche Operationen, Joins) und den Zusammenhang zwischen Automaten und Logik sowie deren Anwendung in Pattern-Matching, Program Verification und bei Problemen wie Diophantischen Gleichungen.8 ECTSläuft dieses SemesterIN2041EchtzeitsystemeNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die speziellen Methoden, Probleme und Lösungen für Echtzeitsysteme kennen. Du verstehst, wie sich Echtzeitsysteme von allgemeinen Systemen unterscheiden, wie Modellierung, Scheduling, nebenläufige Programmierung, echtzeitfähige Kommunikation sowie typische Hardware für Sensorik und Aktorik eingesetzt werden und kannst passende Lösungen auswählen und umsetzen. Das Modul schließt mit einer Einführung in fehlertolerante Systeme.6 ECTSläuft dieses SemesterIN2060Efficient Algorithms and Data StructuresNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen der Analyse von Algorithmen sowie zentrale Datenstrukturen und grundlegende algorithmische Probleme. Schwerpunkte sind Laufzeit- und Speicheranalyse, verschiedene Suchbäume, Hash-Verfahren, Prioritätswarteschlangen, Union-Find-Strukturen sowie Maxflow-/Mincut- und Matching-Algorithmen. Am Ende kannst du Algorithmen analysieren, die Effizienz von Datenstrukturen beurteilen und neue Lösungen für Probleme entwerfen.8 ECTSläuft dieses SemesterIN2003Einführung in Quantum ComputingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die mathematischen Grundlagen des Quantum Computing sowie die grundlegenden Konzepte der Quantenmechanik und Quantenschaltungen. Am Ende kannst du einfache Quantenalgorithmen analysieren, Quantenschaltungen für grundlegende Aufgaben entwerfen und einschätzen, wofür Quantencomputer künftig eingesetzt werden können.5 ECTSläuft dieses SemesterIN2381eLearning - Techniken und InfrastrukturenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen, Konzepte und Techniken des eLearning kennen: von pädagogisch-didaktischen Aspekten über technische Architekturen bis zu Standards und Integration in Hochschullandschaften. Am Ende kannst du Lehr-/Lernumgebungen einordnen und bewerten, ihre Funktion und Einbettung in Campus-Management-Systeme erklären sowie einfache Lehrinhalte mit Grundkenntnissen in XML erstellen.3 ECTSläuft dieses SemesterIN2093Foundations and Application of Generative AINoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen und praktischen Anwendungen von generativer KI kennen, einschließlich moderner Modelle wie Transformer-Architekturen, Large Language Models und Stable Diffusion. Am Ende kannst du Prompt-Engineering anwenden, Open‑Source-Modelle laden und feintunen, sowie Chancen, Risiken und Sicherheitsaspekte von generativer KI einschätzen.6 ECTSläuft dieses SemesterCITHN2014HW/SW CodesignNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst den Entwurfsprozess von gemischten Hardware-/Software-Systemen (z. B. SoC) kennen – von Funktionsgraphen über Partitionierung in Hardware- und Softwareteile bis zu FPGA-Netzlisten und ausführbarem Objektcode. Am Ende kannst du Entwurfsprobleme modellieren, Partitionierungs- und Scheduling-Algorithmen anwenden und die Qualität resultierender HW/SW-Lösungen bewerten.5 ECTSläuft dieses SemesterEI70630Höhere AlgorithmikNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst grundlegende Techniken zur Entwicklung und Analyse effizienter Algorithmen (z. B. Divide-and-Conquer, dynamische Programmierung, Randomisierung, Greedy-Verfahren, amortisierte Analyse) und wendest sie auf zentrale Probleme wie Sortieren, Graphenprobleme, String- und Sequenzalgorithmen sowie Datenstrukturen an. Am Ende kannst du klassische algorithmische Verfahren verstehen, analysieren und zur Lösung grundlegender Aufgaben einsetzen.8 ECTSläuft dieses SemesterCIT323004Industrielle BildverarbeitungNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikIn dem Modul lernst Du praxisrelevante Methoden und Algorithmen der industriellen Bildverarbeitung kennen. Du verstehst die typischen Einsatzgebiete (z. B. Lageerkennung, Form- und Maßprüfung, Beschriftungs- und Objekterkennung) und kannst Bildverarbeitungsaufgaben analysieren, bewerten und Lösungen entwickeln.6 ECTSläuft dieses SemesterIN2369Introduction to Deep LearningNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikIn diesem Modul lernst du die Grundlagen und aktuelle Methoden des Deep Learning kennen, mit besonderem Schwerpunkt auf neuronalen Netzen und Convolutional Neural Networks. Du verstehst Theorie (z. B. Backpropagation, SGD, Regularisierung) und erwirbst praktische Erfahrung beim Trainieren und Optimieren von Netzarchitekturen, sodass du einfache Anwendungen wie Ziffernerkennung oder Bildklassifikation lösen kannst.6 ECTSläuft dieses SemesterIN2346Introduction to Surgical RoboticsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Robotik in der Chirurgie angewendet wird: von klinischen Einsatzszenarien über die technischen Grundlagen bis zur Entwicklung robotikgestützter Lösungen für medizinische Probleme. Am Ende kannst Du Einsatzpotenziale abschätzen, Robotik in chirurgische Arbeitsabläufe integrieren und einfache Prototypen für definierte klinische Aufgaben entwerfen und präsentieren.6 ECTSläuft dieses SemesterIN2292Konzepte und Software Design für Cyber-Physische SystemeNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst zentrale Konzepte und Techniken für Cyber-Physische Systeme (CPS) kennen und kannst anschließend zeitsensible Software für CPS entwerfen und analysieren. Dazu gehören Signalverarbeitung, zeitkritisches I/O, Mikroprozessor-Schnittstellen, Datenkommunikation sowie Echtzeitbetriebssysteme und -techniken.5 ECTSläuft dieses SemesterMW2411Künstliche Intelligenz in der MedizinNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und aktuelle Methoden der Künstlichen Intelligenz im medizinischen Kontext kennen, von ML für medizinische Bildgebung über NLP für klinische Daten bis zu Datenschutz, Interpretierbarkeit und ethischen Aspekten. Am Ende kannst du die wichtigsten Themen einordnen, sie auf eigene Deep‑Learning‑Projekte anwenden und Strategien zur Bewertung und Umsetzung in der klinischen Praxis entwickeln.5 ECTSläuft dieses SemesterIN2403Muster in der SoftwaretechnikNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Muster in der Softwaretechnik kennen und anzuwenden: von Architektur- und Entwurfsmustern über Test- und Organisationsmuster bis zu Antimustern. Am Ende kannst du Muster für Analyse, System- und Detailentwurf identifizieren, in UML modellieren und das Modell in Java-Quellcode überführen.5 ECTSläuft dieses SemesterIN2081Neuroprosthetics: Artificial LimbsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und aktuelle Entwicklungen der Neuroprothetik für Arm- und Beinprothesen sowie Methoden zur Integration von Steuerung und sensorischem Feedback. Am Ende kannst du Konzepte für mechatronische Prothesensysteme entwerfen, EMG-Signale zur Mehrfreiheitsgradsteuerung analysieren und funktionelle Bewertungsmethoden kritisch einschätzen.5 ECTSläuft dieses SemesterIN2405Physical Unclonable FunctionsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie in Hardware vorhandener Zufall für IT-Sicherheitsaufgaben genutzt wird: zunächst Physical Unclonable Functions (PUFs) — Aufbau, genutzte Effekte, Qualitätsbewertung, Anwendungen, Angriffe und Gegenmaßnahmen — und anschließend Zufallszahlengeneratoren und deren Analyse. Praktisch implementierst du eine PUF-basierte Ver- und Entschlüsselung sowie Schlüsselspeicherung und Zufallszahlengenerierung auf einem FPGA.5 ECTSläuft dieses SemesterEI71029Programmierung und Regelung für Mensch-RoboterinteraktionNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst Dich mit Programmierung und Regelung für die Mensch‑Roboter‑Interaktion. Du lernst robotische Modellbildung, verschiedene Regelungsstrategien und deren Implementierung in Simulationen und am KUKA‑DLR Leichtbauroboter, inklusive praktischer Erprobung und Demonstrationen.5 ECTSläuft dieses SemesterIN2308ProgrammoptimierungNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden und Analysen zur Verbesserung der Laufzeiteffizienz von Programmen. Das Modul behandelt Datenflussanalysen, Fixpunktberechnungen und optimierende Transformationen sowie hardware-nahe Techniken wie Registerverteilung, Instruktionsauswahl und Scheduling. Am Ende kannst du Analysen auf kleine Programme anwenden und Optimierungen entwickeln.8 ECTSläuft dieses SemesterIN2053Protein Prediction II for Computer ScientistsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden zur Vorhersage von Proteinfunktionen aus Sequenz- und Strukturinformationen kennen sowie Ansätze zur Vorhersage von Interaktionen, Subzellulärer Lokalisation und Effekten einzelner Aminosäurevarianten. Am Ende kannst du ML-/KI-basierte Vorhersagemethoden kritisch bewerten, selbst Lösungsansätze entwerfen und in Pseudocode oder Programmen umsetzen.8 ECTSläuft dieses SemesterIN2291Query OptimizationNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie relationale Datenbanksysteme Anfragen verarbeiten und wie man diese effizient optimiert. Am Ende kannst Du optimale Joinreihenfolgen bestimmen, Kosten- und Kardinalitätsmodelle einsetzen und Optimierungsentscheidungen unter Berücksichtigung physikalischer Eigenschaften wie Speicherzugriff oder Indexnutzung treffen.6 ECTSläuft dieses SemesterIN2219Ringvorlesung SystemsicherheitNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikIn der Ringvorlesung präsentieren Forschende und Industrievertreter aktuelle Fragestellungen und Lösungsansätze der IT-Sicherheit für Systeme und Anwendungen. Am Ende kannst du grundlegende Sicherheitsprobleme erkennen und die vorgestellten Lösungsansätze wiedergeben.3 ECTSläuft dieses SemesterEI75671Security in Communications and StorageNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden und Konzepte, um Sicherheit in Kommunikations- und Speichersystemen zu erzielen. Das Modul behandelt klassische und post-quantum Kryptographie, fehlerkorrigierende Codes und ihre Anwendung in verteilter Datenspeicherung sowie Private Information Retrieval; am Ende kannst du diese Schemata verstehen, bewerten und praktisch anwenden.5 ECTSläuft dieses SemesterEI71060Sichere Implementierung kryptographischer VerfahrenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie kryptographische Verfahren sicher in eingebetteten Systemen implementiert werden und wie typische praktische Angriffe (z. B. Timing-, Strom- und Fehlerangriffe) funktionieren. Am Ende bist du in der Lage, Implementierungen zu entwerfen, Angriffszenarien zu beurteilen und geeignete Schutzmaßnahmen praktisch anzuwenden.6 ECTSläuft dieses SemesterEI7243Software for Quantum ComputingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Software für Quantencomputer aufgebaut ist und wie du Quantenanwendungen entwirfst, realisierst und auf bestehenden Plattformen ausführst. Am Ende kannst du Quantenalgorithmen praktisch umsetzen, simulieren, kompilieren, verifizieren und für reale Quantenrechner vorbereiten.5 ECTSläuft dieses SemesterCIT4330012Statistical Foundations of LearningNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst statistische Grundlagen der Machine-Learning-Theorie und mathematische Werkzeuge zur Analyse von Lernalgorithmen. Am Ende kannst du Generalisierungs- und Konsistenzfragen bewerten, Algorithmen wie k‑NN, SVM und einfache neuronale Netze theoretisch analysieren und neuere Entwicklungen wie Überparametrisierung und Trainingsdynamiken einordnen.8 ECTSläuft dieses SemesterCIT4230004Strategic IT ManagementNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst zentrale Konzepte, Methoden und Entscheidungsfelder des strategischen IT-Managements kennen und wie diese zusammenwirken. Am Ende kannst du Beziehungen zwischen IT-Strategie, Enterprise Architecture Management, Large-scale Agile Development und IT-Governance erklären und Muster sowie Frameworks in Modellen, Methoden, Kennzahlen und Visualisierungen anwenden.4 ECTSläuft dieses SemesterCIT4230000Trustworthy Distributed LearningNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und aktuelle Forschung zu verteiltem Lernen (zentralisiert, föderiert, dezentral) mit Fokus auf Datenschutz, Robustheit gegen bösartige Clients und Reduktion der Kommunikationskosten. Am Ende kannst du Algorithmen zur Privatsphäre, Robustheit und Kommunikationseffizienz analysieren, selbst implementieren und kritisch bewerten.6 ECTSläuft dieses SemesterCIT433044Trustworthy Machine Learning SystemsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man Systeme gestaltet und bewertet, die vertrauenswürdige Funktionen mit Machine-Learning-Komponenten bereitstellen. Am Ende kannst Du die Notwendigkeit, Vorteile und Herausforderungen solcher Systeme in verschiedenen Anwendungsfeldern beurteilen sowie Risiken analysieren und geeignete Maßnahmen zur Schaffung vertrauenswürdiger ML-Komponenten ableiten.3 ECTSläuft dieses SemesterCIT4330017Virtuelle Physik: Moderne Modellierungstechnik und ihr Einsatz in der ComputersimulationNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie physikalische Systeme gleichungsbasiert mit modernen, objektorientierten Sprachen wie Modelica modelliert werden und wie diese Modelle in Computersimulationen eingesetzt werden. Am Ende kannst Du elektrische und mechanische Systeme modellieren, Modelbibliotheken aufbauen und geeignete Zeitintegrationsverfahren für Simulationen auswählen.4 ECTSläuft dieses SemesterIN2236XR: Virtual-, Mixed-, and Augmented RealityNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit fortgeschrittenen Themen der Extended Reality (XR: Virtual, Mixed und Augmented Reality). Am Ende kannst du die technischen und theoretischen Grundlagen dieser Technologien erklären, empirische Erkenntnisse beurteilen und selbst Anwendungen in einer 3D-Engine (Unity3D) entwickeln und evaluieren.5 ECTSläuft dieses SemesterMH4L004277Advanced Cryptographic ImplementationsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie moderne kryptographische Verfahren effizient und sicher auf eingebetteten Systemen implementiert werden. Schwerpunkt sind Optimierungstechniken sowie Schutzmaßnahmen gegen physikalische Angriffe wie Seitenkanal- und Fehlerangriffe. Am Ende kannst du fortgeschrittene Implementierungs- und Härtungsmaßnahmen anwenden und bekannte Angriffsvektoren erkennen.5 ECTSkein Termin dieses SemesterEI71070Advanced Machine Learning: Deep Generative ModelsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst Dich mit fortgeschrittenen Methoden des maschinellen Lernens, mit Schwerpunkt auf tiefen generativen Modellen. Am Ende kennst Du die theoretischen Grundlagen und kannst die wichtigsten Bausteine (Normalizing Flows, VAEs, GANs, Diffusionsmodelle) anwenden und in moderner Programmiersprache implementieren sowie qualitativ vergleichen.3 ECTSkein Termin dieses SemesterCIT4230003Advanced Robot Control and LearningNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst fortgeschrittene Methoden der Roboterregelung, Modellierung, Identifikation und bio-inspirierte adaptive Impedanzregelung sowie aktuelle Lernansätze für physische Systeme. Am Ende kannst du Roboter dynamisch modellieren, moderne Regler entwerfen, Redundanz ausnutzen und Lernverfahren auf reale Robotikaufgaben anwenden.6 ECTSkein Termin dieses SemesterIN2376Algorithmen für Uncertainty QuantificationNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden zur Quantifizierung von Unsicherheiten in computerbasierten Simulationen kennen. Am Ende kannst du zentrale Algorithmen für Forward Uncertainty Quantification einordnen, deren Komplexität abschätzen und einschätzen, wann welche Verfahren (z. B. Monte Carlo, Quasi-Monte Carlo, stochastische Kollokation, stochastische Galerkin) geeignet sind.5 ECTSkein Termin dieses SemesterIN2345Algorithms for Scientific Computing IINoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit fortgeschrittenen numerischen Methoden und deren Anwendung in wissenschaftlichem Rechnen. Je nach Vorlesungsschwerpunkt lernst du z.B. effiziente Verfahren für dünn besetzte Matrizen, numerische Techniken für Quantensysteme oder Methoden wie Molekulardynamik, Sparse-Grids und algebraischen Multigrid. Am Ende kannst du passende Verfahren auf anspruchsvolle Anwendungsprobleme anwenden und ihre hierarchischen Aspekte erklären und nutzen.4 ECTSkein Termin dieses SemesterIN2002Analysis of Three-Dimensional ShapesNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden zur Darstellung, Analyse und zum Vergleich dreidimensionaler Formen. Das Modul behandelt sowohl die zugrundeliegende Mathematik (z. B. Differentialgeometrie, spektrale und konforme Methoden) als auch praktische Implementierungsaspekte, sodass Du am Ende Verfahren zur Analyse und zum Vergleich von 3D-Formen verstehen und implementieren kannst.8 ECTSkein Termin dieses SemesterIN2238Anerkennung 1 aus dem Bereich AlgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodule Informatikkein Termin dieses SemesterIN99540Anerkennung 1 aus dem Bereich Computergrafik und -visionNoch keine Bewertungen für dieses Modul.Wahlmodule Informatikkein Termin dieses SemesterIN995021Anerkennung 1 im Bereich Rechnerarchitektur, Rechnernetze und Verteilte SystemeNoch keine Bewertungen für dieses Modul.Wahlmodule Informatikkein Termin dieses SemesterIN99560Anerkennung 2 aus dem Bereich AlgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodule Informatikkein Termin dieses SemesterIN99541Anerkennung 2 aus dem Bereich Computergrafik und -visionNoch keine Bewertungen für dieses Modul.Wahlmodule Informatikkein Termin dieses SemesterIN995022Anerkennung im Bereich Wissenschaftliches Rechnen und High Performance ComputingNoch keine Bewertungen für dieses Modul.Wahlmodule Informatikkein Termin dieses SemesterIN99575Anerkennung im Bereich Wissenschaftliches Rechnen und High Performance ComputingNoch keine Bewertungen für dieses Modul.Wahlmodule Informatikkein Termin dieses SemesterIN99576Angewandte BiorobotikNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie biologische Prinzipien auf die Konstruktion und Regelung zweibeiniger Laufroboter angewendet werden. Im Theorieteil werden Grundlagen der zweibeinigen Lokomotion, Regelung, biologisch inspirierte Optimierungsverfahren sowie Experimentaufbau vermittelt; im Praxisprojekt entwirfst und optimierst Du einen Regler für einen Roboteraufbau und analysierst das Verhalten.6 ECTSkein Termin dieses SemesterIN2352Anwendungen von QuantencomputingNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterNAT7022Artificial Intelligence in Medicine IINoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu erhältst einen Überblick über fortgeschrittene Vorhersage- und Klassifikationsaufgaben in der Medizin. Du lernst Methoden für Prognose und Diagnostik (z. B. Risikoscores, Survival-Modelle, Differenzialdiagnose, Populationsstratifizierung), spezialisierte ML-Techniken (geometrische Deep Learning-Methoden für Punktwolken/Netze, Transformer, Reinforcement Learning) sowie Themen zur Vertrauenswürdigkeit und klinischen Umsetzung von KI (Bias, Fairness, Generalisierbarkeit, Datenharmonisierung, Evaluation). Am Ende kannst Du die Konzepte in eigenen AI-Projekten anwenden und ihre sozialen und ethischen Implikationen einschätzen.5 ECTSkein Termin dieses SemesterIN2408Ausgewählte Themen aus dem Bereich AlgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3410Ausgewählte Themen aus dem Bereich Computergrafik und -visionNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikIn diesem Modul werden ausgewählte aktuelle Themen aus Computergrafik und Bildverstehen vorgestellt. Du lernst den Stand von Forschung und Technik in diesen Bereichen kennen und kannst Dich mit aktuellen Forschungsprojekten auseinandersetzen.5 ECTSkein Termin dieses SemesterIN3200Ausgewählte Themen aus dem Bereich Datenbanken und Informationssysteme: Digital Health Service SystemsNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN310004Ausgewählte Themen aus dem Bereich Digitale Biologie und Digitale MedizinNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3420Ausgewählte Themen aus dem Bereich Engineering software-intensiver SystemeNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3430Ausgewählte Themen aus dem Bereich Maschinelles Lernen und DatenanalyseNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3440Ausgewählte Themen aus dem Bereich Rechnerarchitektur, Rechnernetze und Verteilte SystemeNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3450Ausgewählte Themen aus dem Bereich RobotikNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3460Ausgewählte Themen aus dem Bereich Sicherheit und DatenschutzNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3470Ausgewählte Themen aus dem Bereich Wissenschaftliches Rechnen und High Performance ComputingNoch keine Bewertungen für dieses Modul.Wahlmodule Informatik5 ECTSkein Termin dieses SemesterIN3480Automated ProgrammingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst aktuelle Methoden der automatisierten Programmsynthese an der Schnittstelle von Software Engineering, KI und Machine Learning. Am Ende kennst du verschiedene Spezifikationsansätze für funktionale, reaktive und probabilistische Programme sowie Techniken, um Programme zu suchen oder zu erzeugen, die diese Spezifikationen erfüllen.2 ECTSkein Termin dieses SemesterIN2367Automaten und formale Sprachen IINoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit fortgeschrittenen Themen der Automatentheorie, z. B. Baumautomaten, gewichtete Automaten und Automaten für die Verifikation unendlicher Zustandsräume. Am Ende kannst du passende Automatenmodelle auswählen, Automaten konstruieren und automatentheoretische Techniken auf Probleme wie Textanalyse oder Programmverifikation anwenden.5 ECTSkein Termin dieses SemesterIN2042Autonomes FahrenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und zentrale Fragestellungen des Automatisierten Fahrens kennen. Das Modul vermittelt Überblick über Wahrnehmung, Entscheidung, Bahn- und Trajektorienplanung sowie Sensormodelle, Multisensor-Fusion und Kartierung. Am Ende kannst Du exemplarische Lösungsansätze auf typische Verkehrsszenarien anwenden und hast sowohl wissenschaftlichen als auch praktischen Bezug zur aktuellen Entwicklung.3 ECTSkein Termin dieses SemesterIN2356Autonomous Navigation for Flying RobotsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen der autonomen Navigation von Quadrotoren kennen: von 3D-Geometrie und probabilistischer Zustandsschätzung bis zu visueller Odometrie, SLAM und Regelung. Am Ende kannst du die Position eines Quadrotors aus Sensordaten abschätzen, einen EKF und PID-Regler implementieren und den Quadrotor in Simulation entlang einer Trajektorie steuern.2 ECTSkein Termin dieses SemesterIN2318BeinroboterNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Modellierung und Regelung von beinbasierten Robotern (ein-, zwei- und vierbeinige Systeme) sowie fortgeschrittene Regelungsansätze wie modellprädiktive Regelung und Ganzkörperregelung. Am Ende kannst du dynamische Modelle erstellen und Steuerungsalgorithmen für verschiedene legged-Roboter entwerfen und praktisch in Simulationen und Experimenten anwenden.5 ECTSkein Termin dieses SemesterCIT436000Bildverstehen I: Methoden der industriellen BildverarbeitungNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst praxisrelevante Methoden und Algorithmen der industriellen Bildverarbeitung kennen. Im Modul werden Verfahren zur Lageerkennung, Form- und Maßprüfung sowie Objekterkennung behandelt. Am Ende kannst du Bildverarbeitungsaufgaben analysieren, bewerten und mit geeigneter Hardware und Algorithmen umsetzen.3 ECTSkein Termin dieses SemesterIN2023Bildverstehen II: Robot VisionNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst praxisrelevante Methoden und Algorithmen des Robotersehens und maschinellen Sehens. Die Vorlesung erklärt Grundlagen, Datenstrukturen und Implementierungsaspekte zentraler Verfahren und zeigt typische Anwendungen, sodass Du Bildverarbeitungsaufgaben analysieren, bewerten und praktische Anwendungen entwickeln kannst.4 ECTSkein Termin dieses SemesterIN2016Blockchain-based Systems EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Aufbau, Eigenschaften und Einsatzmöglichkeiten von Blockchain- und Distributed-Ledger-Technologien (DLT). Am Ende kannst du Blockchain-basierte Anwendungssysteme analysieren, für konkrete Nutzungsszenarien geeignete Technologien auswählen und grundlegende Architektur- und Designentscheidungen begründen.5 ECTSkein Termin dieses SemesterIN2359Causal Inference in Time SeriesNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden der kausalen Inferenz für Zeitreihen kennen und anzuwenden. Am Ende kannst du kausale Strukturen in dynamischen Netzwerken identifizieren, geeignete Algorithmen einsetzen und Ergebnisse praktisch an realen Datensätzen umsetzen.5 ECTSkein Termin dieses SemesterCIT4230006CausalityNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit Konzepten und Methoden der kausalen Inferenz: von probabilistischen und graphentheoretischen Grundlagen über strukturelle Modelle bis zu modernen Algorithmen für Ursachenentdeckung und Schätzung von Kausaleffekten. Am Ende kannst du beurteilen, ob und wie aus gegebenen Daten und Annahmen kausale Schlüsse möglich sind, passende Methoden auswählen und diese praktisch anwenden.8 ECTSkein Termin dieses SemesterIN2410Circuit Design for SecurityNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie kryptographische Algorithmen (z. B. Arithmetik in endlichen Körpern und Operationen auf elliptischen Kurven) effizient und sicher in Hardware umgesetzt werden. Außerdem erkennst du typische Angriffsvektoren (Seitenkanal-, Fehlerinjektions-, Scan-Chain- und FSM-Angriffe) und Gegenmaßnahmen sowie Aufbau und Bewertung von echten und deterministischen Zufallszahlengeneratoren.5 ECTSkein Termin dieses SemesterEI70520Codegenerierung für DatenverarbeitungNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Codegenerierung für datenverarbeitende Programme funktioniert: von Programmdarstellungen (Quelltext, IR, Bytecode) über Optimierungen bis zur Erzeugung von Maschinencode und Ausführung in virtuellen Maschinen. Am Ende kannst Du geeignete Repräsentationen entwerfen, diese performant übersetzen und Optimierungen sowie Sandboxing-Maßnahmen berücksichtigen.6 ECTSkein Termin dieses SemesterCIT3230001Compilerbau INoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Compiler aufgebaut sind und wie sie Programme einer höheren Programmiersprache in Maschinenbefehle übersetzen. Am Ende kannst du die Grundkomponenten Frontend, Middleend und Backend erklären und einen einfachen Compiler für eine kleine Sprache und Zielarchitektur implementieren.5 ECTSkein Termin dieses SemesterIN2227Complexity TheoryNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst formale Berechnungsmodelle (insbesondere Turing-Maschinen und Schaltkreise) sowie die wichtigsten Komplexitätsklassen (z. B. L, NL, P, NP, PSPACE, EXP, NEXP, PH). Am Ende kannst du Probleme in Bezug auf Zeit- und Platzkomplexität analysieren, Reduktionen und Vollständigkeitsbeweise anwenden und weiterführende Konzepte wie Alternierung, Randomisierung und interaktive Beweissysteme einordnen.8 ECTSkein Termin dieses SemesterIN2007Computational Physiology for Medical Image ComputingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie computational models genutzt werden, um aus klinischen Bilddaten physiologische und diagnostische Informationen zu gewinnen. Am Ende kannst du Modelle einsetzen und bewerten, die z. B. Blutfluss, Stoffwechsel, Gewebemikrostruktur oder Krankheitsprogression aus Modalitäten wie MR, CT oder PET extrahieren.6 ECTSkein Termin dieses SemesterIN2319Connected Mobility BasicsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu erhältst eine breite Einführung in vernetzte mobile Systeme: von Mobilitätsmodellen und Simulationen über drahtlose Netzwerktechnologien bis zu Architekturen, Protokollen, Messungen sowie Sicherheits- und Datenschutzaspekten. Am Ende kannst du die grundlegenden Bausteine mobiler Systeme benennen, die relevanten technischen Fragestellungen verstehen und einfache Design-, Modellierungs- und Evaluationsaufgaben für mobile Dienste bearbeiten.8 ECTSkein Termin dieses SemesterIN2324Cryptography for Decentralized SystemsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst kryptografische Grundlagen und fortgeschrittene Verfahren, die in dezentralen Systemen und Blockchains eingesetzt werden. Schwerpunkt sind Zero-Knowledge-Proofs (inkl. SNARKs), polynomialbasierte Verfahren, vertrauliches Rechnen (Trusted Execution Environments) sowie Secure Multiparty Computation. Am Ende kannst du Konzepte beschreiben, einschätzen und für Lösungen in dezentralen Systemen anwenden.6 ECTSkein Termin dieses SemesterCIT333003Current Trends in IT SecurityNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst aktuelle Themen der IT-Sicherheit kennen, wie Netzwerk- und Web-Sicherheit, Privacy, Malware, Underground Economy und IoT-Sicherheit. Am Ende kannst du Grundkonzepte und Techniken von Angreifern und Verteidigern verstehen und analysieren.5 ECTSkein Termin dieses SemesterIN2341Data Processing on Modern HardwareNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie sich moderne Prozessor- und Speicherarchitekturen auf das Design von Datenverarbeitungs- und Speichersystemen auswirken und wie man Software so optimiert, dass sie auf aktuellen Maschinen deutlich schneller läuft. Am Ende kannst du datenintensive Algorithmen und Datenstrukturen für Cache- und Speicherebenen optimieren, Parallelität und Hardware-Beschleuniger nutzen sowie Performance-Engpässe analysieren und beseitigen.5 ECTSkein Termin dieses SemesterCIT3230004Data Structure EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man Datenstrukturen für Hauptspeicher und Auslagerung so entwirft und implementiert, dass sie auf moderner Hardware wirklich schnell und platzsparend arbeiten. Die Vorlesung vermittelt Hardware-Grundlagen und zeigt Optimierungen für Hash-Tabellen, Suchbäume, Tries und ähnliche Strukturen; am Ende kannst du eigene, domänenspezifische Varianten entwickeln und für Mehrkernprozessoren skalierbar synchronisieren.5 ECTSkein Termin dieses SemesterCIT3230003Database Systems on Modern CPU ArchitecturesNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie moderne CPU-Architekturen (CPU, Cache, TLB, Speicherhierarchie, Sprungvorhersage) das Verhalten und die Performance von Datenbanksystemen beeinflussen. Am Ende kannst du Speicherzugriffsmuster analysieren, Datenbank-Interna so anpassen, dass sie CPU/Cache nutzen, und Cache-bewusste Algorithmen sowie Kompressionsmethoden zur Durchsatzsteigerung beurteilen.6 ECTSkein Termin dieses SemesterIN2118Design Automation and Simulation for Microfluidic DevicesNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie mikrofluidische Geräte (Lab-on-a-Chip) entworfen, simuliert und prototypisch umgesetzt werden. Am Ende kannst du den Einsatzgebieten, Plattformen und Design-/Simulationsmethoden beurteilen und ein Mikrofluidik-Design vom Konzept bis zur prototypischen Implementierung begleiten.5 ECTSkein Termin dieses SemesterCIT4330013DevOps: Engineering for Deployment and OperationsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Entwicklung und Betrieb von Software zusammengeführt werden, um kurze Release-Zyklen bei hoher Qualität zu erreichen. Am Ende kannst du DevOps-Prinzipien anwenden, Deployment-Pipelines und skalierbare Microservice-Architekturen entwerfen sowie Produktionsumgebungen betreiben und überwachen.6 ECTSkein Termin dieses SemesterCIT423001Effiziente Algorithmen und Datenstrukturen IINoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst fortgeschrittene algorithmische Methoden mit Schwerpunkt auf linearer Optimierung und Techniken zur Lösung kombinatorischer Probleme. Am Ende kannst du lineare Modelle formulieren, klassische Lösungsverfahren wie Simplex und Fortgeschrittenes wie Ellipsoid- und Karmarkar-Methoden anwenden sowie Approximations- und Rundungsansätze für NP-vollständige Probleme nutzen.8 ECTSkein Termin dieses SemesterIN2004Einführung in die digitale SignalverarbeitungNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen der digitalen Signalverarbeitung: Signale und Systeme im Zeit- und Frequenzbereich, Diskretisierung, Filteroperationen, Frequenztransformationen, Kompressionstechniken und erste Aspekte der digitalen Bildverarbeitung. Außerdem erfährst du, wie die Algorithmen auf einem digitalen Signalprozessor (DSP) realisiert werden und wendest diese Implementierungen in der Übung an. Am Ende kannst du theoretische Konzepte analysieren und geeignete Algorithmen praktisch umsetzen.7 ECTSkein Termin dieses SemesterIN2061Einsatz und Realisierung von DatenbanksystemenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie moderne Datenbanksysteme aufgebaut und eingesetzt werden. Am Ende kannst Du wesentliche Komponenten (Transaktionsverwaltung, Recovery, Mehrbenutzersynchronisation, physische Organisation, Anfragebearbeitung) erklären, Algorithmen und Datenstrukturen implementieren sowie Einsatzszenarien kritisch bewerten und skizzieren.6 ECTSkein Termin dieses SemesterIN2031Elektronisches Publizieren / Document Engineering und das World-Wide WebNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und Techniken des elektronischen Publizierens für das Web: Modellierung und Kodierung strukturierter Dokumente (XML, JSON, Unicode), Schemasprachen, programmgesteuerte Verarbeitung (XPath, XSLT, XQuery) sowie Architekturen für Publishing-Anwendungen. Am Ende kannst du digitale Dokumente semantisch auswerten, weiterverarbeiten und die wichtigsten Web-Publishing-Konzepte, -Technologien und -Architekturen beurteilen.5 ECTSkein Termin dieses SemesterIN2032Engineering Resilient Cognitive SystemsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie cyber‑physische kognitive Systeme (z. B. automatisierte Fahrzeuge) so entworfen werden, dass sie in dynamischen und unsicheren Kontexten zuverlässig und sicher bleiben. Am Ende kannst du grundlegende Konzepte resilienter Architekturen beschreiben und einfache resilient‑adaptive Entwürfe mit entsprechenden Mustern und Methoden modellieren.3 ECTSkein Termin dieses SemesterCIT4230005Event ProcessingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und Praxis des Event Processing: Wie Ereignisdaten verarbeitet, gefiltert, korreliert und erkannt werden. Am Ende kannst du gängige Konzepte, Formale, Sprachen und Muster von EP-Systemen anwenden und bewerten sowie ein eigenes EP-System im Rahmen eines Projektbeispiels implementieren.5 ECTSkein Termin dieses SemesterIN2288Fortgeschrittene Konzepte des Quantum ComputingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst fortgeschrittene Konzepte und Algorithmen des Quantum Computing kennen, mit Schwerpunkt auf der Quanten-Fouriertransformation, dem Shor-Algorithmus und Quanten-Fehlerkorrektur. Am Ende kannst du diese Techniken unterscheiden, die Quanten-Fouriertransformation in neuen Szenarien anwenden und den mathematischen Formalismus der Fehlerkorrektur, inklusive Stabilizer-Formalismus, verstehen.5 ECTSkein Termin dieses SemesterIN2400Fortgeschrittene Netzwerk- und Graph-AlgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu vertiefst Kenntnisse zu Graphen- und Netzwerkalgorithmen: Schwerpunkte sind Zentralitätsmaße, Algorithmen zur Dichtemessung in (Teil-)Graphen, Zusammenhangsprobleme sowie das Assignment-Problem (ungarische Methode). Am Ende kannst Du komplexe Netzwerkprobleme analysieren, ihre Komplexität einschätzen und geeignete effiziente Algorithmen entwickeln bzw. anwenden.8 ECTSkein Termin dieses SemesterIN2158Fortgeschrittene Themen des SoftwaretestsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden, Techniken und Managementaspekte des Softwaretestens kennen. Am Ende kannst du Testaktivitäten und -artefakte benennen, ihre Vor- und Nachteile einschätzen und in konkreten Kontexten Testfälle konzeptuell und beispielhaft erstellen und analysieren.5 ECTSkein Termin dieses SemesterIN2084Funktions- und InformationssicherheitNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Unterschiede und Gemeinsamkeiten von funktionaler Sicherheit und Informationssicherheit für cyber-physische Systeme kennen. Am Ende kannst du grundlegende Analyse- und Gestaltungsansätze anwenden und Sicherheits- bzw. Sicherheitsargumente für einfache CPS-Beispiele beurteilen.3 ECTSkein Termin dieses SemesterIN2385Gleichungslogik und Lambda-KalkülNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen von Gleichungslogik, Termersetzungssystemen und untypisiertem sowie typisiertem Lambda-Kalkül. Am Ende kannst du Semantik und Beweissysteme der Gleichungslogik anwenden, Termrewrites auf Korrektheit (Terminierung, Konfluenz) analysieren und Lambda-Terme sowohl programmieren als auch typisieren.8 ECTSkein Termin dieses SemesterIN2048Informatikanwendungen in der Medizin IINoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst fortgeschrittene Methoden der medizinischen Bildverarbeitung, -segmentierung und -registrierung sowie Grundlagen des maschinellen Lernens und der 3D-Volumenvisualisierung. Am Ende kannst du die wichtigsten Algorithmentypen unterscheiden, einschätzen, wann sie angewendet werden, und zentrale Verfahren in Python umsetzen sowie auf klinische Fragestellungen anwenden.5 ECTSkein Termin dieses SemesterIN2022Informationstheoretische SicherheitNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und Modelle der informationstheoretischen Sicherheit kennen. Du verstehst Grenzen und Möglichkeiten wichtiger kryptografischer Verfahren und lernst Kanal- und Angriffsmodelle sowie Übertragungsverfahren, die beweisbar Sicherheit garantieren; am Ende kannst Du diese Konzepte beurteilen und in einfache Kommunikationssysteme einbetten.5 ECTSkein Termin dieses SemesterEI73451Inverse Problems in Medical ImagingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst mathematische Werkzeuge und Lösungsstrategien für inverse Probleme in der medizinischen Bildgebung. Am Ende kannst du inverse Probleme theoretisch analysieren, experimentell entwerfen und praktisch implementieren sowie Algorithmen zur Rekonstruktion und Regularisierung beurteilen.5 ECTSkein Termin dieses SemesterIN2409IoT SecurityNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Sicherheitsaspekte entlang des IoT-Protokollstapels (Daten-, Anwendungs- und Netzwerkschicht). Du übst Kryptografie, Authentifizierung, Angriffsarten (z. B. DoS, MITM) und deren praktische Durchführung sowie Abwehrmaßnahmen und die Integration von SSL für sichere Kommunikation zwischen smarten Geräten.5 ECTSkein Termin dieses SemesterCIT4330009IT-Sicherheit 2Noch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit vertieften und speziellen Themen der IT-Sicherheit, u. a. digitaler Identität, Anwendungssicherheit, Systemsicherheit sowie Sicherheit mobiler und drahtloser Kommunikation. Am Ende kannst du komplexe Sicherheitslösungen bewerten, Sicherheitsprobleme analysieren und geeignete Schutzkonzepte anwenden.5 ECTSkein Termin dieses SemesterCIT3330002Konvexe Optimierung für Computer VisionNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen der konvexen Analysis und deren Anwendung auf Optimierungsprobleme in der Bildverarbeitung und Computer Vision. Nach dem Modul kannst du gängige erste-Ordnung- und Proximalverfahren verstehen, anwenden und für typische CV-Aufgaben (z.B. Bildrekonstruktion, Segmentierung, Matrixfaktorisierung) implementieren.6 ECTSkein Termin dieses SemesterIN2330KryptografieNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die theoretischen Grundlagen und praktischen Bausteine moderner Kryptografie. Am Ende kannst du zentrale symmetrische und asymmetrische Primitive und Verfahren benennen, ihre mathematischen Grundlagen verstehen und einfache Sicherheitsbewertungen und -analysen durchführen.5 ECTSkein Termin dieses SemesterCIT3330003Lambda CalculusNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen des Lambda-Kalküls als Modell von Programmiersprachen. Zunächst behandelst Du ungetypten Lambda-Kalkül, seine Reduktionsregeln, Evaluationsstrategien (z. B. call-by-value, call-by-name) und seine Turing-Vollständigkeit. Im zweiten Teil lernst Du getypte Lambda-Kalküle, gängige Typensysteme in funktionalen Sprachen und die Verbindung zwischen Typen und Logik (Curry–Howard). Am Ende kannst Du Lambda-Terme nutzen, übersetzen und ihre Eigenschaften beweisen.5 ECTSkein Termin dieses SemesterIN2358Legal Data Science and InformaticsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Methoden der Data Science und Künstlichen Intelligenz auf rechtliche Fragestellungen angewendet werden, etwa bei Analyse und Suche in Rechtsdokumenten, Vorhersage von Fallausgängen und formalen Darstellungen rechtlichen Wissens. Am Ende kannst du einschätzen, wie ML- und NLP-Techniken auf juristische Daten wirken, formale Repräsentations- und Argumentationsmodelle erklären und einfache technische Ansätze auf konkrete, eingegrenzte Problemstellungen anwenden.6 ECTSkein Termin dieses SemesterIN2395LogikNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen der Aussagen- und Prädikatenlogik: Syntax, Semantik und formale Beweissysteme. Am Ende kannst du in deduktiven Systemen Beweise führen, Soundness und Completeness nachweisen, Probleme formalisieren und einfache Entscheidungs- oder Semi-Entscheidungsverfahren wie Resolution anwenden.8 ECTSkein Termin dieses SemesterIN2049Machine Learning and IT-SecurityNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu erhältst einen Überblick über die Schnittstelle von Machine Learning und IT-Security. Du lernst, wie ML-Systeme zur Erkennung von Angriffen oder Spam/Malware eingesetzt werden, wie ML-Systeme selbst angegriffen und verteidigt werden können, und wie Audio-Deepfakes erzeugt und erkannt werden. Am Ende kannst du Methoden zur Anomalieerkennung entwerfen, Angriffe auf ML-Systeme beschreiben und einfache Konzepte der Audio-Spoofing-Erstellung und -Detektion erklären.5 ECTSkein Termin dieses SemesterCIT4330001Machine Learning for Graphs and Sequential DataNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden des Machine Learning für Graphdaten und sequentielle Daten kennen. Du verstehst Modelle für Texte und zeitliche Abläufe sowie Techniken für Netzwerke und Graphen und kannst diese auf reale Aufgaben anwenden und bewerten. Am Ende kannst du geeignete Verfahren auswählen und ihre Stärken/Schwächen für nicht-unabhängige Daten einschätzen.5 ECTSkein Termin dieses SemesterIN2323Machine Learning for Regulatory GenomicsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikIn diesem Modul lernst du biologische Grundlagen der Genregulation und moderne Deep-Learning-Methoden zur Modellierung sequenzbasierter Regulationsprozesse. Nach Abschluss kannst du genomweite experimentelle Verfahren und Deep-Learning-Modelle für verschiedene Stufen der Genexpression anwenden und die Modellvorhersagen biologisch interpretieren.6 ECTSkein Termin dieses SemesterIN2393Mobile verteilte SystemeNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen und Kernkonzepte mobiler verteilter Systeme, insbesondere Mobilität, drahtlose Kommunikation und mobile Betriebssysteme. Am Ende kannst Du Probleme und Lösungsansätze dieser Systeme einschätzen und die Grundlagen auf neue Entwicklungen in drahtloser Kommunikation und mobilen Betriebssystemen anwenden.5 ECTSkein Termin dieses SemesterIN2098Model CheckingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man Hardware- und Software-Systeme mit formalen Modellen beschreibt und wie man mit Model-Checking-Verfahren automatisch überprüft, ob diese Modelle gewünschte Eigenschaften erfüllen. Am Ende kannst du einfache Systeme modellieren, Eigenschaften in temporaler Logik formulieren und grundlegende Model-Checking-Algorithmen sowie Strategien gegen das Zustandsraum-Explosion-Problem erklären und auf kleine Beispiele anwenden.8 ECTSkein Termin dieses SemesterIN2050Modellierung verteilter SystemeNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man verteilte, nebenläufige und kooperierende Softwaresysteme modelliert, beschreibt und systematisch analysiert. Am Ende kennst du zentrale Modelle und Techniken zur Spezifikation, Verfeinerung und Verifikation solcher Systeme und kannst geeignete Modellierungsansätze gezielt einsetzen.4 ECTSkein Termin dieses SemesterIN2080Netz- und SystemmanagementNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst zentrale Konzepte und Architekturen des Netz- und Systemmanagements kennen sowie deren Rolle im IT-Management einer Organisation. Nach dem Modul kannst du typische Managementprobleme erkennen und Grundansätze zur Lösung sowie deren Einbindung in IT-Servicemanagement-Prozesse beschreiben.4 ECTSkein Termin dieses SemesterIN2099Netzwerke für den ZahlungsverkehrNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikIn diesem Modul lernst Du die Systemarchitektur, Protokollschichten und Sicherheitsaspekte von Netzwerken, die für nationalen und internationalen Zahlungsverkehr gebraucht werden. Am Ende kannst Du grundlegende Architekturen, Sicherheitsstandards und Autorisierungslösungen beurteilen und Arten von Angriffen sowie mobile Sicherheitskonzepte einschätzen.3 ECTSkein Termin dieses SemesterIN2161Numerische Algorithmen für Computer Vision und Maschinelles LernenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst numerische Verfahren, die in Computer Vision und Maschinellem Lernen häufig verwendet werden, inklusive Modellierung praktischer Probleme. Am Ende kannst Du grundlegende Algorithmen implementieren, ihre Stärken und Schwächen einschätzen und geeignete Methoden zur Lösung konkreter CV-/ML-Aufgaben auswählen.5 ECTSkein Termin dieses SemesterIN2384Online- und ApproximationsalgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und fortgeschrittene Techniken der Online- und Approximationsalgorithmen. Am Ende kennst du klassische Online-Probleme (z. B. Scheduling, Paging, k-Server), Analysewerkzeuge wie amortisierte Analyse und randomisierte Algorithmen sowie Entwurfstechniken für Approximationsalgorithmen inklusive LP-Relaxierung und randomisiertes Runden.8 ECTSkein Termin dieses SemesterIN2304Operations ResearchNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Methoden der Entscheidungsanalyse sowie Techniken der linearen und ganzzahligen Optimierung kennen. Du kannst betriebliche Planungs- und Entscheidungsprobleme (z. B. Transport- oder Netzflussprobleme) modellieren und die grundlegenden Algorithmen zu deren Lösung verstehen und anwenden.6 ECTSkein Termin dieses SemesterIN0024Parallel Program EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst methodisch und praktisch, wie parallele Anwendungen entwickelt, analysiert und optimiert werden. Das Modul behandelt Programmiermodelle, Entwicklungswerkzeuge und Workflows für Performance-Engineering, sodass Du am Ende strukturierte Lösungen für die Entwicklung und Verbesserung paralleler Software entwerfen und umsetzen kannst.5 ECTSkein Termin dieses SemesterIN2310Parallele AlgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit Modellen der parallelen Berechnung und entwickelst grundlegende parallele Algorithmen. Am Ende kennst du verschiedene Maschinenmodelle, beherrschst Basiswissen der parallelen Komplexitätstheorie und kannst parallele Algorithmen entwerfen und bewerten.8 ECTSkein Termin dieses SemesterIN2011PetrinetzeNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Petri-Netze als formales Modell zur Beschreibung und Analyse nebenläufiger Systeme kennen. Am Ende kannst du einfache Systeme mit Petri-Netzen modellieren, kleine Netze von Hand analysieren und geeignete automatische Analysetechniken und Softwaretools für größere Netze auswählen, um Verhalten und Eigenschaften zu bewerten.5 ECTSkein Termin dieses SemesterIN2052Probabilistische Graphische Modelle in der Computer VisionNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie probabilistische grafische Modelle (gerichtet und ungerichtet) zur Modellierung und Lösung typischer Computer-Vision-Probleme eingesetzt werden. Am Ende kannst du MRF/CRF-Modelle verstehen, geeignete Inferenz- und Lernverfahren auswählen und diese auf Aufgaben wie Segmentierung, Pose-Schätzung, Stereo- oder Objekterkennung anwenden.5 ECTSkein Termin dieses SemesterIN2329Protein Prediction I for Computer ScientistsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und Methoden zur Vorhersage von Proteinstruktur und -funktion aus Sequenzdaten. Am Ende kannst du die wichtigsten 1D/2D/3D-Vorhersageverfahren erklären, geeignete computergestützte Ansätze auswählen und einfache ML-/KI-basierte Lösungen entwerfen und bis zur Pseudocode-Ebene umsetzen.8 ECTSkein Termin dieses SemesterIN2322Quantitative VerificationNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man Systeme mit quantitativen Aspekten (z. B. Zeit, Wahrscheinlichkeiten) formal modelliert und analysiert. Am Ende kannst du geeignete Modellklassen und Spezifikationssprachen anwenden, Analysealgorithmen erklären und auf kleine Beispiele praktisch nutzen sowie Modellprüfungswerkzeuge einsetzen.5 ECTSkein Termin dieses SemesterIN2340Quantum Computers and Quantum Secure CommunicationsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen von Quantencomputing und Post-Quantum-Kryptographie kennen, einschließlich Quanten- und Post-Quanten-Algorithmen. Am Ende kannst du Sicherheit und Leistung postquantenkryptographischer Implementierungen bewerten und geeignete Sicherheitsmaßnahmen anwenden.5 ECTSkein Termin dieses SemesterEI71073Randomisierte AlgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und Techniken randomisierter Algorithmen kennen und wie man deren Laufzeit und Korrektheit mit probabilistischen Methoden abschätzt. Am Ende kannst du klassische randomisierte Algorithmen (z. B. randomisierter Quicksort, Min-Cut, Treaps) verstehen und analysieren sowie Werkzeuge wie Markov-, Chebyshev- und Chernoff-Ungleichungen anwenden.8 ECTSkein Termin dieses SemesterIN2160Requirements EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Anforderungen für Software- und Systementwicklung systematisch erhoben, analysiert, dokumentiert und über die Projektlaufzeit hinweg gemanagt werden. Am Ende kannst du Stakeholder identifizieren, Ziele und Konflikte analysieren, passende Erhebungs- und Spezifikationstechniken auswählen und Anforderungen qualitätsgesichert weiterentwickeln.5 ECTSkein Termin dieses SemesterCIT423010Robust Machine LearningNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Grundlagen und aktuelle Methoden der robusten Machine Learning (ML). Das Modul behandelt Angriffsarten und Threat-Modelle, praktische Angriffsmethoden sowie empirische und zertifizierbare Verteidigungen. Am Ende kannst du Methoden zur Absicherung von ML-Systemen einschätzen und passende Algorithmen für konkrete Probleme auswählen.3 ECTSkein Termin dieses SemesterCIT423004Scientific Computing in Circuit SimulationNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst mathematische Modellierung und numerische Methoden zur Simulation elektronischer Schaltungen. Das Modul behandelt DAEs, sparsamen Umgang mit Matrizen und Algorithmen für paralleles Rechnen, sodass Du am Ende grundlegende Modellierungs- und Lösungsstrategien für industrielle Schaltungssimulationen verstehst und anwenden kannst.5 ECTSkein Termin dieses SemesterIN2306Secure CodingNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man sichere Software entwickelt und testet. Schwerpunkt sind Web-Services (PHP) sowie native Anwendungen (C/C++ und Java). Am Ende kannst du verbreitete Schwachstellen erkennen, geeignete Gegenmaßnahmen anwenden und Werkzeuge zur automatischen und manuellen Sicherheitsprüfung einsetzen.6 ECTSkein Termin dieses SemesterIN2313Security EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man sichere IT-Anwendungen systematisch entwirft, analysiert, bewertet und betreibt. Schwerpunkt sind System- und Bedrohungsanalyse, Ableitung von Sicherheitsanforderungen, Sicherheitsarchitekturen und Maßnahmen sowie Methoden zur Validierung und zum sicheren Softwareentwicklungsprozess.5 ECTSkein Termin dieses SemesterIN2178SemanticsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst formale Techniken zur Beschreibung und Analyse der Semantik von Programmiersprachen. Am Ende kannst du verschiedene Semantikstile (operational, denotational, axiomatisch) verstehen und anwenden sowie Semantiken für Sprachkonstrukte definieren und Eigenschaften wie Typsicherheit beweisen.8 ECTSkein Termin dieses SemesterIN2055Sensorgeführte Robotische Manipulation und LokomotionNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie sich komplexe Robotersysteme (z. B. humanoide Roboter) modellieren und bewegungssteuern lassen, insbesondere für Manipulation und Lokomotion in unbekannten Umgebungen. Am Ende kannst du die wichtigsten algorithmischen Methoden zur sensorgeführten Manipulation und Fortbewegung unterscheiden und einfache Aufgabenstellungen praktisch bearbeiten.3 ECTSkein Termin dieses SemesterIN2068Simulation turbulenter Strömungen auf HPC-Systemen (IN2311, MW2048)Noch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie man turbulente, inkompressible Strömungen numerisch modelliert und auf Hochleistungsrechnern (HPC) simuliert. Dazu gehören Grundlagen der RANS-Gleichungen, Turbulenzmodellierung, numerische Diskretisierung und Lösungsmethoden sowie Parallelisierung und Visualisierung von Simulationsdaten. Am Ende kannst Du entsprechende Algorithmen analysieren, in C++ implementieren und auf verteilten Systemen ausführen sowie Ergebnisse vor einem Fachpublikum präsentieren.5 ECTSkein Termin dieses SemesterMW2048Software-Engineering in der industriellen PraxisNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu bekommst einen praxisorientierten Überblick über Aufbau, Gestaltung und Erstellung großer betrieblicher Informationssysteme. Du lernst, wie solche Systeme als Investitionsgut betrachtet werden, wie Kosten-Nutzen-Rechnungen (z. B. ROI) durchgeführt werden und welchen Einfluss eine durchdachte Software-Architektur auf Wirtschaftlichkeit und Weiterentwicklung hat. Ergänzt wird die Vorlesung durch Praxisvorträge von Führungskräften aus Beratung und großen Anwenderunternehmen.3 ECTSkein Termin dieses SemesterIN2235Sprachbasierte SicherheitNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Programme auf Maschinenebene laufen, welche sprachbasierten Angriffe (z. B. Code-Injection, Code-Reuse, Non-Control-Data-Angriffe) es gibt und wie man diese technisch abwehrt. Am Ende kannst du aktuelle Angriffsmechanismen erkennen, ihre Prinzipien erklären und Verteidigungsmaßnahmen implementieren und bewerten.5 ECTSkein Termin dieses SemesterIN2362TensornetzwerkeNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die mathematischen Grundlagen und die graphische Notation von Tensornetzwerken sowie ihre Anwendung zur Approximation hochdimensionaler Daten. Am Ende kannst Du Tensornetzwerk-Methoden einschätzen und für Probleme wie Simulation stark korrelierter Quantensysteme oder probabilistisches Sampling einsetzen.5 ECTSkein Termin dieses SemesterIN2388Time Integration and Differential EquationsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, numerische Verfahren zur zeitlichen Integration von Anfangswertproblemen zu verstehen und anzuwenden, sowohl für gewöhnliche Differentialgleichungen als auch für teilweise gekoppelte PDEs. Am Ende kannst du Solver für bestimmte Klassen zeitabhängiger PDEs entwickeln, ihre numerischen Eigenschaften beurteilen und fortgeschrittene Zeitintegrationsmethoden einsetzen.5 ECTSkein Termin dieses SemesterIN2387Topics in Computational Social ChoiceNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu beschäftigst dich mit Modellen und Methoden der kollektiven Entscheidungsfindung aus Sozialer Wahltheorie, insbesondere solchen, die in der Informatik Anwendung finden. Themenschwerpunkte sind probabilistische Sozialwahl, faire Aufteilung (Fair Division) und Allokation öffentlicher Güter; die Inhalte werden mathematisch präzise und beweisorientiert behandelt. Am Ende kannst Du solche Modelle anwenden, Eigenschaften von Aggregationsverfahren axiomtisch analysieren und relevante Algorithmen und Komplexitätsfragen bearbeiten.5 ECTSkein Termin dieses SemesterCIT423011Tracking and Detection in Computer VisionNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst moderne Methoden der Objekterkennung und -verfolgung in Bildern und Videos. Am Ende kannst du zentrale Detektions- und Tracking-Algorithmen verstehen, selbst implementieren und in komplexeren praktischen Problemen anwenden.7 ECTSkein Termin dieses SemesterIN2210Transaction SystemsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Konzepte und Algorithmen zur Verwaltung von Transaktionen in Datenbanksystemen sowie Mechanismen zur Fehlerbehandlung (Recovery). Am Ende kannst du ACID-konforme Transaktionen entwerfen, Concurrency-Control-Verfahren bewerten und Recovery-Verfahren praktisch anwenden — auch in verteilten Szenarien.6 ECTSkein Termin dieses SemesterIN2267Turbulent Flow Simulation on HPC-SystemsNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst die Grundlagen und numerische Behandlung turbulenter, inkompressibler Strömungen kennen, von RANS-Gleichungen über Turbulenzmodellierung bis zu Validierung. Außerdem setzt Du die Algorithmen in C++ um, parallelisierst sie für verteilte HPC-Systeme und führst Simulationen samt Visualisierung durch.5 ECTSkein Termin dieses SemesterIN2311VirtualisierungstechnikenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst Konzepte, Aufbau und Einsatz verschiedener Virtual Machines kennen – von Betriebssystem- und Prozess-Virtualisierung über ISA- und High-Level-Language-Virtual Machines bis zu Multicore- und HW/SW-Codesign-Lösungen. Am Ende kannst du Virtualisierungslösungen klassifizieren, ihre Vor- und Nachteile einschätzen und technische Design- und Performance-Trade-offs analysieren.5 ECTSkein Termin dieses SemesterIN2125Virtuelle MaschinenNoch keine Bewertungen für dieses Modul.Wahlmodule InformatikDu lernst, wie Programme unterschiedlicher Sprachen über Übersetzungsschemata in Code für idealisierte (virtuelle) Maschinen abgebildet werden. Am Ende kannst du für Ausschnitte von Programmen selbst Maschinenbefehle erzeugen und für gegebene Sprachkonstrukte Übersetzungsschemata entwickeln.6 ECTSkein Termin dieses SemesterIN2040