Description

The objective is to design the command set for an interactive shell for using the dlvhex software, and then implement the shell in python. The shell shall provide basic functionality of managing programs and plugins, obtaining models and querying. Interaction could be similar as, e.g., in the python interactive shell (by using python as a shell, the shell itself could be scriptable with python). Reasoning and parsing task related to HEX programs are all accomplished by the existing dlvhex C++ libraries, but they must be wrapped and made accessible to the shell. We envision an implementation in python using existing C++ libraries available on SourceForge (these libraries might need to be extended for that purpose).

Benefit for the Student

Using and getting acquainted with Artificial Intelligence and Knowledge Representation tools. Being part of an open source research prototype software project. Learning about the integration of python with C++ and about interactive shell programming.

Benefit for the Project

Exploring properties of HEX programs and problems with encodings could be much easier in an interactive shell. Approaches for debugging declarative programs and for visualizing answers of declarative programs could be integrated into the shell.

Requirements

Skills in understanding C++ code and programming python code and version management (SVN) are necessary. Useful would be knowledge about unix shell programming, e.g., knowledge about libreadline or similar.

Mentors

Thomas Krennwallner, Christoph Redl, Peter Schueller

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [dlvhex].

More Information

A list of puzzles can be found our wiki.

Description

The objective is to design and implement a network protocol for using the dlvhex software as a server. This server shall allow for loading programs via network and controlling the solver on the server, for example asking for one, some, or all valid answers to a query, or extending the knowledge base and re-evaluating a program. The task of parsing programs and solving them is accomplished by the existing dlvhex C++ libraries. We envision an implementation in python using existing C++ libraries available on SourceForge (these libraries might need to be extended for that purpose).

Benefit for the Student

Using and getting acquainted with Artificial Intelligence and Knowledge Representation tools. Being part of an open source research prototype software project. Learning about the integration of python with C++ and about network programming.

Benefit for the Project

Existing users asked for a server mode interface to dlvhex. It would be a new interface for using dlvhex, which enables using it from any network-capable programming language and systems. This also opens up new use cases for this kind of declarative reasoning.

Requirements

Skills in understanding C++ code and programming python code and version management (SVN) are necessary. Useful would be knowledge about networking (client/server architecture) and familiarity with network protocols, e.g., the FTP protocol and similar interactive protocols.

Mentors

Thomas Krennwallner, Christoph Redl, Peter Schueller

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [dlvhex].

More Information

A list of puzzles can be found our wiki.

Description

Based on an existing driver (OPC DataHub/Gamma scripting), which is used to connect to building networks (KNX, BACnet, etc.) and building management systems (BMS) using OPC DA, an open-source alternative should be implemented using Java. Access to building systems is possible by using the open-source OPC DA client JEasyOPC. In addition, building information should be imported using JDBC compatible databases and files. A simple user interface should be implemented on top. The driver is an essential component of the open-source building monitoring toolkit "MOST".

Benefit for the Student

The student will get hands-on experience with technologies used in building automation. Based on the existing code and concepts, a fast learning curve is likely.

Benefit for the Project

Providing a fully open-source connector to MOST, future vendor independency is enhanced and porting to other building network technologies is simplified.

Requirements

Skills in Java are essential. Expierence with JDBC, UI design with Java and OPC DA (JEasyOPC) is welcome.

Mentors

Robert Zach, Rainer Bräuer

Contact

Either give the IRC channel a try, or send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MOST].

More Information

MOST information including puzzles.

Description

Based on ifcwebserver or BIMsurfer (open-source "IFC" 3D web-viewer) a 3D building visualization should be integrated into the MOST web-interface (GWT). Possible interaction/"communication" (callbacks from JavaScript into GWT, etc.) between the 3D Viewer and the GWT framework (MOST) should be analyzed. Based on technical possibilities, different use cases (data visualization within the 3D model, drag and drop from 3D model into GWT, etc.) should be implemented. An IFC building model will be provided for testing.

Benefit for the Student

