Home
Lehre
Vorlesungen
Praktika
Seminare
Sommersemester 2025
Hauptseminar
ISM-Seminar
Proseminar
Wintersemester 2024/25
Sommersemester 2024
Wintersemester 2023/24
Sommersemester 2023
Wintersemester 2022/23
Sommersemester 2022
Wintersemester 2021/22
Sommersemester 2021
Wintersemester 2020/21
Sommersemester 2020
Wintersemester 2019/20
Sommersemester 2019
Wintersemester 2018/19
Sommersemester 2018
Wintersemester 2017/18
Sommersemester 2017
Wintersemester 2016/17
Sommersemester 2016
Wintersemester 2015/16
Sommersemester 2015
Wintersemester 2014/15
Sommersemester 2014
Wintersemester 2013/14
Sommersemester 2013
Wintersemester 2012/13
Sommersemester 2012
Wintersemester 2011/12
Sommersemester 2011
Wintersemester 2010/11
Sommersemester 2010
Wintersemester 2009/10
Sommersemester 2009
Wintersemester 2008/09
Sommersemester 2008
Wintersemester 2007/08
Sommersemester 2007
Wintersemester 2006/07
Sommersemester 2006
Wintersemester 2005/06
Sommersemester 2005
Wintersemester 2004/05
Wintersemester 2003/04
Oberseminare
Studentische Arbeiten
Mündliche Prüfungen
Downloads
MNM Team
Projekte
Publikationen
en
![[PRINT]](/_images/printer1.png)
Seminar Topics
List of Topics
- Topic 1: Coarse Grained Reconfigurable Architectures (CGRAs)
- Topic 2: Mixed Precision Computation
- Topic 3: Verification of Quantum Programs
- Topic 4: Qubit Mapping and Routing
- Topic 5: Graphical languages for quantum computing
- Topic 6: Opportunities and challenges of quantum computing with neutral atoms
- Topic 7: Theoretical Quantum Advantage - Why to build a Quantum Computer?
- Topic 8: Quantum algorithm for solving linear systems of equations
- Topic 9: Testing of functionally equivalent programs
- Topic 10: Use Cases for Multi-Variant Execution
- Topic 11: Integration of Knowledge in Neurosymbolic AI
- Topic 12: The Evolution of IEEE 802.11
- Topic 13: AI-Driven Tactical Analysis in Football:
- Topic 14: The Role of Artificial Intelligence in Football Scouting
- Topic 15: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU
- Topic 16: Methods of Reuse Distance for Caches
Topic 1: Coarse Grained Reconfigurable Architectures (CGRAs)
- A Survey of Coarse-Grained Reconfigurable Architecture and Design: Taxonomy, Challenges, and Applications
- A Survey on Coarse-Grained Reconfigurable Architectures From a Performance Perspective
Topic 2: Mixed Precision Computation
- Hardware Trends Impacting Floating-Point Computations In Scientific Applications
- Mixed-precision numerics in scientific applications: survey and perspectives
Topic 3: Verification of Quantum Programs
- QWIRE Practice: Formal Verification of Quantum Circuits in Coq
- Verification of Quantum Computation: An Overview of Existing Approaches
- Towards Large-scale Functional Verification of Universal Quantum Circuits
- Proving Quantum Programs Correct
Topic 4: Qubit Mapping and Routing
- An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures
- MQT QMAP: Efficient Quantum Circuit Mapping
- On the qubit routing problem
Topic 5: Graphical languages for quantum computing
Topic 6: Opportunities and challenges of quantum computing with neutral atoms
Topic 7: Theoretical Quantum Advantage - Why to build a Quantum Computer?
Topic 8: Quantum algorithm for solving linear systems of equations
- HHL Algorithm
- Reference implementation of HHL:
Topic 9: Testing of functionally equivalent programs
- Cross-coverage testing of functionally equivalent programs
- PEQtest: Testing functional equivalence
- Automatic mining of functionally equivalent code fragments via random testing
Topic 10: Use Cases for Multi-Variant Execution
- Taming Parallelism in a Multi-Variant Execution Environment
- Dual Execution for On the Fly Fine Grained Execution Comparison
Topic 11: Integration of Knowledge in Neurosymbolic AI
- Neurosymbolic AI: The 3rd Wave
- Neurosymbolic Programming for Science
- Neuro-symbolic artificial intelligence: a survey
Topic 12: The Evolution of IEEE 802.11
- IEEE 802.11be – Wi-Fi 7: New Challenges and Opportunities
- IEEE 802.11be Wi-Fi 7: Feature Summary and Performance Evaluation
- What Will Wi-Fi 8 Be? A Primer on IEEE 802.11bn Ultra High Reliability
Topic 13: AI-Driven Tactical Analysis in Football
- Automated Detection of Complex Tactical Patterns in Football
- TacticAI: an AI assistant for football tactics
- Prediction of defensive success in elite soccer using machine learning
Topic 14: The Role of Artificial Intelligence in Football Scouting
- Stacking-based deep neural network for player scouting in football 1
- Extraction of Positional Player Data from Broadcast Soccer Videos
Topic 15: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU
- Harnessing Integrated CPU-GPU System Memory for HPC: a first look into Grace Hopper
- Nvidia Hopper GPU and Grace CPU Highlights
- First Impressions of the NVIDIA Grace CPU Superchip and NVIDIA Grace Hopper Superchip for Scientific Workloads
- NVIDIA Grace Superchip Early Evaluation for HPC Applications