Introduction - uni-salzburg.at · •The human-computer ... as well as the renewal of the Computer...

87

Transcript of Introduction - uni-salzburg.at · •The human-computer ... as well as the renewal of the Computer...

IntroductionIn 2015, the reintegration of three satellite centers into our department was finalized:

• The Center for Embedded Software Systems joined the department as the new Division ”Software and Systems Center”

• The human-computer interaction group of the ICT&S Center has been integrated into the department as the Division ”Center forHuman-Computer Interaction”

• The Center for High Performance Computing joined the department as a new division.

Starting from October 2015, Robert Elsasser and Andreas Uhl were elected to co-heads of the department. Manfred Tscheligi serves as deputyhead.

The required reorganization of all Computer Science Bachelor’s and Master’s Programs, as well as the renewal of the Computer ScienceTeacher Education Program have been started. These processes are going to be finalized in 2016.

The current report describes the various achievements of the department in 2015. The research projects, scientific publications, coursestaught, theses advised, and further activities of each research group are presented and specified. We hope, we provided a brief insight into ourdepartment and could awake interest.

Heads of Department

Univ.-Prof. Dr. Andreas Uhl Univ.-Prof. Dr. Robert Elsasser

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 1

Divisions1 Aerospace Research 3

2 Center for High Performance Computing 14

3 Center for Human-Computer Interaction 17

4 Database Systems 40

5 Efficient Algorithms 45

6 Scientific Computation 53

7 Software Systems Center 59

8 Visual Computing and Multimedia 66

2 | Annual Report 2015

1 Aerospace ResearchOverviewThe Aeronautical Research Group of thedepartment has an ongoing tradition of re-search in the areas of air traffic simula-tion and wireless communication networkdesign. Currently it is extending its exper-tise to new aerospace research topics likenoise abatement, human-in-the-loop sim-ulations, and air traffic management op-timization. The research groups’ sophis-ticated simulation tools have been usedin a great number of national and in-ternational projects and helped to evalu-ate existing systems and design new ones.The aerospace group was able to estab-lish its expertise in range of relevant top-ics within the field of aerospace research.Through this research group the Univer-sity of Salzburg is involved in the ”SingleEuropean Sky ATM Research” joint under-taking of the European Union. Find moreinformation at http://www.aero.sbg.ac.at/.

VisionThe vision of the Aerospace ResearchGroup is to support the sustainable mod-ernization of European air traffic manage-ment. The group’s research topics are cen-tered on three main areas of work:

• Communication: Development ofnew wireless technologies, integrationof networks, communication security.

• Procedures: Air traffic manage-ment procedures supported by au-tomation, human-in-the-loop simula-tion, evaluation and validation of newprocedures.

• Environment: Air traffic forecastsimulation, noise abatement, CO2 re-duction.

HeadHon.-Prof. Dr. Carl-HerbertRokitansky

Funded Project Staff

• Dipl.-Ing. (FH) Kurt Eschbacher

• Martin Mayr

• Dipl.-Ing. Elias Pschernig

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 3

Aer

ospa

ceR

esea

rch

1.1 Project: AeroNauTicAl REsources Satellite basedANTARES (AeroNauTicAl REsources Satellite based) is the phase B studydesigning a new Satellite Communication System for Air Traffic Management,within the ESA Iris program (element 10 of ARTES). The Iris program is thesatellite-based solution for the Single European Sky ATM Research (SESAR)program. By 2020 it will contribute to the modernization of air traffic man-agement by providing digital data links to cockpit crews in continental andoceanic airspace. Within the Iris program, ANTARES is a two-year study thatfocuses on the development of a new, purpose-built, satellite-based communica-tion system including low-cost user terminals and a new satellite communicationstandard. The performance of the telecommunication protocols selected for thestandard will be verified end-to-end by a verification test bed.The Aerospace Group’s major contribution is the continuing refinement of thesimulation models used for the dimensioning analysis of the system. The workincludes extensive statistical evaluations of the expected air traffic and datatraffic in the future and contributes significantly to the understanding of thetechnical requirements of the system.

Project-Facts:

Duration 2009 - 2015Partners Thales Alenia Space, Indra, Hon-

eywell, AEdel Aerospace, AirtelATN, Capgemini, esc, Frequen-tis, IGUA Software Systems, Inno-vationszentrum Telekommunikation-stechnik GmbH, next, OHB System,SINTEF, gmv, DLR, Space Engineer-ing, Wiser, antwerp space, Space Bel,AETHIS, Jast.

Funding European Space Agency / ESTEC

4 | Annual Report 2015

Aer

ospa

ceR

esea

rch

1.2 Project: Iris Communication ToolBased on expertise of the Aerospace Group of University of Salzburg / Com-puter Sciences Institute a special demonstration environment based on simula-tions and advanced graphics will be developed and delivered to the EuropeanSpace Agency (ESA) for the purpose of demonstrating the principal functional-ity and benefits of future digital aeronautical satellite communications betweenaircraft and air traffic controllers and between crew and airline/airport via adedicated communication satellite. The principal functionality and benefits offuture digital aeronautical satellite communications will be demonstrated bya simulation / visualisation of a generic Air Traffic Controller (ATCO) workstation, generic cockpit displays, an overview of the areas of satellite beamcoverage and a generic visualisation of the data link between Air Traffic Con-trol Center, satellite ground station, future ESA/Iris satellite, aircraft (forwardlink) and the corresponding reverse link.

Project-Facts:

Duration 2012 - 2015Funding ESA/ESTEC

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 5

Aer

ospa

ceR

esea

rch

1.3 Project: MET4ATMImpact of Weather on ATM/ATC (Case Study of Adverse Weather AvoidanceModelling with Austro Control GmbH and Leibniz University Hannover Insti-tute of Meteorology and Climatology Hannover, Germany, since 2012). —Theaim of the study MET4ATM is to estimate the benefit of ground-based weatherinformation (Austrocontrol, ACG) for ATM in case of adverse weather con-ditions such as thunderstorms with regard to sector occupancies. This paperdeals with the application of the weather avoidance model DIVMET(UniversityHannover, Prof. Hauf) coupled to the air traffic model NAVSIM (UniversitySalzburg, Prof. Rokitansky). Aircraft are simulated based on the flight planroute and diverted around the storms keeping a safety margin. The analy-sis of the simulated trajectories compared with actually flown routes providespromising results in terms of optimized trajectories.The study is basis for further various applications e. g. the observation of asingle aircraft or the handling of the entire air traffic over Central Europe. Thelast-mentioned scenario is a target-aimed part of the MET4ATM project forthe purpose of making statements on sector capacities.

Project-Facts:

Duration 2012 - 2015Partners Austro Control, Universitat Han-

nover

6 | Annual Report 2015

Aer

ospa

ceR

esea

rch

1.4 Project: MET4LOWWThis FFG-Project’s aim is to improve safety and efficiency of air traffic. byimplementation of meteo-data by fast time simulation (NAVSIM) and to deriveATM-concepts.The contribution of Paris Lodron University Salzburg - Aviation CompetenceCenter in cooperation with ACG is the validation of meteo-data and air trafficscenarios in ATM/ATC, analyzed by fast time simulation to optimize arrivaland departure management. Validation by Human in the Loop Simulationimproves the operational air traffic management. This project will be basis foran international validation testbed for future SESAR-solutions.

Project-Facts:

Duration 2015 - 2017Partner Austrocontrol (ACG)Funding FFG

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 7

Aer

ospa

ceR

esea

rch

1.5 Project: ROLL2RAILThe aim of this project is to research on technologies and architectures to allowa new generation of train communication systems based on wireless transmis-sion for train control and monitoring (TCMS), functions and Infotainmant,CCTV applications thus reducing or even completely eliminating in boardcommunication cables and simplifying the train coupling procedure.The contribution of University of Salzburg is to develop key technolo-gies and to remove identified blocking points for innovaton in the fieldof railway vehicles as part of a longer term strategy to revolutionizethe rolling stock of the future. The results will be further developed,leading to demonstration in real vehicles or relevant environments.http://www.unife.org/news/115-kick-off-of-three-shift2rail-lighthouse-projects-roll2rail-it2rail-and-in2rail.html

Project-Facts:

Duration 2015 - 2017Partner UNIFE - The European Rail IndustryFunding EU Horizon 2020

8 | Annual Report 2015

Aer

ospa

ceR

esea

rch

1.6 Project: SESAR ACSES Academic for Single European Sky ATM ResearchThe ACSES (ACademia at SESAR) consortium consists of 20 EuropeanUniversities asociated with the SESAR Joint Undertaking.

Partners:National and Kapodistrian University of Athens, Technische Universitat Dres-den (TUD), UNIZA - Zilinska Univerzita v Ziline, Universita’ degli Studi diTrieste (UNITS), Paris-Lodron-Universitaet Salzburg, Technische UniversitatBerlin, University of Belgrade (Faculty of Transport and Traffic Engineering)(UB-FTTE), Universita’ degli studi di Milano- Bicocca (UNIMIB), Universi-dad Politecnica de Madrid (UPM), Delft Uni- versity of Technology (Facultyof Aerospace Technology (TUD)), Universitat Autonoma de Barcelona (UAB),Imperial College of Science and Medicine London, Technische UniversitatBraunschweig, Institut fur Flugfuhrung (TUB)

Project-Facts:

Duration 2011 - 2020Funding SESAR JU

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 9

Aer

ospa

ceR

esea

rch

1.7 Project: VDL Mode 2The Objective of the study is to provide SESAR and the entire ATM com-munity with a reliable picture concerning the VDL2 capability to support theevolution and the exploitation of DL services over the next years, when its lim-itations will be reached and what would be the consequences of reaching them,on the basis of the assumptions made.The contribution of the University of Salzburg is the detailed specification of theBaseline Scenarios, Simulation Results Template, and Simulation Run Reports.The final documentation has to give detailed indication to further developmentand adaptation of the VDL Mode 2 Tools for capacity and performance evalua-tion in accordance with project specifications and standards aiming to generateall simulation results in the study.

Project-Facts:

Duration 2014 - 2015Partners ENAV S.p.A., Airbus, DFS, Enaire

- Grupo AENA, LFV, NATS, AirFrance, British Airways, Easy Jet,Lufthansa, ARINC, SITA.

Funding SESAR Joint Undertaking (SJU)

10 | Annual Report 2015

1.8 Publications[1] M. Carandente, C.H. Rokitansky, M. Ehammer, E. Pschernig, and M. Mayr. Vdl mode 2 capacity and performance analysis. In SESAR

Joint Undertaking, Deliverable SESAR CFT 0096, Edition 00.01.06, 2015.

Aer

ospa

ceR

esea

rch

1.9 Supervised theses

Master

• Christoph Sander, ”Flugroutenoptimierung unter Windeinfluss”.

PhD

• Kurt Eschbacher, ”Performance Evaluation of Future Digital Aeronautical Communication Systems and their Applications in Case ofAdverse Weather Situations”.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 11

1.10 Miscellaneous activities

Conferences

• First Austrian Aviation Day, March 5 and 6, Casern ofSchwarzenberg Salzburg (ACG, Ministry of Defence, Fre-quentis, AAI (Austrian Aeronautics Industry Group), SCEsystem engineering, AMST system technology, AustrianFederal Armed Forces etc.)

• Roll2Rail Kick-off Meeting Brussels, May 7.

• Visit of Austrocontrol (ACS) at Aviation Competence Cen-ter Salzburg, May 21.

• MET4LOWW Kick-off Meeting Vienna, September 14 and15.

• ROLL2RAIL – Conference, December 1 to 3, AviationCompetence Center Salzburg.

Exhibitions

• I-DAY, July 2015, http://www.aero.sbg.ac.at/?p=938

• IABG Munich, lecture and demonstration, June, 25and 26, 2015 http://www.iabg.de/geschaeftsfelder/luftfahrt/

• FFG Strategy day, November 2015, Vienna https://www.ffg.at

• ISAP University Graz, conference July 7 and 8. http://www.uni-graz.at/isap15/

Press Coverage

• LDACS1 Website online -LDACS1 stands for L-band dig-ital aeronautical communications system, type 1 March2014. http://www.ldacs.com/

Projects

• VDLM2 Capacity and Performance Analysis started http://www.aero.sbg.ac.at/?cat=15 The Objective of thestudy is to provide SESAR and the entire ATM communitywith a reliable picture concerning the VDL2 capability tosupport the evolution and the exploitation of DL servicesover the next years, when its limitations will be reachedand what would be the consequences of reaching them, onthe basis of the assumptions made.

12 | Annual Report 2015

