Former Projects

Calimero – KNX network access for Java

2013-03-13T12:24:40+00:00

Calimero is a Java library for KNX/EIB applications. It provides an API for (many of) the network services and data encodings defined in the KNX standard. It can be used as a basis to write remote access or control applications.
The current version of the library (Calimero 2) features:
•   KNXnet/IP tunneling (with bus monitor mode), routing, local device management
•   FT1.2 serial access
•   Easy-to-use process communication (group communication)
•   KNX property access
•   Datapoint type and property type translation
•   Network and device management client services
•   Network message buffering for state- and command-based datapoint values
•   Centralized logging
•   Network configuration storage, with possibility to import ETS 4 project files

divhex

2013-02-26T07:34:00+00:00

dlvhex is an Open Source scientific prototype application for computing the models of so-called HEX-programs. HEX-programs are a declarative logic programming formalism with a syntax similar to Prolog programs.

In HEX, declarative reasoning can use external computation sources, which is useful for example to integrate knowledge in Semantic Web reasoning. For example, a logic programming rule

    reached(X) :- &reach[edge,a](X)

computes the predicate reached taking values from the external computation which computes via reach[edge,a] all the reachable nodes in the graph defined by predicate edge from node a, delegating this task to an external computation source, e.g., a description logic reasoner, a C++ function, or a shell script. This way we can take advantage of efficient purpose-built solutions to computational problems within a declarative reasoning paradigm.

Several research groups have created plugins to provide external computation facilities, e.g., the string plugin for basic string manipulation, the description logic plugin for reasoning with ontologies, the SPARQL-plugin for semantic web reasoning, and others.

Eclipse Debugging Aids

2013-03-14T14:02:15+00:00

Advanced debuggers available in modern IDEs make it easier to debug programs and understand their runtime behavior. The Eclipse Debugging Aids aim to enrich the software debugger in Eclipse with visualizations that provide more insights into information available at the runtime. Example for this information are the traces collected at tracepoints set by the user, the values of the variables over time, or values in large arrays.

GDAL/OGR Simple Feature Library

2013-02-25T12:55:24+00:00

The OGR Simple Features Library is a C++ open source library providing IO access to a variety of geometry vector file format. OGR is part of the Geospatial Data Abstraction Library (GDAL) which covers IO and processing functionality for geospatial raster data formats. GDAL/OGR is widely used in open source and closed source applications. Some of the key features are:

Uniform access to a large set of geospatial raster formats (GeoTIFF, Erdas Imagine, SRTM, SDTS, ECW, MrSID, JPEG2000, DTED, NITF, ...)
Uniform acces to a variety of vector formats (DWG, DXF, GML, ERSI (Shapefile, FileGDB, ArcSDE), KML, SVG, OCI, ...)
Provides services for high performance image warping
Query and manipulation of simple feature vector geometries using the embedded open source GEOS geometry library
Generic coordinate transformation functionality within OGRSpatialReference

MOST

2013-02-26T07:34:47+00:00

The Monitoring System Toolkit -- MOST -- is a vendor and set of tools to simplify measuring and processing different building data streams (energy use, occupancy, comfort, etc.). It supports various building systems, provides powerful data preprocessing functionality (generation of periodic -- hourly/weekly/... -- datasets, workdays only, etc.), enables batch processing with external tools (Excel, Matlab, etc.) and delivers a number of analyses and visualization applications (modular web interface, Matlab framework, etc.). It consists of:

Connector (driver) to building systems (OPC DA and therefore BACnet, KNX, M-Bus, EnOcean, etc.) and "SQL structured" data sources using JDBC)
Database engine supporting real time data preprocessing
Java framework providing various software interfaces, virtual datapoints, etc.
Matlab framework for advanced data processing, statistical analyses, etc.
GWT based web interface supporting various use cases

Members: Harald Hofstätter, Stefan Glawischnig, Christian Tauber

MoveOnPC

2013-02-26T07:36:03+00:00

In September 2010 Sony released the PlayStation Move – a motion-sensing game controller for the PlayStation 3. The Move controller is an excellent input device which can be used for very accurate 6DOF input. The aim of the MoveOnPC open source project is to support the Move controller as a Bluetooth input device on all major platforms:

Windows, Linux, Mac OS X
Android, MeeGo

Netgen

2013-02-26T07:36:27+00:00

Netgen is a multi-platform automatic mesh generation tool written in C++ capable of generating meshes in two and three dimensions. The program is open source, and is distributed under the conditions of the LGPL. It comes in two primary forms:

A Stand-alone Program with its own Graphical User Interface (GUI) implemented using Tcl/Tk.
A C++ library (Nglib) which can be linked into other applications functioning as the backend mesh generation kernel.

