Seminar mit Bachelorarbeit

Available Projects

Modeling neurons for stereo vision
contact:   Antonio Rodriguez Sanchez

Improved Visualization of Mercurial Repositories
contact:   René Thiemann

Entwicklung der „Spendenplattform Tirol“
contact:   Ruth Breu

Konzepterstellung für die Einführung einer Wiki-Lösung als Wissensdatenbank im Kraftwerksbereich bei illwerke vkw
contact:   Ruth Breu

Interactive subdivision of polygon meshes
contact:   Yann Savoye

Fluid simulations with height fields
contact:   Yann Savoye

Cage-based Shape Control
contact:   Yann Savoye

Hollowing Strategies for 3D Printed Shapes
contact:   Yann Savoye

Developing a Low-Cost Augmented Reality System
contact:   Yeongmi Kim

Visual Guidance System for Haptic Acquisition
contact:   Anatolii Sianov

Unconstrained Frictional Interaction and Rendering
contact:   Anatolii Sianov

Extending robot control interface for robot safety in reinforcement learning
contact:   Simon Hangl

Evaluation of a Motion-Based Haptic Rendering Algorithm
contact:   Yeongmi Kim

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

KBCV for Android
contact:   Thomas Sternagel

Maximum Set Cover
contact:   Cezary Kaliszyk

Matrix Chain Multiplication
contact:   Harald Zankl

Bestimmung von Akkordgrundtönen
contact:   Justus Piater

Robot Demos
contact:   Emre Ugur

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

Adaptierung eines ticketbasierten Softwareprojektmanagementtools für Scrum
contact:   Ruth Breu

Entwicklung eines mobilen Clients für ein Hashtag-basiertes PIM-System
contact:   Wolfgang Gassler

Mobile Data Flow Collector
contact:   Eva Zangerle

Automated analysis and multiscanning of Malware with AV Products using graphical User Interface
contact:   Ruth Breu

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

Behavioral Animation using Spherical Functions
contact:   Biagio Cosenza

Dependence Testing using the Omega Library
contact:   Simone Pellegrini

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

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

Enumeration of Term Rewrite Systems
contact:   Bertram Felgenhauer

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

Hadoop Evaluation
contact:   Sebastian Schönherr

Heuristics for Completion Tools
contact:   Harald Zankl

HOL Goalstate Transformations
contact:   Cezary Kaliszyk

MetaUnit
contact:   Philipp Zech

MPI Program Region Detection via Trace Analysis
contact:   Simone Pellegrini

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

Ontologies for Energy Efficiency
contact:   Anna Fensel

Prototypische Entwicklung eines Konfigurationssensors im Applikationsserver Glassfish
contact:   Matthias Farwick

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

Unification Modulo Theories
contact:   Sarah Winkler

Windows-Port des Insieme Laufzeitsystems
contact:   Peter Thoman