• Support for SESAR Project 15.2.4 was finalized, the ob-jective of the project was the development of an LDACS-1 Sub-System Emulator providing a behavior and perfor-mance model of the LDACS1 A/G sub system on IPv6layer. http://www.aero.sbg.ac.at/?cat=15

• ROLL2RAIL started May 2015 the objective of theproject is to research on technologies and architecturesto allow new generation of train communication sys-tems based on wireless transmission for train controlhttp://www.roll2rail.eu/Page.aspx?CAT=DOCUMENTS&IdPage=dfe3117a-72cb-48e5-8d70-6dd176c23be8

• MET4LOWW started September 2015, the objectiveof the project is to improve safety and efficiency of airtraffic by implementation of meteo data and air trafficszenarios by fast time simulation. http://fodok.uni-salzburg.at/pls/portal/nav.show?x=&format=full_projekt&object=80056&lang=158

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 13

2 Center for High Performance ComputingOverview

The Center for High Performance Computing (CHPC,chpc.sbg.ac.at) deliv-ers various computing and training services in the areas of parallel, distributed,and high performance computing. The center conducts own research in orderto constantly meet the evolving demand of the participating departments ofthe university.

HeadUniv.-Prof. Dr. Andreas Schroeder

Faculty Members• Dr. Peter Zinterhof

Technical staff• Ernst Forsthofer• Andreas KosteckaC

ente

rfo

rH

igh

Perfo

rman

ceC

ompu

ting

2.1 Topics of research

• high performance computing

• parallel and distributed algorithms

• novel architectures (Maxeler)

• accelerator-based computing

14 | Annual Report 2015

Cen

ter

for

Hig

hPe

rform

ance

Com

putin

g

2.2 TeachingTeaching

• Verteilte Programmierung (VP)

• Praktische Aspekte von HPCTools und Bibliotheken (VP)

• GPU-Programmierung und Anwendungen (VP)

• HPC-Hardware: aktuelle Entwicklungen (VP)

2.3 Supervised thesesMaster

• Franziska Halbrainer: Analysis of Social Networks usingParallel Algorithms

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 15

Cen

ter

for

Hig

hPe

rform

ance

Com

putin

g

2.4 Miscellaneous activitiesConference Program Committees

• Peter Zinterhof serves as PC member for the UCHPC workshop 2015 (EUROPAR conference series)

Hosted Talks

• Frederik Gruell, Goethe-Universitaet Frankfurt, Germany

Beschleunigte Bildverarbeitung mit FPGAs

16 | Annual Report 2015

3 Center for Human-Computer InteractionOverviewThe Center for Human-Computer Interaction is an interdisciplinary research groupwithin the Department of Computer Sciences at the University of Salzburg. Estab-lished in 2005 as research unit at the former ICT&S Center, currently approx. 30researchers study the interplay between humans and computers in order to enabledesired interactions and explore desirable futures.

We are committed to contemporary HCI thinking and address current researchquestions, while also valuing established methodology and formerly prevalent do-mains. In our research activities we acknowledge that interactions are situated, i.e.,they are heavily dependent on the concrete and specific characteristics of the contextin which they take place. Our research is devoted to rich (ethnomethodologicallyinformed) studies, for which we continuously refine and develop methods in order tosatisfy the situated, contextual nature of interactions. Related interaction designsare, on one hand, informed by those studies, aiming for user experiences that reflectthe situated qualities of specific (and sometimes challenging) contexts. On the otherhand, we consider design methods and processes as legitimate modes of inquiry,providing means for critical reflection and exploration. Additionally, we reflect onthe according methodological challenges and opportunities that come along withcontextual-interaction design-research.

Head

Univ.-Prof. Dr. Manfred Tscheligi

Faculty Members• Mag.a Dr.in Verena Fuchsberger• Dr. Manuel Giuliani• Mag.a Alina Krischkowsky• Dipl.-Ing. Dr. Alexander

Meschtscherjakov

Funded Project Staff• please refer to page 27

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 17

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.1 Project: ActiBrainsActiBrains will develop and validate a novel, ICT-assisted training tool for enhancingboth cognitive activities and memory performance. The objectives are (1) to attainan optimal level of cognitive activation and to reduce stress and anxiety by meansof individualized neurofeedback, (2) to improve the working memory, (3) to improvethe responsive-ness, e.g., with respect to traffic safety, (4) to nurture mental flexibil-ity in coping with new ICT, and (5) to stimulate parallel information processing byintegrating both brain hemispheres.

Project-Facts:

Duration 2015 - 2016Partners Austrian Institute of Tech-

nology, Gedachtnistrain-ingsakademie e.U., the BrainCompany

Funding Benefit, FFG

18 | Annual Report 2015

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.2 Project: ASSIST 4.0The project Assist 4.0 aims at the development of mobile context-based assistancesystems in an Industry 4.0. ICT technologies and human-machine-interaction concepts,which support production and service workers in relevant decisions. The assistancesystem is mobile, multimodal, location-based, personalized and context-adaptive andcharacterized by high usability, user experience, acceptance, and security. Project-Facts:

Duration 2014 - 2016Partners Knapp AG, Infineon Tech-

nologies Austria AG, AVLList GmbH, evolaris nextlevel GmbH, Research StudiosAustria ForschungsgesellschaftmbH, Paris-Lodron-UniversitatSalzburg, XiTrust SecureTechnologies GmbH

Funding FFG, FTI-Initiative, Produk-tion der Zukunft

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 19

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.3 Project: CD Labor for Contextual InterfacesThe Center for HCI operates the Christian Doppler Laboratory Contextual Inter-faces, which is a long-term co-operation with industrial partners. This laboratoryexamines contextual interaction from qualitative, constructional, and methodologicalviewpoints. Apart from basic research activities focusing on methods and tools forcontextual research, the laboratory explores the contexts “car” and “factory” fromthese three perspectives.

Project-Facts:

Duration 2009 - 2016Partners AUDIO MOBIL Elektronik

GmbH, Infineon TechnologiesAustria AG, KEBA AG

Funding CDG, Infineon Austria, AUDIOMOBIL, KEBA AG

20 | Annual Report 2015

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.4 Project: GeTVivid“GeTVivid – Let’s do things together” aims at supporting older adults with mildimpairments (e.g., restricted mobility, hearing, or vision impairments) to manage theirdaily activities in their (residential) home and aims at improving the quality of life,autonomy, and participation in social life. The goal of the project is to offer a usefuland valuable set of AAL-related functionality and services to older adults, as well asinformal and formal carers through the use of connected TV devices based on theHbbTV standard (Hybrid Broadcast Broadband Television). The GeTVivid platformon the TV and tablet 1) provides a support exchange system enabling older adults tooffer/demand for support for activities of daily living to/from others, who are livingin geographical closeness; 2) enables access to professional service providers like mealson wheels, shopping assistance, house-keeping, taxi, medical help or assistance, etc.and 3) offers support functions like reminders, news, weather, etc.

Project-Facts:

Duration 2013 - 2016Partners University of St. Gallen

(Switzerland), Institut furRundfunktechnik GmbH (Ger-many), Hovener & TrappEvision GmbH (Germany),Ingenieria y Soluciones Infor-maticas del Sur, S.L. (Spain)CURAVIVA Verband Heimeund Institutionen (Switzer-land), Verein fur Menschenmit Korperbehinderung Nurn-berg e.V. (Germany), EURAG(Austria)

Funding EU AAL/FFG

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 21

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.5 Project: LiTechThe prime objective of this project concerns sustainable knowledge about easy touse professional business and system control applications. LiTech aims for future-proved implementation of natural and simple user interfaces for configuration, control,and communication within complex professional systems. The targeted applicationareas provide challenging use cases, such as controlling packaging machines in cleanrooms, controlling real time data presentation tools during demanding workshops, andcontrolling global distribution of a broad range of products by means of informationtechnology. Other application areas are control systems for big and/or distributedcement plants and medical computer equipment with high safety requirements duringassembly, installation, and adjustment.

Project-Facts:

Duration 2014 - 2018Partners Fachhochschule Vorarlberg

GmbH Dornbirn, TechnischeUniversitat Graz, AlphaGateGmbH Rankweil, Dorner Elec-tronic GmbH Egg, GebruderWeiss GmbH Kennelbach,System Industrie ElectronicGmbH Lustenau, WolfVisionInnovation GmbH Sulz

Funding FFG, COMET, K-Projects 5thCall

22 | Annual Report 2015

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.6 Project: MaDSAVThe MaDSAV project aims at supporting drivers in the future to maintain their driv-ing skills when riding in autonomous vehicles. It specifically explores how to profiledriver performance and aims at developing tools which will support safe driving withinsemi-autonomous vehicles. Semi-Autonomous Vehicles present a major challenge fordrivers, namely the risk that their driving skills will decline. This problem is furthercompounded by the fact that, while the number of semi-autonomous vehicles will in-crease, there will for the foreseeable future still remain a large number of vehicles withno or little autonomous control. This combination of the decline in driving skills plusthe complicated mix of vehicles on the road will raise a number of safety challenges.For example, drivers of semi-autonomous vehicles may be forced to take control undercertain circumstances but may not possess the skills which would enable them to reactquickly enough or to take the right decision. Also, they will not be able to rely onother vehicles taking the right course of action. As a result, there needs to be methodsemployed which can encourage people to maintain their driving skills which are turnedto the needs of particular drivers.

Project-Facts:

Duration 2015 - 2018Partners Interdisciplinary Centre for Se-

curity Reliability and Trust(SnT) at the University of Lux-embourg (Luxembourg)

Funding Austrian Science Fund (FWF)and Fonds National de laRecherche Luxembourg (FNR)

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 23

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.7 Project: ProMeThe project aims at offering an ICT solution that facilitates intergenerational dialogueand lifelong learning in the transition from work to retirement and beyond. It al-lows the exchange of professional knowledge and facilitates cooperation and mentoringamong generations via an online service. The outcome of the project will improvethe quality of life, autonomy, participation in social life, and offers an opportunity formeaningful occupation. By motivating and empowering users to share their tacit andformal knowledge it encourages intergenerational cooperation, strengthens existing so-cial ties and allows making new acquaintances by being easily accessible from existingsocial network sites. Thus it creates value for the society as a whole and contributesto social capital.

Project-Facts:

Duration 2014 - 2017Partners Center for HCI, University of

Salzburg (PLUS), NationalFoundation for the Elderly(NFE), General Association ofEngineers in Romania (AGIR),SIVECO Romania SA, GlukAd-vice (GLUK),Inventia Ltd,EURAG Austria, Leuven Uni-versity College (SubcontracedPartner)

Funding EU AAL/FFG and the relatedNational Authorities in Roma-nia, the Netherlands, and theUnited Kingdom

24 | Annual Report 2015

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.8 Project: ReMeDiThe goal of the ReMeDi project is to design a tele-robotic medical device that enablesdoctors to examine patients over long distances. For that, the ReMeDi project part-ners build a tele-operated medical robot. With this robot, doctors will be capable toperform a remote physical examination. Specifically, the ReMeDi project targets twoof the most widespread examination techniques: palpation (i.e., the doctor presses thepatient’s stomach to observe any stiffnesses of the internal organs and the patient’sfeedback about discomfort and pain) and ultrasonographic examination. A success-ful medical treatment of patients often depends on a timely and correct diagnosis.However, the availability of doctors of various specializations is sometimes limited, es-pecially in provincial hospitals or after regular working hours. Medical services that areperformed remotely are emerging, yet current solutions are limited to merely telecon-ferencing. For a correct diagnosis, doctors need more information about the patient,especially those provided by a physical examination. The ReMeDi remote medicalrobot will be a tool for doctors to remotely execute this physical examination.

Project-Facts:

Duration 2013 - 2016Partners University of the West of

England (Bristol, UK), Tech-nische Universitat Munchen(Germany), ACCREA (Lublin,Poland), Medical University ofLublin (Lublin, Poland), ScuolaSuperiore Sant’Anna (Pisa,Italy), ETH Zurich (Switzer-land), and Wroclaw Universityof Technology (Wroclaw,Poland)

Funding EU FP7-ICT

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 25

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.9 Project: Vending 4.0Within the project “Vending 4.0”, the Center for HCI and SKIDATA AG are research-ing innovative, user-friendly self-service machines of the future. Various Interfaces andinteraction concepts (e.g., gesture control, natural interaction, auditory interaction)will be scientifically examined and evaluated regarding their applicability in differentcontexts (e.g., ski slopes, in- and outdoor parking, swimming pools, airports) and ap-plication scenarios (e.g., ticket-free access). The overarching goal of Vending 4.0 is todesign self-service vending machines in public spaces, which are not only easy to use,but also creating a great user experience for different user groups.

