Ideas

Description

The current version of "Carbon Footprint for Google Maps" works only on the old version of Google Maps. We need a new version the would work for both the old and the new Google Maps. Moreover, there are various features that we would like to see implemented, since they would lead to more precise estimations of CO2 emissions as well as a richer user experience. Porting this extension from Chrome to Firefox and Safari is also in our wish-list. A non-exhaustive lists of features is...

Description

The IoTSyS gateway provides an OBIX Web service interface to access heterogeneous building automation technologies and smart meters (e.g. KNX, BACnet, ZigBee, Wireless M-Bus, and EnOcean). The gateway provides a Web service protocol binding to SOAP as well as RESTful HTTP and CoAP Web service endpoints. Within this project, the IoTSyS integration middleware should be extended by a RESTful BACnet/WS Web service interface in accordance with the addendum to ASHRAE BACnet standard...

Description

The IoTSyS gateway provides a Web service interface to access heterogeneous building automation technologies and smart meters (e.g. KNX, BACnet, ZigBee, Wireless M-Bus, or EnOcean). Moreover, the gateway provides a Web service protocol binding to SOAP as well as RESTful HTTP and CoAP Web service endpoints. At present, existing building automation systems are integrated into the IoTSyS gateway by editing XML configuration files. In order to ease this integration process, the...

Description

The IoTSyS gateway provides a Web service interface to access heterogeneous building automation technologies and smart meters (e.g. KNX, BACnet, ZigBee, Wireless M-Bus, and EnOcean). As energy management and smart grid technologies are gaining in importance, a connection point towards the smart grid becomes necessary. In the context of demand response programs, grid operators and energy retailers communicate with customers to ensure grid stability and coordinate demand and supply...

Description

The IoTSyS gateway provides a Web service interface to access heterogeneous building automation technologies and smart meters (e.g. KNX, BACnet, ZigBee, Wireless M-Bus, and EnOcean). Device interaction and complex processes can be defined graphically using a set of basic logic blocks, which are available as distinct, hard-coded elements. However, there is often the need for individual logic blocks or even complex controller components (e.g. PID controller) to realize specific...

Description

The IoTSyS gateway provides an OBIX Web service interface to access heterogeneous existing building automation technologies and smart meters (e.g. KNX, BACnet, ZigBee, or Wireless M-Bus). The gateway provides a Web service protocol binding to SOAP as well as RESTful HTTP and CoAP Web service endpoints. Furthermore, virtual IPv6 endpoints are provided for all devices behind the gateway making them globally accessible via the Internet. Within this project state-of-the-art Web service...

Description

Handling big building data (energy use, occupancy, etc.) on an urban level sometimes requires new concepts and out of the box thinking. This concerns both data processing and analysis. This project deals with innovative visualization strategies for building related data. The student will work on an indoor “Google Streetview” like room representation (based on photo spheres). Images are uploaded to a server and edited to include live sensor streams from a database. The spherical...

Description

The aim of this project is to improve and extend a cross-platform interface using WebGL for the real-time visualization and interaction of the OpenPixi simulator. Currently, a JavaScript WebGL version]exists which implements the basic simulation functionality. The Particle-In-Cell simulation consists of a large number of particles that are simulated on a background grid of electric and magnetic fields. The web simulation is currently able to visualize a three-dimensional...

Description

The aim of this project is to create a Google Cardboard version of the OpenPixi simulator. Currently, a Java version and a JavaScript WebGL version exist which implement the simulation. The Particle-In-Cell simulation consists of a large number of particles that are simulated on a background grid of electric and magnetic fields. While the Java version utilizes more sophisticated algorithms for the calculation, the WebGL version supports basic three-dimensional...

Description

The aim is to merge and integrate big environmental, public-available datasets. Typically, the geographical location of different data bases is not identical and measurement stations have to be linked based on geographical distances. In addition, some data bases include missing values and measurement artefacts. To deal with that, specific data can be aggregated or deleted from the data base. Also some measurements are available on a grid in the plane while other measurements are on...

Description

Until 2013 Skeptik has focused on the compression of propositional proofs generated by sat- and SMT-solvers. In 2014, Jan Gorzny, GSoC student in 2014, has started to generalise two of the proof compression algorithms (RecyclePivotsWithIntersection and LowerUnits) to first-order proofs generated by resolution-based first-order automated theorem provers (ATPs). Nevertheless, there are still many other proof compression algorithms that deserve to be generalised to the first-order...

Description

SMT-proofs are composed of a propositional resolution proof in the bottom and "theory proofs" in the top. The simplest theory supported by SMT-solvers is the theory of equality with uninterpreted functions. Statements in the language of this theory can be decided modulo this theory using congruence closure algorithms. In 2014, Andreas Fellner (who was GSoC student in 2012) implemented the first algorithm aiming at compressing such congruence closure proofs. His algorithm was based...

Description

ViennaCLBench is a GUI-based benchmark on top of ViennaCL, which was a successful GSoC project in 2014. Important improvements we hope you to come up with are a tighter integration of the Matrix-Market browser into the GUI, additional test cases like iterative solvers, and an export of results to files.

Benefit for the Student

Squeezing the last bit of performance out of recent hardware is a lot of fun.
Also, the student will learn a lot about Qt and C++ as well as the...

Description

During GSoC 2013 the Python-wrapper PyViennaCL for the linear algebra library ViennaCL was created, which was subsequently improved in 2014. Still, there is plenty room for further improvement as well as an integration of recently added functionality in ViennaCL. The aim of the project is to speed up the build process of PyViennaCL and to include the latest features offered by ViennaCL.

Benefit for the Student

The student will work on the boundary between C++ and Python, thus...

Description

GPUs are able to provide high performance for the operation C = A * B for dense matrices A, B, and C. However, if A and B are both sparse matrices, a lot of additional tricks are required to get reasonable performance. The aim of this project is to implement a toolkit of algorithms analyzing the sparsity patterns, which are then composed to yield a fast sparse matrix-matrix multiplication.
Moreover, the implementations should be tuned to GPUs from NVIDIA and AMD as well as Intel's...

Description

A Qt-based GUI application has to be developed, providing a dedicated and interactive frontend application to end-users. Material data queries must be supported, the result values should be visualized. The creation, deletion, and modification of available material data must be supported as well as load/store operations. To that end, ViennaMaterials' available API will be used to interface with the GUI application.

Benefit for the Student

The student will improve his/her...

Description

A Web GUI has to be implemented, providing an interactive frontend to end-users. Material data queries must be supported, the result values should be visualized.

Additionally, a http-based API has to be developed: material data requests can be set up using a http request and the result has to be provided in XML format. ViennaMaterials should be able to handle these http requests and provide the requested information. A networking libraray, like cpp-netlib, should be utilzed to...

Description

ViennaMesh is a highly-modular meshing framework able to easily interface externally implemented algorithms. Currently, a satisfactory number of algorithms has been interfaced, but there is a big number of algorithms/libraries available which can be interfaced! The student is going to implement ViennaMesh modules for a number of the following libraries:

Description

We cannot over-emphasize it: Contribute your own, entirely individual idea! There is no need to be shy, every idea is worth a closer inspection.

Benefit for the Student

Works for several weeks on a topic that absolutely fits to his or her interests.

Benefit for the Project

Work that is carried out with passion is generally of high quality. The respective project will certainly benefit.

Mentors

Will be assigned individually.