Ideas http://localhost/index.php/gsoc/2015/ideas Mon, 25 Jun 2018 10:30:05 +0000 Joomla! - Open Source Content Management en-gb cse@iue.tuwien.ac.at (Computational Science and Engineering at TU Wien) Carbon Footprint for Google Maps: Support for the new Google Maps and more precise estimations of CO2 emissions http://localhost/index.php/gsoc/2015/ideas/217-carbon-footprint-for-google-maps-support-for-the-new-google-maps-and-more-precise-estimations-of-co2-emissions http://localhost/index.php/gsoc/2015/ideas/217-carbon-footprint-for-google-maps-support-for-the-new-google-maps-and-more-precise-estimations-of-co2-emissions 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 available here: https://github.com/OiWorld/CarbonFootprintGoogleMaps/issues . You are also welcome and encouraged to suggest your own new features.

In your proposal, you should describe clearly which features you would like to implement, how you are planning to implement them, and how much time you expect to need for the implementation of each feature. Please write about the timeline, indicating when you are planning to implement each feature.

Benefit for the Student

The student will acquire practical experience in developing browser extensions in Javascript and in using machine translation web services. Moreover, he will contribute to a project that is used by thousands of people.

Benefit for the Project

Carbon Footprint for Google Maps will become accessible to users of the new Google Maps, and this will unsure that it will continue to have impact in raising environmental awareness.

Requirements

Solid knowledge of Javascript, HTML, CSS is required. You should give evidence of your knowledge by indicating previous projects where you used these languages or/and by solving the puzzles (see more information below).

Mentors

Bruno Woltzenlogel Paleo, Ekaterina Lebedeva

More information

Instructions on how to improve your chances of being accepted can be found here: https://github.com/OiWorld/CarbonFootprintGoogleMaps/blob/master/GoogleSummerOfCode.md

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
IoTSyS: BACnet/WS http://localhost/index.php/gsoc/2015/ideas/191-iotsys-bacnet-ws http://localhost/index.php/gsoc/2015/ideas/191-iotsys-bacnet-ws 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. First, the BACnet/WS object model has to be implemented as Java library comparable to the OBIX Java Toolkit. Moreover, a BACnet/WS gateway component makes use of this library and implements the BACnet/WS functionality. Finally, the IoTSyS project is equipped with both an (already existing) OBIX Web service interface and a (new) BACnet/WS Web service interface to serve different kinds of Web clients.

Benefit for the Student

Dive into latest technologies and emerging protocols for the Internet of Things/Web of Things. Gain hands-on experience in Java-based software development.

Benefit for the Project

As BACnet/WS becomes more prevalent in this field of application, integration into the IoTSyS framework is beneficial in order to provide services to a wider range of potential clients.

Requirements

Strong skills in Java-based software development are required.

Mentors

Andreas Fernbach, Daniel Schachinger

More information

http://code.google.com/p/iotsys
http://www.bacnet.org/Addenda/Add-135-2012am-PPR1-draft-26_chair_approved.pdf (BACnet/WS)
http://sourceforge.net/projects/obix/ (OBIX Java Toolkit)

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
IoTSyS: Modeling http://localhost/index.php/gsoc/2015/ideas/193-iotsys-modeling http://localhost/index.php/gsoc/2015/ideas/193-iotsys-modeling 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 concepts of Model-Driven Architecture (MDA) and Eclipse Modeling Framework (EMF) are utilized to automatically generate executable Java source code. Within this project, a Web-based editor should be implemented to enable the modeling of building automation systems (e.g. available devices, topological structure) in a technology-independent way. The editor is based on a meta-model specifying the available modeling elements. The final model can be transformed to Java source code, which will be loaded dynamically into the IoTSyS gateway at runtime. Thus, this model editor is the starting point of an automated workflow to define and integrate building automation systems into the IoTSyS gateway.

Benefit for the Student

Dive into latest technologies and emerging protocols for the Internet of Things/Web of Things. Gain hands-on experience in Java-based and Web-based software development as well as methods of Model-Driven Architecture. Use latest technologies and frameworks for HTML5-based user interface development.

Benefit for the Project