The student will gain valuable knowledge in 3D web-visualization based on WebGL (using WebGL based JavaScript libraries). By improving the MOST web-interface, insight into intuitive user interaction (drag and drop, highlighting, etc.) concepts for building visualization and control is possible.

Benefit for the Project

Implementing 3D visualization of a building model and respective data improves intuitive user interaction in MOST. This allows people to interact with building data like they would do in the real world.

Requirements

Experience with JavaScript and Java/GWT is essential. Knowledge of IFC, CSS, WebGL and relevant libraries (spidergl, scenejs, ifcwebserver, BIMsurfer, etc.) is welcome.

Mentors

Stefan Glawischnig, Regina Appel, Johannes Weber

Contact

Either give the IRC channel a try, or send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MOST].

More Information

MOST information including puzzles.

Description

Using the GWT based web-visualization framework of MOST, a building data exporter should be implemented. The MOST web-visualization provides a module based concept. Each use case is a independent module which has its own main menu entry in the web-visualization. Implementation is simplified by extending a generic module. The MOST framework provides various GWT widgets (DragWidget, etc.), data abstraction objects (Datapoint, etc.) and GWT enhancements (DndController, etc.). The exporter should be able to create different file formats (CVS, etc.) based on various rules (only workdays, when zone is occupied, etc.). Example: Export hourly temperature values when zone is occupied from 01.04.2011 to 01.06.2011 on workdays. UI mokups can be provided. Design ideas are welcome!

Benefit for the Student

The student will gain profund knowledge of GWT based user interface design. By using the MOST framework, insight into building data visualization concepts are possible.

Benefit for the Project

Providing a simple interface for building data export improves the usability of MOST for standard skilled users.

Requirements

Experience with Java and GWT is essential. Knowledge of CSS and UI design skills are welcome.

Mentors

Johannes Weber, Regina Appel, Robert Zach

Contact

Either give the IRC channel a try, or send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MOST].

More Information

MOST information including puzzles.

Description

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.

Benefit for the Student

The student will gain knowledge with platform and technology independent building data access. Knowledge with OPC can be valuable in lots of industrial proccessing systems. Using the MOST framework, the student insight into various building data processing concepts.

Benefit for the Project

Providing a platform independent open interface allows various processing applications (Matlab, Excel, etc.) to easily access building data. This leads to many potential use cases (!!) and improves usability.

Requirements

Skills in Java are essential. Expierence with OPC UA and building data abstraction is welcome.

Mentors

Michael Hönisch, Johannes Weber, Robert Zach

Contact

Either give the IRC channel a try, or send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MOST].

More Information

MOST information including puzzles.

Description

To map raw sensor values to proper input data for further processing, the calibration of Motion Controllers is very important. The controller sends its raw calibration data as HID input report, but the detailed data format is now fully known. Also, an utility should be written to calibrate the controller (tumble test) manually on a PC if the calibration data is off. Another task in this project is to develop a tool to collect and analyze calibration data blobs from different controllers (crowdsourcing) and to check if the PS3 calibration utility updates the calibration blob in the controller. Ideally, this project should also include figuring out how to read calibration data via Bluetooth, which does not work yet.

Benefit for the Student

The student will gain knowledge about reading and interpreting raw sensor data. Also, the calibration algorithms should be improved by this project, improving skills in signal processing and filtering.

Benefit for the Project

A well-calibrated sensor is very important for good tracking results. The crowd-sourcing part of calibration data will allow the project to interpret the undocumented, raw data blob format of the controller's calibration data. In addition to that, a manual calibration utility can improve upon the currently-available calibration data, especially in niche use cases with special needs.

Requirements

The student should be proficient in C and know how accelerometers, gyroscopes and magnetometers work and how they can be calibrated to get usable data.

Mentors

Hannes Kaufmann, Christian Schönauer, Georg Gerstweiler

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MoveOnPC].

More Information

Additional Links can be found in our wiki. There are no puzzles for MoveOnPC project ideas.

Description