Project-Facts:

Duration 2015 - 2016Partner SKIDATA AG (Austria)Funding Land Salzburg and SKIDATA

AG

26 | Annual Report 2015

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.10 Staff (cont’d)

• Dr. Ilhan Aslan

• DI Axel Baumgartner

• Mag.a Elke Beck

• DI Roland Buchner

• Ulrike Bruckenberger, Bakk. Komm.

• Johanna Dellinger, BA

• Mag.a art. Christine Dottlinger,B.Eng.

• Julian Fammler

• Magdalena Gartner, Bakk. komm.

• Thomas Grah, MA

• Tim Kaiser, M.Sc.

• Thomas Kargl, MA

• Dr. Arno Laminger

• Artur Lupp

• Bernhard Maurer, M.Sc.

• Mag. Thomas Meneweger

• DIin Susanne Meerwald-Stadler

• Mag. Alexander Mirnig

• Mag.a Nicole Mirnig

• DIin Dr.in Christiane Moser

• DI (FH) Martin Murer

• Mag.a Katja Neureiter

• MMag.a Nicole Perterer

• Michaela Peterhansl, B.Eng.

• DI Gerald Stollnberger

• Mag.a rer.nat. Sandra Trosterer

• Mandy Wilfinger, MA

• Martin Wuchse, B.Eng.

• Mag.a Daniela Wurhofer, Bakk.techn.

• Cornelia Zenz, B.Eng.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 27

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.11 PublicationsJournals

[1] Manuel Giuliani, Nicole Mirnig, Gerald Stollnberger, Susanne Stadler, Roland Buchner, and Manfred Tscheligi. Systematic analysisof video data from different human-robot interaction studies: A categorisation of social signals during error situations. Frontiers inPsychology, 6(931), 2015.

[2] Christiane Moser, Alina Krischkowsky, Katja Neureiter, and Manfred Tscheligi. Mediating informal care online: Findings from anextensive requirements analysis. Interaction Design and Architecture (s) Journal, 24:33–48, 2015.

[3] Astrid Weiss, Nicole Mirnig, Ulrike Bruckenberger, Ewald Strasser, Manfred Tscheligi, Dirk Wollherr, and Bartlomiej Stanczyk. Theinteractive urban robot: User-centered development and final field trial of a direction requesting robot. Paladyn, Journal of BehavioralRobotics, 6(1), 2015.

Proceedings of peer reviewed conferences

[1] Ilhan Aslan, Barbara Weixelbaumer, Bernhard Maurer, Daniela Wurhofer, Alexander Meschtscherjakov, and Manfred Tscheligi. Soundslike it works: Music-based navigation to improve the cleanroom experience. In Proceedings of the 33rd Annual ACM Conference ExtendedAbstracts on Human Factors in Computing Systems, CHI EA ’15, pages 1657–1662, New York, NY, USA, 2015. ACM.

[2] Ilhan Aslan, Alina Krischkowsky, Alexander Meschtscherjakov, Martin Wuchse, and Manfred Tscheligi. A leap for touch: Proximitysensitive touch targets in cars. In Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive VehicularApplications, AutomotiveUI ’15, pages 39–46, New York, NY, USA, 2015. ACM.

[3] Ilhan Aslan, Thomas Meneweger, Verena Fuchsberger, and Manfred Tscheligi. Sharing touch interfaces: Proximity-sensitive touch targetsfor tablet-mediated collaboration. In ICMI ’15: Proceedings of the 2015 ACM on International Conference on Multimodal Interaction,pages 279–286, 2015.

28 | Annual Report 2015

[4] Caroline Atzl, Alexander Meschtscherjakov, Stefan Vikoler, and Manfred Tscheligi. Bet4ecodrive: Betting for a more economical driving. InThomas MacTavish, editor, 10th International Conference on Persuasive Technology, PERSUASIVE 2015, volume Persuasive Technology,pages 71–82. Springer International Publishing, 2015.

[5] Verena Fuchsberger, Martin Murer, and Manfred Tscheligi. Time and design: Seven sensitivities. In Proceedings of the Ninth InternationalConference on Tangible, Embedded, and Embodied Interaction, TEI ’15, pages 581–586, New York, NY, USA, 2015. ACM.

[6] Thomas Grah, Felix Epp, Martin Wuchse, Alexander Meschtscherjakov, Frank Gabler, Arnd Steinmetz, and Manfred Tscheligi. Dorsalhaptic display: A shape-changing car seat for sensory augmentation of rear obstacles. In Proceedings of the 7th International Conferenceon Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15, pages 305–312, New York, NY, USA, 2015.ACM.

[7] Bernhard Maurer, Roland Buchner, Martin Murer, and Manfred Tscheligi. Actuated shear: Enabling haptic feedback on rich touchinterfaces. In Proceedings of INTERACT 2015, 2015.

[8] Bernhard Maurer, Ilhan Aslan, Martin Wuchse, Katja Neureiter, and Manfred Tscheligi. Gaze-based onlooker integration: Exploringthe in-between of active player and passive spectator in co-located gaming. In Proceedings of the 2nd SIGCHI Annual Symposium onComputer-Human Interaction in Play, New York, NY, USA, 2015. ACM.

[9] Thomas Meneweger, Daniela Wurhofer, Verena Fuchsberger, and Manfred Tscheligi. Working together with industrial robots: Experi-encing robots in a production environment. In Proceedings of the 24th IEEE International Symposium on Robot and Human InteractiveCommunication (RO-MAN), pages 833–838, 2015.

[10] Alexander Meschtscherjakov, Christine Dottlinger, Christina Rodel, and Manfred Tscheligi. Chaselight: Ambient led stripes to controldriving speed. In Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications,AutomotiveUI ’15, pages 212–219, New York, NY, USA, 2015. ACM.

[11] Nicole Mirnig, Manuel Giuliani, Gerald Stollnberger, Susanne Stadler, Roland Buchner, and Manfred Tscheligi. Impact of robot actionson social signals and reaction times in hri error situations. In A. Tapus, editor, Social Robotics, volume 9388 of Lecture Notes in ArtificialIntelligence, pages 461–471. Springer International Publishing, 2015.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 29

[12] Alexander Mirnig, Alexander Meschtscherjakov, Nicole Perterer, Alina Krischkowsky, Daniela Wurhofer, Elke Beck, Arno Laminger, andManfred Tscheligi. User experience patterns from scientific and industry knowledge: An inclusive pattern approach. In 7th InternationalConferences on Pervasive Patterns and Applications, pages 38–44. IARA, 2015.

[13] Alexander G. Mirnig, Alexander Meschtscherjakov, Daniela Wurhofer, Thomas Meneweger, and Manfred Tscheligi. A formal analysis ofthe iso 9241-210 definition of user experience. In Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factorsin Computing Systems, CHI EA ’15, pages 437–450, New York, NY, USA, 2015. ACM.

[14] Christiane Moser, Michaela Peterhansl, Thomas Kargl, and Manfred Tscheligi. The potentials of gamification to motivate older adults toparticipate in a p2p support exchange platform. In Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play,pages 655–660. ACM, 2015.

[15] Christiane Moser and Manfred Tscheligi. Physics-based gaming: exploring touch vs. mid-air gesture input. In Proceedings of the 14thInternational Conference on Interaction Design and Children, pages 291–294. ACM, 2015.

[16] Martin Murer, Bernhard Maurer, Hermann Huber, Ilhan Aslan, and Manfred Tscheligi. Torquescreen: Actuated flywheels for ungroundedkinaesthetic feedback in handheld devices. In Proceedings of the Ninth International Conference on Tangible, Embedded, and EmbodiedInteraction, TEI ’15, pages 161–164, New York, NY, USA, 2015. ACM.

[17] Martin Murer, Verena Fuchsberger, and Manfred Tscheligi. Deconstructivist interaction design: Interrogating expression and form. InCritical Alternatives 2015. ACM, 2015.

[18] Nicole Perterer, Alexander Meschtscherjakov, and Manfred Tscheligi. Co-navigator: An advanced navigation system for front-seat pas-sengers. In Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Auto-motiveUI ’15, pages 187–194, New York, NY, USA, 2015. ACM.

[19] Sandra Trosterer, Magdalena Gartner, Martin Wuchse, Bernhard Maurer, Axel Baumgartner, Alexander Meschtscherjakov, and ManfredTscheligi. Four eyes see more than two: Shared gaze in the car. In Proceedings of Interact 2015, 2015.

30 | Annual Report 2015

[20] Sandra Trosterer, Martin Wuchse, Christine Dottlinger, Alexander Meschtscherjakov, and Manfred Tscheligi. Light my way: Visualizingshared gaze in the car. In Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive VehicularApplications, AutomotiveUI ’15, pages 196–203, New York, NY, USA, 2015. ACM.

[21] Daniela Wurhofer, Thomas Meneweger, Verena Fuchsberger, and Manfred Tscheligi. Deploying robots in a production environment: Astudy on temporal transitions of workers’ experiences. In Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque,and Marco Winckler, editors, Proceedings of INTERACT 2015, volume 9298 of Lecture Notes in Computer Science, pages 203–220.Springer International Publishing, 2015.

[22] Daniela Wurhofer, Verena Fuchsberger, Thomas Meneweger, Christiane Moser, and Manfred Tscheligi. Insights from ux research in thefactory: What to consider in interaction design. In Proceedings of Human Work Interaction Design, 2015.

[23] Daniela Wurhofer, Alina Krischkowsky, Marianna Obrist, Evangelos Karapanos, Evangelos Niforatos, and Manfred Tscheligi. Everydaycommuting: Prediction, actual experience and recall of anger and frustration in the car. In Proceedings of the 7th International Conferenceon Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15, pages 233–240, New York, NY, USA, 2015.ACM.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 31

Miscellaneous

[1] Ilhan Aslan, Verena Fuchsberger, Manfred Tscheligi, and Jelle van Dijk. Integrating theories of mind with tangible and embeddedinteraction design. In Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction, TEI ’15,pages 465–468, New York, NY, USA, 2015. ACM.

[2] Roland Buchner, Verena Fuchsberger, Astrid Weiss, and Manfred Tscheligi. Designing for the factory: Ux prototyping for the cleanroom.In INTERACT 2015 Adjunct Proceedings: 15th IFIP TC. 13 International Conference on Human-Computer Interaction 14-18 September2015, Bamberg, Germany, volume 22, page 145. University of Bamberg Press, 2015.

[3] Isha Dandavate, Jennifer Milam, Jeanne Allen, Christiane Moser, Thomas Kargl, Manfred Tscheligi, Jeroen Vanattenhoven, LiliaPerez Romero, Fabian Schiller, and Joost Negenman. People, context, and devices: Defining the new landscape of tv experiences.In Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video, pages 209–213. ACM, 2015.

[4] Andreas Frank, Fabian Schneider, Alexander Meschtscherjakov, and Julian Stadon. Advanced traffic light interface: Countdown timersto increase user experience. In Adjunct Proceedings of the 7th International Conference on Automotive User Interfaces and InteractiveVehicular Applications, AutomotiveUI ’15, pages 56–61, New York, NY, USA, 2015. ACM.

[5] Verena Fuchsberger, Martin Murer, Manfred Tscheligi, Jose Abdelnour-Nocera, Pedro Campos, and Frederica Goncalves. Workshop:Human work interaction design (hwid): Design for challenging work environments. In Proceedings of Interact 2015, 2015.

[6] Verena Fuchsberger, Martin Murer, Manfred Tscheligi, Silvia Lindtner, Andreas Reiter, Shaowen Bardzell, Jeffrey Bardzell, and PernilleBjørn. Workshop: The future of making: Where industrial and personal fabrication meet. In Critical Alternatives 2015, 2015.

[7] Alina Krischkowsky, Manfred Tscheligi, Katja Neureiter, Michael Muller, Anna M. Polli, and Nervt Verdezoto. Workshop: Experiencesof technology appropriation: Unanticipated users, usage, circumstances, and design. In Adjunct Proceedings of the European Conferenceon Computer Supporter Cooperative Work, 2015.

32 | Annual Report 2015

[8] Thomas Meneweger, Marianna Obrist, and Manfred Tscheligi. Meanings of a blurred mobile-home context for people aged 50plus. InINTERACT 2015 Adjunct Proceedings: 15th IFIP TC. 13 International Conference on Human-Computer Interaction, pages 335–341,Bamberg, Germany, 2015. University of Bamberg Press.

