Home
Lehre
Vorlesungen
Praktika
Seminare
Wintersemester 2024/25
Sommersemester 2024
ISM-Seminar
Seminar
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: WebAssembly in HPC
- Topic 2: Conflict-free Replicated Data Types (CRDTs)
- Topic 3: Trace-baced Automated reasoning: Comparing ProVerif and Tamarin
- Topic 4: Digital Two-hand control: A survey of fool-proof security mechanisms
- Topic 5: Compilation of Quantum Programs
- Topic 6: Qubit Mapping and Routing
- Topic 7: Graphical languages for quantum computing
- Topic 8: Quantum error correction with topological codes
- Topic 9: Quantum Computer Simulations on GPUs
- Topic 10: Quantum advantage
- Topic 11: Ossification of Internet Protocols
- Topic 12: Fairness of Congestions Control between TCP and QUIC
- Topic 13: Trends in Personal and Body Area Networks
- Topic 14: An Overview of Pervasive Computing: Areas and Communication Protocols
- Topic 15: Measuring Mental Workload in Virtual Reality Training
- Topic 16: The Effectiveness of adaptive Virtual Reality Training
- Topic 17: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU
- Topic 18: European Chips Act: RISC-V Vector Architectures
- Topic 19: Homomorphic Encryption on Quantum Computers
- Topic 20: Multivariate group signature schemes
Topic 1: WebAssembly in HPC
- Exploring the Use of WebAssembly in HPC
- Characterization and implication of edge WebAssembly runtimes
Topic 2: Conflict-free Replicated Data Types (CRDTs)
Topic 3: Trace-baced Automated reasoning: Comparing ProVerif and Tamarin
Topic 4: Digital Two-hand control: A survey of fool-proof security mechanisms
- Emerging Trends in Usable Security and Privacy
- Inclusive Security by design
- Human-Centred Security: Unfug Informationssicherheits-Sensibilisierung
Topic 5: Compilation of Quantum Programs
- A software methodology for compiling quantum programs
- ScaffCC: Scalable Compilation and Analysis of Quantum Programs
- An LLVM-based C++ Compiler Toolchain for Variational Hybrid Quantum-Classical Algorithms and Quantum Accelerators
Topic 6: 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 7: Graphical languages for quantum computing
Overview of different flavors:Topic 8: Quantum error correction with topological codes
Topic 9: Quantum Software Engineering
Topic 10: Quantum advantage
- Google's quantum supremacy 2019
- Solving the sampling problem of the Sycamore quantum circuits
- IBM's Kicked Ising
Topic 11: Ossification of Internet Protocols
- A Bottom-Up Investigation of the Transport-Layer Ossification
- De-Ossifying the Internet Transport Layer: A Survey and Future Perspectives
- Using UDP for Internet Transport Evolution
Topic 12: Fairness of Congestions Control between TCP and QUIC
- Congestion control for real-time media over QUIC
- QUIC Loss Detection and Congestion Control
- When machine learning meets congestion control: A survey and comparison
- A survey on TCP-friendly congestion control
Topic 13: Trends in Personal and Body Area Networks
- Wireless Body Area Networks: Applications and Technologies
- Characterizing IOMT/Personal Area Networks Landscape
- A novel scheme to improve lifetime and real-time support for IEEE 802.15.4 based wireless personal area networks
Topic 14: An Overview of Pervasive Computing: Areas and Communication Protocols
- Ubiquitous Computing in Sports and Physical Activity—Recent Trends and Developments
- Cyber-physical systems architectures for industrial internet of things applications in Industry 4.0: A literature review
- Synchronous Transmissions in Low-Power Wireless: A Survey of Communication Protocols and Network Services
- Cyber-Physical Mobile Computing, Communications, and Sensing for Industrial Internet of Things and Industry 4.0 2021
Topic 15: Measuring Mental Workload in Virtual Reality Training
- Development and validation of a simulation workload measure: the simulation task load index (SIM-TLX)
- The stress and workload of virtual reality training: the effects of presence, immersion and flow
- Towards Real-Time Recognition of Users Mental Workload Using Integrated Physiological Sensors Into a VR HMD
Topic 16: The Effectiveness of adaptive Virtual Reality Training
- Measuring the effectiveness of virtual training: A systematic review
- Adaptive virtual reality-based training: a systematic literature review and framework
Topic 17: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU
-
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
- NVIDIA Grace Hopper Superchip Architecture Whitepaper
- NVIDIA Hopper H200 GPU Datasheet
- NVIDIA Grace CPU Superchip Whitepaper
- NVIDIA Grace CPU Superchip Datasheet
Topic 18: European Chips Act: RISC-V Vector Architectures
- Vitruvius+
- Short reasons for long vectors in HPC CPUs: a study based on RISC-V
- Efficiently running SpMV on long vector architectures
- Software Development Vehicles to enable extended and early co-design: a RISC-V and HPC case of study
Topic 19: Homomorphic Encryption on Quantum Computers
- Exact Homomorphic Encryption
- Classical Homomorphic Encryption for Quantum Circuits
- Experimental quantum homomorphic encryption