An easy as well as automatic integration of existing building automation systems into the IoTSyS gateway will highly improve the usability of the entire project.

Requirements

Strong skills in Web-based and Java-based software development are necessary. Know-how about Model-Driven Architecture, Eclipse Modeling Framework, and state-of-the-art Web technologies (e.g. JavaScript, HTML5, and CSS) is beneficial.

Mentors

Andreas Fernbach, Daniel Schachinger

More information

http://code.google.com/p/iotsys (IoTSyS)
http://eclipse.org/modeling/emf/ (EMF)
http://www.omg.org/mda/ (MDA)

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
IoTSyS: OpenADR connector http://localhost/index.php/gsoc/2015/ideas/194-iotsys-openadr-connector http://localhost/index.php/gsoc/2015/ideas/194-iotsys-openadr-connector 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. Within this project, an OpenADR connector should be implemented to establish a smart grid connection point for the IoTSyS gateway. This connector should be able to interpret signals from smart grid agents and, on the other hand, send signals via the smart grid. The resulting connector, which will be implemented in Java, should form a separate IoTSyS OSGI bundle that conforms to the OpenADR standard for energy management and demand response.

Benefit for the Student

Dive into latest technologies and emerging protocols for the Internet of Things/Web of Things. Gain hands-on experience in Java-based software development as well as smart grid technologies and energy management standards.

Benefit for the Project

The emerging smart grid and the increase in energy awareness raise the necessity to implement a smart grid connection point for IoTSyS. By means of an OpenADR connector, demand response interaction with smart grid agents can be realized.

Requirements

Strong skills in Java-based software development are necessary.

Mentors

Andreas Fernbach, Daniel Schachinger

More information

http://code.google.com/p/iotsys (IoTSyS)
http://www.openadr.org/ (OpenADR)

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
IoTSyS: Rule engine http://localhost/index.php/gsoc/2015/ideas/195-iotsys-rule-engine http://localhost/index.php/gsoc/2015/ideas/195-iotsys-rule-engine 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 functionality. Therefore, a rule engine should be implemented within this project to enable the creation of personalized logic blocks. Input parameters and output parameters specify the interfaces of such blocks. The functionality of the block should be described by means of a scripting language like JavaScript. Thus, an appropriate framework is needed to interpret or rather execute this functionality at runtime. In the end, own rules and logic blocks can be specified in the context of IoTSyS to realize complex as well as individual building automation processes.

Benefit for the Student

Dive into latest technologies and emerging protocols for the Internet of Things/Web of Things. Gain hands-on experience in Java-based and Web-based software development.

Benefit for the Project

The expressiveness of currently available, hard-coded logic blocks and virtual blocks is limited. Thus, a rule engine to define additional blocks is highly beneficial to address distinct needs of IoTSyS users.

Requirements

Strong skills in Java-based software development and Web-based scripting languages like JavaScript are required.

Mentors

Andreas Fernbach, Daniel Schachinger

More information

http://code.google.com/p/iotsys (IoTSyS)
https://developer.mozilla.org/en-US/docs/Mozilla/Projects/Rhino (Rhino)

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
IoTSyS: Security http://localhost/index.php/gsoc/2015/ideas/196-iotsys-security http://localhost/index.php/gsoc/2015/ideas/196-iotsys-security 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 security technologies and access control technologies should be applied to protect these Web service endpoints. Transport layer security should be provided for HTTP (TLS/SSL) and CoAP (DTLS), but also message layer security should be considered. For the SOAP WS-endpoint the WS-Security stack can be used for securing message exchange by applying signatures and encryption. For the RESTful Web service endpoints, XML Signature and XML Encryption should be used in the payload. Finally, access control mechanisms should be applied to allow fine-grained access control on OBIX objects for certain clients (e.g. based on XACML). The resulting outcome should be an IoTSyS security OSGI bundle that can be deployed on the gateway and protects the incoming and outgoing requests to the gateway.

Benefit for the Student

Dive into latest technologies and emerging protocols for the Internet of Things/Web of Things. Gain hands-on experience in Java-based software development and security for Web services. Apply theoretical knowledge on cryptography and security in practice, and enhance and tighten your security skills.

Benefit for the Project

