Seminar mit Bachelorarbeit

Available Projects

Entwicklung eines Prototypen für Buchungsprognosen in der Touristik
contact:   Ruth Breu

Realtime Multi Human Pose Estimation Around a Robot
contact:   Özgür Erkent

ISMS in a Box
contact:   Michael Brunner

LTL Model Checking
contact:   Aart Middeldorp

Tableaux for BoolTool
contact:   Aart Middeldorp

Shakashaka
contact:   Aart Middeldorp

Regular Expression Crossword Puzzle Generator
contact:   Sarah Winkler

Search Terms
contact:   Vincent van Oostrom

Who Shares with whom Security Information on Twitter?
contact:   Clemens Sauerwein

Lowering the Barrier of Cyber Attacks through Information Shared on Social Media Streams
contact:   Clemens Sauerwein

Usage of Tactile Rendering in Medical Simulation
contact:   Quang Ha-Van

3D motion-based tactile rendering
contact:   Yeongmi Kim

Cascaded Light Propagation Volumes for Surgical Simulation
contact:   Matthias Harders

Atlas Fitting for Preoperative Analysis of 3D Planning of Forearm Orthopedic Interventions
contact:   Matthias Harders

Interactive Decision-Making Interface for Orthopedic Surgical Planning
contact:   Matthias Harders

Automatic generation and interactive adaptation of wrinkles on surfaces
contact:   Evgeny Zuenko

Confluence of One-Rule String Rewriting
contact:   Bertram Felgenhauer

Country-dependent analysis of the LinkedIn leak
contact:   Pascal Schöttle

Interdependent privacy in Facebook
contact:   Pascal Schöttle

Bachelor: Security Data Mining and Analytics
contact:   Clemens Sauerwein

Analysis of Shared Cyber Threat Information through Visual Data Mining
contact:   Clemens Sauerwein

Re-enabling the Scientist: Automation of Systematic Literature Study Processes
contact:   Clemens Sauerwein

Zwei-Faktor Authentifizierung am Beispiel eines Patientenportales
contact:   Ruth Breu

Statische Codeanalyse
contact:   Ruth Breu

Security Information Flows in Organizations
contact:   Ruth Breu

Hacking toolkit and awareness training
contact:   Christian Sillaber

Visualization of Share Cyber Threat Intelligence
contact:   Clemens Sauerwein

Proseminar management and grading system
contact:   Christian Sillaber

Cyber security threat intelligence sharing
contact:   Christian Sillaber

GPU programming with Python for Computer Vision Applications
contact:   Dadhichi Bhadresh Shukla

An AC-Rewriting Engine
contact:   Christian Sternagel

Activity Recognition Using Convolutional Neural Networks
contact:   Sebastian Stabinger

Finding Reflections using Convolutional Neural Networks
contact:   Sebastian Stabinger

Performance of Convolutional Neural Networks on Blended Images
contact:   Sebastian Stabinger

Commutation of Term Rewrite Systems
contact:   Bertram Felgenhauer

Using mOSAIC
contact:   Simon Ostermann

Git- and text-based project management
contact:   Christian Sillaber

Floating-Base Inverse Kinematics for Mobile Manipulation
contact:   Justus Piater

Extension of PLG with Apromore and Command Line Interface
contact:   Andrea Burattin

Security analysis of community-driven Linux software repositories
contact:   Christian Sillaber

Data protection metrics for cloud services
contact:   Sebastian Luhn

Implementation of oblivious RAM for cloud services
contact:   Sebastian Luhn

A Certified Decision Procedure for Termination of Right-Ground Term Rewrite Systems
contact:   René Thiemann

Surface and Volumetric Meshes for the Finite Element Analysis of Reinforced Concrete
contact:   Matthias Harders

Title: Human–Robot Interaction via Voice-Controllable User Interface
contact:   Senka Krivic

Compliance Report Generator for ADAMANT
contact:   Michael Brunner

Deformation of Large-Scale Geometry Frazzles
contact:   Matthias Harders

Fracture Line Extraction From 3D Models for Computer Assisted Planning
contact:   Matthias Harders

Asset Model Importer for ADAMANT
contact:   Michael Brunner

Neuimplementierung existierender Software zur Analyse von Hüftgelenksimplantaten
contact:   Justus Piater

Implementation and Evaluation of Reinforcement Learning Methods
contact:   Simon Hangl

Genetic Programming
contact:   Thibault Gauthier

Conversion of math to SVG using MathJax
contact:   Justus Piater

Domain Specific LaTeX Environment
contact:   Christian Sillaber

Neuimplementierung existierender Software zur Analyse von Hüftgelenksimplantaten
contact:   Justus Piater

Computer analysis of medical images
contact:   Antonio Rodriguez Sanchez

Proto object saliency by shape analysis
contact:   Antonio Rodriguez Sanchez

Entwicklung eines web-basierten und interaktiven Informationssystems zur Speicherung, Analyse und Visualisierung von Strommessdaten
contact:   Wolfgang Gassler

Navigation with Simultaneous Localization and Mapping for Indoor Omni-Directional Mobile Robot
contact:   Justus Piater

Improved Visualization of Mercurial Repositories
contact:   René Thiemann

Interactive subdivision of polygon meshes
contact:   Matthias Harders

Visual Guidance System for Haptic Acquisition
contact:   Anatolii Sianov

Unconstrained Frictional Interaction and Rendering
contact:   Anatolii Sianov

Clustering in Formal Mathematics (Big Data)
contact:   Cezary Kaliszyk

Unification in Booltool
contact:   Cezary Kaliszyk

Innovative 3D Visualizations for hierarchical Security Requirements
contact:   Michael Brunner

Implementation of OCL-based State-Propagation-Strategies for Hierarchical Security Requirements
contact:   Michael Brunner

Computational neuroscience for more abstract object representation
contact:   Antonio Rodriguez Sanchez

Object recognition in scenes under clutter, viewpoint and occlusion
contact:   Antonio Rodriguez Sanchez

Recognition of Pointing Gestures in RGB-D Data
contact:   Özgür Erkent

Acquisition of 2D Models of Objects for Pose Estimation, Using a Robotic Arm
contact:   Damien Teney

Automatic Acquisition of Object Graspability Functions
contact:   Justus Piater

Automatic Image Annotation
contact:   Sandor Szedmak

Development of a Mobile Aouda.X Telemetry Application
contact:   Günther Specht

Development of an Aouda.X Automated Test System
contact:   Günther Specht

Exploratory Analysis of High-Dimensional, Structured Data For Vision-based Robotic Grasping
contact:   Justus Piater

HOL Goalstate Transformations
contact:   Cezary Kaliszyk

On-The-Fly Code Coverage Tool
contact:   Radu Prodan

Ontologies for Energy Efficiency
contact:   Anna Fensel

Real-time Pose Estimation with the Point Cloud Library
contact:   Heiko Hahn

Resource Tracking Tool using Dynamic Instrumentation
contact:   Radu Prodan

Robotic Camera Calibration
contact:   Justus Piater

Triangular Decomposition Algorithms for Large Sparse Matrices on GPU using OpenCL
contact:   Radu Prodan