[9] Alexander Meschtscherjakov, Manfred Tscheligi, Dalila Szostak, Rabindra Ratan, Roderick McCall, Ioannis Politis, and Sven Krome.Experiencing autonomous vehicles: Crossing the boundaries between a drive and a ride. In Proceedings of the 33rd Annual ACMConference Extended Abstracts on Human Factors in Computing Systems, CHI EA ’15, pages 2413–2416, New York, NY, USA, 2015.ACM.

[10] Alexander Meschtscherjakov, Rod McCall, Nicolas Louveton, Thomas Engel, Manfred Tscheligi, and Vincent Koenig. Madsav: Maintain-ing driving skills in semi-autonomous vehicles. In Adjunct Proceedings of the 7th International Conference on Automotive User Interfacesand Interactive Vehicular Applications, AutomotiveUI ’15, pages 136–139, New York, NY, USA, 2015. ACM.

[11] Alexander Meschtscherjakov, Lukas Wanko, and Fabio Batz. Led-a-pillars: Displaying distance information on the cars chassis. In AdjunctProceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15,pages 72–77, New York, NY, USA, 2015. ACM.

[12] Alexander Meschtscherjakov, Hubert Scharfetter, Stefan Paul Kernjak, Nino Marcel Kratzer, and Julian Stadon. Adaptive digital sun-shade: Blocking the sun from blinding the driver. In Adjunct Proceedings of the 7th International Conference on Automotive UserInterfaces and Interactive Vehicular Applications, AutomotiveUI ’15, pages 78–83, New York, NY, USA, 2015. ACM.

[13] Alexander Meschtscherjakov, Manfred Tscheligi, Dalila Szostak, Rabindra Ratan, Roderick McCall, Ioannis Politis, Sven Krome, AndreasRiener, Jeon Myounghoon, and Jacques Terken. 3rd workshop on user experience of autonomous driving. In 7th International Conferenceon Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15, 2015.

[14] Christiane Moser, Thomas Kargl, Manfred Tscheligi, Bernhard Feldbacher, Bernhard Collini-Nocker, Matteo Harutunian, Fabian Schiller,Michael Eitelberg, Nasser Altaani, Manuel Eisele, and Philipp Osl. Getvivid: A tv platform for p2p support exchange. In ExtendedAbstract Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video, 2015.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 33

[15] Martin Murer, Anna Vallgarda, Mattias Jacobsson, and Manfred Tscheligi. Un-crafting: Exploring tangible practices for deconstructionin interactive system design. In Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction,TEI ’15, pages 469–472, New York, NY, USA, 2015. ACM.

[16] Martin Murer, Alexander Meschtscherjakov, Verena Fuchsberger, Manuel Giuliani, Katja Neureiter, Christiane Moser, Ilhan Aslan, andManfred Tscheligi. Contextual interaction design research: Enabling hci. In Human-Computer Interaction – INTERACT 2015 – 15thIFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV, pages 621–623, 2015.

[17] Evangelos Niforatos, Evangelos Karapanos, Marc Langheinrich, Daniela Wurhofer, Alina Krischkowsky, Marianna Obrist, and ManfredTscheligi. emotion: Retrospective in-car user experience evaluation. In Adjunct Proceedings of the 7th International Conference onAutomotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15, pages 118–123, New York, NY, USA, 2015. ACM.

[18] Sandra Trosterer, Martin Wuchse, Axel Baumgartner, Bernhard Maurer, Magdalena Gartner, Alexander Meschtscherjakov, and ManfredTscheligi. Lctnav: A method for investigating collaborative navigation. In Adjunct Proceedings of the 7th International Conference onAutomotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15, pages 124–129, New York, NY, USA, 2015. ACM.

[19] Astrid Weiss, Alexander Meschtscherjakov, Roland Buchner, Ewald Strasser, PatriciaM Kluckner, Sebastian Osswald, Nicole Mirnig, DavidWilfinger, Nicole Perterer, Petra Sundstroem, Arno Laminger, and Manfred Tscheligi. Exploring challenging environments: Contextualresearch in the car and the factory through an hci lens. In Volker Wulf, Kjeld Schmidt, and David Randall, editors, Designing SociallyEmbedded Technologies in the Real-World, Computer Supported Cooperative Work, pages 271–304. Springer London, 2015.

[20] Daniela Wurhofer, Verena Fuchsberger, Thomas Meneweger, Christiane Moser, and Manfred Tscheligi. Insights from user experienceresearch in the factory: What to consider in interaction design. In Jose Abdelnour Nocera, Barbara Rita Barricelli, Arminda Lopes,Pedro Campos, and Torkil Clemmensen, editors, Human Work Interaction Design. Work Analysis and Interaction Design Methods forPervasive and Smart Workplaces, volume 468 of IFIP Advances in Information and Communication Technology, pages 39–56. SpringerInternational Publishing, 2015.

[21] Daniela Wurhofer. Temporal transitions of user experience. In Adjunct Proceedings of Interact 2015, pages 21–25, 2015.

34 | Annual Report 2015

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

3.12 TeachingCourses

• Einfuhrung HCI

• Future HCI Approaches

• HCI Anwendungen

• Bachelor Projekt

• Seminar aus Informatik

• Future Interaction Design

• Advanced HCI Theories and Methods

• HCI Dissertantenseminar

• Contextual Interfaces

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 35

3.13 Supervised theses

PhD

• Beck, Elke: Video-mediated communication in interactiondesign.

• Fuchsberger, Verena (completed 10.03.2015): InterrelatingMaterials, Artifacts, Interaction Design, and Users.

• Grah, Thomas: Haptic Sensory Augmentation: BeyondTactile Cues and Visual Representation, Toward Super-Human Perception in High Cognitive Load Contexts.

• Kramer, Mark: Educational Technology as Experience:Examining the Impact and Acceptance of Technology En-hanced Learning Scenarios.

• Krischkowsky, Alina: Social Roles Empowering Collabora-tion: From Offline to Online Social Organizations and ViceVersa.

• Maurer, Bernhard: Embodied Interaction in Play: Inte-grating Context and Gameplay.

• Meneweger, Thomas: Ordinariness of Experience: Access-ing UX in the Factory by Means of Qualitative Interviews.

• Mirnig, Alexander: Patterns in Research and Practice:Systems, Use, and Generation.

• Mirnig, Nicole: Robot Feedback: Development of a Taxon-omy and Exemplary Feedback Studies.

• Moser, Christiane (completed 16.06.2015): Child-CenteredGame Development.

• Murer, Martin: Making Things Apart - De-ConstructivePractices in Interaction Design.

36 | Annual Report 2015

• Neureiter, Katja: Social Capital & Presence: Facilitatingbeneficial Relationships over Distance.

• Perterer, Nicole: Safety through Collaboration: A newChallenge for Automotive Design.

• Stollnberger, Gerald: Adaptive Multimodal Interaction forHuman-Robot Collaboration (HRC) through Implicit ErrorRecognition - Enabling Natural Interaction for HRI.

• Trosterer, Sandra: Design of Gaze-Assisted Humand-Computer Interaction.

• Wurhofer, Daniela: Temporal Transitions of User Experi-ence.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 37

Master

• Baumgartner, Axel (completed 18.05.2015): CES: A Con-textual Experience Sampling System for Human-ComputerInteraction Studies in The Wild.

• Bruckenberger, Ulrike: Die Darstellung von Robotern inden Medien. Terminator vs. Wall-E.

• Dottlinger, Christine: Prototypen im Einsatz: Design-Rationale und Prototypingprozesse.

• Gartner, Magdalena: How Children Adopt and Integrate aNew Media Technology into their Daily Life.

• Hoffman, Michael: Emotionserkennung in Computerspie-len. (FH Salzburg)

• Janner, Oliver: Anthropomorphisms in the AutomotiveContext: Categorization and Impact on Persuasion.

• Kratzer, Nino: HCI for Children. Collaborative Gamingand Learning. (FH Salzburg)

• Neulinger, Philipp: Potentials of Digital Mirrors in Cars.

• Stadler, Susanne (completed 07.07.2015): Robot Program-ming by Demonstration: Investigation of Acceptance Fac-tors regarding Kinesthetic Teaching and Robot Appearancein the Factory.

• Wuchse, Martin: Toolbased Narration Support in MobileEnvironments.

38 | Annual Report 2015

Cen

ter

for

Hum

an-C

ompu

ter

Inte

ract

ion

Bachelor

• Ablinger, Victoria: Effect of Monochromatic Short-Wavelength Light on Attention while Driving a Car.

• Fammler, Julian: Trust in Software and Community Sys-tems.

• Kain, Kevin: Augmented Reality-Supported IndustrialRobot Programming.

• Miksch, Markus: Impact of Error Situations in Human-Robot Interactions.

• Miksch, Michael: Automatic Recognition of Error Situa-tions in Human-Robot Interactions Using RGB-D Sensors.

• Peterhanls, Michaela (completed 23.11.2015): Gamifica-tion as Motivation for Older Adults.

• Scherer, Benjamin : A Digital-Physical Technology Probefor Exploring Company Communication Needs.

• Wiesner, Annabell: Designing a Cross-Media Game “Ex-plore Planet Earth”. (FH Salzburg)

• Zenz, Cornelia (completed 04.03.2015): Heuristics andGuidelines for the Development of Medical Robotic Sys-tems.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 39