Security is currently a strong and open issue for the IoTSyS project which has highest priority. Due to security and privacy issues arising through offering public access to automation devices, a contribution on this topic would be a huge gain for the project.

Requirements

Strong skills in Java-based software development are necessary. Know-how about OSGI, IoC container design and implementation, and Java byte code modification frameworks is a plus.

Mentors

Andreas Fernbach, Daniel Schachinger

More information

http://code.google.com/p/iotsys (IoTSyS)
http://datatracker.ietf.org/doc/draft-ietf-core-coap/ (CoAP)
https://tools.ietf.org/html/rfc6347 (DTLS)
https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wss (WS-Security)
http://www.w3.org/TR/soap/ (SOAP)
https://www.oasis-open.org/committees/obix/ (OBIX)
https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml (XACML)

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
MOST: Photo Sphere based 3D representation of Live Building data streams http://localhost/index.php/gsoc/2015/ideas/205-most-photo-sphere-based-3d-representation-of-live-building-data-streams http://localhost/index.php/gsoc/2015/ideas/205-most-photo-sphere-based-3d-representation-of-live-building-data-streams 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 representations will be displayed in our web application. One sphere should display a single room. Room representations will be chained to allow a continuous representation of building areas (walkthrough).

Benefit for the Student

The student will work with mobile software development kits (Android, iOS), image processing libraries and state of the art web technologies (JavaScript frameworks, HTML 5, etc.).

Benefit for the Project

This work adds new representation possibilities to the MOST-framework. This projects provides a relatively simple way to represent building data in 3D models without using Augmented Reality or BIM.

Requirements

Good knowledge of Java, JavaScript, Basic knowledge of HTML5/canvas, image processing and manipulation.

Mentors

Harald Hofstätter, Stefan Glawischnig, Christian Tauber

More information

 

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
OpenPixi: Visualization and simulation using WebGL http://localhost/index.php/gsoc/2015/ideas/202-openpixi-visualization-and-simulation-using-webgl http://localhost/index.php/gsoc/2015/ideas/202-openpixi-visualization-and-simulation-using-webgl 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 setting from any perspective, including particles, meshes, and vectors on top of the meshes. Tasks are to implement the latest 3D simulation algorithms from the Java version into the WebGL version. Also, input and output routines should be written so that standard YAML files from the Java version can be directly used. The calculations should be validated by comparing various test cases, including speed comparisons.

Benefit for the Student

The student will learn about the visualization of a physics simulation.

Benefit for the Project

The project will benefit from a visually attractive, intuitive user interface to a large amount of scientific data.

Requirements

Good knowledge of Java, JavaScript, and WebGL is of advantage.

Mentors

Andreas Ipp, Daniil Gelfand

More information

For the application process, please fix one of the issues at GitHub, or provide a patch to the WebGL version to implement some enhanced functionality of the OpenPixi application.

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
OpenPixi: Visualization using Google Cardboard http://localhost/index.php/gsoc/2015/ideas/203-openpixi-visualization-using-google-cardboard http://localhost/index.php/gsoc/2015/ideas/203-openpixi-visualization-using-google-cardboard 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 visualization of the simulation. The task is to implement a Google Cardboard version of the application which should be based on the latest simulation algorithms used in the Java version. For visualization, the algorithms used in the WebGL version can serve as an example. Also, input and output routines should be written so that standard YAML files from the Java version can be directly used. The calculations should be validated by comparing various test cases, including speed comparisons.

Benefit for the Student

The student will learn about the visualization of a physics simulation.

Benefit for the Project

The project will benefit from a visually attractive, intuitive user interface to a large amount of scientific data.

Requirements

Good knowledge of Java, JavaScript, and WebGL is of advantage.

Mentors

Andreas Ipp, David Müller, Daniil Gelfand

More information

For the application process, please fix one of the issues at GitHub, or provide a small demo application that uses the Google Cardboard SDK to reimplement some aspects of the OpenPixi application.

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
R/BIOLINK: Collection, scraping, geo-coding and linkage of big environmental data sets http://localhost/index.php/gsoc/2015/ideas/198-r-biolink-collection-scraping-geo-coding-and-linkage-of-big-environmental-data-sets http://localhost/index.php/gsoc/2015/ideas/198-r-biolink-collection-scraping-geo-coding-and-linkage-of-big-environmental-data-sets 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 specific coordinates.