The Playstation Move Motion Controller provides 9 buttons (including 1 analog trigger) and three different sensors (accelerometer, gyroscope, magnetometer). In order to make use of the PS Move Motion Controller as input device for legacy applications, and to provide an easy way for developers to add support for the PS Move to their applications, a utility should be developed that will map the buttons to keyboard events for all major OSes (Mac OS X, Windows and Linux). Similarly, the sensor data should be processed in a way that the motion controller can be used as mouse replacement by simply calibrating it manually via pointing it to the center, upper left and lower right corner of the screen and then interpreting the sensor readings as mouse positions.

Benefit for the Student

Learning about processing sensor values to some other representation/space (in this case: screen space) and synthesizing input events (keyboard, mouse) on all major operating systems (Mac OS X, Windows, Linux). Cross-platform GUI development on all these OSes.

Benefit for the Project

The input utility will provide a valuable tool for testing the API/libraries in a real-world application and also provide a demo to show off the possibilities of using the sensor data for end user applications.

Requirements

The student should be proficient in C/C++ and using a GUI toolkit. Ideally, the student should also know about synthesizing input events on Desktop OSes or be ready to learn how to implement this.

Mentors

Hannes Kaufmann, Annette Mossel

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MoveOnPC].

More Information

Additional Links can be found in our wiki. There are no puzzles for MoveOnPC project ideas.

Description

The pairing of PS Move Motion Controllers with Linux-based systems currently requires some workaround (manual modification of Bluez' internal data structures or disabling HID support in Bluez and communicating over raw L2CAP sockets). Ideally, the PS Move Motion Controller should be detected and paired with Bluez without problems, and then be exposed as HID device to the rest of the system.

Benefit for the Student

Getting involved in two very wide-spread open source project (the Linux Kernel and Bluez) and working with the respective upstream communities to get the patches reviewed and accepted.

Benefit for the Project

Support for the PS Move Motion Controller in the Linux Kernel and in the Bluez project will make the setup of PS Move easier on Linux-based Desktop systems and also on mobile platforms that are based on Linux and Bluez, such as Maemo, MeeGo and Android. Also, it will allow combination of the PS Move with embedded Linux-based devices such as the Raspberry Pi.

Requirements

Knowledge about the inner workings of Bluetooth and HID. Proficiency in the C programming language. Ideally knowledge about the Linux and Bluez codebases.

Mentors

Hannes Kaufmann, Emanuel Vonach

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MoveOnPC].

More Information

Additional Links can be found in our wiki. There are no puzzles for MoveOnPC project ideas.

Description

The goal of this project is to write a library that can be used to get the 3D positions of multiple PS Move Motion Controllers in space. The camera to be used is a PS Eye camera, but the library should be made so that another camera can be used after calibration (FoV, etc..). The library can make use of underlying libraries (such as PS Move API) to determine the perfect sphere color in the current setting. At least two spheres should be detected and correctly mapped to 3D coordinates. The resulting data should be in a format that can be easily combined with the inertial sensor data from the controller.

Benefit for the Student

Work on a real-world use case for OpenCV with a pre-defined hardware environment (PS Move Motion Controller + PS Eye Camera). Use of contextual information (room lighting, surrounding) to determine the best sphere colors.

Benefit for the Project

Good 3D tracking is important for many advanced use cases that involve the PS Move Motion Controller as input device. Good visual tracking is important for the quality and accuracy of the tracking when combined with sensor data.

Requirements

Understanding of Computer Vision, proficient in C/C++, OpenCV experience.

Mentors

Hannes Kaufmann, Annette Mossel

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MoveOnPC].

More Information

Additional Links can be found in our wiki. There are no puzzles for MoveOnPC project ideas.

Description

The PS3 Sixaxis controller (also the DualShock 3 controller) also has sensors built-in. Right now, the library does not support these controllers. Moreover, the PS Move Navigation Controller is basically a subset of the Sixaxis that is marketed together with the PS Move Motion Controller. For some use cases, the Navigation Controller can be used in combination with the PS Move Motion Controller for more input/control for a given application. This project will be about adding support for the PS3 Sixaxis and Navigation Controller to the library so these can be used together with the Move Motion Controller.