4 Database SystemsOverviewThe research interests of the Database Research Group (http://dbresearch.uni-salzburg.at) is centered around data-centric applications in database and infor-mation systems. A particular focus is on similarity search queries over large datacollections, for example, approximate tree matching, set similarity joins, efficientsimilarity search indexes, and top-k queries. Other research interests include queryprocessing in geographic information systems and load balancing algorithms fordistributed frameworks like MapReduce. The research results are new algorithms withperformance guarantees, which are implemented and evaluated on the motivatingapplication.

Head

Univ.-Prof. Dr. Nikolaus Augsten

Faculty Members• Mateusz Pawlik, PhD• Dipl.-Ing. Willi Mann• Bezaye Tesfaye

Administrative Staff• Petra Kirchweger• Mag.a (FH) Judith Warter

Technical Staff• Alfred Egger

Student Assistants• Daniel Kocher

40 | Annual Report 2015

4.1 Project: DK GIScience – Extending GIS Capabilities of Database SystemsThe DK GIScience (http://dk-giscience.zgis.net) is a doctoral college in Geographic Informa-tion Sciences at the University of Salzburg. In the context of this project, the database researchgroup works on extending GIS capabilities of database systems with a focus on two main topics:

Isochrone Queries for SQL An isochrone in a spatial network is a possibly disconnected subgraphthat covers all space points from which a specific point of interest is reachable within a given timeperiod at a specific point in time. Isochrones have interesting applications, for example, geomarketing(e.g., positioning of franchise stores) or urban planning (e.g., finding spots in the city that are hardto reach by public transportation). Isochrones are particularly interesting as part of a larger querythat combines spatial and non-spatial aspects. Answering such queries is challenging, in particularwhen multimodal networks are involved. The goal of the project is to extend SQL with the notionof isochrones and develop efficient evaluation strategies for isochrones in multimodal networks.

Large Scale Similarity Queries for Geocoding Data often have an implicit spatial aspect (e.g.,a restaurant has a location even if the location is not stored in the database). Enriching data withexplicit spatial references, called geocoding, adds value to the data. In order to introduce spatialreferences into a data set, non-spatial attributes must be used to link the non-geocoded data topre-existing geocoded data, i.e., a join must be computed. Since in geocoding the joined datasetsoften originate from different sources, there may be no common key value. Then, computing the joinis challenging: exact join conditions (which are efficient and well studied) will fail since data itemsthat represent the same real world object may differ. The goal of this project is to advance the stateof the art in processing similarity queries on large data volumes in GIS-enabled relational databasesystems.

Project-Facts:

Duration 2015 - 2019Partners Z GIS (Univ. Salzburg),

Dept. of Geography andGeology (Univ. Salzburg),Zentralanstalt fur Metrologieund Geodynamic (ZAMG),Louisiana State University

Funding 2’133’000 EUR, Austrian Sci-ence Fund (FWF)

Members:• Nikolaus Augsten (faculty)• Willi Mann (PhD student)• Mateusz Pawlik (PostDoc)• Bezaye Tesfaye (PhD student)

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 41

Dat

abas

eSy

stem

s

4.2 PublicationsJournals

[1] Mateusz Pawlik and Nikolaus Augsten. Efficient computation of the tree edit distance. ACM Transactions on Database Systems, 40(1):3:1–3:40, March 2015.

[2] Willi Mann and Nikolaus Augsten. An empirical evaluation of set similarity join techniques. Proc. VLDB Endow., To appear.

Dat

abas

eSy

stem

s

4.3 TeachingCourses

• Datenbanken I

• Datenbanken II

• Tuning von Datenbanksystemen

• Datenbanken Vertiefung

• Effiziente Algorithmen

• Perlen der Datenbankliteratur

• IT Security

42 | Annual Report 2015

Dat

abas

eSy

stem

s

4.4 Supervised thesesBachelor

• Markus Reiter: SQL Database System for Structured TextFiles

• Rupert Eisl: Indexing Structured Text Files

• Stefan Schwarz: An Experimental Evaluation of Tree EditDistance Algorithms

• Andreas Eckschlager: Benchmarking Hashmaps for C++(ongoing)

• Michael Wenig: Constructing a Cost-Based Query Opti-mizer (ongoing)

• Anton Ebner: Database Statistics for Structured Text Files(ongoing)

• Lukas Buchner: Diversifying Search Results in OnlineShopping (ongoing)

• Sibylle Proschofski: Experimental Comparison of UpperBounds for the Tree Edit Distance (ongoing)

• Tobias Auinger: Visualization of Edit Mappings for LargeTrees (ongoing)

• Robert Zauner: Optimizing Basic SQL Queries (ongoing)

Master

• Stefan Holler: Anfrageoptimierung in verteilten NoSQL-Datenbanken

• Daniel Kocher: Efficient Techniques for Tree SimilarityJoin (ongoing)

• Stefan Schwarz: Parallelizing Tree Edit Distance (ongoing)

• Patrick Rappensberger: Relevant Search Results in OnlineShopping (ongoing)

PhD

• Willi Mann: Efficient Computation of Set Similarity Joins(ongoing)

• Bezaye Tesfaye: Isochrone Queries in Multimodal Networks(ongoing)

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 43

Dat

abas

eSy

stem

s

4.5 Miscellaneous activitiesJournal Editorship

• Associate Editor of The VLDB Journal (Springer)

Conference Program Committees

• International Conference on Data Engineering, ICDE 2015

• International Conference on Extending Database Technology, EDBT 2015 (demo)

• International Conference on Database Systems for Advanced Applications, DASFAA 2015

• International Conference on Very Large Databases, VLDB 2015 (demo)

Referee

• IEEE Trans. on Knowledge and Data Engineering (TKDE)

• ACM Transactions on Database Systems (TODS)

• ACM Symposium on Principles of Database Systems (PODS)

• Cartography and Geographic Information Science

44 | Annual Report 2015

5 Efficient AlgorithmsOverview

Our research group focuses on different algorithmic aspects of parallel and dis-tributed computing. Parallel and distributed algorithms are used to solve large,computationally intensive problems in science and engineering. We work on theinterface between discrete mathematics, theoretical computer science, and par-allel aspects of computing. We combine various techniques from these fieldsto design efficient solutions for problems such as information dissemination,distributed communication, network exploration, load balancing, and graphmodels for large real world networks.In teaching, we cover the basic course for algorithms and data structures for1st year students, as well as more advanced courses on algorithms for 3rd yearbachelor and master students. In addition, we run basic courses in theoreticalcomputer science. We also offer a number of seminars and projects related toparallel and distributed algorithms.

Head

Univ.-Prof. Dr. Robert Elsasser

Group Members

• Post-Doc

– Dr. Horst Trinker

• PhD Students

– Andreas Bilke, M. Sc.

– Dipl.-Ing. Dominik Kaaser

• Student Assistants

– Gregor Bankhamer

– Eva Lugstein

– Michael Moser

– Andreas Pollhammer

– Sophie Wirnsberger

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 45

Effici

ent

Alg

orith

ms

5.1 Project: Analysis of Epidemic Processes and Algorithms in Large NetworksEpidemic processes are often used to model and simulate the spread of a diseasein networks, which describe certain interactions between individuals (also calledsocial networks). Randomized algorithms based on such processes are calledepidemic algorithms. In this project we have two main objectives. First, weanalyze the so called gossiping problem. Here, we assume that at the beginningeach node of a network possesses a message, and all these messages have tobe distributed to all nodes of the underlying graph. The goal is to solve thisproblem in a small number of time steps and with a reduced number of messagetransmissions. First results show that the quality of such algorithms in completegraphs is worse than in the case of broadcasting. In this project, we considerthese algorithms in general graphs, and try to improve their performance.Our second objective consists of the theoretical analysis of epidemic processesin large networks. In most cases, epidemics are studied in static networks.However, one of the main reasons for the spread of diseases in a modern societyis due to the mobility of the people. We analyze epidemics in several state-of-the-art network mobility models, which take into account the spacial situationof different locations as well as the mobility of the people within a large urbanarea. Furthermore, we also consider the impact of the spread of awarenessabout a disease on the behavior of the underlying epidemic.

Project-Facts:

Duration 2012 – 2015Funding FWFProject Staff Michael Moser

Andreas PollhammerHorst Trinker

46 | Annual Report 2015

Effici

ent

Alg

orith

ms

5.2 Project: Distributed Voting in Large NetworksDistributed voting is a fundamental problem in distributed computing. We aregiven a network of players modeled as a graph. Each player in the network startswith one initial opinion, sometimes also called color, from a finite set of possibleopinions. Then the voting process runs either synchronously in discrete roundsor asynchronously according to some (possibly random) clock. During theserounds in the synchronous case, or upon activation in the asynchronous case, theplayers are allowed to communicate with their direct neighbors in the network.The main goal is to eventually agree on one of the initial opinions. If all nodesagree on one opinion, this opinion wins and the process converges. Typically,one would demand from such a voting procedure to run accurately, that is, theopinion with the highest number of initial supporters should win with decentprobability, and efficiently, that is, the voting process should converge withinas few communication steps as possible. Additionally, voting algorithms areusually required to be simple, fault-tolerant, and easy to implement.

Project-Facts:

Duration since 2015Funding FWFProject Staff Gregor Bankhamer

Michael MoserAndreas PollhammerHorst Trinker

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 47

Effici

ent

Alg

orith

ms

5.3 Project: Networks in Science and EngineeringIn Summer 2015, we offered internships in research and development to schoolstudents in the following four projects, which are closely related to our currentresearch interests.Information Dissemination in Large NetworksThe main goal of the project is to empirically analyze the behavior of random-ized rumor spreading protocols. Our interns learn how to develop software thatfully utilizes modern hardware by parallelizing suitable parts of the programcode. We also deploy the resulting simulations on our cluster system.Deterministic Majority VotingIn the binary deterministic majority voting process, we are given a graph, whereeach node has one out of two possible initial opinions. In each round, everynode contacts all of its neighbors and adopts the majority opinion among them.In order to gain better insights into this process, we develop a software solutionto specify input graphs and simulate the process.Random Geometric Graphs in Hyperbolic GeometriesIt has recently been shown that random geometric graphs in a hyperbolic planehave a similar node degree distribution as, for example, social graphs obtainedfrom online social networks. We therefore implement a simulation to createsuch hyperbolic-geometric graphs.Peer-to-Peer Networking with Mobile ClientsWe investigate the possibilities to use mobile clients, i.e., smart phones, to cre-ate self-organizing peer-to-peer networks in order to solve fundamental prob-lems like information dissemination and resource discovery.

Project-Facts:

Duration July – September 2015Funding FFGInterns Christoph Belohaubek

Tobias EggerMaximilian FridrichMarcell HaritopoulosEric HuangSlavko IvanovicTobias Schwap

48 | Annual Report 2015

Effici

ent

Alg

orith

ms

5.4 Teaching and Supervised ThesesCourses

• Algorithmen und Datenstrukturen

• Algorithmen fur verteilte Systeme

• Formale Sprachen und Komplexitatstheorie

• WFM: Effiziente Algorithmen

Bachelor

• Andreas Kostecka: Community Detection in Social Networks

Master

• Franziska Halbrainer: Analysis of Social Networks using Parallel Algorithms

PhD

• Andreas Bilke: Community Search and Graph Models in Large Social Networks

• Dominik Kaaser: Randomized Algorithms for Efficient Information Dissemination

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 49

Effici

ent

Alg

orith

ms

5.5 International Cooperations and Miscellaneous ActivitiesConference Program Committees

• 22nd International Colloquium on Structural Information and Communication Complexity (SIROCCO 2015)

• Euro-Par 2015

International Collaborations

• Chen Avin, Ben Gurion University, Israel

• Petra Berenbrink, Simon Fraser University, BC, Canada

• Andrea Clementi, University Tor Vergata of Rome, Italy

• Colin Cooper, King’s College, London

• Tom Friedetzky, Durham University

• Frederik Mallmann-Trenn, Simon Fraser University, BC, Canada

• Emanuele Natale, Sapienza University of Rome, Italy

• Tomasz Radzik, King’s College, London

• Thomas Sauerwald, University of Cambridge, UK

50 | Annual Report 2015

Invited Talks

• Workshop Random Walks on Random Graphs and Applications, Technische Universiteit Eindhoven (TU/e), The Netherlands:

Randomized Broadcasting – General Results and Recent Advances

• Seminar Talk at King’s College, London, UK

Workshop Talks

• Austrian HPC Meeting 2015, Obergurgl, Austria:

Finding Communities in Social Networks

Hosted Talks

• Emanuele Natale, Sapienza University of Rome, Italy

Simple Dynamics for Plurality Consensus

• Frederik Mallmann-Trenn, Simon Fraser University, BC, Canada

Threshold Load Balancing

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 51

Effici

ent

Alg

orith

ms

5.6 Publications[1] Hoda Akbari, Petra Berenbrink, Robert Elsasser, and Dominik Kaaser. Discrete Load Balancing in Heterogeneous Networks with a Focus

on Second-Order Diffusion. In Proceedings of the 35th IEEE International Conference on Distributed Computing Systems (ICDCS), 2015.

[2] Therese Biedl, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. Weighted Straight Skeletons in the Plane. ComputationalGeometry: Theory and Applications, 48(2):120–133, 2015.

[3] Therese Biedl, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. A Simple Algorithm for Computing Positively WeightedStraight Skeletons of Monotone Polygons. Information Processing Letters, 115(2):243–247, 2015.

[4] Robert Elsasser and Dominik Kaaser. On the Influence of Graph Density on Randomized Gossiping. In Proceedings of the 29th IEEEInternational Parallel & Distributed Processing Symposium (IPDPS), pages 521–531, 2015.

[5] Dominik Kaaser, Frederik Mallmann-Trenn, and Emanuele Natale. Brief Announcement: On the Voting Time of the DeterministicMajority Process. In Proceedings of the 29th International Symposium on Distributed Computing (DISC), 2015.

[6] Robert Elsasser and Horst Trinker. On the Isomorphism of Graphs Having Some Eigenvalues of Moderate Multiplicity. Linear Algebraand Its Applications, 2015. to appear.

[7] Colin Cooper, Robert Elsasser, Tomasz Radzik, Nicolas Rivera, and Takeharu Shiraga. Fast Consensus for Voting on General ExpanderGraphs. In Proceedings of the 29th International Symposium on Distributed Computing (DISC), pages 248–262, 2015.

[8] Petra Berenbrink, Robert Elsasser, and Thomas Sauerwald. Communication Complexity of Quasirandom Rumor Spreading. Algorithmica,72(2):467–492, 2015.

[9] Robert Elsasser and Dominik Kaaser. Randomized Renaming in Shared Memory Systems. In Proceedings of the 29th IEEE InternationalParallel & Distributed Processing Symposium (IPDPS), pages 542–549, 2015.

52 | Annual Report 2015

6 Scientific Computation

OverviewThe research activities of this division cover a variety of topics in theoretical and prac-tical aspects of Scientific Computation, which are also pursued in international coop-erations. Moreover, numerous lectures and courses are given by the division membersin their areas of expertise. The main fields of research are listed in the following:

Parallel Computation

• Efficient parallel linear algebra algorithms

• Algorithms for data retrieval in large data collections

• Fast solvers for elliptic partial differential equations

• Signal processing and compression algorithms for media processors

Head

Univ.-Prof. Dr. Marian Vajtersic

Faculty Members

• Ass.-Prof. Mag. Dr. Clemens Amstler

• Ao. Univ.-Prof. Dr. Elmar Eder

• Dipl.-Ing. Markus Flatz

• Ao. Univ.-Prof. Dr. Helge Hagenauer

• Assoc.-Prof. Dipl.-Ing. Dr. Rade Ku-til

• Ao. Univ.-Prof. Dipl.-Ing. Dr. HelmutA. Mayer

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 53

Mathematical Foundations of Computer Sciences

• Fourier analysis and wavelet theory

• Numerical integration and approximation of functions in reproducing kernelHilbert Spaces

• Automatic and semi-automatic deduction

• Algebra of proofs

Simulation

• Methods, tools, and applications for discrete event simulation

• Distributed simulation

Computational Intelligence

• Evolutionary artificial neural networks for robots and games

• Simulation of spiking neural networks and other biological systems

54 | Annual Report 2015

Scie

ntifi

cC

ompu

tatio

n

6.1 PublicationsJournals

[1] Martin Becka, Gabriel Oksa, and Marian Vajtersic. New dynamic orderings for the parallel one-sided block-Jacobi SVD algorithm.Parallel Processing Letters, 25(2):1550003–1–1550003–19, 2015.

Proceedings[1] Felix Wolf, Marian Vajtersic, Laura Carrington, Frederic Suter, and Miguel Pericas. Performance modeling, prediction, and evaluation.

In Proceedings of International Conference on Parallel and Distributed Computing (Euro-Par 2015), LNCS 9233, pages XXI–XXII.Springer-Verlag, 2015.

Miscellaneous[1] Paolo di Stolfo and Marian Vajtersic. Fast algorithm for the fourth-order elliptic problem based on orthogonal matrix decomposition. In

Book of Abstracts of 11th International Conference on Parallel Processing and Applied Mathematics (PPAM 2015), page 37. Universityof Czestochowa, 2015.

[2] Shuhei Kudo, Yusaku Yamamoto, Martin Becka, and Marian Vajtersic. Performance of the parallel one-sided block jacobi SVD algorithmon a modern distributed-memory parallel computer. In Book of Abstracts of 11th International Conference on Parallel Processing andApplied Mathematics (PPAM 2015), page 38. University of Czestochowa, 2015.

[3] Martin Becka, Gabriel Oksa, and Marian Vajtersic. Parallel code for one-sided jacobi-method. Technical Report 2015-02, 15 pp., Universityof Salzburg, Department of Computer Sciences, 2015.

[4] Yusaku Yamamoto, Gabriel Oksa, and Marian Vajtersic. Asymptotic quadratic convergence of the serial block-Jacobi EVD algorithm forhermitian matrices. Technical Report 2015-03, 16 pp., University of Salzburg, Department of Computer Sciences, 2015.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 55

[5] Paolo Di Stolfo and Marian Vajtersic. Fast algorithm for the fourth-order elliptic problem based on orthogonal matrix decomposition.Technical Report 2015-08, 12 pp., University of Salzburg, Department of Computer Sciences, 2015.

6.2 Courses• Digitale Rechenanlagen

• Parallelverarbeitung

• Lineare Algebra

• Numerische Mathematik

• Basisverfahren fur HPC

• Einfuhrung in die Programmierung

• Hardware Oriented Signal Processing

• Programmiersprachen: C/C++

• Statistik

• Audio Processing

• Analysis fur Informatik

• Hohere Mathematik fur Informatik

• Wavelets and Filterbanks

• Theoretische Informatik

• Nichtprozedurale Programmierung (Logische Program-mierung)

• Formale Systeme

• Orientierung Informatik

• Einfuhrung Simulation

• Algorithmen und Datenstrukturen

• Natural Computation

• Pattern Recognition

• Computational Neuroscience

56 | Annual Report 2015

Scie

ntifi

cC

ompu

tatio

n

6.3 Supervised thesesBachelor

• Kevin Buchele: Simulation der Studienzeit – Erweiterungeines Prototyps

• Aubin Simplice Kuche: Efficient Methods for ComputerSolution of One-Dimensional Heat Equation

• Andreas Pollhammer: Programm zum Berechnen undAnzeigen von SLD-Baumen

Master

• Julia Altenried: Evolutionary Solutions of the VehicleRouting Problem

• Michael Kleber: Parallelization of a Solution of EquationSystems for M/EEG problems

• Maximilian Schorr: Approximating a Nash EquilibriumStrategy for Full-Scale Heads-up No-Limit Hold’em Pokerby Coevolutionary Algorithms

• Paolo di Stolfo: Splitting-based Fast Algorithm for Solvingthe Rectangular Biharmonic Problem: A Sequential Imple-mentation

PhD

• Markus Flatz: Nonnegative Tensor Factorization: Algo-rithms and Parallelization

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 57

6.4 Miscellaneous activitiesConferences

• 2015 IEEE International Conference on Big Data (IEEEBig Data 2015) (Marian Vajtersic, session chair)

• 11th International Conference on Parallel Processing andApplied Mathematics (PPAM 2015) (Marian Vajtersic, PCmember)

• 21th International Conference on Parallel and DistributedComputing (Euro-Par 2015) (Marian Vajtersic, PC mem-ber)

• Austrian HPC Meeting 2015 (AHPC15) (Marian Vajtersic,session chair)

• ESM’2015 (European Simulation and Modelling Confer-ence) (Helge Hagenauer, PC member)

• ISC’2015 (Industrial Simulation Conference) (Helge Hage-nauer, PC member)

• GECCO 2015, Genetic and Evolutionary ComputationConference (Helmut Mayer, PC member Genetic Algo-rithms Track)

• CIG 2015, IEEE Conference on Computational Intelligenceand Games (Helmut Mayer, PC member)

• SMC 2015, IEEE International Conference on Systems,Man and Cybernetics (Helmut Mayer, PC member)

Societies

• European Academy of Sciences and Arts (Univ.-Prof. Dr.Marian Vajtersic, member)

• Pro-IT: Working Group of the Austrian Computer Society(Univ.-Prof. Dr. Marian Vajtersic, vice-head)

• Working Group Science of the Austrian Center for ScientificComputing (Univ.-Prof. Dr. Marian Vajtersic, head)

Guest speaker

• Marian Vajtersic at Lawrence Berkeley National Labora-tory, USA

• Marian Vajtersic at Department of Computer Science, Uni-versity of Haifa, Israel

Supervision of FFG summer internships

• Visualization of matrix factorizations (1 student)

58 | Annual Report 2015

Softw

are

Syst

ems

Cen

ter

7 Software Systems CenterComputational Systems Group

The Computational Systems Group, lead by Prof. Christoph Kirsch,currently hosts five PhD students and four masters students. Moreover,Prof. Ana Sokolova, is associated with the group as assistant professor.The research focus of the group is on principled engineering of concurrentdata structures and memory management systems and benchmarks aswell as on probabilistic systems and co-algebraic structures. The groupoffers classes and seminars on compiler construction, operating systems,concurrency, logic, and verification.

Head

Univ.-Prof. Dr. Christoph Kirsch

Faculty Members• Dr.in Ana Sokolova

Students• Dipl.-Ing. Martin Aigner (externally funded)• Dipl.-Ing. Sebastian Arming (externally funded)• Pierre Donat-Bouillud, M. Sc. (externally funded)• Dalmir Hasic (externally funded)• Thomas Hutter (externally funded)• Ouafae Lachhab, M. Sc.• Alexander Miller (externally funded)• Mario Preishuber (externally funded)• Alireza Salami Abyaneh, M. Sc.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 59

Softw

are

Syst

ems

Cen

ter

7.1 Project: Rigorous Systems Engineering, FWF NFN

Project-Facts:

Title Rigorous Systems EngineeringDuration 2011–2019Partners IST Austria, JKU Linz, TU

Graz, TU ViennaWebpage http://arise.or.atFunding FWF NFNAmount Total 7,411,310 EUR (Project

Part 4 and 11 - University ofSalzburg 681,730 EUR)

Rigorous Systems Engineering (RiSE)Over the past decades, the complexity and size as well as the ubiquity and criticality

of computer systems have increased dramatically. They are now at a level wherehuman engineers and programmers require assistance by computer-aided methodsand tools that are based on a rigorous mathematical foundation. We have seen muchrecent progress in such techniques and tools: model checkers and static analyzers arenow used routinely in the design of hardware and certain restricted kinds of software.Nevertheless, the exploding presence of concurrent computation — from multi-coreprocessors to cloud computing — has rendered many established methods obsoleteand is the single most important challenge facing systems engineering today.

The traditional use of model checking and related techniques has been a posteriori,i.e., a program or model is analyzed after completion. This procedure is costly anddecouples the quality assessment from the engineering process. It is the goal of ourproject to move beyond classical model checking and a posteriori verification. We usethe term “Rigorous Systems Engineering” (RiSE) to describe an approach in whichmathematical techniques such as model checking provide a solid foundation for thedesign process from day one. Within RiSE, we focus on topics that are motivated bythe new generation of highly concurrent and embedded systems: We look at softwaretransactions and data center programming to address multi-core and software-as-a-service issues; at virtualization and distributed message passing concepts to address real-time issues; and at the integration of model checkingwith complementary, execution-based techniques, such as software testing, in order to build tools that can cope with large-scale softwaresystems.

60 | Annual Report 2015

The project has three main research thrusts: First, we develop new language-based, architectural, and verification paradigms for highlyconcurrent and real-time software. Second, we develop novel game-theoretic algorithms for analyzing and synthesizing individual systemcomponents within a larger context. Third, we develop and improve decision procedures that lie at the very heart of every automatic methodand tool for system design and analysis.

RiSE consists of five internationally recognized researchers from the model checking community and four renowned researchers from theneighboring fields of software systems, distributed computing, and computational logic. This set-up encourages the integration of differentviewpoints and complementary approaches towards the common objective of RiSE.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 61

Softw

are

Syst

ems

Cen

ter

7.2 Project: Semantic Locality, Google Project

Project-Facts:

Title Semantic LocalityDuration 04/2015–03/2016Partner Google Inc.Webpage http://acdc.cs.uni-salzburg.atFunding Google Inc.Amount 80,000 EUR

Memory Management BenchmarkingThe performance of managed programming languages is essentially determined by

the performance of code execution and the performance of memory management.While there are numerous tools for benchmarking and profiling code execution there issurprisingly little support for systematic analyses of memory management. The avail-able memory management benchmarks typically do not cover the diverse applicationspace of modern VMs such as Google’s V8, and do not allow microbenchmarking best-and worst-case behavior. Performance deficiencies in their memory management sys-tems may therefore remain undetected during development and only be exposed laterduring deployment. In collaboration with Google Inc., we are working on tools thathelp expose the potential for improvements in memory management performance.

62 | Annual Report 2015

Softw

are

Syst

ems

Cen

ter

7.3 Project: Self-Referential Systems Software, Teaching Project

Project-Facts:

Title SelfieWebpage http://selfie.cs.uni-salzburg.at

The Selfie Project provides an educational platform for teaching undergraduateand graduate students the design and implementation of programming languages andruntime systems. The focus is on the construction of compilers, libraries, operatingsystems, and even virtual machine monitors. The common theme is to identify andresolve self-reference in systems code which is seen as the key challenge when teachingsystems engineering, hence the name.

Selfie is a fully self-referential 6k-line C implementation of:

• a self-compiling compiler called starc that compiles a tiny but powerful subsetof C called C Star (C*) to a tiny but powerful subset of MIPS32 called MIPSter,

• a self-executing emulator called mipster that executes MIPSter code includingitself when compiled with starc,

• a self-hosting hypervisor called hypster which is based on a tiny microkernelimplemented in mipster and provides MIPSter virtual machines that can host all of selfie, that is, starc, mipster, and hypster itself, and

• a tiny C* library called libcstar utilized by selfie.

Selfie is kept minimal for simplicity and implemented in a single file. There is neither a linker nor an assembler. However, there is a simpleprofiler and disassembler and even a simple debugger as well as minimal operating system support in the form of MIPS32 o32 system calls builtinto the emulator. C* is a tiny Turing-complete subset of C that includes dereferencing (the * operator) but excludes composite data types,bitwise and Boolean operators, and many other features. There are only signed 32-bit integers and pointers as well as character and stringliterals. This choice turns out to be helpful for students to understand the true role of composite data types such as arrays and records. Bitwise

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 63

operations are implemented in libcstar using signed integer arithmetics helping students gain true understanding of two’s complement. C* issupposed to be close to the minimum necessary for implementing a self-compiling, single-pass, recursive-descent compiler. C* can be taught inaround two weeks of classes depending on student background. The compiler can readily be extended to compile features missing in C* andto improve performance of the generated code. The compiler generates MIPSter executables that can directly be executed by the emulatoror written to a file in a simple, custom-defined format. Support of standard MIPS32 ELF binaries should be easy but remains future work.MIPSter is a tiny Turing-complete subset of the MIPS32 instruction set. It only features arithmetic, memory, and control-flow instructions butneither bitwise nor byte-level instructions. MIPSter can be properly explained in a single week of classes. The emulator implements minimaloperating system support that is meant to be extended by students, first as part of the emulator, and then ported to run on top of it, similar toan actual operating system or virtual machine monitor. The fact that the emulator can execute itself helps exposing the self-referential natureof that challenge. In fact, selfie goes one step further by implementing microkernel functionality as part of the emulator and a hypervisor thatcan run as part of the emulator, on top of the emulator, and even on top of itself, all with the same code. Selfie is the result of many yearsof teaching systems engineering. The design of the compiler is inspired by the Oberon compiler of Professor Niklaus Wirth from ETH Zurich.The design of the selfie microkernel is inspired by microkernels of Professor Jochen Liedtke from University of Karlsruhe.

64 | Annual Report 2015

Software Engineering Group

Please refer to www.SoftwareResearch.net

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 65

8 Visual Computing and MultimediaOverviewThis division comprises three labs, the Computational Geometry and Applica-tions Lab (http://www.cosy.sbg.ac.at/˜held/work.html), the MultimediaCommunications Lab, and the Multimedia Signal Processing and Security Lab(WaveLab, wavelab.at).

HeadAo.Univ.Prof. Dr. Martin HeldFaculty Members• Ass.-Prof. Dr. Bernhard Collini-Nocker• Ass.-Prof. Dr. Roland Kwitt• Univ.-Prof. Dr. Andreas Uhl

Funded Project Staff• Dipl.-Ing. Luca Debiasi• Dipl.-Ing. Gunther Eder• Mag. Bernhard Feldbacher• Dipl.-Ing. Michael Gadermayr• Dipl.-Ing. Dr. Sebastian Hegenbart• Dipl.-Ing. Dr. Heinz Hofbauer• Dipl.-Ing. Christof Kauba• Dipl.-Ing. Peter Palfrader• Susanna Reisinger• Dipl.-Ing. Rudolf Schraml• Dipl.-Ing. Josef Seibl• Mag. Georg Wimmer

66 | Annual Report 2015

Visu

alC

ompu

ting

and

Mul

timed

ia

8.1 Project: ICT COST Action IC1106: Integrating Biometrics and Forensics for the Digital AgeForensics is the application of a broad spectrum of sciences to answer ques-tions of interest to a legal system. This may be in relation to a crime or acivil action” [Wikipedia]. Since many such questions boil down to identifying,or verifying the identity, of people allegedly involved in some action, a clearrelationship exists between forensics and biometrics. Biometrics developed anumber of techniques which can clearly facilitate the identification of peopleinvolved in criminal actions or civil incidents. Thus, although the two com-munities have traditionally often operated in relative isolation, there are manyscenarios where the synergic cooperation of multimodal biometrics and forensicscan be successfully applied.

Project-Facts:

Duration 2012 - 2015Partners 28 COST management committee

membersFunding EU - COST (European Cooperation

in Science and Technology)Amount Travel & mobility costs (MC meet-

ings, workshop attendance, shortterm scientific missions)

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 67

Visu

alC

ompu

ting

and

Mul

timed

ia

8.2 Project: ICT COST Action IC1206: De-identification for privacy protection in multimedia contentDe-identification in multimedia content can be defined as the process of conceal-ing the identities of individuals captured in a given set of data (images, video,audio, text), for the purpose of protecting their privacy. This will provide aneffective means for supporting the EUs Data Protection Directive (95/46/EC),which is concerned with the introduction of appropriate measures for the pro-tection of personal data. The fact that a person can be identified by suchfeatures as face, voice, silhouette and gait, indicates the de-identification pro-cess as an interdisciplinary challenge, involving such scientific areas as imageprocessing, speech analysis, video tracking and biometrics. This Action aims tofacilitate coordinated interdisciplinary efforts (related to scientific, legal, eth-ical and societal aspects) in the introduction of person de-identification andreversible de-identification in multimedia content by networking relevant Euro-pean experts and organisations.

Project-Facts:

Duration 2013 - 2017Partners 43 COST management committee

membersFunding EU - COST (European Cooperation

in Science and Technology)Amount Travel & mobility costs (MC meet-

ings, workshop attendance, shortterm scientific missions)

68 | Annual Report 2015

Visu

alC

ompu

ting

and

Mul

timed

ia

8.3 Project: Biometric Sensor ForensicsProject on using media forensics to enhance biometric systems security. Imageand video forensics have emerged to complement classical cryptographic tech-niques and active media security techniques, in application cases where thesepassive technologies can offer advantages to the more established methodolo-gies. This project aims to apply image forensic techniques in the context offingerprint and iris biometric systems, by taking care of (1) the specific natureof biometric sensors and (2) the specific nature of biometric sample data. Inparticular, questions of biometric sensor authentication, biometric sample dataintegrity verification, and biometric sensor ageing will be covered. We will con-tribute to biometric system accuracy, reliability, and security with the resultsof this project.

Project-Facts:

Duration 2014 - 2017Partners TU Dresden

Chinese Academy of SciencesFunding FWF

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 69

Visu

alC

ompu

ting

and

Mul

timed

ia

8.4 Project: Towards Improved Celiac Disease DiagnosisCeliacVideo (FWF KLI project 429) is a joint project led by Andreas Vec-sei from the St. Anna Children’s Hospital in Vienna, where we have the roleof a national research partner. Celiac disease (CD) has a prevalence of 1%.To confirm the diagnosis, in children with serologically suspected CD until re-cently small bowel biopsy was recommended. To avoid biopsies but still reliablyprove the diagnosis, a variety of new endoscopic techniques including softwarefor the analysis of endoscopic still images has been developed. If automatedanalysis-software can detect villous atrophy not only in endoscopic still imagesbut in video clips as well, in such cases, a small bowel biopsy could entirelybe avoided. The main question we will try to assess is, if such software canbe developed and easily integrated into the routine of pediatric endoscopy.Furthermore, we will examine if the narrow band imaging technique, an opti-cal/digital chromoendoscopy, can further improve the reliability of automatedanalysis. Various feature extraction and classification strategies will be appliedfor automated differentiation between presence and absence of villous atrophyin the endoscopic video clips.

Project-Facts:

Duration 2015 - 2017Partners St. Anna Childrens Hospital, Vienna

Medical University Hospital, ViennaFunding FWF

70 | Annual Report 2015

Visu

alC

ompu

ting

and

Mul

timed

ia

8.5 Project: Metrics for Assessing Visual Security of Image and Video Encryption SchemesFWF project P27776 is a project on developing metrics to automatically assessthe amount of information present in image or video ciphertext (after eventualattacks have been mounted). Such metrics play an important role in the defi-nition of security of image and video encryption schemes (IVES): The securityof IVES relies on the inability of an attacker to reconstruct an approxima-tion of the original content with higher quality than targeted by the scheme.Compared to conventional visual quality metrics (PSNR / SSIM / VIF) thesesecurity metrics have to assess visual similarity for extremely low quality con-tent, for which the conventional metrics are no longer applicable. Besides thedevelopment of such metrics (which is one of the main goals of this project), dif-ferent subjective test methodologies will have to be considered, developed andimplemented, which are applied to IVES-specific subjective databases. Thesedatabases, also established in the framework of the project, will serve as objec-tive basis of evaluation for the suitability of a metric.

Project-Facts:

Duration 2015 - 2018Partners Universiy of Nantes, FranceFunding FWF

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 71

Visu

alC

ompu

ting

and

Mul

timed

ia

8.6 Project: Endoscope Distortion Correction in (Texture Classification-based) Automated Diagnosis SupportSystems

Project devoted to the investigation if knowledge about the type and extent ofoptical distortion in endoscopes can be exploited to improve the accuracy oftexture-classification based automated diagnosis support systems. In particu-lar, we focus on the gastrointestinal tract. We rely on datasets generated inearlier projects with Michael Hafner from the St. Elisabeth Hospital Vienna(colon data, aimed at polyp classification and cancer detection), and with An-dreas Vecsei from the Vienna St. Anna Childrens Hospital (duodenal data,aimed at diagnosis of celiac disease).

Project-Facts:

Duration 2012 - 2015Partners St. Anna Childrens Hospital, Vienna

St. Elisabeth Hospital, ViennaFunding FWF

72 | Annual Report 2015

Visu

alC

ompu

ting

and

Mul

timed

ia

8.7 Project: Traceability of Logs by Means of Digital ImagesThe aim of the project is to verify the traceability of logs on the basis ofadditional data acquisition in the forest (digital imagery) and to describe themain methodical framework for this approach to be taken. Focus is set on thedevelopment of feature descriptors, which are experessive enough to identify asingle log (i.e. tree) based on a digital image of its cross-section. Project-Facts:

Duration 2012 - 2015Partners Salzburg University of Applied Sci-

ences (School of Forest ProductsTechnology)

Funding FWF TRP

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 73

Visu

alC

ompu

ting

and

Mul

timed

ia

8.8 Project: eHealth Platform”GeTVivid – Let’s do things together” aims at supporting older adults withmild impairments (e.g., restricted mobility, hearing, or vision impairments) tomanage their daily activities in their (residential) home and aims at improvingthe quality of life, autonomy, and participation in social life. The goal of theproject is to offer a useful and valuable set of AAL-related functionality andservices to older adults, as well as informal and formal carers through the use ofconnected TV devices based on the HbbTV standard (Hybrid Broadcast Broad-band Television). The GeTVivid platform on the TV and tablet 1) provides asupport exchange system enabling older adults to offer/demand for support foractivities of daily living to/from others, who are living in geographical close-ness; 2) enables access to professional service providers like meals on wheels,shopping assistance, house-keeping, taxi, medical help or assistance, etc. and3) offers support functions like reminders, news, weather, etc.