The challenges are to adapt and write efficient code (e.g. using the Rccp pacakge and/or using the R package data.table) for data manipulation and linkage. Packages rgdal, maptools and sp provide useful software tools to deal with such problems. The data should be automatically accessed and linked afterwards. Web scraping tools such as rvest and RCurl may additionally be used to access data that are not provided in standard formats. Some methods already exist to access to data bases, like
http://www.r-bloggers.com/harvesting-canadian-climate-data/

or packages to fetch data from the web such as the package weatherData
http://cran.r-project.org/web/packages/weatherData/index.html

or the package wux: http://cran.r-project.org/web/packages/wux/index.html

Another challenge is to consider data with different spatial and temporal scale. Tools are available to convert to different reference systems (like the rgdal R package), but have to be applied to harmonize data on different coordinate references. Additionally, solutions for harmonizing different time scales of the data (monthly, yearly, daily, hourly data) should be based on expert knowledge provided by the mentors.

We give a list of possible data sets that are of interest from an environmental scientist point of view.
-  The European Earth observation programme Copernicus:
http://www.copernicus.eu/pages-principales/services/
https://sentinel.esa.int/web/sentinel/sentinel-data-access
-  Daily data from the European Climate Assessment & Dataset
http://www.ecad.eu/dailydata/predefinedseries.php
-  European data centers about air pollution, biodiversity, climate change, land use and water:
http://www.eea.europa.eu/data-and-maps/european-data-centres
-  European soil data centre: http://esdac.jrc.ec.europa.eu
-  European forest data centre: http://forest.jrc.ec.europa.eu/efdac/
-  European Pollen database: http://www.europeanpollendatabase.net/data/downloads/
-  NASA ozone and air quality data: https://ozoneaq.gsfc.nasa.gov/data/ozone/
-  Environmental stratification 
http://www.wageningenur.nl/en/Expertise-Services/Research-Institutes/alterra/Projects/EBONE-2/Products/European-Environmental-Stratification.htm

Benefit for the Student

The student will get deep knowledge in handling, linking and geo-coding big data sets in R. The student will work together with experts in the field of environmental sciences and with researchers from biology and statistics.

Benefit for the Project

Integrating more information in the existing databases will allow better prediction of environmental changes and allows better analysis to learn spatial and temporial changes of climate. Richer databases are essential for more complex environmental modelling.

Requirements

Medium to advanced knowledge in the software R. Good knowledge in C++. Good knowledge in SQL and relational data bases.

Mentors

Matthias Templ, Peter Filzmoser

More information

http://www.r-project.org
http://cran.r-project.org/web/packages/rgdal/index.html
http://cran.r-project.org/web/packages/data.table/index.html

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
Skeptik: Extension of proof compression algorithms from propositional to first-order logic http://localhost/index.php/gsoc/2015/ideas/218-skeptik-extension-of-proof-compression-algorithms-from-propositional-to-first-order-logic http://localhost/index.php/gsoc/2015/ideas/218-skeptik-extension-of-proof-compression-algorithms-from-propositional-to-first-order-logic 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 case, and Jan's algorithms could still be improved in order to handle more proofs.

Skeptik’s data structures are already general enough to handle first- and even higher-order formulas. There are general abstract data structures for proofs, but they will have to be specialised (via inheritance) to deal with specific inference rules used by various ATPs. Furthermore, a parser for proofs generated by the automated theorem prover SPASS is already available, but it handles only simple proofs that do not use the SPASS's most sophisticated inference rules. Having a fully general parser for unrestricted SPASS proofs would be useful. a combinator parser for first-order proofs in the TPTP TSTP format [1] would be very nice to have as well, since it would allow us to import proofs generated by many other theorem provers (e.g. Schultz's E prover).

The generalisation of the compression algorithms to the first-order case will involve some scientific creativity and, therefore, this is not an easy project. A solid knowledge of logic, automated deduction and basic proof theory is required.