Benefit for the Student

Developing important parts of a library and designing the API for it. Testing the implementation and possibly creating an example application to demonstrate the implemented library functions.

Benefit for the Project

Having support for the Sixaxis and Navigation Controller will make the library more accessible and attractive for developers looking for an all-in-one solution to motion input. The additional analog stick(s) of the controllers will add additional degrees of control for the input framework.

Requirements

Proficient in C/C++. Experience with library/API design.

Mentors

Hannes Kaufmann, Christian Schönauer

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [MoveOnPC].

More Information

Additional Links can be found in our wiki. There are no puzzles for MoveOnPC project ideas.

Description

Currently, nomacs supports simple file and directory access such as read, write, update or thumbnail preview. However, simple batch processing would improve nomacs file management. The task is to implement a GUI for file filtering and batch processing. The filtering should be applicable for file names, extensions and exif tags. In addition a batch editing tool should be implemented that allows for editing exif tags of multiple files, renaming multiple files or converting files to other image formats (e.g. converting multiple files from *.nef to *.jpg)

Benefit for the Student

The student will gain experience in Qt GUI development. Moreover, basic knowledge of image processing libraries such as Exiv2 or OpenCV will be developed.

Benefit for the Project

File handling of nomacs will be improved. Thus, nomacs can be used to manage large amounts of image data.

Requirements

Good skills in object-oriented C++ and Qt are required.

Mentors

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [nomacs].

More Information

Also have a look at the nomacs webpage. You may also improve your chances of being selected by solving the puzzle.

Description

nomacs is currently able to load RAW files from Nikon, Canon and Sony cameras. LibRaw is used for the RAW development which provides easy access to the data itself and important metadata such as the gamma coefficient. The demosaicing is currently based on the OpenCV Bayer pattern interpolation which is a fast, but simple method. No color correction, etc. is done at the moment as further steps. The student should investigate an improved raw loader, comprising a demosaicing method that reduces noise, color correction, etc.

Benefit for the Student

The student will gain experience in state-of-the-art demosaicing algorithms and computer vision. Moreover, basic knowledge of image processing libraries such as LibRaw or OpenCV will be developed.

Benefit for the Project

The RAW loader of nomacs will be improved which results in a more satisfying visual appearance of RAW images.

Requirements

Good skills in object-oriented C++ are required accompanied by basic experience in computer vision. Qt or OpenCV knowledge would be beneficial.

Mentors

Florian Kleber, Stefan Fiel

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [nomacs].

More Information

Additional details can be found on the nomacs webpage. You may also improve your chances of being selected by solving the puzzle.

Description

Currently nomacs loads stereo image containers such as JPEG stereo (*.jps) and Multi Picture Objects (*.mpo). For JPEG stereo images, both frames are loaded and displayed next to each other. Loading Multi Picture Objects results in the main frame being displayed. This is nice for a fast preview of the images. However, rendering these images as chromatic anaglyphs would improve the visual experience. The student should implement a method that renders anaglyphs with reduced ghosting. Additionally a full loader for *.mpo files and a converter from *.jps to *.mpo files and vice versa should be implemented.

Benefit for the Student

The student will gain experience in state-of-the-art stereo rendering and computer vision. Moreover, basic knowledge of image processing libraries such as OpenCV will be developed.

Benefit for the Project

The stereo loader allows for displaying and converting 3D images and therefore extends the applicability of nomacs.

Requirements

Good skills in object-oriented C++ are required accompanied by basic experience in computer vision. Qt or OpenCV knowledge would be beneficial.

Mentors

Markus Diem, Fabian Hollaus

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [nomacs].

More Information

Also have a look at the nomacs webpage. You may also improve your chances of being selected by solving the puzzle.

Description

The next version of nomacs includes a crop function for images. Cropping and rotating images may result in image regions that are not defined. Currently, these image regions are not filled at all (transparent) or they are filled with a default color. Filling these regions with parts that are replicated from the original image improves the visual appearance. The student should investigate state-of-the-art texture synthesis methods such as Kwatra et al. for a best possible visual appearance of cropped images.