Project-Facts:

Duration 2013 - 2016Partners Salzburg University ICT& S

IRT GmbHUniversity St. GallenEVISION GmbHISOINvarious Social Communities

Funding FWF TRP

74 | Annual Report 2015

Visu

alC

ompu

ting

and

Mul

timed

ia

8.9 Project: Straight SkeletonsThe goal of the project is the study of the theory and application of straightskeletons in 2D and 3D. Based on prior work in a previous FWF project, weplan to extend the knowledge we have gained to (1) weighted straight skeletonsin two dimensions and to (2) straight skeletons of three-dimensional polyhedra.Besides working on a thorough mathematical and algorithmic foundation forstraight skeletons in 2D and 3D, we place our emphasis on converting our al-gorithms into software tools, in order to jump-start future work by providingcolleagues and companies with ready-to-use libraries. Our tools will be appli-cable to diverse fields, including, but not limited to, CAD/CAM, architectureand GIS, thereby broadening the practical impact of our work.

Project-Facts:

Duration 2013 - 2016Funding FWF

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 75

Visu

alC

ompu

ting

and

Mul

timed

ia

8.10 Topics of research

• Computational Geometry and Applications Lab

Head: Ao. Univ.-Prof. Dr. Martin Held

– computational geometry,

– algorithms and data structures (particularly those with a geometric flavor),