In the previous two years, Skeptik’s GSoC students have achieved great academic success and were able to publish and present their results in high-level conferences. We are committed to provide similar opportunities to this year’s GSoC students, and we are looking for students that are enthusiastic about these opportunities! If you are interested in this project idea, please contact us as soon as possible.

[1] TSTP is the proof format used by the TPTP library of automated deduction problems maintained by Geoff Sutcliffe at the University of Miami. Google it to know more!

[2] Papers about these algorithms can be downloaded from http://www.logic.at/people/bruno . Look for the IJCAR 2014 paper describing Skeptik. It provides a good starting point to learn more about Skeptik.

Benefit for the Student

The student will acquire practical experience and be in touch with cutting-edge research in the fields of automated deduction and applied proof theory. He will be mentioned as a co-author of any paper that might benefit from his implementation. He will have the pleasure of programming in the awesome language Scala.

Benefit for the Project

Skeptik’s application scope will be further extended from propositional to first-order logic.

Requirements

Solid knowledge of logic, automated deduction and basic proof theory is required. Knowledge of Scala or experience with other object-oriented (e.g. Java, C++,...) and functional (e.g. Haskell, OCaml,...) programming languages and willingness to learn Scala is required. Experience with data structures for proofs or directed acyclic graphs is highly desirable.

Mentors

Bruno Woltzenlogel Paleo, Jan Gorzny

More information

Instructions on how to improve your chances of getting accepted are listed on Skeptik's wiki (https://github.com/Paradoxika/Skeptik/wiki/GSoC-Instructions).

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
Skeptik: Greedy and Heuristic Search for Minimal Congruence Closure Proofs http://localhost/index.php/gsoc/2015/ideas/219-skeptik-greedy-and-heuristic-search-for-minimal-congruence-closure-proofs http://localhost/index.php/gsoc/2015/ideas/219-skeptik-greedy-and-heuristic-search-for-minimal-congruence-closure-proofs 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 on a variant of Dijkstra's shortest path algorithm applied to congruence graphs. However, due to the NP-completeness of this problem, this algorithm is not able to find the shortest congruence explanation.

This project idea aims at extending Andreas' algorithm in order to guarantee that minimally short explanations are found. To achieve this, we propose a brute-force approach, in which literals in the explanation to be shortened are incrementally removed while the explanation remains invalid. The choice of which literal to remove may be done heuristically and may influence the size of the minimally short explanation.

[1] To learn more, have a look at Andreas' MSc thesis: https://github.com/AFellner/Thesis/blob/master/latex/thesis.pdf .

Benefit for the Student

The student will acquire practical experience and be in touch with cutting-edge research in the fields of automated deduction and applied proof theory. He will be mentioned as a co-author of any paper that might benefit from his implementation. He will have the pleasure of programming in the awesome language Scala.

Benefit for the Project

Skeptik capability of compressing congruence closure proofs will be improved.

Requirements

Solid knowledge of logic, automated deduction and basic proof theory is required. Knowledge of Scala or experience with other object-oriented (e.g. Java, C++,...) and functional (e.g. Haskell, OCaml,...) programming languages and willingness to learn Scala is required. Experience with data structures for proofs or directed acyclic graphs is highly desirable.

Mentors

Bruno Woltzenlogel Paleo, Andreas Fellner

More information

Instructions on how to improve your chances of getting accepted are listed on Skeptik's wiki (https://github.com/Paradoxika/Skeptik/wiki/GSoC-Instructions).

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
ViennaCL: Improving Benchmark GUI http://localhost/index.php/gsoc/2015/ideas/188-viennacl-improving-benchmark-gui http://localhost/index.php/gsoc/2015/ideas/188-viennacl-improving-benchmark-gui viennacl gemmDescription

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 pitfalls of massively parallel hardware.

Benefit for the Project

A nice benchmarking GUI will help us with collecting performance data from new hardware quickly.
Since it is impossible for us to buy each of the many models of the market, such a benchmarking application will help us in getting valuable data.
 
Requirements

Experience in GUI programming with Qt is a plus. Moderate C++ skills are required.

Mentors

Karl Rupp, Namik Karovic

More information