Netgen generates triangular or quadrilateral meshes in 2D, and tetrahedral meshes in 3D. The input for 2D is described by spline curves, and the input for 3D problems can be defined by Constructive Solid Geometry (CSG), the standard STL file format, or via Boundary Representations (BRep/IGES/STEP) when compiled with OpenCascade support. NETGEN provides modules for automated mesh optimization and hierarchical mesh refinement. Curved elements of arbitrary order are supported.

NGSolve

2013-02-26T07:36:59+00:00

NGSolve is a general purpose Finite Element Library on top of Netgen. Among others, one can solve heat flow equations, Maxwell equations, and solid mechanical problems. Some features of NGSolve:

Elements of arbitrary order for any shape (segm, trig, quad, tet, prism, pyramid, hex)
Scalar elements and vector-valued elements for H(curl) and H(div)
Integrators for Heat-flow, Elasticity, Navier-Stokes, Maxwell, etc.
Iterative solvers with multigrid preconditioning
Error estimators and adaptive mesh refinement

pi3diamond

2013-02-26T07:37:55+00:00

pi3diamond is a collaboration between the University of Stuttgart and TU Vienna with the aim of developing open source hard- and software to control quantum physics experiments. In particular we investigate single quantum defects in diamond.

The fast hardware is based on configurable digital logic consisting of FPGAs (field programmable gate arrays). The software for the data preparation and readout is programmed in Python.

QuantumDove

2013-02-25T13:43:09+00:00

QuantumDove is a free open-source quantum-mechanics simulator based on the solution of the Schrödinger-Poisson equations. At present, one-dimensional quantum heterostructures can be simulated in a self-consistent as well as a non-selfconsistent manner.

The library is based on the free open source libraries deal.II, PETSc, and SLEPc, allowing for the implementation to fully focus on the algorithms. As such, extensions to higher spatial dimensions as well as experimentation with various algorithms are only a matter of interfacing the underlying libraries appropriately.

Skeptik

2013-02-25T13:48:05+00:00

Skeptik is a collection of data structures and algorithms focused especially on the compression of formal proofs.

Resolution proofs, in particular, are used by various sat-solvers, smt-solvers and automated theorem provers, as certificates of correctness for the answers they provide. These automated deduction tools have a wide range of application areas, from mathematics to software and hardware verification.

By providing smaller resolution proofs that are easier and faster to check, Skeptik aims at improving the reliability of these automated deduction tools and at facilitating the exchange of information between them.

ViennaCL

2013-02-25T13:43:09+00:00

ViennaCL provides high level C++ interfaces for linear algebra routines on CPUs and GPUs using OpenCL. The focus is on generic implementations of iterative solvers often used for large linear systems and simple integration into existing projects. It is released under the MIT license and allows to solve the system of equations at very high speed using multiple CPU cores and/or GPUs (i.e. graphics adapters).

BLAS Level 1, Level 2 and Level 3 routines on GPUs and multi-core CPUs
C++ Interface is mostly uBLAS compatible
Access to GPUs from both NVIDIA and AMD/ATI using OpenCL
Multi-core CPUs can be used efficiently with ViennaCL and the ATI Stream SDK
Kernel optimization environment for optimal performance on the target machine

Members: Karl Rupp, Namik Karovic, Andreas Morhammer, Florian Rudolf

ViennaMaterials

2015-02-18T13:52:56+00:00

ViennaMaterials is a free open-source library written in C++ for hosting material parameters which is particularily relevant for scientific simulations. Material data are stored in XML files, which are processed and hosted by ViennaMaterials via its API. The API enables external tools (e.g. simulators) to query material data and use the query results to feed the simulation facilities. A unit conversion mechanism ensures that material parameters are accessed in a unit-agnostic manner. The library is currently under development and hosted on github using a MIT/X11 license.

Members: Josef Weinbub, Florian Rudolf

ViennaMOS

2013-02-26T10:40:33+00:00

ViennaMOS is a novel free open source semiconductor device and process simulator based on a modular framework architecture. ViennaMOS enables to couple various modules required for the setup and execution of simulations. The goal of this project is to provide a common platform for developing and utilizing different tools required for Technology CAD. The simulator is implemented in C++ and available under the MIT license.

Plugin system
Parallel execution modes
Graphical User Interface (in development)

VIM

2013-03-18T09:10:39+00:00

VIM represent a collection of state-of-the-art imputation methods, and it is available in the free and open-source software R as add-on package. VIM also provides a dozen of methods to visualize missing (or imputed) values in data. Thus, the package can be used to analyse the structure of missing values in multivariate data as well as to impute the missing values and to analyse the quality of the imputation.