– algorithm engineering,

– program design, robustness and reliability,

– GPU-based computing, and

– applications of geometric algorithms and data structures in, e.g., computer-aided (geometric) design, computer-aided manufacturing, geographical information systems, computer graphics, visual computing, and virtualreality.

Website: http://www.cosy.sbg.ac.at/˜held/work.html

• Multimedia Signal Processing and Security Lab

Head: Univ.-Prof. Dr. Andreas Uhl

– Other faculty: Ass.-Prof. Dr. Roland Kwitt

– multimedia security and biometrics,

76 | Annual Report 2015

– medical image processing and analysis,– (wavelet-based) image and video compression,– visual object detection and tracking,– visual data quality assessment, and– computer vision & machine learning.

Website(s): http://www.wavelab.at, http://rkwitt.org

• Multimedia Communications Lab

Head: Ass.-Prof. Dr. Bernhard Collini-Nocker– wireless Internet multimedia communication,– system, network, and operational security, and– application and protocol engineering.– Expertise includes work on optimized protocols for wireless and satellite communications, app acceleration

techniques, multimedia and hypermedia web applications, app architectural design and development, networkand application security analysis, traffic monitoring, measurement and analysis.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 77

Visu

alC

ompu

ting

and

Mul

timed

ia

8.11 PublicationsJournals

[1] X. Liu, M. Niethammer, R. Kwitt, N. Singh, M. McCormick, and S. Aylward. Low-rank atlas image analyses in the presence of pathologies.IEEE Transactions on Medical Imaging, 34(12):2583–2591, 2015.

