Module

137 Treffer

Wahlmodule137

3D Scanning & Motion CaptureNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst Methoden zur 3D-Erfassung und Motion Capture mit Fokus auf RGB-D-Sensoren und algorithmische Grundlagen. Am Ende kannst du Daten mit Consumer-RGB-D-Scannern erfassen, verstehst starre und nicht-starre 3D-Rekonstruktionen, Pose- und Gesichtstracking sowie passende Optimierungsverfahren und kannst ausgewählte Ansätze praktisch implementieren.6 ECTSläuft dieses SemesterIN2354Advanced Computer ArchitectureNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu erhältst einen Überblick über moderne Prozessor- und Systemarchitekturen mit Fokus auf Parallelität, Speicherhierarchien, Verfügbarkeit und Virtualisierung. Du lernst verschiedene Klassen paralleler Architekturen (Instruktion-, Daten-, Thread- und Prozess-Level) kennen, ihre Vor- und Nachteile einzuschätzen und das Zusammenspiel von Hardware und Compiler-Techniken zu bewerten. Am Ende kannst du Architekturentscheidungen für unterschiedliche Anwendungen analysieren und bewerten.6 ECTSläuft dieses SemesterIN2076Advanced Concepts of Programming LanguagesNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 Deep Learning for RoboticsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikIn diesem Modul vertiefst Du fortgeschrittene Deep-Learning-Methoden mit Schwerpunkt auf robotischen Anwendungen und Deep Reinforcement Learning. Du lernst sowohl theoretische Grundlagen zu modernen Netzarchitekturen und probabilistischen Methoden als auch deren praktische Umsetzung in Simulationen und Projekten für Robotik-Tasks.8 ECTSläuft dieses SemesterCIT433027Advanced Robot Learning and Decision-MakingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterCIT433037
132 weitere in WahlmoduleAdvanced Topics of Software EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN3100Ausgewählte Themen aus dem Bereich Formale Methoden und ihre AnwendungenNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2060Einführung in Quantum ComputingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2093Formale Methoden für Cyber-Physical SystemsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst formale Methoden zur Verifikation, Regelung, Beobachtung und Identifikation von Cyber‑Physical Systems (z. B. autonome Fahrzeuge, Roboter, Smart Grids). Am Ende kannst du Systeme mithilfe von Mengenrepräsentationen, Reachability‑Analyse und korrekt‑durch‑Konstruktions Methoden verifizieren und praktisch anwenden.5 ECTSläuft dieses SemesterIN2383Game PhysicsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst grundlegende Konzepte und Methoden zur physikalischen Simulation, wie Animationstechniken, Starrkörpersimulation, Kollisionsbehandlung, Partikelsysteme sowie Grundlagen zur Elastizitäts- und Fluidsimulation. Am Ende kannst du geeignete physikalische Modelle auswählen, die zugehörigen Berechnungen durchführen und Simulationsalgorithmen für die Integration in Echtzeitsysteme implementieren — einschließlich Umsetzung in C++.6 ECTSläuft dieses SemesterIN0037Games on GraphsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst die Theorie von Spielen auf endlichen Graphen kennen. Aufbauend auf Erreichbarkeitsspielen werden sowohl qualitative als auch quantitative Varianten behandelt, und du kannst am Ende die grundlegenden Lösungsverfahren anwenden und kleinere Spielinstanzen selbst lösen.5 ECTSläuft dieses SemesterIN2296HW/SW CodesignNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterEI70630Image SynthesisNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst moderne Techniken der Bildsynthese von der programmierbaren Grafik-Pipeline über Shader- und Multi-Pass-Verfahren bis hin zu lokalen und globalen Beleuchtungsmodellen. Am Ende kannst du verschiedene Renderverfahren einordnen, bestehende Bildsynthese-Tools bewerten und selbst Renderings für gegebene Modelle und Szenen erstellen.5 ECTSläuft dieses SemesterIN2015Intelligent Robots with a Sense of SmellNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, wie mobile Roboter mit Gas-Sensorik eingesetzt werden können, z. B. zur Erfassung von Luftschadstoffen, zur Kartierung von Gasverteilungen und zur Lokalisierung von Emissionsquellen. Am Ende kannst du Gas-Sensordaten von mobilen Plattformen auslesen, Gasverteilungen abschätzen und Quellen lokalisieren sowie typische physikalische, schaltungs- und algorithmische Herausforderungen beurteilen.7 ECTSläuft dieses SemesterCIT433039Introduction to Surgical RoboticsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2081Network SecurityNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikIn diesem Modul erhältst du eine Einführung in Netzsicherheit: Bedrohungsszenarien, Schutzanforderungen und das Einbinden von Sicherheitsmaßnahmen in Netzwerkarchitekturen und -protokolle. Du lernst kryptografische Grundlagen sowie Sicherheitsprotokolle kennen und kannst am Ende Techniken wie PKI, Kerberos, IPsec, TLS sowie Firewall- und Intrusion-Detection-Konzepte einordnen und anwenden.5 ECTSläuft dieses SemesterIN2101Neuroprosthetics: Artificial LimbsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterIN2405Parallel Programming SystemsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, wie Parallelprogrammiermodelle effizient implementiert werden und wie Compiler und Laufzeitumgebungen diese Modelle auf reale Mehrkern‑Architekturen abbilden. Am Ende weißt Du, wie grundlegende Algorithmen und Mechanismen (z. B. Locks, Barrieren, Scheduling) funktionieren und wie sie mit Prozessorarchitekturen interagieren, exemplarisch erläutert anhand der Intel‑Architektur.3 ECTSläuft dieses SemesterIN2365Physical Unclonable FunctionsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2291Ringvorlesung SystemsicherheitNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterEI75671RoboticsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, wie mechanische Systeme — insbesondere Roboter-Manipulatoren — in mathematische Modelle überführt werden, um Bewegung und Dynamik zu beschreiben. Darauf aufbauend erarbeitest du Regelungsparameter (zum Beispiel für PID-Regler), um Abweichungen entlang vorgegebener Trajektorien auszugleichen und Position bzw. Kraft zu regeln.6 ECTSläuft dieses SemesterIN2067Security in Communications and StorageNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterCIT4330012Strategic IT ManagementNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterCIT4230000Virtuelle Physik: Moderne Modellierungstechnik und ihr Einsatz in der ComputersimulationNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterMH4L0042773D User InterfacesNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst Konzepte, Techniken und Geräte für dreidimensionale Mensch-Computer-Interaktion kennen. Am Ende kannst du bestehende 3D-Interaktionskonzepte hinsichtlich benötigter Ein-/Ausgabegeräte, Funktionalität und Usability analysieren und eigene Interaktionskonzepte entwerfen und implementieren.6 ECTSkein Termin dieses SemesterIN2111Advanced Cryptographic ImplementationsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 Robot Control and LearningNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterIN2376Analysis of Three-Dimensional ShapesNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 1Noch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN99555Anerkennung 1Noch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN995601Anerkennung 1 Digitale Biologie und Digitale Medizin (DBM)Noch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN99550Anerkennung 1 im Bereich Computergrafik und -visionNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN99505Anerkennung 1 im Bereich RobotikNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN99565Anerkennung aus dem Bereich Engineering software-intensiver SystemeNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN99530Anerkennung aus dem Bereich Engineering software-intensiver SystemeNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN99531Anerkennung im Bereich Social and Political Aspects of Data ScienceNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatikkein Termin dieses SemesterIN99570Angewandte BiorobotikNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterNAT7022Auction Theory and Market DesignNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst spieltheoretische Grundlagen und Mechanismus-Design sowie die Theorie und praktische Ausgestaltung verschiedener Auktions- und Matching-Formate. Am Ende kannst du Eigenschaften und Zahlungsregeln offener und geschlossener Auktionen erklären, strategische Interaktionen modellieren und die Auswahl von Auktionsformaten hinsichtlich Effizienz oder Ertragszielen begründen.5 ECTSkein Termin dieses SemesterIN2211Ausgewählte Themen aus dem Bereich AlgorithmenNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3410Ausgewählte Themen aus dem Bereich Computergrafik und -visionNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN310004Ausgewählte Themen aus dem Bereich Digitale Biologie und Digitale MedizinNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3420Ausgewählte Themen aus dem Bereich Engineering software-intensiver SystemeNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3430Ausgewählte Themen aus dem Bereich Maschinelles Lernen und DatenanalyseNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3440Ausgewählte Themen aus dem Bereich Rechnerarchitektur, Rechnernetze und Verteilte SystemeNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3450Ausgewählte Themen aus dem Bereich RobotikNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3460Ausgewählte Themen aus dem Bereich Sicherheit und DatenschutzNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3470Ausgewählte Themen aus dem Bereich Wissenschaftliches Rechnen und High Performance ComputingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog Informatik5 ECTSkein Termin dieses SemesterIN3480Automated ProgrammingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 II: Robot VisionNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2359Circuit Design for SecurityNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterEI70520Cognitive SystemsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikIn diesem Modul lernst Du grundlegende Konzepte menschlicher Kognition (Perzeption, Kognition, Handlung) und wie diese Fähigkeiten auf technische Systeme, insbesondere in der Robotik, übertragen werden können. Am Ende kannst Du mathematische und algorithmische Methoden sowie Architekturen für kognitive Systeme anwenden, um Wahrnehmung, Planung und Handlungsausführung in technischen Systemen zu realisieren.5 ECTSkein Termin dieses SemesterIN2222Compilerbau INoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterIN2227Computational Physiology for Medical Image ComputingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2341Cyber-Physical SystemsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, wie man Systeme modelliert und analysiert, bei denen berechnende Elemente eng mit physikalischen Prozessen verknüpft sind (Cyber‑Physical Systems). Schwerpunkt sind kontinuierliche, diskrete und hybride Dynamiken sowie grundlegende Methoden zur Simulation, Stabilitätsanalyse und Steuerung solcher Systeme.6 ECTSkein Termin dieses SemesterIN2305Design Automation and Simulation for Microfluidic DevicesNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2061Elektronisches Publizieren / Document Engineering und das World-Wide WebNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterCIT4230005Fortgeschrittene Konzepte des Quantum ComputingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 Themen des SoftwaretestsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2385Geometry ProcessingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst mathematische Grundlagen und praktische Darstellungen von Kurven und Flächen kennen sowie Verfahren zur Modellierung, Analyse und Darstellung geometrischer Formen. Am Ende kannst du verschiedene Repräsentationen (parametrisch, implizit, Splines, Subdivision, CSG, Voxel, neural), Rekonstruktion aus Punktmengen und Level-of-Detail-Strategien beurteilen und selbstständig passende Ansätze entwickeln und implementieren.6 ECTSkein Termin dieses SemesterIN2297Gleichungslogik und Lambda-KalkülNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterIN2048HardwaresicherheitNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst grundlegende Konzepte und Architekturen der Hardwaresicherheit kennen und wie eingebettete Systeme gegen Manipulationen und physikalische Angriffe geschützt werden. Am Ende kannst du Ursachen von Schwachstellen erklären, Angriffsarten und Gegenmaßnahmen unterscheiden und Schutzmechanismen auf konkrete Fallbeispiele anwenden.5 ECTSkein Termin dieses SemesterIN2407Informatikanwendungen in der Medizin IINoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterCIT4330009Konvexe Optimierung für Computer VisionNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2358Logic Synthesis and Physical DesignNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst Algorithmen und Datenstrukturen kennen, mit denen digitale Schaltkreise automatisch aus Spezifikationen erzeugt und physisch platziert werden. Am Ende verstehst du Logiksynthese, Optimierung sowie Partitionierung, Floorplanning, Placement und Routing und kannst Werkzeuge wie ABC, Yosys oder OpenROAD praktisch anwenden.6 ECTSkein Termin dieses SemesterCIT433032LogikNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterIN2049MicroprocessorsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst den inneren Aufbau und die Funktionsweise von Mikroprozessoren kennen: von historischen Entwicklungen über RISC/CISC-Designs, Pipelining, Caches und Mehrkern‑Aspekte bis hin zu SIMD/Vector‑Erweiterungen und Trends. Am Ende kannst du verschiedene Prozessorarchitekturen analysieren, low‑level Programme optimieren und die Rolle von Prozessoren in High‑Performance‑Systemen beurteilen.5 ECTSkein Termin dieses SemesterIN2075Mobile verteilte SystemeNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2080Network CodingNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst die theoretischen Grundlagen von Network Coding und deren praktische Anwendung. Am Ende kannst du Network-Coding-Konzepte analysieren, RLNC praktisch implementieren und in Transport- oder Linklayer-Protokollen einsetzen sowie grundlegende Socketprogrammierung durchführen.6 ECTSkein Termin dieses SemesterIN2315Netz- und SystemmanagementNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterIN2099Netzwerkanalyse - statistische und formale Modelle und MethodenNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, wie man Systeme durch Modelle beschreibt, zeitdiskrete Simulationen aufbaut und simulativ untersucht. Am Ende kannst du Simulationsmodelle entwerfen, Zufallszahlen und Verteilungen einsetzen sowie Leistung und Zeitverhalten von Systemen messen und auswerten.5 ECTSkein Termin dieses SemesterIN2045Netzwerke für den ZahlungsverkehrNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 im HochleistungsrechnenNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst ausgewählte numerische Algorithmen für High-Performance-Computing (HPC), z. B. Löser für partielle Differentialgleichungen, Methoden der numerischen Linearen Algebra, partikelbasierte Simulationen und spektrale Verfahren. Du kannst deren Anwendungsbereich einschätzen, grundlegende Performance-Eigenschaften analysieren und die Parallelisierbarkeit sowie Skalierbarkeit der Algorithmen bewerten und nutzen.8 ECTSkein Termin dieses SemesterIN2398Operations ResearchNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2310Peer-to-Peer-Systems and SecurityNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst Grundlagen, Protokolle und typische Probleme von Peer-to-Peer-Systemen kennen. Nach dem Modul kannst du ausgewählte P2P-Systeme erklären, grundlegende Mechanismen für Suche und Mitgliedschaft anwenden sowie Sicherheits- und Anonymitätskonzepte beurteilen und eigene P2P-Protokolle oder -Komponenten entwerfen und implementieren.6 ECTSkein Termin dieses SemesterIN2194PetrinetzeNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 SemesterIN2322Protocol DesignNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, wie Kommunikationsprotokolle aufgebaut sind, welche Gestaltungsprinzipien und Bausteine es gibt und wie Designentscheidungen die Praxis, Skalierbarkeit, Sicherheit und Akzeptanz beeinflussen. Am Ende kannst du Protokollfunktionen bewerten, eigene Protokoll­spezifikationen schrittweise entwickeln und einfache Implementierungen in Gruppen umsetzen.8 ECTSkein Termin dieses SemesterIN2333Quantum Computers and Quantum Secure CommunicationsNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterEI71073Requirements EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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 SemesterCIT423010Robot Motion PlanningNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst Methoden zur Planung von Roboterbewegungen in unterschiedlichen Informationslagen kennen: von Planungsverfahren mit vollständiger Umgebungskenntnis über lokale, teilbekannte Umgebungen bis hin zu probabilistischen Sampling-Verfahren für hochdimensionale Räume. Außerdem lernst Du Datenfusions- und Filterverfahren (Kalman-Filter, Partikelfilter) kennen, mit denen Karten erstellt und Simultaneous Localization and Mapping (SLAM) umgesetzt werden, sodass Du kollisionsfreie Trajektorien planen kannst.5 ECTSkein Termin dieses SemesterIN2138Robotic 3D VisionNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikIn diesem Modul lernst du Methoden der 3D-Bildverarbeitung für die Robotik kennen. Schwerpunkte sind Multi-View-Geometry, visuelles Lokalisieren und Kartieren (SLAM) mit monocularen, Stereo-, RGB-D- und inertialen Sensoren sowie 3D-Objekterkennung und -tracking. Am Ende kannst du grundlegende Aufgaben wie visuelle Odometrie, SLAM und 3D-Objektposenschätzung praktisch bearbeiten und die zugrundeliegenden Theorien verstehen.5 ECTSkein Termin dieses SemesterIN2355Scientific Computing and Machine LearningNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, wie Methoden des Machine Learning in Scientific Computing angewendet werden, um Probleme aus Naturwissenschaften und Ingenieurwesen zu lösen. Im Fokus stehen numerische Approximationen von Differentialgleichungen, inverse Probleme, Modellreduktion und praktische Umsetzung auf CPU/GPU. Am Ende kannst du mathematische Formulierungen dynamischer Systeme verstehen und geeignete Lernalgorithmen für spezifische Probleme auswählen.5 ECTSkein Termin dieses SemesterCIT423000Scientific Computing in Circuit SimulationNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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 für betriebliche Anwendungen - Masterkurs: Web Application EngineeringNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog InformatikDu lernst, moderne webbasierte Anwendungen von der Geschäftsidee bis zum lauffähigen Prototyp zu planen, zu entwerfen und zu implementieren. Am Ende kannst du Web-Geschäftsmodelle analysieren, nutzerzentrierte Designmuster anwenden, Frontend- und Backend-Komponenten mit aktuellen Web-Frameworks umsetzen und deine Lösung vor Fachpublikum präsentieren.8 ECTSkein Termin dieses SemesterIN2087Software-Engineering in der industriellen PraxisNoch keine Bewertungen für dieses Modul.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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.Wahlmodulkatalog 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