Modules

106 results

Elective Modules106

3D Scanning & Motion CaptureNo ratings for this module yet.Elective Modules InformaticsYou learn methods for 3D capture and motion capture with a focus on RGB-D sensors and algorithmic fundamentals. In the end you can capture data with consumer RGB-D scanners, understand rigid and non-rigid 3D reconstructions, pose and face tracking, as well as suitable optimization methods, and you can practically implement selected approaches.6 ECTSruns this semesterIN2354Advanced Computer ArchitectureNo ratings for this module yet.Elective Modules InformaticsYou will gain an overview of modern processor and system architectures with a focus on parallelism, memory hierarchies, availability, and virtualization. You will learn to become familiar with different classes of parallel architectures (instruction-, data-, thread-, and process-level), assess their advantages and disadvantages, and evaluate the interaction between hardware and compiler techniques. In the end you will be able to analyze and evaluate architecture decisions for different applications.6 ECTSruns this semesterIN2076Advanced Concepts of Programming LanguagesNo ratings for this module yet.Elective Modules InformaticsYou engage with the meaning (semantics) of various language constructs and how they are implemented in compilers and runtime systems. In the end you will be able to analyze language features, compare them, and, if necessary, reproduce them in another language model as well as extend compilers to support these constructs.6 ECTSruns this semesterCIT3230000Advanced Deep Learning for RoboticsNo ratings for this module yet.Elective Modules InformaticsIn this module you deepen advanced deep learning methods with a focus on robotic applications and deep reinforcement learning. You learn both theoretical foundations of modern network architectures and probabilistic methods as well as their practical implementation in simulations and projects for robotics tasks.8 ECTSruns this semesterCIT433027Advanced Robot Learning and Decision-MakingNo ratings for this module yet.Elective Modules InformaticsYou will learn advanced methods for robotics that connect modeling, optimal control and learning-based methods (including reinforcement learning). In the end you will be able to model robotic systems, derive modern control algorithms and apply learned models in control architectures to handle uncertainties and model errors.5 ECTSruns this semesterCIT433037
101 more in Elective ModulesAdvanced Topics of Software EngineeringNo ratings for this module yet.Elective Modules InformaticsYou will learn how requirements, architecture, design, implementation and quality assurance are tightly interlinked in the development of large software systems. In the end you will be able to elicit and specify requirements (functional and non-functional), assess their impact on architecture and code, and analyze architectures and solution approaches regarding central quality attributes.8 ECTSruns this semesterIN2309AI TestingNo ratings for this module yet.Elective Modules InformaticsYou learn how to test software whose logic and decisions rely heavily on artificial intelligence. At the end you can design test strategies for data-driven, AI-based systems, select appropriate test methods, and critically evaluate test results.5 ECTSruns this semesterCIT423002Ausgewählte Themen aus dem Bereich Datenbanken und InformationssystemeNo ratings for this module yet.Elective Modules InformaticsIn this module, alternating, current topics from the area of databases and information systems are presented. You will learn the state of research and techniques in selected fields and will be able to analyze and critically evaluate concepts for data storage at the end.5 ECTSruns this semesterIN3100Ausgewählte Themen aus dem Bereich Formale Methoden und ihre AnwendungenNo ratings for this module yet.Elective Modules InformaticsYou engage with current topics from the area of Formal Methods and their application. In the end you know the research and development state in selected subfields and you can deal with current research projects and results.5 ECTSruns this semesterIN3350Automata and Formal LanguagesNo ratings for this module yet.Elective Modules InformaticsYou learn how different classes of automata (finite, deterministic, nondeterministic, Büchi automata) are used as data structures for the representation and manipulation of (also infinite) sets and relations. You practice building and composing automata, automatic operations (e.g., boolean operations, joins) and the connection between automata and logic as well as their application in pattern matching, program verification and in problems such as Diophantine equations.8 ECTSruns this semesterIN2041EchtzeitsystemeNo ratings for this module yet.Elective Modules InformaticsYou will learn the specific methods, problems and solutions for real-time systems. You will understand how real-time systems differ from general systems, how modelling, scheduling, concurrent programming, real-time capable communication as well as typical hardware for sensing and actuation are used, and you will be able to select and implement suitable solutions. The module closes with an introduction to fault-tolerant systems.6 ECTSruns this semesterIN2060Einführung in Quantum ComputingNo ratings for this module yet.Elective Modules InformaticsYou will learn the mathematical foundations of Quantum Computing as well as the basic concepts of quantum mechanics and quantum circuits. In the end you will be able to analyze simple quantum algorithms, design and assess quantum circuits for fundamental tasks, and understand how quantum computers may be used in the future.5 ECTSruns this semesterIN2381eLearning - Techniken und InfrastrukturenNo ratings for this module yet.Elective Modules InformaticsYou will learn fundamentals, concepts and techniques of eLearning: from pedagogical-didactic aspects through technical architectures to standards and integration in higher education landscapes. In the end you can classify and evaluate teaching/learning environments, explain their function and embedding in campus management systems, and create simple learning content with basic XML knowledge.3 ECTSruns this semesterIN2093Formale Methoden für Cyber-Physical SystemsNo ratings for this module yet.Elective Modules InformaticsYou will learn formal methods for verification, control, observation and identification of cyber-physical systems (e.g., autonomous vehicles, robots, smart grids). In the end you can verify and practically apply systems using set representations, reachability analysis and correct-by-construction methods.5 ECTSruns this semesterIN2383Game PhysicsNo ratings for this module yet.Elective Modules InformaticsYou will learn fundamental concepts and methods for physical simulation, such as animation techniques, rigid body simulation, collision handling, particle systems, as well as fundamentals of elasticity and fluid simulation. In the end you will be able to select appropriate physical models, perform the corresponding calculations, and implement simulation algorithms for integration into real-time systems — including implementation in C++.6 ECTSruns this semesterIN0037Games on GraphsNo ratings for this module yet.Elective Modules InformaticsYou will learn the theory of games on finite graphs. Building on reachability games, both qualitative and quantitative variants are treated, and in the end you will be able to apply the fundamental solution methods and solve smaller game instances on your own.5 ECTSruns this semesterIN2296HW/SW CodesignNo ratings for this module yet.Elective Modules InformaticsYou will learn the design process of mixed hardware/software systems (e.g., SoCs) – from functional graphs through partitioning into hardware and software parts to FPGA netlists and executable object code. In the end, you will be able to model design problems, apply partitioning and scheduling algorithms, and evaluate the quality of resulting HW/SW solutions.5 ECTSruns this semesterEI70630Image SynthesisNo ratings for this module yet.Elective Modules InformaticsYou learn modern techniques of image synthesis from the programmable graphics pipeline through shader and multi-pass methods to local and global illumination models. In the end you will be able to classify different rendering methods, evaluate existing image synthesis tools, and create renderings for given models and scenes yourself.5 ECTSruns this semesterIN2015Intelligent Robots with a Sense of SmellNo ratings for this module yet.Elective Modules InformaticsYou will learn how mobile robots can be used with gas sensing, e.g. for measuring air pollutants, mapping gas distributions and localizing emission sources. In the end you will be able to read gas sensor data from mobile platforms, estimate gas distributions and locate sources as well as assess typical physical, circuit and algorithmic challenges.7 ECTSruns this semesterCIT433039Introduction to Surgical RoboticsNo ratings for this module yet.Elective Modules InformaticsYou will learn how robotics is applied in surgery: from clinical use cases to technical fundamentals to the development of robot-assisted solutions for medical problems. In the end you will be able to assess deployment potentials, integrate robotics into surgical workflows, and design and present simple prototypes for defined clinical tasks.6 ECTSruns this semesterIN2292Konzepte und Software Design für Cyber-Physische SystemeNo ratings for this module yet.Elective Modules InformaticsYou will learn central concepts and techniques for cyber-physical systems (CPS) and will be able to design and analyze time-sensitive software for CPS. This includes signal processing, time-critical I/O, microprocessor interfaces, data communication as well as real-time operating systems and techniques.5 ECTSruns this semesterMW2411Künstliche Intelligenz in der MedizinNo ratings for this module yet.Elective Modules InformaticsYou will learn the fundamentals and current methods of Artificial Intelligence in the medical context, from ML for medical imaging through NLP for clinical data to data protection, interpretability and ethical aspects. In the end you can classify the most important topics, apply them to your own deep-learning projects and develop strategies for evaluation and implementation in clinical practice.5 ECTSruns this semesterIN2403Muster in der SoftwaretechnikNo ratings for this module yet.Elective Modules InformaticsYou learn patterns in software engineering and how to apply them: from architecture and design patterns to test and organizational patterns up to anti-patterns. By the end you can identify patterns for analysis, system and detail design, model them in UML, and translate the model into Java source code.5 ECTSruns this semesterIN2081Network SecurityNo ratings for this module yet.Elective Modules InformaticsIn this module you will receive an introduction to network security: threat scenarios, protection requirements and the integration of security measures into network architectures and protocols. You will learn cryptographic fundamentals as well as security protocols and will be able to classify and apply techniques such as PKI, Kerberos, IPsec, TLS as well as firewall and intrusion detection concepts.5 ECTSruns this semesterIN2101Neuroprosthetics: Artificial LimbsNo ratings for this module yet.Elective Modules InformaticsYou will learn foundations and current developments of neuroprosthetics for arm and leg prostheses as well as methods for integration of control and sensory feedback. In the end you will be able to design concepts for mechatronic prosthetic systems, analyze EMG signals for multi-degree-of-freedom control, and critically assess functional evaluation methods.5 ECTSruns this semesterIN2405Parallel Programming SystemsNo ratings for this module yet.Elective Modules InformaticsYou learn how parallel programming models are efficiently implemented and how compilers and runtimes map these models to real multi-core architectures. In the end you will know how fundamental algorithms and mechanisms (e.g. locks, barriers, scheduling) work and how they interact with processor architectures, illustrated by the Intel architecture.3 ECTSruns this semesterIN2365Physical Unclonable FunctionsNo ratings for this module yet.Elective Modules InformaticsYou learn how available hardware randomness is used for IT security tasks: first Physical Unclonable Functions (PUFs) — structure, effects used, quality assessment, applications, attacks and countermeasures — and then random number generators and their analysis. Practically you implement a PUF-based encryption and decryption as well as key storage and random number generation on an FPGA.5 ECTSruns this semesterEI71029Programmierung und Regelung für Mensch-RoboterinteraktionNo ratings for this module yet.Elective Modules InformaticsYou deal with programming and control engineering for human-robot interaction. You will learn robotic modeling, various control strategies and their implementation in simulations and on the KUKA‑DLR lightweight robot, including practical testing and demonstrations.5 ECTSruns this semesterIN2308ProgrammoptimierungNo ratings for this module yet.Elective Modules InformaticsYou will learn methods and analyses to improve the runtime efficiency of programs. The module covers data-flow analyses, fixed-point calculations and optimizing transformations, as well as hardware-near techniques such as register allocation, instruction selection and scheduling. In the end you will be able to apply analyses to small programs and develop optimizations.8 ECTSruns this semesterIN2053Protein Prediction II for Computer ScientistsNo ratings for this module yet.Elective Modules InformaticsYou will learn methods for predicting protein functions from sequence and structure information, as well as approaches for predicting interactions, subcellular localization, and effects of individual amino acid variants. By the end, you will be able to critically evaluate ML/AI-based prediction methods, design your own solutions, and implement them in pseudocode or programs.8 ECTSruns this semesterIN2291RoboticsNo ratings for this module yet.Elective Modules InformaticsYou learn how mechanical systems — in particular robotic manipulators — are translated into mathematical models to describe motion and dynamics. On this basis you derive control parameters (for example for PID controllers) to compensate deviations along predefined trajectories and to regulate position or force.6 ECTSruns this semesterIN2067Security in Communications and StorageNo ratings for this module yet.Elective Modules InformaticsYou learn methods and concepts to achieve security in communication and storage systems. The module covers classical and post-quantum cryptography, error-correcting codes and their application in distributed data storage, as well as Private Information Retrieval; in the end you will be able to understand, evaluate and practically apply these schemes.5 ECTSruns this semesterEI71060Software for Quantum ComputingNo ratings for this module yet.Elective Modules InformaticsYou learn how software for quantum computers is built and how you design, realize and execute quantum applications on existing platforms. In the end you will practically implement, simulate, compile, verify and prepare quantum algorithms for real quantum processors.5 ECTSruns this semesterCIT4330012Strategic IT ManagementNo ratings for this module yet.Elective Modules InformaticsYou will learn central concepts, methods and decision spaces of strategic IT management and how they interact. In the end you will be able to explain the relationships between IT strategy, Enterprise Architecture Management, large-scale Agile Development and IT governance, and apply patterns as well as frameworks in models, methods, metrics and visualizations.4 ECTSruns this semesterCIT4230000Virtuelle Physik: Moderne Modellierungstechnik und ihr Einsatz in der ComputersimulationNo ratings for this module yet.Elective Modules InformaticsYou learn how physical systems are modeled equation-based with modern, object-oriented languages such as Modelica, and how these models are used in computer simulations. In the end you will be able to model electrical and mechanical systems, build model libraries, and select suitable time integration methods for simulations.4 ECTSruns this semesterIN2236XR: Virtual-, Mixed-, and Augmented RealityNo ratings for this module yet.Elective Modules InformaticsYou engage with advanced topics in Extended Reality (XR: Virtual, Mixed and Augmented Reality). By the end you will be able to explain the technical and theoretical foundations of these technologies, assess empirical findings, and develop and evaluate applications in a 3D engine (Unity3D).5 ECTSruns this semesterMH4L0042773D User InterfacesNo ratings for this module yet.Elective Modules InformaticsYou will learn concepts, techniques and devices for three-dimensional human-computer interaction. In the end you will be able to analyze existing 3D interaction concepts in terms of required input/output devices, functionality and usability, and design and implement your own interaction concepts.6 ECTSno date this semesterIN2111Advanced Cryptographic ImplementationsNo ratings for this module yet.Elective Modules InformaticsYou learn how modern cryptographic procedures are efficiently and securely implemented on embedded systems. The focus is on optimization techniques as well as protections against physical attacks such as side-channel and fault attacks. In the end you will be able to apply advanced implementation and hardening measures and recognize known attack vectors.5 ECTSno date this semesterEI71070Advanced Robot Control and LearningNo ratings for this module yet.Elective Modules InformaticsYou learn advanced methods of robot control, modeling, identification and bio-inspired adaptive impedance control as well as current learning approaches for physical systems. In the end you will be able to dynamically model robots, design modern controllers, exploit redundancy and apply learning procedures to real robotics tasks.6 ECTSno date this semesterIN2376Analysis of Three-Dimensional ShapesNo ratings for this module yet.Elective Modules InformaticsYou will learn methods for the representation, analysis, and comparison of three-dimensional shapes. The module covers both the underlying mathematics (e.g., differential geometry, spectral and conformal methods) and practical implementation aspects, so that you can understand and implement procedures for analyzing and comparing 3D shapes.8 ECTSno date this semesterIN2238Angewandte BiorobotikNo ratings for this module yet.Elective Modules InformaticsYou learn how biological principles are applied to the design and control of two-legged walking robots. In the theory part, fundamentals of biped locomotion, control, biologically inspired optimization methods, and experimental setup are taught; in the practical project you design and optimize a controller for a robot setup and analyze the behavior.6 ECTSno date this semesterIN2352Anwendungen von QuantencomputingNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterNAT7022Auction Theory and Market DesignNo ratings for this module yet.Elective Modules InformaticsYou learn game-theoretic fundamentals and mechanism design as well as the theory and practical realization of various auction and matching formats. In the end you will be able to explain properties and payment rules of open and closed auctions, model strategic interactions, and justify the selection of auction formats with regard to efficiency or revenue goals.5 ECTSno date this semesterIN2211Ausgewählte Themen aus dem Bereich Computergrafik und -visionNo ratings for this module yet.Elective Modules InformaticsIn this module selected current topics from computer graphics and image understanding are presented. You will learn the state of research and technology in these areas and can engage with current research projects.5 ECTSno date this semesterIN3200Automated ProgrammingNo ratings for this module yet.Elective Modules InformaticsYou will learn current methods of automated program synthesis at the interface of Software Engineering, AI and machine learning. In the end you will know various specification approaches for functional, reactive and probabilistic programs as well as techniques to search for or generate programs that satisfy these specifications.2 ECTSno date this semesterIN2367Automaten und formale Sprachen IINo ratings for this module yet.Elective Modules InformaticsYou study advanced topics of automata theory, e.g. tree automata, weighted automata and automata for the verification of infinite state spaces. In the end you will be able to choose appropriate automata models, construct automata and apply automata-theoretic techniques to problems such as text analysis or program verification.5 ECTSno date this semesterIN2042Autonomes FahrenNo ratings for this module yet.Elective Modules InformaticsYou will learn the fundamentals and central questions of automated driving. The module provides an overview of perception, decision-making, lane and trajectory planning, as well as sensor models, multisensor fusion and mapping. In the end you will be able to apply exemplar solutions to typical traffic scenarios and you will have both scientific and practical relevance to the current development.3 ECTSno date this semesterIN2356Autonomous Navigation for Flying RobotsNo ratings for this module yet.Elective Modules InformaticsYou will learn the fundamentals of autonomous navigation of quadrotors: from 3D geometry and probabilistic state estimation to visual odometry, SLAM and control engineering. In the end you will be able to estimate the position of a quadrotor from sensor data, implement an EKF and PID controller, and steer the quadrotor in simulation along a trajectory.2 ECTSno date this semesterIN2318BeinroboterNo ratings for this module yet.Elective Modules InformaticsYou will learn the modeling and control of leg-based robots (one-, two- and four-legged systems) as well as advanced control approaches such as model predictive control and whole-body control. In the end you will be able to create dynamic models and design control algorithms for different legged robots and apply them practically in simulations and experiments.5 ECTSno date this semesterCIT436000Bildverstehen II: Robot VisionNo ratings for this module yet.Elective Modules InformaticsYou learn practice-relevant methods and algorithms of robot vision and machine vision. The lecture explains fundamentals, data structures and implementation aspects of central procedures and shows typical applications, so that you can analyze, evaluate and develop practical applications for image processing tasks.4 ECTSno date this semesterIN2016Blockchain-based Systems EngineeringNo ratings for this module yet.Elective Modules InformaticsYou learn about the structure, properties and applications of blockchain and distributed ledger technologies (DLT). By the end you will be able to analyze blockchain-based application systems, select technologies suitable for concrete use cases, and justify fundamental architecture and design decisions.5 ECTSno date this semesterIN2359Circuit Design for SecurityNo ratings for this module yet.Elective Modules InformaticsYou learn how cryptographic algorithms (e.g., arithmetic in finite fields and operations on elliptic curves) are implemented efficiently and securely in hardware. You also recognize typical attack vectors (side-channel, fault injection, scan-chain, and FSM attacks) and countermeasures, as well as the structure and evaluation of real and deterministic random number generators.5 ECTSno date this semesterEI70520Cognitive SystemsNo ratings for this module yet.Elective Modules InformaticsIn this module you will learn fundamental concepts of human cognition (perception, cognition, action) and how these abilities can be transferred to technical systems, especially in robotics. In the end you will be able to apply mathematical and algorithmic methods as well as architectures for cognitive systems to realize perception, planning and action execution in technical systems.5 ECTSno date this semesterIN2222Compilerbau INo ratings for this module yet.Elective Modules InformaticsYou learn how compilers are built and how they translate programs from a higher programming language into machine instructions. In the end you will be able to explain the core components frontend, middleend and backend and implement a simple compiler for a small language and target architecture.5 ECTSno date this semesterIN2227Computational Physiology for Medical Image ComputingNo ratings for this module yet.Elective Modules InformaticsYou learn how computational models are used to derive physiological and diagnostic information from clinical image data. By the end you can deploy and evaluate models that, for example, extract blood flow, metabolism, tissue microstructure, or disease progression from modalities such as MRI, CT, or PET.6 ECTSno date this semesterIN2319Connected Mobility BasicsNo ratings for this module yet.Elective Modules InformaticsYou will receive a broad introduction to networked mobile systems: from mobility models and simulations to wireless networking technologies and architectures, protocols, measurements as well as security and data protection aspects. In the end you will be able to name the fundamental building blocks of mobile systems, understand the relevant technical questions, and work on simple design, modeling, and evaluation tasks for mobile services.8 ECTSno date this semesterIN2324Cryptography for Decentralized SystemsNo ratings for this module yet.Elective Modules InformaticsYou will learn cryptographic fundamentals and advanced techniques used in decentralized systems and blockchains. The focus is on Zero-Knowledge Proofs (including SNARKs), polynomial-based methods, confidential computing (Trusted Execution Environments), and Secure Multiparty Computation. In the end you will be able to describe concepts, assess them, and apply them to solutions in decentralized systems.6 ECTSno date this semesterCIT333003Current Trends in IT SecurityNo ratings for this module yet.Elective Modules InformaticsYou will learn current topics in IT security, such as network and web security, privacy, malware, underground economy and IoT security. In the end you will be able to understand and analyze core concepts and techniques of attackers and defenders.5 ECTSno date this semesterIN2341Cyber-Physical SystemsNo ratings for this module yet.Elective Modules InformaticsYou learn how to model and analyze systems in which computing elements are tightly linked to physical processes (Cyber‑Physical Systems). The focus is on continuous, discrete and hybrid dynamics as well as fundamental methods for simulation, stability analysis and control of such systems.6 ECTSno date this semesterIN2305Design Automation and Simulation for Microfluidic DevicesNo ratings for this module yet.Elective Modules InformaticsYou learn how microfluidic devices (lab-on-a-chip) are designed, simulated and prototypically implemented. At the end you can assess the fields of application, platforms and design-/simulation methods and accompany a microfluidics design from concept to prototypical implementation.5 ECTSno date this semesterCIT4330013DevOps: Engineering for Deployment and OperationsNo ratings for this module yet.Elective Modules InformaticsYou learn how the development and operation of software are brought together to achieve short release cycles with high quality. In the end you can apply DevOps principles, design deployment pipelines and scalable microservice architectures, and operate and monitor production environments.6 ECTSno date this semesterCIT423001Effiziente Algorithmen und Datenstrukturen IINo ratings for this module yet.Elective Modules InformaticsYou will learn advanced algorithmic methods focusing on linear optimization and techniques for solving combinatorial problems. In the end you will be able to formulate linear models, apply classical solution methods such as the Simplex method and advanced methods like Ellipsoid and Karmarkar methods, and use approximation and rounding approaches for NP-complete problems.8 ECTSno date this semesterIN2004Einführung in die digitale SignalverarbeitungNo ratings for this module yet.Elective Modules InformaticsYou learn the fundamentals of digital signal processing: signals and systems in the time and frequency domain, discretization, filter operations, frequency transformations, compression techniques and initial aspects of digital image processing. You also learn how the algorithms are implemented on a digital signal processor (DSP) and apply these implementations in the lab. In the end you can analyze theoretical concepts and practically implement suitable algorithms.7 ECTSno date this semesterIN2061Engineering Resilient Cognitive SystemsNo ratings for this module yet.Elective Modules InformaticsYou will learn how cyber-physical cognitive systems (e.g., automated vehicles) are designed to remain reliable and safe in dynamic and uncertain contexts. In the end you will be able to describe fundamental concepts of resilient architectures and model simple resilient-adaptive designs with corresponding patterns and methods.3 ECTSno date this semesterCIT4230005Fortgeschrittene Konzepte des Quantum ComputingNo ratings for this module yet.Elective Modules InformaticsYou will learn advanced concepts and algorithms of Quantum Computing, with a focus on the quantum Fourier transform, the Shor algorithm and quantum error correction. In the end you will be able to distinguish these techniques, apply the quantum Fourier transform in new scenarios and understand the mathematical formalism of error correction, including the stabilizer formalism.5 ECTSno date this semesterIN2400Funktions- und InformationssicherheitNo ratings for this module yet.Elective Modules InformaticsYou will learn the differences and similarities between functional safety and information security for cyber-physical systems. In the end you will be able to apply basic analysis and design approaches and assess safety and security arguments for simple CPS examples.3 ECTSno date this semesterIN2385Geometry ProcessingNo ratings for this module yet.Elective Modules InformaticsYou will learn mathematical foundations and practical representations of curves and surfaces, as well as methods for modeling, analysis, and presentation of geometric shapes. In the end you can assess various representations (parametric, implicit, splines, subdivision, CSG, voxel, neural), reconstruction from point sets, and level-of-detail strategies, and independently develop and implement suitable approaches.6 ECTSno date this semesterIN2297Gleichungslogik und Lambda-KalkülNo ratings for this module yet.Elective Modules InformaticsYou learn the fundamentals of equation logic, term rewriting systems and untyped as well as typed lambda calculus. In the end you will be able to apply semantics and proof systems of equation logic, analyze term rewrites for correctness (termination, confluence) and program and type lambda terms as well.8 ECTSno date this semesterIN2048Informatikanwendungen in der Medizin IINo ratings for this module yet.Elective Modules InformaticsYou will learn advanced methods of medical image processing, segmentation and registration as well as the fundamentals of machine learning and 3D volume visualization. In the end you will be able to distinguish the most important algorithm types, assess when they are applied, implement central procedures in Python, and apply them to clinical questions.5 ECTSno date this semesterIN2022Inverse Problems in Medical ImagingNo ratings for this module yet.Elective Modules InformaticsYou will learn mathematical tools and solution strategies for inverse problems in medical imaging. In the end you will be able to theoretically analyze inverse problems, design experimentally and implement practically, as well as assess algorithms for reconstruction and regularization.5 ECTSno date this semesterIN2409IoT SecurityNo ratings for this module yet.Elective Modules InformaticsYou learn security aspects along the IoT protocol stack (data, application, and network layer). You practice cryptography, authentication, attack types (e.g., DoS, MITM) and their practical execution as well as countermeasures and the integration of SSL for secure communication between smart devices.5 ECTSno date this semesterCIT4330009Konvexe Optimierung für Computer VisionNo ratings for this module yet.Elective Modules InformaticsYou will learn the fundamentals of convex analysis and their application to optimization problems in image processing and computer vision. After the module you will be able to understand, apply and implement common first-order and proximal methods for typical CV tasks (e.g., image reconstruction, segmentation, matrix factorization).6 ECTSno date this semesterIN2330Lambda CalculusNo ratings for this module yet.Elective Modules InformaticsYou learn the fundamentals of the lambda calculus as a model of programming languages. First you treat untyped lambda calculus, its reduction rules, evaluation strategies (e.g., call-by-value, call-by-name) and its Turing completeness. In the second part you learn typed lambda calculi, common type systems in functional languages and the connection between types and logic (Curry–Howard). In the end you can use lambda terms, translate them and prove their properties.5 ECTSno date this semesterIN2358Logic Synthesis and Physical DesignNo ratings for this module yet.Elective Modules InformaticsYou will learn algorithms and data structures to automatically generate digital circuits from specifications and physically place them. In the end, you will understand logic synthesis, optimization, as well as partitioning, floorplanning, placement and routing, and you will be able to practically use tools such as ABC, Yosys or OpenROAD.6 ECTSno date this semesterCIT433032LogikNo ratings for this module yet.Elective Modules InformaticsYou learn the basics of propositional and predicate logic: syntax, semantics and formal proof systems. In the end you will be able to conduct proofs in deductive systems, demonstrate soundness and completeness, formalize problems and apply simple decision or semi-decision procedures such as resolution.8 ECTSno date this semesterIN2049MicroprocessorsNo ratings for this module yet.Elective Modules InformaticsYou will learn the inner structure and the functionality of microprocessors: from historical developments over RISC/CISC designs, pipelining, caches and multi-core aspects to SIMD/Vector extensions and trends. By the end you will be able to analyze different processor architectures, optimize low-level programs and assess the role of processors in high-performance systems.5 ECTSno date this semesterIN2075Model CheckingNo ratings for this module yet.Elective Modules InformaticsYou will learn how to describe hardware and software systems with formal models and how to automatically verify these models using model checking methods to determine whether they satisfy desired properties. In the end you will be able to model simple systems, formulate properties in temporal logic, and explain basic model-checking algorithms as well as strategies against the state-space explosion problem and apply them to small examples.8 ECTSno date this semesterIN2050Network CodingNo ratings for this module yet.Elective Modules InformaticsYou will learn the theoretical foundations of Network Coding and its practical applications. In the end you will be able to analyze network-coding concepts, practically implement RLNC and deploy it in transport- or link-layer protocols, as well as perform basic socket programming.6 ECTSno date this semesterIN2315Netzwerke für den ZahlungsverkehrNo ratings for this module yet.Elective Modules InformaticsIn this module you will learn the system architecture, protocol layers and security aspects of networks used for national and international payments. In the end you will be able to assess fundamental architectures, security standards and authorization solutions and to evaluate types of attacks as well as mobile security concepts.3 ECTSno date this semesterIN2161Numerische Algorithmen im HochleistungsrechnenNo ratings for this module yet.Elective Modules InformaticsYou will learn selected numerical algorithms for high-performance computing (HPC), e.g. solvers for partial differential equations, methods of numerical linear algebra, particle-based simulations and spectral methods. You can assess their range of applications, analyze fundamental performance characteristics and evaluate and use the parallelizability and scalability of the algorithms.8 ECTSno date this semesterIN2398Parallel Program EngineeringNo ratings for this module yet.Elective Modules InformaticsYou learn methodically and practically how to develop, analyze, and optimize parallel applications. The module covers programming models, development tools and workflows for performance engineering, so that you can design and implement structured solutions for the development and enhancement of parallel software at the end.5 ECTSno date this semesterIN2310Peer-to-Peer-Systems and SecurityNo ratings for this module yet.Elective Modules InformaticsYou will learn fundamentals, protocols, and typical problems of peer-to-peer systems. After the module you will be able to explain selected P2P systems, apply fundamental mechanisms for search and membership, and assess security and anonymity concepts, as well as design and implement your own P2P protocols or components.6 ECTSno date this semesterIN2194PetrinetzeNo ratings for this module yet.Elective Modules InformaticsYou will become acquainted with Petri nets as a formal model for describing and analyzing concurrent systems. In the end you will be able to model simple systems with Petri nets, analyze small nets by hand, and select suitable automatic analysis techniques and software tools for larger nets to assess behavior and properties.5 ECTSno date this semesterIN2052Probabilistische Graphische Modelle in der Computer VisionNo ratings for this module yet.Elective Modules InformaticsYou learn how probabilistic graphical models (directed and undirected) are used to model and solve typical computer vision problems. At the end you can understand MRF/CRF models, select appropriate inference and learning methods, and apply them to tasks such as segmentation, pose estimation, stereo or object recognition.5 ECTSno date this semesterIN2329Protein Prediction I for Computer ScientistsNo ratings for this module yet.Elective Modules InformaticsYou learn the fundamentals and methods for predicting protein structure and function from sequence data. By the end you will be able to explain the most important 1D/2D/3D prediction methods, select suitable computer-assisted approaches, and design and implement simple ML/AI-based solutions up to the pseudocode level.8 ECTSno date this semesterIN2322Protocol DesignNo ratings for this module yet.Elective Modules InformaticsYou learn how communication protocols are structured, which design principles and building blocks exist, and how design decisions influence practice, scalability, security, and acceptance. At the end you will be able to evaluate protocol functions, develop your own protocol specifications step by step, and implement simple implementations in groups.8 ECTSno date this semesterIN2333Quantum Computers and Quantum Secure CommunicationsNo ratings for this module yet.Elective Modules InformaticsYou will learn the fundamentals of quantum computing and post-quantum cryptography, including quantum and post-quantum algorithms. In the end you will be able to evaluate the security and performance of post-quantum cryptographic implementations and apply appropriate security measures.5 ECTSno date this semesterEI71073Requirements EngineeringNo ratings for this module yet.Elective Modules InformaticsYou will learn how to systematically elicit, analyze, document and manage requirements for software and system development throughout the project lifecycle. In the end you will be able to identify stakeholders, analyze goals and conflicts, select appropriate elicitation and specification techniques, and qualitatively supervise the further development of requirements.5 ECTSno date this semesterCIT423010Robot Motion PlanningNo ratings for this module yet.Elective Modules InformaticsYou learn methods for planning robot movements in different information scenarios: from planning procedures with complete environment knowledge to local, partially-known environments to probabilistic sampling methods for high-dimensional spaces. You will also learn data fusion and filtering procedures (Kalman filter, particle filter) with which maps are created and Simultaneous Localization and Mapping (SLAM) implemented, so you can plan collision-free trajectories.5 ECTSno date this semesterIN2138Robotic 3D VisionNo ratings for this module yet.Elective Modules InformaticsIn this module you will learn methods of 3D image processing for robotics. Focus areas are multi-view geometry, visual localization and mapping (SLAM) with monocular, stereo, RGB-D and inertial sensors, as well as 3D object recognition and tracking. In the end you will be able to practically work on basic tasks such as visual odometry, SLAM and 3D object pose estimation and understand the underlying theories.5 ECTSno date this semesterIN2355Scientific Computing and Machine LearningNo ratings for this module yet.Elective Modules InformaticsYou will learn how methods of Machine Learning are applied in Scientific Computing to solve problems from the natural sciences and engineering. The focus is on numerical approximations of differential equations, inverse problems, model reduction and practical implementation on CPU/GPU. In the end you will be able to understand mathematical formulations of dynamic systems and select appropriate learning algorithms for specific problems.5 ECTSno date this semesterCIT423000Scientific Computing in Circuit SimulationNo ratings for this module yet.Elective Modules InformaticsYou learn mathematical modeling and numerical methods for the simulation of electronic circuits. The module covers DAEs, sparse handling of matrices and algorithms for parallel computing, so that you understand and can apply basic modeling and solution strategies for industrial circuit simulations at the end.5 ECTSno date this semesterIN2306Secure CodingNo ratings for this module yet.Elective Modules InformaticsYou learn how to develop and test secure software. The focus is on web services (PHP) as well as native applications (C/C++ and Java). In the end you will be able to recognize common vulnerabilities, apply appropriate countermeasures and use tools for automatic and manual security testing.6 ECTSno date this semesterIN2313Security EngineeringNo ratings for this module yet.Elective Modules InformaticsYou will learn how to systematically design, analyze, evaluate, and operate secure IT applications. The focus is on system and threat analysis, derivation of security requirements, security architectures and measures, as well as methods for validation and a secure software development process.5 ECTSno date this semesterIN2178SemanticsNo ratings for this module yet.Elective Modules InformaticsYou learn formal techniques for describing and analyzing the semantics of programming languages. In the end you will be able to understand and apply different semantics styles (operational, denotational, axiomatic) as well as define semantics for language constructs and prove properties such as type safety.8 ECTSno date this semesterIN2055Sensorgeführte Robotische Manipulation und LokomotionNo ratings for this module yet.Elective Modules InformaticsYou learn how complex robotic systems (e.g., humanoid robots) can be modeled and motion-controlled, especially for manipulation and locomotion in unknown environments. In the end you will be able to distinguish the most important algorithmic methods for sensor-guided manipulation and movement and practically work on simple tasks.3 ECTSno date this semesterIN2068Software Engineering für betriebliche Anwendungen - Masterkurs: Web Application EngineeringNo ratings for this module yet.Elective Modules InformaticsYou will learn to plan, design and implement modern web-based applications from the business idea to a working prototype. In the end you can analyze web business models, apply user-centered design patterns, implement frontend and backend components with current web frameworks, and present your solution to a professional audience.8 ECTSno date this semesterIN2087Sprachbasierte SicherheitNo ratings for this module yet.Elective Modules InformaticsYou will learn how programs run at machine level, what language-based attacks (e.g., code-injection, code-reuse, non-control-data attacks) exist and how to technically defend against them. In the end you will be able to recognize current attack mechanisms, explain their principles and implement and evaluate defensive measures.5 ECTSno date this semesterIN2362TensornetzwerkeNo ratings for this module yet.Elective Modules InformaticsYou will learn the mathematical foundations and the graphical notation of tensor networks and their application to the approximation of high-dimensional data. In the end you will be able to assess tensor network methods and apply them to problems such as simulation of strongly correlated quantum systems or probabilistic sampling.5 ECTSno date this semesterIN2388Time Integration and Differential EquationsNo ratings for this module yet.Elective Modules InformaticsYou will learn to understand and apply numerical methods for the time integration of initial value problems, for both ordinary differential equations and partially coupled PDEs. In the end you can develop solvers for certain classes of time-dependent PDEs, assess their numerical properties, and employ advanced time integration methods.5 ECTSno date this semesterIN2387Topics in Computational Social ChoiceNo ratings for this module yet.Elective Modules InformaticsYou study models and methods of collective decision making from social choice theory, in particular those that find application in computer science. Key topics are probabilistic social choice, fair division, and the allocation of public goods; the contents are treated mathematically precisely and with a focus on proofs. In the end you will be able to apply such models, axiomatically analyze properties of aggregation procedures, and work on relevant algorithms and complexity questions.5 ECTSno date this semesterCIT423011Tracking and Detection in Computer VisionNo ratings for this module yet.Elective Modules InformaticsYou will learn modern methods of object detection and tracking in images and videos. In the end you will be able to understand, implement, and apply central detection and tracking algorithms to more complex practical problems.7 ECTSno date this semesterIN2210Transaction SystemsNo ratings for this module yet.Elective Modules InformaticsYou learn concepts and algorithms for the management of transactions in database systems as well as mechanisms for fault handling (Recovery). In the end you will be able to design ACID-compliant transactions, evaluate Concurrency-Control procedures and practically apply Recovery procedures — also in distributed scenarios.6 ECTSno date this semesterIN2267Turbulent Flow Simulation on HPC-SystemsNo ratings for this module yet.Elective Modules InformaticsYou will learn the fundamentals and numerical treatment of turbulent, incompressible flows, from RANS equations through turbulence modeling to validation. You will also implement the algorithms in C++, parallelize them for distributed HPC systems, and run simulations including visualization.5 ECTSno date this semesterIN2311VirtualisierungstechnikenNo ratings for this module yet.Elective Modules InformaticsYou learn concepts, structure and use of different Virtual Machines – from operating system and process virtualization through ISA- and high-level-language virtual machines to multicore and HW/SW co-design solutions. In the end you will be able to classify virtualization solutions, assess their pros and cons, and analyze technical design and performance trade-offs.5 ECTSno date this semesterIN2125Virtuelle MaschinenNo ratings for this module yet.Elective Modules InformaticsYou learn how programs in different languages are mapped to code for idealized (virtual) machines via translation schemes. In the end you will be able to generate machine commands for excerpts of programs and develop translation schemes for given language constructs.6 ECTSno date this semesterIN2040
31 more modules match, but they are taught in German. Show themAnerkennung 1No ratings for this module yet.Elective Modules Informaticsno date this semesterIN99555Anerkennung 1No ratings for this module yet.Elective Modules Informaticsno date this semesterIN995601Anerkennung 1 Digitale Biologie und Digitale Medizin (DBM)No ratings for this module yet.Elective Modules Informaticsno date this semesterIN99550Anerkennung 1 im Bereich Computergrafik und -visionNo ratings for this module yet.Elective Modules Informaticsno date this semesterIN99505Anerkennung 1 im Bereich RobotikNo ratings for this module yet.Elective Modules Informaticsno date this semesterIN99565Anerkennung aus dem Bereich Engineering software-intensiver SystemeNo ratings for this module yet.Elective Modules Informaticsno date this semesterIN99530Anerkennung aus dem Bereich Engineering software-intensiver SystemeNo ratings for this module yet.Elective Modules Informaticsno date this semesterIN99531Anerkennung im Bereich Social and Political Aspects of Data ScienceNo ratings for this module yet.Elective Modules Informaticsno date this semesterIN99570Ausgewählte Themen aus dem Bereich AlgorithmenNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3410Ausgewählte Themen aus dem Bereich Datenbanken und Informationssysteme: Digital Health Service SystemsNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN310004Ausgewählte Themen aus dem Bereich Digitale Biologie und Digitale MedizinNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3420Ausgewählte Themen aus dem Bereich Engineering software-intensiver SystemeNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3430Ausgewählte Themen aus dem Bereich Maschinelles Lernen und DatenanalyseNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3440Ausgewählte Themen aus dem Bereich Rechnerarchitektur, Rechnernetze und Verteilte SystemeNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3450Ausgewählte Themen aus dem Bereich RobotikNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3460Ausgewählte Themen aus dem Bereich Sicherheit und DatenschutzNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3470Ausgewählte Themen aus dem Bereich Wissenschaftliches Rechnen und High Performance ComputingNo ratings for this module yet.Elective Modules Informatics5 ECTSno date this semesterIN3480Elektronisches Publizieren / Document Engineering und das World-Wide WebNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2032Fortgeschrittene Themen des SoftwaretestsNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2084HardwaresicherheitNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2407Informationstheoretische SicherheitNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterEI73451KryptografieNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterCIT3330003Mobile verteilte SystemeNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2098Modellierung verteilter SystemeNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2080Netz- und SystemmanagementNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2099Netzwerkanalyse - statistische und formale Modelle und MethodenNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2045Operations ResearchNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN0024Ringvorlesung SystemsicherheitNo ratings for this module yet.Elective Modules InformaticsIn 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 ECTSruns this semesterEI75671Sichere Implementierung kryptographischer VerfahrenNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSruns this semesterEI7243Simulation turbulenter Strömungen auf HPC-Systemen (IN2311, MW2048)No ratings for this module yet.Elective Modules InformaticsYou learn how to numerically model and simulate turbulent, incompressible flows on high-performance computers (HPC). This includes fundamentals of the RANS equations, turbulence modeling, numerical discretization and solution methods, as well as parallelization and visualization of simulation data. In the end you can analyze corresponding algorithms, implement them in C++ and run on distributed systems, and present results to a technical audience.5 ECTSno date this semesterMW2048Software-Engineering in der industriellen PraxisNo ratings for this module yet.Elective Modules InformaticsDu 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 ECTSno date this semesterIN2235