Benefit for the Student

The student will gain experience in state-of-the-art texture synthesis algorithms and computer vision. Moreover, basic knowledge of image processing libraries such as OpenCV will be developed.

Benefit for the Project

Texture synthesis improves the usability of the current crop functionality.

Requirements

Good skills in object-oriented C++ are required accompanied by basic experience in computer vision. Qt or OpenCV knowledge would be beneficial.

Mentors

Florian Kleber, Markus Diem

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [nomacs].

More Information

Also have a look at the nomacs webpage. You may also improve your chances of being selected by solving the puzzle.

Description

Engineering workflows reflect process steps facilitating the integration of engineering tools and describe operations at project level. Described engineering workflow rules encapsulate knowledge on the sequence of work tasks across tools in the engineering team and allow the flexible coordination of automated process steps. The focus is on the collection and observation of log entries and framework specific events for the purpose of validating executed processes with designed ones.

Benefit for the Student

The student will gain knowledge in a wide range of technologies, like OSGi, BPMN, Drools.

Benefit for the Project

Capability of validating workflows run in a heterogeneous engineering environment.

Requirements

Excellent skills in Java are essential. Useful would be knowledge about Apache karaf, BPMN, and process mining tools like ProM.

Mentors

Richard Mordinyi, Christoph Gritschenberger, Andreas Pieber, Dietmar Winkler

Contact

Check our GSoC IRC channel #TU-CSE-SoC at irc.freenode.net for an OpenEngSB-mentor. Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [OpenEngSB].

More Information

Puzzles can be found on our wiki.

Description

Based on the explicit data models of the different heterogeneous tools/data sources, a generic approach for the definition of queries should be implemented. Based on this generic approach, the queries then need to be transformed into a query language the target data source can understand and handle - first of all we target at supporting data sources capable of dealing with the SQL syntax. For testing purposes, data from different projects will be provided.

Benefit for the Student

Learning about the transformation of queries to a set of heterogeneous data sources, and more generally about model-driven systems engineering.

Benefit for the Project

By now, queries to the different heterogeneous data sources/tools integrated need to be written and transformed manually to their local representations. The automation of this definition and transformation process would dramatically increase the usability and acceptance of the framework, since even non-experts would be capable of defining and executing complex queries.

Requirements

Excellent skills in understanding and programming Java code are necessary. Useful would be knowledge about OSGi, database technologies (e.g., SQL), and about semantic web technologies (e.g., OWL).

Mentors

Thomas Moser, Andreas Pieber, Richard Mordinyi, Florian Waltersdorfer

Contact

Check our GSoC IRC channel #TU-CSE-SoC at irc.freenode.net for an OpenEngSB-mentor. Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [OpenEngSB].

More Information

Puzzles can be found on our wiki.

Description

Software testing is a very important part in the software engineering process, like in the context of remote (distributed) component types in component-based systems which provide/use services over the network via RPC/RMI communication calls or messaging. Based on explicit data models of the different heterogeneous software tools taking part in the integration process, a generic approach for the generation of test cases has to be implemented. Tools connected to the OpenEngSB framework are seen as components for which test cases simulating the tool's behavior have to be derived. There are two distinct ways of simulating a tool’s behavior. In the first one, the tool is generating the test-cases from the specification of the corresponding components. In the second approach, the tool is recording the communication between the components and creates from this network information’s the test-cases.

Benefit for the Student

Learning about component-based systems, testing of such systems, semantic models, and model-driven engineering.

Benefit for the Project

By now, there is no concept enabling a test-driven engineering approach which takes into account existing knowledge about tools, processes, and data. The automatic derivation of test cases using this knowledge would increase the quality of the integration solution.

Requirements

Excellent skills in understanding and programming Java code are necessary. Useful would be knowledge about OSGi, component-based systems, testing approaches, and about semantic web technologies (e.g., OWL).

Mentors

Richard Mordinyi, Andreas Pieber, Christoph Gritschenberger