http://www.iue.tuwien.ac.at/cse/wiki2015/doku.php?id=benchmark_gui

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Wed, 12 Feb 2014 08:27:45 +0000
ViennaCL: Improving the PyViennaCL Python Wrapper http://localhost/index.php/gsoc/2015/ideas/189-viennacl-improving-the-pyviennacl-python-wrapper http://localhost/index.php/gsoc/2015/ideas/189-viennacl-improving-the-pyviennacl-python-wrapper 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 learning a lot about the strengths and limits of both languages.

Benefit for the Project

A Python wrapper will make the rich functionality in ViennaCL available to a wide range of scientists using Python for their everyday projects.

Requirements

A solid understanding of both C++ and Python is required. Ideally, the student has some experience with working with shared libraries on multiple platforms, particularly Windows and Linux.

Mentors

Karl Rupp, Andreas Morhammer

More information

http://www.iue.tuwien.ac.at/cse/wiki2014/doku.php?id=improving_the_pyviennacl_python_wrapper

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
ViennaCL: Sparse Matrix-Matrix Multiplication http://localhost/index.php/gsoc/2015/ideas/190-viennacl-sparse-matrix-matrix-multiplication http://localhost/index.php/gsoc/2015/ideas/190-viennacl-sparse-matrix-matrix-multiplication 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 MIC platform.

Benefit for the Student

The student will get hands-on experience in GPU programming using both OpenCL and CUDA. In particular, the student will learn the various tricks required to obtain high performance.

Benefit for the Project

The sparse matrix-matrix multiplication is a key building block for algebraic multigrid solvers and preconditioners. A fast sparse matrix-matrix multiplication will directly improve the efficiency of such methods significantly.

Requirements

Experience in either OpenCL or CUDA is desired.

Mentors

Karl Rupp, Florian Rudolf

More information

http://www.iue.tuwien.ac.at/cse/wiki2014/doku.php?id=sparse_matrix-matrix_multiplication

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
ViennaMaterials: Qt GUI http://localhost/index.php/gsoc/2015/ideas/221-viennamaterials-qt-gui http://localhost/index.php/gsoc/2015/ideas/221-viennamaterials-qt-gui 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 skills in GUI programming. More concretly, the student will work with the well-known open source library Qt.

Benefit for the Project

ViennaMaterials will be shipped with a dedicated GUI application, significantly increasing the adoption rate of the library.

Requirements

Good C++ and Qt skills are required.

Mentors

Josef Weinbub, Florian Rudolf

More information

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
ViennaMaterials: Web API & GUI http://localhost/index.php/gsoc/2015/ideas/222-viennamaterials-web-api-gui http://localhost/index.php/gsoc/2015/ideas/222-viennamaterials-web-api-gui 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 handle the http management. Additionally, ViennaMaterials should be able to connect to another ViennaMaterials instance via http and send requests for material data.

Benefit for the Student

The student will improve his/her skills in C++ and network programming.

Benefit for the Project

ViennaMaterials will be shipped with a dedicated Web framework, allowing to use ViennaMaterials to host a Web-based material database.

Requirements

Good C++ and networking skills are required.

Mentors

Josef Weinbub, Florian Rudolf

More information

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:51:49 +0000
ViennaMesh: Algorithms! Algorithms! Algorithms! http://localhost/index.php/gsoc/2015/ideas/224-viennamesh-algorithms-algorithms-algorithms http://localhost/index.php/gsoc/2015/ideas/224-viennamesh-algorithms-algorithms-algorithms 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:

Benefit for the Student

The student will get in touch with many different APIs and master the challenge of using and interfacing them.

Benefit for the Project

More algorithm modules will increase the flexibility and the applicability of ViennaMesh.

Requirements

The student has to provide good skills in C/C++ and interest in interfacing external libraries.

Mentors

Florian Rudolf, Josef Weinbub

More information

 

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Wed, 20 Mar 2013 09:29:28 +0000
Your Idea! http://localhost/index.php/gsoc/2015/ideas/31-your-idea-here http://localhost/index.php/gsoc/2015/ideas/31-your-idea-here 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.

]]>
cse@iue.tuwien.ac.at (Super User) Ideas2015 Mon, 25 Feb 2013 14:55:43 +0000