Projects

[ResK] Propositional resolution proof compression using sequent calculus
ResK is a proof compression library. Currently some compression algorithms for propositional resolution proofs are implemented. They use a dedicated data structure that should be soon obsoleted.
The goal of this proposal is to port those algorithms to the new sequent calculus data structure and to implement some more similar algorithms.

MOST: Platform independent building data access using OPC Unified Architecture
Based on the MOST Java framework an OPC Unified Architecture (OPC UA) Server interface should be implemented. An OPC UA Server toolkit will be provided to simplify implementation. Supporting OPC UA allows various processing (Matlab, Excel, etc.) applications to easily access building data stored with MOST. The OPC UA information model (kind of tree structure to desired information) should be based on the datapoint and zone definitions in the MOST database. For example, the OPC UA “tree” (information model) is build based on zones with datapoints as lead nodes. Methods of the leaf nodes (datapoints) allow data access. The MOST database (datapoints, zones, etc.) is abstracted with a Java framework (DatapointCtrl, ZoneCtrl, etc.). By providing an OPC UA Server toolkit and a Java abstraction layer for building data (datapoints, zones, etc.), implementation is (in the best case) simplified to “connect” building information.

Nomacs RAW Loader
Nomacs is an open source image viewing and editing software. The two things that distinguish Nomacs from other image viewer are the synchronization and wide range of image formats it supports. Nomacs supports raw files that are becoming more and more popular between photographers because of the editing freedom they give us. There are very few open source applications that allow us raw image editing. The main goals of my project would be to update the current process of displaying raw pictures, so it would produce a better image and to add new image editing functions, mainly for raw files.

Optical tracking for the PS Move API
The PS Move API already offers great cross-platform support for the symbolic inputs as well as the active sensors data (magnetometer, accelerometer and rate sensor) of the PS Move controller. However the PS Move API doesn't support the object tracking capability of the PS Move controller combined with the PS Eye or other cameras. This project aims to fill this gap to provide location tracking for one and two PS Move Controllers. The OpenCV library will be utilized to realize the visual controller tracking. The cross-platform support of the PS Move API is going to be maintained as the OpenCV library itself is available vor multiple platforms.

Parallelization of the Particles-In-Cell simulator OpenPixi
Aim of the project is to create three parallel versions of OpenPixi (Particles-In-Cell simulator). First, simplest version, should utilize the threads in Java whereas the second a little more complicated but also more powerful version should make use of the computing power of GPU using the OpenCL standard. The final third version should exploit the previous two across several CPUs or GPUs.

R: disclose: Make data confidential - easy, fast and sophisticated
The goal of the project is to expand the functionality and to improve the performance of the existing R package 'sdcMicro'.
A major reduction in computation time can be expected from implementing more of the available methods in C/C++ rather than in the high level programming language R.
Furthermore, not all available disclosure methods are yet implemented in R, therefore, it would be of importance to add more methods to the R package 'sdcMicro'.
Thirdly, the methods available in the R package should be easily accessible for subject matter specialists who generally not trained in or used to R or a command line interface. For this goal, the existing graphical user interface 'sdcMicroGUI' should be expanded to cover most aspects of the process of statistical disclosure control.

Solver for the Standard and Generalized Eigenvalue Problem
The goal of this project is to build an OpenCL-accelerated solver for Standard and Generalized eigenvalue problem. Implementations should get benefits from usage of GPUs and multi-core CPUs and be based on the rich set of linear algebra operations already available in ViennaCL.