[2] P. Palfrader and M. Held. Computing mitered offset curves based on straight skeletons. CADA, 12(4):414–424, 2015.

[3] T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader. A Simple Algorithm for Computing Positively Weighted Straight Skeletons ofMonotone Polygons. Information Processing Letters, 115(2):243–247, February 2015.

[4] T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader. Weighted Straight Skeletons in the Plane. CGTA, 48(2):120–133, February2015.

[5] Michael Hafner, Toru Tamaki, Shinji Tanaka, Andreas Uhl, Georg Wimmer, and Shigeto Yoshida. Local fractal dimension based ap-proaches for colonic polyp classification. Medical Image Analysis, 26:92–107, 2015.

[6] Andreas Uhl and Georg Wimmer. A systematic evaluation of the scale invariance of texture recognition methods. Pattern Analysis andApplications, 18:945–969, 2015.

[7] Peter Wild, James Ferryman, and Andreas Uhl. Impact of (segmentation) quality on long vs. short-timespan assessments in iris recognitionperformance. IET Biometrics, 4(4):227–235, 2015.

[8] Rudolf Schraml, Johann Charwat-Pessler, Alexander Petutschnigg, and Andreas Uhl. Towards the applicability of biometric wood logtraceability using digital log end images. Computers and Electronics in Agriculture, 119:112–122, 2015.

[9] Sebastian Hegenbart and Andreas Uhl. A scale- and orientation-adaptive extension of local binary patterns for texture classification.Pattern Recognition, 48(8):2633 – 2644, 2015.

78 | Annual Report 2015

[10] Sebastian Hegenbart, Andreas Uhl, and Andreas Vecsei. Survey on computer aided decision support for diagnosis of celiac disease.Computers in Biology and Medicine, 65:348 – 358, 2015.

[11] J. Hammerle-Uhl, E. Tillian, and A. Uhl. Recognition impact of JPEG2000 Part 2 wavelet packet subband structures in IREX K3 irisimage compression. International Jounal of Information and Electronics Engineering (Proceedings of ICSIA’14), 5(1):51–54, 2015.

Proceedings of peer reviewed conferences

[1] R. Kwitt, S. Huber, M. Niethammer, W. Lin, and U. Bauer. Statistical topological data analysis – a kernel perspective. In NeuralInformation Processing Systems (NIPS), 2015.

[2] Y. Hong, R. Kwitt, and M. Niethammer. Model criticism for regression on the grassmannian. In Medical Image Computing and ComputerAssisted Intervention (MICCAI), pages 727–734, 2015.

[3] R. Reininghaus, U. Bauer, S. Huber, and R. Kwitt. A stable multi-scale kernel for topological machine learning. In CVPR, pages4741–4748, 2015.

[4] Y. Hong, N. Singh, R. Kwitt, and M. Niethammer. Group testing for longitudinal data. In IPMI, pages 139–151, 2015.

[5] O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, and B. Vogtenhuber. Representing Directed Trees as Straight Skeletons.In Proc ”23rd ” GD, pages 302–313, September 2015.

[6] M. Held, S. Huber, and P. Palfrader. Variable Offsetting of Polygonal Structures Using Skeletons. In Proc CADC, pages 264–268, June2015.

[7] G. Eder, M. Held, and P. Palfrader. Experiments on parallel polygon triangulation using ear clipping. In Proc ”31th ” EuroCG, March2015.

[8] G. Eder, M. Held, and P. Palfrader. Experiments on Parallel Polygon Triangulation Using Ear Clipping. In Proc YRF, June 2015.

[9] M. Held, S. Huber, and P. Palfrader. Generalized offsetting using a variable-radius voronoi diagram. In Proc YRF, June 2015.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 79

[10] Christof Kauba and Andreas Uhl. Sensor ageing impact on finger-vein recognition. In Proceedings of the 8th IAPR/IEEE InternationalConference on Biometrics (ICB’15), pages 1–8, Phuket, Thailand, May 2015.

[11] Thomas Bergmuller, Eleftherios Christopoulos, Martin Schnoll, and Andreas Uhl. Recompression effects in iris segmentation. In Proceed-ings of the 8th IAPR/IEEE International Conference on Biometrics (ICB’15), pages 1–8, Phuket, Thailand, May 2015.

[12] Heinz Hofbauer, Andreas Unterweger, and Andreas Uhl. Encrypting only ac coefficient signs considered harmful. In Proceedings of theIEEE International Conference on Image Processing (ICIP’15), 2015.

[13] Heinz Hofbauer, Christian Rathgeb, Johannes Wagner, Andreas Uhl, and Christoph Busch. Investigation of better portable graphicscompression for iris biometric recognition. In Proceedings of the International Conference of the Biometrics Special Interest Group(BIOSIG’15), page 8, Darmstadt, Germany, 2015.

[14] Rudolf Schraml, Alexander Petutschnigg, and Andreas Uhl. Validation and reliability of the discriminative power of geometric wood logend features. In Proceedings of the IEEE International Conference on Image Processing (ICIP’15), 2015.

[15] Christof Kauba and Andreas Uhl. Robustness evaluation of hand vein recognition systems. In Proceedings of the International Conferenceof the Biometrics Special Interest Group (BIOSIG’15), pages 1–8, Darmstadt, Germany, 2015.

[16] Rudolf Schraml, Heinz Hofbauer, Alexander Petutschnigg, and Andreas Uhl. Tree log identification based on digital cross-section imagesof log ends using fingerprint and iris recognition methods. In Proceedings of the 16th International Conference on Computer Analysis ofImages and Patterns (CAIP’15), LNCS, pages 752–765. Springer Verlag, 2015.

[17] Thomas Herzog and Andreas Uhl. JPEG optimisation for fingerprint recognition: Generalisation potential of an evolutionary approach.In Proceedings of the International Conference of the Biometrics Special Interest Group (BIOSIG’15), page 8, Darmstadt, Germany, 2015.

[18] L. Debiasi and A. Uhl. Techniques for a forensic analysis of the casia-iris v4 database. In Proceedings of the 3rd International Workshopon Biometrics and Forensics (IWBF’15), 2015.

80 | Annual Report 2015

[19] L. Debiasi and A. Uhl. Blind biometric source sensor recognition using advanced prnu fingerprints. In Proceedings of the 2015 EuropeanSignal Processing Conference (EUSIPCO 2015), 2015.

[20] Peter Elmer, Artur Lupp, Stefan Sprenger, Rene Thaler, and Andreas Uhl. Exploring compression impact on face detection using Haar-like features. In Proceedings of the 19th Scandinavian Conference on Image Analysis (SCIA’15), volume 9127 of Springer LNCS, pages53–64, 2015.

[21] Peter Wild, Heinz Hofbauer, James Ferryman, and Andreas Uhl. Segmentation-level fusion for iris recognition. In Proceedings of theInternational Conference of the Biometrics Special Interest Group (BIOSIG’15), page 12, Darmstadt, Germany, 2015.

[22] Michael Gadermayr, Andreas Uhl, and Andreas Vecsei. Boosting small-data performance of lbp: A case study in celiac disease diagnosis.In Proceedings of the 19th Scandinavian Conference on Image Analysis (SCIA’15), volume 9127 of Springer LNCS, pages 224–233, 2015.

[23] Michael Gadermayr and Andreas Uhl. How to exploit large image data in the fields of texture classification. In Proceedings of the IEEEInternational Conference on Image Processing (ICIP’15), 2015.

[24] Michael Gadermayr, Hubert Kogler, Andreas Uhl, and Andreas Vecsei. Comparing endoscopic imaging configurations in computer-aidedceliac disease diagnosis. In Proceedings of the 5th IEEE International Conference on Image Processing Theory, Tools and Applications2015 (IPTA’15), 2015.

[25] Michael Gadermayr, Andreas Uhl, and Andreas Vecsei. Dealing with intra-class and intra-image variations in automatic celiac diseasediagnosis. In Proceedings of Bildverarbeitung fur die Medizin 2015 (BVM’15), pages 461–466, 2015.

[26] Michael Hafner, Michael Liedlgruber, and Andreas Uhl. Colonic polyp classification in high- definition video using complex wavelet-packets. In Proceedings of Bildverarbeitung fur die Medizin 2015 (BVM’15), pages 365–370, 2015.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 81

Books

[1] Sebastian Hegenbart, Roland Kwitt, and Andreas Uhl, editors. Proceedings of the 39th Annual Workshop of the Austrian Association forPattern Recognition (OAGM’15). ArXiv, 2015. arXiv:1505.01065.

Miscellaneous

[1] Rudolf Schraml, Heinz Hofbauer, and Andreas Uhl. Tree log identification based on digital cross-section images of log ends usingfingerprint and iris recognition methods. Technical Report 2015-01, Department of Computer Sciences, University of Salzburg, Austria,http://www.cosy.sbg.ac.at/tr, 2015.

[2] Christof Kauba and Andreas Uhl. Fingerprint recognition under the influence of sensor ageing. Technical Report 2015-10, Departmentof Computer Sciences, University of Salzburg, Austria, http://www.cosy.sbg.ac.at/tr, 2015.

82 | Annual Report 2015

Visu

alC

ompu

ting

and

Mul

timed

ia

8.12 TeachingTeaching

• Einfuhrung Unix (VP)

• Diskrete Mathematik (VO+PS)

• Computational Geometry (VO+PS)

• Geometric Modeling (VO+PS)

• Geometrisches Rechnen (VP)

• Computergraphik (SE)

• Einfuhrung Computergraphik (VO+PS)

• Wissenschaftliches Arbeiten und Prasentation (VP)

• Machine Learning (VO+PS)

• Advanced Image Processing and Computer Vision(VO+PS)

• Biometrische Systeme (VO+PS)

• Einfuhrung in Kryptographie und IT-Sicherheit (VO+PS)

• Grundlagen Bildverarbeitung / Image Processing andComputer Vision (VO+PS)

• Multimedia Datenformate / Media Formats (VO+PS)

• Orientierung Informatik (VO)

• Multimedia Technologien (SE)

• Netze und Verteilte Systeme (VO+PS)

• Rechner und Netzwerksicherheit (VO+PS)

• Betriebssysteme in der Praxis (VP)

• Informatik, Gesellschaft und Recht (VP)

• IT-Sicherheit (VO+PS)

• Bachelor Projekt (SE)

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 83

Visu

alC

ompu

ting

and

Mul

timed

ia

8.13 Supervised thesesBachelor

• Sonja Farghaly: Netzwerkmonitoring und Feedback-Programm fur Radiofabrik Salzburg

• Thomas Herzog: JPEG Optimisation for FingerprintRecognition

PhD

• R. Hufnagel: Realistic Visualization and Animation ofLarge-Scale Cloud Scenes Based on Weather Forecast Data.

• Seyed Amir Hossein Siahposhha: A Fast Applicable Ap-proximation Algorithm For Quadratic Bezier Curve, ByFewest Circular-Arcs Within A Tolerance-Band.

• Georg Wimmer: Endoscopic image classification focusedon scale invariant texture feature extraction techniques

Master

• Luca Debiasi: A Forensic Analysis of the CASIA-Iris V4Database

• Christof Kauba: Impact of Sensor Ageing on Finger-Imagebased Biometric Recognition Systems

• Gerhard Potzelsberger: RTF Documents with EmbeddedMalicious Executable Files: Analysis of a Spam Campaignand Creation of an IDS Signature

• Marco Sulejic: Parallel Delaunay Triangulation withCUDA.

84 | Annual Report 2015

Visu

alC

ompu

ting

and

Mul

timed

ia

8.14 Miscellaneous ActivitiesCommercial licensing:

VRONI/ArcVRONI licenses sold to four companies; FIST licenses sold to one company.

Conference Organisation:

Roland Kwitt and Andreas Uhl acted as General Chairs for the 39th Annual Workshop of the Austrian Association for Pattern Recogni-tion (OAGM/AAPR 2015), while Roland Kwitt was acting as the program chair and Sebastian Hegenbart as local organising Chair for thesame meeting, respectively. Andreas Uhl was Program Chair for the 14th International Conference of the Biometrics Special Interest Group

(BIOSIG’15) and co-Program Chair for the 3rd International Workshop on Biometrics and Forensics (IWBF’15).

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 85

Universitat SalzburgFachbereich ComputerwissenschaftenJakob-Haringer-Strasse 25020 Salzburg

Layout:PR [email protected]

Department-Website:http://uni-salzburg.at/computersciences

Student-Website:http://informatik.uni-salzburg.at

Facebook:https://www.facebook.com/informatik.uni.salzburg

86 | Annual Report 2015