Contact

Check our GSoC IRC channel #TU-CSE-SoC at irc.freenode.net for an OpenEngSB-mentor. Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [OpenEngSB].

More Information

Puzzles can be found on our wiki.

Description

The aim of this project is to create a cross-platform interface in Java based on Java OpenGL (JOGL) for the real-time visualization and interaction of the OpenPixi simulator. The Particle-In-Cell simulation consists of a large number of particles that are simulated on a fixed background grid. The OpenGL simulation should be able to visualize a three-dimensional setting from any perspective, including particles, meshes, and vectors on top of the meshes in a visually attractive way. The user should be able to interactively navigate through the real-time simulation and zoom into regions of interest.

Benefit for the Student

The student will learn about the visualization of a physics simulation, and learn about OpenGL in a Java environment.

Benefit for the Project

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

Requirements

Good skills of Java. Knowledge of OpenGL or Java OpenGL (JOGL) is of advantage.

Mentors

Andreas Ipp, Ognen Kapetanoski

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [pixi].

More Information

For the application process, please fix one of the OpenPixi issues at GitHub, or provide a small demo application that uses OpenGL to visualize some aspect of the Java version of OpenPixi. Moreover, check our wiki for updates.

Description

The aim of this project is to parallelize existing routines used in the OpenPixi simulator. The Particle-In-Cell simulations use a large number of particles within a fixed grid. The grid and the particles should be split so that they can run on different cores of a CPU, or even on different computers. The first step of the project, which is written in Java, is to implement a reference parallel implementation using Threads. The next step could be (depending on the interest of the student) a fast implementation in C/C++ using MPI (Message Passing Interface) for scaling the application to clusters and supercomputers. Alternatively, an implementation which utilizes OpenCL could be developed in order to make full use of the calculation power of GPUs (graphics processing units) on personal computers, or larger GPU clusters dedicated to large-scale simulations. In any case, automatable test cases must ensure that the results agree with the single threaded version of the code.

Benefit for the Student

The student will learn about physics simulations and how to parallelize them for best performance. Depending on the student's interest, the student will either learn more about the MPI standard, or about OpenCL.

Benefit for the Project

The project will receive a very fast parallel implementation of existing routines.

Requirements

Good skills of Java and C/C++. Knowledge of MPI or OpenCL is of advantage.

Mentors

Andreas Ipp, Kirill Streltsov

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [pixi].

More Information

For the application process, please fix one of the OpenPixi issues at GitHub, provide a patch that adds multi-threaded capabilities to the current version of OpenPixi, or provide a small demo application that uses MPI or OpenCL and implements one of the routines of the java version of OpenPixi in parallel. Moreover, check our wiki for updates.

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. Currently a high-speed digital pulse generator with a resolution of 2 nanoseconds exists. Furthermore a time-to-digital data acquisition system was realized with a resolution of 80 picoseconds. We now plan to expand the available designs with a fast analog pulse system based on digital-to-analog converters. Furthermore we will include analog-to-digital functionality in order to sample analog signals.

Benefit for the Student

Get experience with fast digital electronics and FPGAs.

Benefit for the Project

Expand the project with analog input/output hardware.

Requirements

A good understanding of digital electronics. Knowledge of Verilog and Python are recommended but not required.

Mentors

Johannes Majer, Tobias Nöbauer, Helmut Fedder

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [pi3diamond].

More Information

Check our wiki for updates.

Description

Statistical Agencies and organisations have restrictions due to laws on privacy to give their data into the hand of researchers and the public. In general these laws aim to avoid re-identification of individuals. Using the developed free and open-source R package sdcMicro it is possible to perturbate the original data by minimising the information loss at the same time. Since the package is in use by subject matter specialists that are often not trained in command line coding, a graphical user interface - written with the help of the RGtk2 package - was needed to design and develop. The student should investigate the source package and the graphical user interface (GUI) and further develop the GUI and corresponding methods that mostly needs to be written in a compile language like ANSI C or C++ and called from R for fast calculations on large data sets in R.

Benefit for the Student

The student will learn basics in statistical disclosure control and will experience with the state-of-the-art tool in that area. Moreover, the student will enhance the programming skills because of dealing with several free and open-source languages.

Benefit for the Project

The improvement of the methods in terms of computational speed and the improvement of the graphical user interface that calls the methods gives powerful free and open source software into the hand of organisations that have to provide data but also have to respect laws on privacy.

Requirements

The student should offer skills in object-orient programming, especially with C++ and with the statistical environment R. Knowledge in the multi-platform toolkit gtk is preferable but not required beforehand.

Mentors

Peter Filzmoser, Matthias Templ

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [R].

More Information

Links to related papers and software can be found in the wiki.

Description

RecyclePivotsWithIntersection (RPI) and LowerUnits (LU) (described by the mentor in detail in a 2011 paper in CADE, the Conference on Automated Deduction) are currently among the most powerful algorithms for the compression of propositional resolution proofs. We have already empirically determined that it is beneficial to combine RPI and LU sequentially, but the optimal order for the sequential combination is unknown. Therefore, we would like to implement a tighter non-sequential combination of RPI and LU, and to show that it is always better than both sequential combinations in terms of compression rate and speed.

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

We expect the non-sequential combination to be about twice faster than any of the sequential combinations, because the number of required proof traversals would be cut to half.

Requirements

Moderate skills in Scala or experience with object-oriented programming (e.g. Java, C++,...) or functional programming (e.g. Haskell, OCaml,...) and willingness to learn Scala (don't worry! It is easy!). Experience with data structures for proofs or directed acyclic graphs is a plus, but not necessary.

Mentors

Bruno Woltzenlogel Paleo, Karl Rupp

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [ResK].

More Information

Instructions on how to improve your chances of getting accepted are listed on the ResK-wiki.

Description

RecyclePivotsWithIntersection (RPI) and LowerUnits (LU) have been developed for propositional resolution proofs only. This means that, so far they can only compress proofs generated by sat-solvers and smt-solvers, but not by first-order automated theorem provers. We would like to generalize our proof data-structures and these algorithms to the first-order case, and to evaluate them on the benchmarks provided by the TSTP library.

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

Invaluable. :-)

Requirements

Moderate skills in Scala or experience with object-oriented programming (e.g. Java, C++,...) or functional programming (e.g. Haskell, OCaml,...) and willingness to learn Scala (don't worry! It is easy!). Experience with the first-order resolution calculus and unification is necessary.

Mentors

Bruno Woltzenlogel Paleo, Karl Rupp

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [ResK].

More Information

Instructions on how to improve your chances of getting accepted are listed on the ResK-wiki.

Description

The Splitting algorithm (proposed in the 2010 paper "Two Techniques for Minimizing Resolution Proofs" by Scott Cotton in the SAT conference) and the ReduceAndReconstruct algorithm (proposed in the 2010 paper "An Efficient and Flexible Approach to Resolution Proof Reduction" by Simone, Brutomesso and Sarygina in the Haifa Verification Conference) are two alternative algorithms for propositional resolution proof compression. Splitting consists of dividing a refutation into a proof of "a" and a proof of "not a", for some predicate "a", and then recombining these two proofs into a new refutation. ReduceAndReconstruct consists of applying local rewrite rules that are known to reduce the size of proofs. These two algorithms need to be implemented in the ResK framework.

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

The implementation of these two algorithms will enable a proper comparison of all algorithms and will allow us to combine their strengths.

Requirements

Moderate skills in Scala or experience with object-oriented programming (e.g. Java, C++,...) or functional programming (e.g. Haskell, OCaml,...) and willingness to learn Scala (don't worry! It is easy!). Experience with data structures for proofs or directed acyclic graphs is a plus, but not necessary.

Mentors

Bruno Woltzenlogel Paleo, Josef Weinbub

Contact

Send an email to soc2012@iue.tuwien.ac.at (first subscribe here) using the prefix [ResK].

More Information

Instructions on how to improve your chances of getting accepted are listed on the ResK-wiki.