Annual Report 2015 | 1 Divisions

Introduction In 2015, the reintegration of three satellite centers into our department was ﬁnalized:

• 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 for Human-Computer Interaction”

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

Starting from October 2015, Robert Elsässerand Andreas Uhl were elected to co-heads of the department. Manfred Tscheligi serves as deputy head. The required reorganization of all Computer Science Bachelor’s and Master’s Programs, as well as the renewal of the Computer Science Teacher 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, courses taught, theses advised, and further activities of each research group are presented and specified. We hope, we provided a brief insight into our department and could awake interest.

Heads of Department

Univ.-Prof. Dr. Andreas Uhl Univ.-Prof. Dr. Robert Els¨asser

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 1 Divisions

1 Aerospace Research 3

2 Center for High Performance Computing 14

3 Center for Human-Computer Interaction 17

4 Database Systems 40

5 Eﬃcient Algorithms 45

6 Scientiﬁc Computation 53

7 Software Systems Center 59

8 Visual Computing and Multimedia 66

2 | Annual Report 2015 1 Aerospace Research Overview Vision The Aeronautical Research Group of the The vision of the Aerospace Research department has an ongoing tradition of re- Group is to support the sustainable mod- search in the areas of air traffic simula- ernization of European air traffic manage- Head tion and wireless communication network ment. The group’s research topics are cen- Hon.-Prof. Dr. Carl-Herbert design. Currently it is extending its exper- tered on three main areas of work: Rokitansky tise to new aerospace research topics like • Communication: Development of noise abatement, human-in-the-loop sim- new wireless technologies, integration Funded Project Staff ulations, and air traffic management op- of networks, communication security. timization. The research groups’ sophis- ticated simulation tools have been used • Procedures: Air traffic manage- • Dipl.-Ing. (FH) Kurt Eschbacher in a great number of national and in- ment procedures supported by au- • Martin Mayr ternational projects and helped to evalu- tomation, human-in-the-loop simula- ate existing systems and design new ones. tion, evaluation and validation of new • Dipl.-Ing. Elias Pschernig The aerospace group was able to estab- procedures. lish its expertise in range of relevant topics within the field of aerospace research. • Environment: Air traffic forecast Through this research group the Univer- simulation, noise abatement, CO2 re- sity of Salzburg is involved in the ”Single duction. European Sky ATM Research” joint undertaking of the European Union. Find more information at http://www.aero.sbg.ac. at/.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 3 Aerospace Research rffi nteftr n otiue infiatyt h nesadn fthe of understanding the data to system. and significantly the traffic contributes of requirements and air technical future expected work the the The in of system. traffic evaluations the of statistical analysis the extensive dimensioning of includes the refinement for continuing used the models is bed. simulation contribution test major verification Group’s a Aerospace by The end-to-end the verified for selected be protocols will telecommunication standard the of communication performance satellite The new a standard. and terminals communica- user satellite-based low-cost and that purpose-built, including continental system study new, tion two-year a in a of man- development is crews ANTARES the traffic cockpit on program, air focuses Iris to of the links Within modernization data airspace. the oceanic digital to contribute providing (SESAR) will by the Research it agement is ATM 2020 program Sky By Iris European The Single program. ARTES). the of for 10 solution (element Management, program satellite-based Traffic study Iris Air B ESA for the phase System within Communication the Satellite is new a based) designing Satellite REsources based (AeroNauTicAl Satellite ANTARES REsources AeroNauTicAl Project: 1.1 4 | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration uoenSaeAec ESTEC / Agency Space European Jast. Bel, AETHIS, Space space, antwerp Wiser, ing, Engineer- Space DLR, gmv, System, SINTEF, OHB next, GmbH, stechnik Inno- Frequen- Telekommunikation- Systems, vationszentrum Software esc, IGUA Airtel tis, Capgemini, Aerospace, Hon- ATN, AEdel Indra, eywell, Space, Alenia Thales 2015 - 2009 ik n h orsodn ees link. Con- reverse (forward Traffic corresponding beam aircraft Air the satellite, satellite between and ESA/Iris link future of link) station, data areas ground the satellite the of Center, work of trol visualisation (ATCO) generic overview Controller a an Traffic and Air displays, coverage generic cockpit by a generic demonstrated of station, visualisation be / will simulation communications a of a satellite via benefits aeronautical and airline/airport functionality digital and principal future crew The between satellite. and communication controllers dedicated traffic between communications air satellite and aeronautical digital aircraft functional- European future principal of the the demonstrating benefits to of and delivered ity purpose and the for developed (ESA) be Com- Agency simula- will Space / on graphics Salzburg based advanced of environment and University demonstration tions of special a Group Institute Aerospace Sciences the puter of expertise on Tool Based Communication Iris Project: 1.2 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Duration | ESA/ESTEC 2015 - 2012 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 5

Aerospace Research Aerospace Research atmnindseai satre-ie ato h E4T rjc for capacities. project sector MET4ATM on the statements a of The making of of part Europe. observation Central purpose target-aimed the over the a traffic g. air is entire scenario the e. of last-mentioned applications handling various the further or aircraft for single basis analy- provides is The trajectories. routes study optimized flown The of margin. actually terms safety with in compared a results plan trajectories promising keeping flight simulated storms the the on the of based (Universitysis around NAVSIM simulated diverted model are and traffic Aircraft route air Rokitansky). the to Prof. coupled Salzburg, paper Hauf) This DIVMET(University model avoidance Prof. occupancies. weather con- Hannover, sector the weather of to application adverse the regard with of with deals case thunderstorms as in weather such ATM ground-based ditions for of benefit ACG) the (Austrocontrol, estimate —The to information is 2012). MET4ATM since study Germany, the Hannover, of Insti- aim Climatology Hannover and University Meteorology Leibniz of and Avoidance tute GmbH Weather Adverse Control Austro of with Study (Case Modelling ATM/ATC on Weather of Impact MET4ATM Project: 1.3 6 | nulRpr 2015 Report Annual Project-Facts: Partners Duration utoCnrl nvri¨tHan- Universität nover Control, Austro 2015 - 2012 mrvsteoeainlartacmngmn.Ti rjc ilb ai for SESAR-solutions. basis Simulation future be Loop for will testbed project the validation This in international management. an Human traffic arrival air by operational optimize Validation the to improves simulation traffic management. time air departure fast and by meteo-data and of analyzed validation ATM/ATC, the Competence in is Aviation scenarios ACG - with Salzburg cooperation University in Lodron Center by Paris of traffic. contribution air The derive of to and efficiency (NAVSIM) simulation and ATM-concepts. time safety fast by improve meteo-data to of implementation is aim FFG-Project’s This MET4LOWW Project: 1.4 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partner Duration | FFG (ACG) Austrocontrol 2017 - 2015 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 7

Aerospace Research Aerospace Research edn odmntaini elvhce rrlvn environments. relevant developed, further or revolutionize be vehicles to will results strategy real The term in field lighthouse-projects-roll2rail-it2rail-and-in2rail.html longer the demonstration future. a in http://www.unife.org/news/115-kick-off-of-three-shift2rail- technolo- the innovaton to of key of for part leading develop stock points as to rolling blocking vehicles the is identified railway Salzburg remove of of to University and board gies in of procedure. eliminating contribution coupling completely train Infotainmant, The the even and simplifying or and functions cables reducing (TCMS), communication thus monitoring transmis- applications and wireless on control CCTV based train allow systems to for communication architectures train and sion technologies of on generation research new to is a project this of aim The ROLL2RAIL Project: 1.5 8 | nulRpr 2015 Report Annual Project-Facts: Funding Partner Duration UHrzn2020 Horizon EU Industry Rail European The - UNIFE 2017 - 2015 meilCleeo cec n eiieLno,Tcnsh Universität Technische London, Medicine and Flugführung (TUB) fur Science Institut Braunschweig, of (Faculty (UAB), Technology College Barcelona of de Imperial Autonoma versity Universitat Uni- (TUD)), Technology Delft Universi- Aerospace (UPM), (UNIMIB), of Madrid Bicocca de Milano- Politecnica Engineering) di Traffic dad studi and degli Transport di Universita’ of (Faculty Studi (UB-FTTE), Belgrade degli of Universita’ Universität University Technische Ziline, Berlin, Salzburg, v Paris-Lodron-Universitaet Univerzita (UNITS), Zilinska Trieste - UNIZA Universität Technische Dres- (TUD), Athens, den of University Kapodistrian and National European 20 of Partners consists Undertaking. Joint consortium SESAR Research SESAR) the ATM with Sky at asociated Universities European (ACademia Single ACSES for Academic The ACSES SESAR Project: 1.6 : NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Duration | EA JU SESAR 2020 - 2011 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 9

Aerospace Research Aerospace Research l iuainrslsi h study. generate the to in aiming results standards evalua- and simulation performance specifications and all capacity project for with Tools accordance 2 in development Mode tion further VDL to the indication of detailed adaptation give and to has Reports. documentation Run final Simulation the The and of Template, specification Results detailed Simulation the Scenarios, is Baseline Salzburg of University them, the made. reaching of assumptions of contribution The consequences the the of lim- be its basis would when the what com- years, on and next ATM the reached the entire support over be services to will the DL itations capability and of VDL2 exploitation SESAR the the provide concerning and evolution picture to reliable is a study with munity the of Objective 2 The Mode VDL Project: 1.7 10 | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration EA on netkn (SJU) Undertaking Joint SESAR Jet, SITA. Easy ARINC, Air Lufthansa, Airways, NATS, British LFV, France, AENA, Grupo Enaire DFS, - Airbus, S.p.A., ENAV 2015 - 2014 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.

1.9 Supervised theses Aerospace Research

Master

• Christoph Sander, ”Flugroutenoptimierung unter Windeinﬂuss”.

PhD

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

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 11 1.10 Miscellaneous activities

Conferences • FFG Strategy day, November 2015, Vienna https://www. ffg.at • First Austrian Aviation Day, March 5 and 6, Casern of Schwarzenberg Salzburg (ACG, Ministry of Defence, Fre- • ISAP University Graz, conference July 7 and 8. http: quentis, AAI (Austrian Aeronautics Industry Group), SCE //www.uni-graz.at/isap15/ system engineering, AMST system technology, Austrian Federal Armed Forces etc.) Press Coverage

• Roll2Rail Kick-oﬀ Meeting Brussels, May 7. • LDACS1 Website online -LDACS1 stands for L-band digital aeronautical communications system, type 1 March • Visit of Austrocontrol (ACS) at Aviation Competence Cen- 2014. http://www.ldacs.com/ ter Salzburg, May 21. Projects • MET4LOWW Kick-oﬀ Meeting Vienna, September 14 and 15. • VDLM2 Capacity and Performance Analysis started http: //www.aero.sbg.ac.at/?cat=15 The Objective of the • ROLL2RAIL – Conference, December 1 to 3, Aviation study is to provide SESAR and the entire ATM community Competence Center Salzburg. with a reliable picture concerning the VDL2 capability to Exhibitions support the evolution and the exploitation of DL services over the next years, when its limitations will be reached • I-DAY, July 2015, http://www.aero.sbg.ac.at/?p=938 and what would be the consequences of reaching them, on the basis of the assumptions made. • IABG Munich, lecture and demonstration, June, 25 and 26, 2015 http://www.iabg.de/geschaeftsfelder/ luftfahrt/

12 | Annual Report 2015 • Support for SESAR Project 15.2.4 was ﬁnalized, the objective of the project was the development of an LDACS- 1 Sub-System Emulator providing a behavior and performance model of the LDACS1 A/G sub system on IPv6 layer. http://www.aero.sbg.ac.at/?cat=15

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

• MET4LOWW started September 2015, the objective of the project is to improve safety and efficiency of air traffic by implementation of meteo data and air traffic szenarios 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 Computing Overview

The Center for High Performance Computing (CHPC,chpc.sbg.ac.at) deliv- Head ers various computing and training services in the areas of parallel, distributed, Univ.-Prof. Dr. Andreas Schroeder and high performance computing. The center conducts own research in order to constantly meet the evolving demand of the participating departments of Faculty Members the university. • Dr. Peter Zinterhof

Technical staﬀ • Ernst Forsthofer • Andreas Kostecka Center for High Performance Computing

2.1 Topics of research

• high performance computing

• parallel and distributed algorithms

• novel architectures (Maxeler)

• accelerator-based computing

14 | Annual Report 2015 Master theses Supervised 2.3 Teaching Teaching 2.2 • • • • • aallAlgorithms Parallel Halbrainer: Franziska (VP) Entwicklungen aktuelle HPC-Hardware: (VP) Anwendungen und GPU-Programmierung (VP) Bibliotheken und HPCTools von Aspekte Praktische (VP) Programmierung Verteilte nlsso oilNtok using Networks Social of Analysis NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 15

Center for High Performance Computing Center for High Performance Computing otdTalks Hosted Committees Program Conference activities Miscellaneous 2.4 16 • • | ecluit ideabiugmtFPGAs mit Bildverarbeitung Beschleunigte Germany Frankfurt, Goethe-Universitaet Gruell, Frederik series) conference (EUROPAR 2015 workshop UCHPC the for member PC as serves Zinterhof Peter nulRpr 2015 Report Annual 3 Center for Human-Computer Interaction Overview The Center for Human-Computer Interaction is an interdisciplinary research group within 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. 30 Head researchers study the interplay between humans and computers in order to enable desired interactions and explore desirable futures. Univ.-Prof. Dr. Manfred Tscheligi

We are committed to contemporary HCI thinking and address current research Faculty Members questions, while also valuing established methodology and formerly prevalent do- • Mag.a Dr.in Verena Fuchsberger mains. In our research activities we acknowledge that interactions are situated, i.e., • Dr. Manuel Giuliani they are heavily dependent on the concrete and specific characteristics of the context • Mag.a Alina Krischkowsky in which they take place. Our research is devoted to rich (ethnomethodologically • Dipl.-Ing. Dr. Alexander informed) studies, for which we continuously refine and develop methods in order to Meschtscherjakov satisfy the situated, contextual nature of interactions. Related interaction designs are, on one hand, informed by those studies, aiming for user experiences that reflect Funded Project Staff the situated qualities of specific (and sometimes challenging) contexts. On the other • please refer to page 27 hand, we consider design methods and processes as legitimate modes of inquiry, providing means for critical reflection and exploration. Additionally, we reflect on the according methodological challenges and opportunities that come along with contextual-interaction design-research.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 17 Center for Human-Computer Interaction t ncpn ihnwIT n 5 osiuaeprle nomto rcsigby processing information parallel stimulate to flexibil- (5) mental hemispheres. and nurture brain ICT, to both new (4) integrating means safety, improve with by traffic to coping anxiety to (3) in memory, and respect ity working with stress the e.g., reduce improve attain responsive-ness, to to to the and (2) (1) neurofeedback, activation are individualized cognitive objectives of of The level enhancing performance. optimal for memory tool an and training activities ICT-assisted novel, cognitive a both validate and develop will ActiBrains ActiBrains Project: 3.1 18 | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration eet FFG Benefit, Brain Gedächtnistrain- the Company e.U., Tech- ingsakademie of nology, Institute Austrian 2016 - 2015 hrceie yhg sblt,ue xeine cetne n security. and acceptance, assistance experience, and user context-adaptive The usability, and high decisions. personalized by relevant location-based, characterized in multimodal, assistance workers mobile, is context-based service system and mobile production of concepts, human-machine-interaction development support and technologies which the ICT 4.0. at Industry an aims in systems 4.0 Assist project The 4.0 ASSIST Project: 3.2 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partners Duration | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT indrZukunft Produk- der tion Secure FTI-Initiative, FFG, XiTrust GmbH Technologies Salzburg, Paris-Lodron-Universität mbH, next Forschungsgesellschaft Studios Austria evolaris Research AVL GmbH, level GmbH, AG, Tech- List Austria Infineon nologies AG, Knapp 2016 - 2014 nulRpr 2015 Report Annual | 19

Center for Human-Computer Interaction Center for Human-Computer Interaction otxulrsac,telbrtr xlrstecnet cr n fcoy from “factory” for and tools “car” and contexts methods the perspectives. on explores three focusing these laboratory activities laboratory the research This research, basic contextual from methodological partners. Inter- Apart and industrial constructional, Contextual with viewpoints. qualitative, Laboratory from co-operation interaction Doppler long-term contextual Christian a examines the is operates which HCI faces, Interfaces for Contextual Center for The Labor CD Project: 3.3 20 | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration OI,KB AG KEBA MOBIL, AUDIO Austria, Infineon CDG, AG KEBA Technologies AG, Austria Elektronik Infineon GmbH, MOBIL AUDIO 2016 - 2009 n )oesspotfntoslk eidr,nw,wahr etc. etc. weather, assistance, news, reminders, or like help functions medical support taxi, offers meals living 3) house-keeping, like are providers and assistance, service who shopping professional others, to wheels, to to/from access adults on living enables older 2) daily enabling closeness; of system the geographical exchange activities in on support for a based support provides devices for 1) offer/demand TV tablet platform and GeTVivid connected TV The as of the Television). well on use Broadband useful as Broadcast a the adults, (Hybrid offer through older standard to to HbbTV carers is services formal life, project and the of and functionality of quality AAL-related informal goal the of The improving set valuable at life. mild and aims social with in and adults participation home and older (residential) autonomy, their their supporting manage in to at impairments) activities vision aims daily or together” hearing, mobility, restricted things (e.g., do impairments Let’s – “GeTVivid GeTVivid Project: 3.4 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partners Duration | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT UAAL/FFG EU EURAG (Austria) (Germany), e.V. berg Menschen Nürn- Körperbehinderung für mit (Switzer- Verein land), Institutionen Heime und (Spain) Verband S.L. CURAVIVA Sur, Infor- del Soluciones (Germany), maticas y Trapp GmbH Ingenieria & Hövener Evision für Gallen many), (Ger- GmbH Institut Rundfunktechnik St. (Switzerland), of University 2016 - 2013 nulRpr 2015 Report Annual | 21

Center for Human-Computer Interaction Center for Human-Computer Interaction ehooy te plcto ra r oto ytm o i n/rdistributed during and/or requirements safety big adjustment. high for and with information installation, equipment systems assembly, of computer control means medical are by and plants products areas cement of application range Other broad a clean and technology. workshops, of in demanding distribution machines during global packaging tools presentation controlling controlling data application as time targeted real such controlling The cases, rooms, use systems. challenging future- provide professional for areas control, complex to aims configuration, within LiTech easy for interfaces communication about user and applications. simple knowledge and control natural sustainable of system implementation concerns and proved project business this professional of use objective prime The LiTech Project: 3.5 22 | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration F,CMT -rjcs5th Call K-Projects COMET, FFG, WolfVision Sulz GmbH Innovation Electronic Lustenau, Kennelbach, GmbH Industrie GmbH System Gebrüder Egg, Weiss GmbH Elec- tronic Dorner Rankweil, AlphaGate GmbH Technische Graz, Universität Vorarlberg Dornbirn, GmbH Fachhochschule 2018 - 2014 ucl nuho otk h ih eiin lo hywl o eal orl on rely turned to drivers. methods are able particular be which to skills of be needs driving needs not there their the maintain result, will to to a they people As encourage Also, action. can of which decision. employed course right right react the the to taking them vehicles take enable other to would challenges. which or under safety skills enough control the of take possess quickly number to not a forced may but be raise may circumstances plus will vehicles certain skills road semi-autonomous driving the of in drivers on decline example, vehicles For the with of vehicles of mix of combination number complicated This large in- the control. a will autonomous remain vehicles still further little future semi-autonomous or is foreseeable of no problem the number This for the will decline. while there will that, crease, skills fact driving the for their by challenge that compounded risk major profile the a within to namely present driving drivers, how Vehicles safe support explores Semi-Autonomous will specifically which vehicles. tools It semi-autonomous developing driv- at vehicles. their aims maintain autonomous and to performance in future driver riding the when in drivers skills supporting ing at aims project MaDSAV The MaDSAV Project: 3.6 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partners Duration | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT n od ainld la de National (FNR) Luxembourg Recherche Fonds (FWF) and Fund Science Austrian Lux- (Luxembourg) Trust embourg of University the and at (SnT) Reliability curity Se- for Centre Interdisciplinary 2018 - 2015 nulRpr 2015 Report Annual | 23

Center for Human-Computer Interaction Center for Human-Computer Interaction oilntoksts hsi rae au o h oit sawoeadcontributes and whole a as society the for value existing capital. from creates social accessible it to easily Thus being by sites. acquaintances network new social making and allows so- existing and tacit strengthens ties their improve cial cooperation, share for intergenerational will opportunity to encourages an users project it empowering offers knowledge the and and formal motivating of life, By social outcome al- in occupation. The It participation meaningful autonomy, life, service. beyond. of online quality and the mentoring an retirement and via to cooperation facilitates generations work and among knowledge from professional transition of exchange the dialogue the intergenerational lows in facilitates that learning solution lifelong ICT an and offering at aims project The ProMe Project: 3.7 24 | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration i,teNtelns n the and Kingdom United Netherlands, the Roma- nia, in Authorities related the National and AAL/FFG EU (Subcontraced Partner) College Uni- Ltd, versity Leuven Austria, (GLUK),Inventia EURAG vice GlukAd- SA, Romania SIVECO (AGIR), Romania Elderly in of Engineers Association the General National (NFE), for (PLUS), Foundation of University Salzburg HCI, for Center 2017 - 2014 oo ilb olfrdcost eoeyeeueti hsclexamination. physical this medical execute remote remotely to ReMeDi doctors The for patient, tool examination. the a physical be about a will information robot by more need provided telecon- doctors merely those diagnosis, to especially limited correct are a solutions For are current that ferencing. yet diagnosis. services emerging, Medical correct are hours. es- remotely and working limited, regular performed timely after sometimes or is a hospitals specializations provincial on various in pecially of depends success- doctors often A of patient’s availability patients the the examination. However, of and ultrasonographic treatment organs and medical internal pain) ful the and of discomfort the stiffnesses about presses any feedback doctor observe the two to (i.e., to palpation targets stomach capable project techniques: patient’s be examination ReMeDi will widespread the doctors most Specifically, part- the robot, of examination. project this physical With ReMeDi remote the robot. a that, enables medical perform For that tele-operated device distances. a medical long build tele-robotic over ners a patients design examine to is to project doctors ReMeDi the of goal The ReMeDi Project: 3.8 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partners Duration | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT fTcnlg (Wroclaw, FP7-ICT EU Technology Poland) University of Wroclaw (Switzer- and Zurich land), (Pisa, ETH Sant’Anna Italy), Superiore Scuola Poland), (Lublin, of Lublin University Medical Poland), (Lublin, München ACCREA of (Germany), Universität Tech- West UK), nische the (Bristol, England of University 2016 - 2013 nulRpr 2015 Report Annual | 25

Center for Human-Computer Interaction Center for Human-Computer Interaction u locetn ra sreprec o ieetue groups. user use, different to for easy experience only user not great are to a which is creating spaces, 4.0 also public Vending but in of ap- machines goal and overarching vending airports) The self-service pools, design access). swimming ticket-free parking, different (e.g., outdoor scenarios in and applicability plication in- their slopes, regarding ski interaction) evaluated (e.g., auditory and contexts interaction, examined scientifically natural be control, will and gesture Interfaces Various (e.g., research- future. concepts are the AG interaction SKIDATA of and machines HCI self-service for user-friendly innovative, Center ing the 4.0”, “Vending project the Within 4.0 Vending Project: 3.9 26 | nulRpr 2015 Report Annual Project-Facts: Funding Partner Duration adSlbr n SKIDATA AG and Salzburg Land (Austria) AG SKIDATA 2016 - 2015 .0Sa (cont’d) Staff 3.10 • • • • • • • • • • • i asr M.Sc. Kaiser, Tim MA Grah, Thomas komm. Gärtner, Bakk. Magdalena Fammler Julian B.Eng. Mag. BA Dellinger, Johanna Komm. Bakk. Bruckenberger, Ulrike Buchner Roland DI Mag. Baumgartner Axel DI Aslan Ilhan Dr. a a leBeck Elke r.CrsieDöttlinger, Christine art. • • • • • • • • • • • Mag. Mirnig Alexander Mag. DI Meneweger Thomas Mag. M.Sc. Maurer, Bernhard Lupp Artur Laminger Arno Dr. MA Kargl, Thomas DI Mag. Murer Martin (FH) DI in in uan Meerwald-Stadler Susanne Dr. a a ioeMirnig Nicole aj Neureiter Katja in hitaeMoser Christiane NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT • • • • • • • • Mag. B.Eng. Wuchse, Martin MA Wilfinger, Mandy Mag. Stollnberger Gerald DI B.Eng. Peterhansl, Michaela MMag. techn. onlaZn,B.Eng. Zenz, Cornelia a a e.a.Snr Trösterer Sandra rer.nat. a ail uhfr Bakk. Wurhofer, Daniela ioePerterer Nicole nulRpr 2015 Report Annual | 27

Center for Human-Computer Interaction Center for Human-Computer Interaction Journals Publications 3.11 rceig fpe eiwdconferences reviewed peer of Proceedings Ati es,Ncl ing lieBuknegr wl tasr afe shlg,Dr oler n atoijSacy.The Stanczyk. Bartlomiej and Wollherr, an Dirk Tscheligi, from Manfred Findings Strasser, online: Ewald Bruckenberger, care Ulrike informal Mirnig, Mediating Nicole Weiss, Tscheligi. Astrid Manfred [3] and Neureiter, Katja analysis Krischkowsky, Systematic Alina Tscheligi. Moser, Manfred Christiane and [2] Buchner, Roland Stadler, Susanne Stollnberger, Gerald Mirnig, Nicole Giuliani, Manuel [1] IhnAln hmsMnwgr eeaFcsegr n afe shlg.Saigtuhitrae:Poiiysniietuhtargets touch Proximity-sensitive interfaces: touch Sharing Tscheligi. Manfred Proximity and Fuchsberger, Verena touch: Meneweger, Thomas for Aslan, leap Ilhan A [3] Tscheligi. Manfred and Wuchse, Martin Meschtscherjakov, Alexander Krischkowsky, Alina Aslan, Ilhan [2] Sounds Tscheligi. Manfred and Meschtscherjakov, Alexander Wurhofer, Daniela Maurer, Bernhard Weixelbaumer, Barbara Aslan, Ilhan [1] 28 | neatv ra oo:Ue-etrddvlpetadfia edtilo ieto eusigrobot. requesting direction a of trial field final and development Robotics User-centered robot: urban interactive situations. error during analysis. signals requirements social extensive of categorisation A studies: interaction human-robot different Psychology from data video of ae 7–8,2015. 279–286, pages In collaboration. tablet-mediated for Applications In cars. in targets touch sensitive Systems In Computing experience. in Factors cleanroom the Human improve on to Abstracts navigation Music-based works: it like nulRpr 2015 Report Annual () 2015. 6(1), , (3) 2015. 6(931), , uooieI’5 ae 94,NwYr,N,UA 05 ACM. 2015. USA, NY, York, New 39–46, pages ’15, AutomotiveUI , neato einadAcietr s Journal (s) Architecture and Design Interaction rceig fte7hItrainlCneec nAtmtv srItrae n neatv Vehicular Interactive and Interfaces User Automotive on Conference International 7th the of Proceedings CI’5 rceig fte21 C nItrainlCneec nMlioa Interaction Multimodal on Conference International on ACM 2015 the of Proceedings ’15: ICMI H A’5 ae 6716,NwYr,N,UA 05 ACM. 2015. USA, NY, York, New 1657–1662, pages ’15, EA CHI , rceig fte3r nulAMCneec Extended Conference ACM Annual 33rd the of Proceedings 43–8 2015. 24:33–48, , aay,Junlo Behavioral of Journal Paladyn, r nir in Frontiers , [4] Caroline Atzl, Alexander Meschtscherjakov, Stefan Vikoler, and Manfred Tscheligi. Bet4ecodrive: Betting for a more economical driving. In Thomas 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 International Conference 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. Dorsal haptic display: A shape-changing car seat for sensory augmentation of rear obstacles. In Proceedings of the 7th International Conference on 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 touch interfaces. In Proceedings of INTERACT 2015, 2015.

[8] Bernhard Maurer, Ilhan Aslan, Martin Wuchse, Katja Neureiter, and Manfred Tscheligi. Gaze-based onlooker integration: Exploring the in-between of active player and passive spectator in co-located gaming. In Proceedings of the 2nd SIGCHI Annual Symposium on Computer-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 Interactive Communication (RO-MAN), pages 833–838, 2015.

[10] Alexander Meschtscherjakov, Christine D¨ottlinger,Christina R¨odel,and Manfred Tscheligi. Chaselight: Ambient led stripes to control driving 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 actions on social signals and reaction times in hri error situations. In A. Tapus, editor, Social Robotics, volume 9388 of Lecture Notes in Artiﬁcial Intelligence, 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, and Manfred Tscheligi. User experience patterns from scientiﬁc and industry knowledge: An inclusive pattern approach. In 7th International Conferences 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 of the iso 9241-210 deﬁnition of user experience. In Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in 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 gamiﬁcation to motivate older adults to participate 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 14th International 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 ﬂywheels for ungrounded kinaesthetic feedback in handheld devices. In Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction, 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. In Critical 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 Tr¨osterer, Magdalena G¨artner,Martin Wuchse, Bernhard Maurer, Axel Baumgartner, Alexander Meschtscherjakov, and Manfred Tscheligi. Four eyes see more than two: Shared gaze in the car. In Proceedings of Interact 2015, 2015.

30 | Annual Report 2015 [20] Sandra Tr¨osterer,Martin Wuchse, Christine D¨ottlinger,Alexander Meschtscherjakov, and Manfred Tscheligi. Light my way: Visualizing shared gaze in the car. In Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 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: A study 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 the factory: 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. Everyday commuting: Prediction, actual experience and recall of anger and frustration in the car. In Proceedings of the 7th International Conference on 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 embedded interaction 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 September 2015, 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, Lilia Perez Romero, Fabian Schiller, and Joost Negenman. People, context, and devices: Deﬁning 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 traﬃc light interface: Countdown timers to increase user experience. In Adjunct Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15, pages 56–61, New York, NY, USA, 2015. ACM.

[5] Verena Fuchsberger, Martin Murer, Manfred Tscheligi, Jos´eAbdelnour-Nocera, Pedro Campos, and Frederica Gon¸calves. 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, Jeﬀrey Bardzell, and Pernille Bjø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: Experiences of technology appropriation: Unanticipated users, usage, circumstances, and design. In Adjunct Proceedings of the European Conference on 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. In INTERACT 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 ACM Conference 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 Interfaces and 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 Adjunct Proceedings 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 User Interfaces 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, Andreas Riener, Jeon Myounghoon, and Jacques Terken. 3rd workshop on user experience of autonomous driving. In 7th International Conference on 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 Extended Abstract 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 Vallg˚arda,Mattias Jacobsson, and Manfred Tscheligi. Un-crafting: Exploring tangible practices for deconstruction in 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, and Manfred Tscheligi. Contextual interaction design research: Enabling hci. In Human-Computer Interaction – INTERACT 2015 – 15th IFIP 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 Manfred Tscheligi. emotion: Retrospective in-car user experience evaluation. In Adjunct Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI ’15, pages 118–123, New York, NY, USA, 2015. ACM.

[18] Sandra Tr¨osterer, Martin Wuchse, Axel Baumgartner, Bernhard Maurer, Magdalena G¨artner,Alexander Meschtscherjakov, and Manfred Tscheligi. Lctnav: A method for investigating collaborative navigation. In Adjunct Proceedings of the 7th International Conference on Automotive 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, David Wilﬁnger, Nicole Perterer, Petra Sundstroem, Arno Laminger, and Manfred Tscheligi. Exploring challenging environments: Contextual research in the car and the factory through an hci lens. In Volker Wulf, Kjeld Schmidt, and David Randall, editors, Designing Socially Embedded 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 experience research in the factory: What to consider in interaction design. In Jos´eAbdelnour Nocera, Barbara Rita Barricelli, Arminda Lopes, Pedro Campos, and Torkil Clemmensen, editors, Human Work Interaction Design. Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces, volume 468 of IFIP Advances in Information and Communication Technology, pages 39–56. Springer International Publishing, 2015.

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

34 | Annual Report 2015 Courses Teaching 3.12 • • • • • • • • • otxulInterfaces Contextual Dissertantenseminar HCI Methods and Theories HCI Advanced Design Interaction Future Informatik aus Seminar Projekt Bachelor Anwendungen HCI Approaches HCI Future Einf¨uhrung HCI NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 35

Center for Human-Computer Interaction 3.13 Supervised theses

PhD

• Beck, Elke: Video-mediated communication in interaction • Meneweger, Thomas: Ordinariness of Experience: Access- design. ing UX in the Factory by Means of Qualitative Interviews.

• Fuchsberger, Verena (completed 10.03.2015): Interrelating • Mirnig, Alexander: Patterns in Research and Practice: Materials, Artifacts, Interaction Design, and Users. Systems, Use, and Generation.

• Grah, Thomas: Haptic Sensory Augmentation: Beyond • Mirnig, Nicole: Robot Feedback: Development of a Taxon- Tactile Cues and Visual Representation, Toward Super- omy and Exemplary Feedback Studies. Human Perception in High Cognitive Load Contexts. • Moser, Christiane (completed 16.06.2015): Child-Centered • Kramer, Mark: Educational Technology as Experience: Game Development. Examining the Impact and Acceptance of Technology En- • Murer, Martin: Making Things Apart - De-Constructive hanced Learning Scenarios. Practices in Interaction Design. • Krischkowsky, Alina: Social Roles Empowering Collabora- tion: From Oﬄine to Online Social Organizations and Vice Versa.

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

36 | Annual Report 2015 • Neureiter, Katja: Social Capital & Presence: Facilitating beneﬁcial Relationships over Distance.

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

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

• Tr¨osterer, 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- • Janner, Oliver: Anthropomorphisms in the Automotive textual Experience Sampling System for Human-Computer Context: Categorization and Impact on Persuasion. Interaction Studies in The Wild. • Kratzer, Nino: HCI for Children. Collaborative Gaming • Bruckenberger, Ulrike: Die Darstellung von Robotern in and Learning. (FH Salzburg) den Medien. Terminator vs. Wall-E. • Neulinger, Philipp: Potentials of Digital Mirrors in Cars. • D¨ottlinger, Christine: Prototypen im Einsatz: Design- • Stadler, Susanne (completed 07.07.2015): Robot Program- Rationale und Prototypingprozesse. ming by Demonstration: Investigation of Acceptance Fac- • G¨artner,Magdalena: How Children Adopt and Integrate a tors regarding Kinesthetic Teaching and Robot Appearance New Media Technology into their Daily Life. in the Factory.

• Hoﬀman, Michael: Emotionserkennung in Computerspie- • Wuchse, Martin: Toolbased Narration Support in Mobile len. (FH Salzburg) Environments.

38 | Annual Report 2015 Bachelor • • • • • in nHmnRbtItrcin sn G- Sensors. RGB-D Situa- Using Error Interactions Human-Robot of in Recognition tions Automatic Michael: Miksch, Human- in Situations Error Interactions. of Robot Impact Markus: Miksch, Industrial Reality-Supported Augmented Programming. Robot Kevin: Kain, Sys- Community and Software tems. in Short- Trust Monochromatic Julian: Fammler, Car. of a Driving while Eﬀect Attention on Light Wavelength Victoria: Ablinger, • • • • NVRIYO SALZBURG OF UNIVERSITY udlnsfrteDvlpeto eia ooi Sys- Robotic Medical and of Heuristics tems. Development the 04.03.2015): for Guidelines (completed Cornelia Zenz, “Ex- Salzburg) (FH Game Earth”. Cross-Media Planet a plore Designing Annabell: Wiesner, Needs. Communication Probe Company Technology Exploring Digital-Physical for A : Benjamin Scherer, Adults. Older Gamiﬁca- for Motivation as 23.11.2015): tion (completed Michaela Peterhanls, | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 39

Center for Human-Computer Interaction 4 Database Systems Overview The research interests of the Database Research Group (http://dbresearch.uni- salzburg.at) is centered around data-centric applications in database and information systems. A particular focus is on similarity search queries over large data Head collections, for example, approximate tree matching, set similarity joins, eﬃcient similarity search indexes, and top-k queries. Other research interests include query Univ.-Prof. Dr. Nikolaus Augsten processing in geographic information systems and load balancing algorithms for distributed frameworks like MapReduce. The research results are new algorithms with Faculty Members performance guarantees, which are implemented and evaluated on the motivating • Mateusz Pawlik, PhD application. • Dipl.-Ing. Willi Mann • Bezaye Tesfaye

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

Technical Staﬀ • Alfred Egger

Student Assistants • Daniel Kocher

40 | Annual Report 2015 4.1 Project: DK GIScience – Extending GIS Capabilities of Database Systems The 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 research group works on extending GIS capabilities of database systems with a focus on two main topics:

Project-Facts: Isochrone Queries for SQL An isochrone in a spatial network is a possibly disconnected subgraph that covers all space points from which a specific point of interest is reachable within a given time Duration 2015 - 2019 period at a specific point in time. Isochrones have interesting applications, for example, geomarketing Partners Z GIS (Univ. Salzburg), (e.g., positioning of franchise stores) or urban planning (e.g., finding spots in the city that are hard Dept. of Geography and to reach by public transportation). Isochrones are particularly interesting as part of a larger query Geology (Univ. Salzburg), that combines spatial and non-spatial aspects. Answering such queries is challenging, in particular Zentralanstalt fürMetrologie when multimodal networks are involved. The goal of the project is to extend SQL with the notion und Geodynamic (ZAMG), of isochrones and develop efficient evaluation strategies for isochrones in multimodal networks. Louisiana State University Funding 2’133’000 EUR, Austrian Sci- Large Scale Similarity Queries for Geocoding Data often have an implicit spatial aspect (e.g., ence Fund (FWF) a restaurant has a location even if the location is not stored in the database). Enriching data with explicit spatial references, called geocoding, adds value to the data. In order to introduce spatial Members: references into a data set, non-spatial attributes must be used to link the non-geocoded data to • Nikolaus Augsten (faculty) pre-existing geocoded data, i.e., a join must be computed. Since in geocoding the joined datasets • Willi Mann (PhD student) often originate from different sources, there may be no common key value. Then, computing the join • Mateusz Pawlik (PostDoc) is challenging: exact join conditions (which are efficient and well studied) will fail since data items • Bezaye Tesfaye (PhD student) that represent the same real world object may differ. The goal of this project is to advance the state of the art in processing similarity queries on large data volumes in GIS-enabled relational database systems.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 41 Database SystemsDatabase Systems Courses Teaching 4.3 Journals Publications 4.2 WliMn n ioasAgtn neprcleauto fstsmlrt ontechniques. join similarity set of evaluation empirical An Augsten. Nikolaus and Mann Willi [2] MtuzPwi n ioasAgtn ffiin optto ftete dtdistance. edit tree the of computation Efficient Augsten. Nikolaus and Pawlik Mateusz [1] 42 • • • • • • • | TSecurity IT Datenbankliteratur der Perlen Algorithmen Effiziente Vertiefung Datenbanken Datenbanksystemen von Tuning II Datenbanken I Datenbanken :0 ac 2015. March 3:40, nulRpr 2015 Report Annual C rnatoso aaaeSystems Database on Transactions ACM rc LBEndow. VLDB Proc. oappear. To , 40(1):3:1– , Bachelor theses Supervised 4.4 • • • • • • • • onsfrteTe dtDsac (ongoing) Distance Upper Edit Tree of the for Comparison Bounds Experimental Proschofski: Online Sibylle in Results Search (ongoing) Diversifying Shopping Buchner: Lukas Files Text Structured (ongoing) for Statistics Database Ebner: Anton Opti- Query Cost-Based (ongoing) a mizer Constructing Wenig: Michael C++ for Hashmaps (ongoing) Benchmarking Eckschlager: Andreas Edit Tree Algorithms of Distance Evaluation Experimental An Schwarz: Stefan Files Text Structured Indexing Eisl: Rupert Text Structured for Files System Database SQL Reiter: Markus PhD Master • • • • • • • • NVRIYO SALZBURG OF UNIVERSITY eaeTsae scrn ure nMlioa Networks(ongoing) Multimodal in Queries Isochrone Tesfaye: Bezaye Joins Similarity Set of (ongoing) Computation Efficient Mann: Willi Online (ongoing) in Shopping Results Search Relevant Rappensberger: Patrick (ongoing) Distance Edit Tree Parallelizing Schwarz: Stefan Similarity Tree for Techniques (ongoing) Join Efficient Kocher: Daniel NoSQL- verteilten Datenbanken in Anfrageoptimierung Höller: Stefan (ongoing) Queries SQL Basic Optimizing Zauner: Robert Large for Mappings (ongoing) Edit Trees of Visualization Auinger: Tobias | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 43

Database Systems Database Systems Referee Committees Program Conference Editorship Journal activities Miscellaneous 4.5 44 • • • • • • • • • | atgah n egahcIfrainScience Information Geographic (PODS) and Systems Cartography Database of Principles on Symposium ACM (TODS) Systems Database on (TKDE) Transactions Engineering ACM Data and Knowledge on Trans. IEEE (demo) 2015 VLDB Databases, Large Very 2015 DASFAA on Applications, Conference Advanced International for Systems Database on (demo) Conference 2015 International EDBT Technology, Database Extending on Conference 2015 International ICDE Engineering, Data on Conference International (Springer) Journal VLDB The of Editor Associate nulRpr 2015 Report Annual 5 Eﬃcient Algorithms Overview

Our research group focuses on different algorithmic aspects of parallel and dis- Head tributed computing. Parallel and distributed algorithms are used to solve large, computationally intensive problems in science and engineering. We work on the Univ.-Prof. Dr. Robert Elsässer interface between discrete mathematics, theoretical computer science, and parallel aspects of computing. We combine various techniques from these fields Group Members to design efficient solutions for problems such as information dissemination, distributed communication, network exploration, load balancing, and graph • Post-Doc models for large real world networks. – Dr. Horst Trinker In teaching, we cover the basic course for algorithms and data structures for 1st year students, as well as more advanced courses on algorithms for 3rd year • PhD Students bachelor and master students. In addition, we run basic courses in theoretical – Andreas Bilke, M. Sc. computer science. We also offer a number of seminars and projects related to parallel and distributed algorithms. – 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 Efficient Algorithms ra utemr,w locnie h mato h pedo awareness of spread epidemic. underlying the the of of urban behavior impact large the the a on consider within disease people a also the about we of mobility Furthermore, the state-of- situation as several area. spacial well in the as account epidemics locations into analyze different take We of networks. which society people. models, static modern the mobility a in network of in the-art mobility diseases studied of the are spread to the epidemics due for is reasons cases, main most the processes of epidemic In one of However, analysis networks. consider theoretical performance. we large the their project, of in improve this consists to In objective try second and broadcasting. Our graphs, of general case in the algorithms this in these complete solve than in message algorithms worse to of such number is is of reduced quality graphs goal to the a that with The have show and results messages steps First graph. time these transmissions. underlying of number all the small and of a in message, nodes problem all a to we possesses beginning distributed the network First, at be a that objectives. assume of we main Here, node two each problem. have called gossiping we called are so project processes the this analyze such In on based algorithms. algorithms epidemic Randomized called disease (also networks). a individuals of between Networkssocial spread interactions Large the certain simulate describe in and which networks, model Algorithms in to and used often Processes are processes Epidemic Epidemic of Analysis Project: 5.1 46 | nulRpr 2015 Report Annual Project-Facts: rjc Staff Project Funding Duration os Trinker Horst Pollhammer Andreas Moser Michael FWF 2015 – 2012 sal eurdt esml,futtlrn,ades oimplement. to are easy algorithms and voting fault-tolerant, Additionally, simple, be within possible. to converge required as should decentusually steps process with communication voting win few the should as is, supporters the that initial is, efficiently, of that and accurately, number Typically,probability, run highest to converges. the procedure nodes process voting with all the a If opinion and such opinions. from wins initial demand opinion the would this of one opinion, one on one agree network. on eventually the agree to in is neighbors goal direct main their with The these the communicate case, During asynchronous to the allowed in are activation clock. players upon random) or case, (possibly synchronous the rounds some in discrete rounds to in synchronously according possible either asynchronously of runs set or process finite voting a from the color, Then starts called network opinions. the also in sometimes player opinion, Each initial graph. one are a with We as modeled computing. players distributed of network in a problem given fundamental Networks a is Large voting in Distributed Voting Distributed Project: 5.2 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: rjc Staff Project Funding Duration | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT os Trinker Horst Pollhammer Andreas Moser Michael Bankhamer Gregor FWF 2015 since nulRpr 2015 Report Annual | 47

Efficient Algorithms Efficient Algorithms t efognzn ert-erntok nodrt ov udmna prob- discovery. fundamental resource solve and to dissemination cre- information order to like in phones, lems smart networks i.e., peer-to-peer clients, self-organizing mobile use ate to possibilities the create investigate ClientsWe to Mobile simulation with a Networking implement Peer-to-Peer therefore obtained graphs. We graphs hyperbolic-geometric social such networks. example, social for plane as, online hyperbolic distribution from a degree in node graphs similar geometric random a have that shown been Geometries recently has Hyperbolic It in process. solution Graphs the software Geometric simulate a every develop Random and we graphs round, process, input each this them. specify into among In insights to opinion better majority opinions. gain the to adopts initial order and possible In neighbors two its of of all contacts out where node graph, one a given has are node we process, each voting majority deterministic system. binary the cluster In our program on the Voting simulations of Majority resulting parts Deterministic the deploy suitable also parallelizing We that by software code. random- hardware develop of to modern behavior how learn utilizes the interns analyze fully Our empirically to protocols. spreading is rumor project ized the of goal main Networks The Large current in our Dissemination to related Information closely are school which to interests. projects, development research four and following research the in in internships students offered we Engineering 2015, and Summer Science In in Networks Project: 5.3 48 | nulRpr 2015 Report Annual Project-Facts: Interns Funding Duration oisSchwap Tobias Ivanovic Slavko Huang Eric Haritopoulos Marcell Fridrich Maximilian Egger Tobias Belohaubek Christoph FFG 2015 September – July PhD Master Bachelor Courses Theses Supervised and Teaching 5.4 • • • • • • • • oii Kaaser: Dominik Bilke: Andreas Halbrainer: Franziska Kostecka: Andreas Algorithmen Effiziente WFM: Komplexitätstheorie und Sprachen Formale Systeme für verteilte Algorithmen Datenstrukturen und Algorithmen omnt erhadGahMdl nLreSca Networks Social Large in Models Graph and Search Community admzdAgrtm o ffiin nomto Dissemination Information Efficient for Algorithms Randomized omnt eeto nSca Networks Social in Detection Community nlsso oilNtok sn aallAlgorithms Parallel using Networks Social of Analysis NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 49

Eﬃcient Algorithms Eﬃcient Algorithms nentoa Collaborations International Committees Activities Program Miscellaneous Conference and Cooperations International 5.5 50 • • • • • • • • • • • | hmsSurad nvriyo abig,UK Cambridge, of University Sauerwald, Thomas London College, King’s Radzik, Tomasz Italy Rome, of University Sapienza Natale, Emanuele Canada BC, University, Fraser Simon Mallmann-Trenn, Frederik University Durham Friedetzky, Tom London College, King’s Cooper, Colin Italy Rome, of Vergata Tor University Clementi, Andrea Canada BC, University, Fraser Simon Berenbrink, Petra Israel University, Gurion Ben Avin, Chen 2015) (SIROCCO Complexity 2015 Communication Euro-Par and Information Structural on Colloquium International 22nd nulRpr 2015 Report Annual 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 Efficient Algorithms . Publications 5.6 Rbr l¨se n oii asr admzdRnmn nSae eoySses In Systems. Memory Shared in Renaming Randomized Kaaser. Dominik Elsässer and Robert [9] Spreading. Rumor Quasirandom of Complexity Communication Sauerwald. Expander Thomas Elsässer, General and Robert on Berenbrink, Voting Petra for [8] Consensus Fast Shiraga. Takeharu and Nicolás Multiplicity. Rivera, Radzik, Elsässer, Moderate Tomasz Robert of Eigenvalues Cooper, Deterministic Some Colin the Having [7] Graphs of of Time Isomorphism Voting the the On On Trinker. Horst Elsässer Announcement: and Robert Brief [6] Natale. Emanuele and Mallmann-Trenn, Frederik Kaaser, Dominik [5] Rbr l¨se n oii asr nteIflec fGahDniyo admzdGsiig In Gossiping. Randomized on Density Graph of Influence the On Weighted Kaaser. Positively Computing Dominik Elsässer for and Algorithm Robert Simple A [4] Palfrader. Peter and Kaaser, Dominik Huber, Stefan Held, Martin Plane. Biedl, the Therese in Skeletons [3] Straight Weighted Palfrader. Peter and Kaaser, Dominik Huber, Stefan Focus Held, a Martin with Biedl, Networks Therese Heterogeneous [2] in Balancing Load Discrete Kaaser. Dominik Elsässer, and Robert Berenbrink, Petra Akbari, Hoda [1] 52 | aall&DsrbtdPoesn ypsu (IPDPS) Symposium Processing Distributed & Parallel 2015. 72(2):467–492, In Graphs. Applications Its and In Process. Majority (IPDPS) Symposium Processing Distributed & Parallel International tagtSeeoso oooePolygons. Monotone of Skeletons Straight Applications and Theory Geometry: In Diffusion. Second-Order on nulRpr 2015 Report Annual rceig fte2t nentoa ypsu nDsrbtdCmuig(DISC) Computing Distributed on Symposium International 29th the of Proceedings 05 oappear. to 2015. , rceig fte2t nentoa ypsu nDsrbtdCmuig(DISC) Computing Distributed on Symposium International 29th the of Proceedings rceig fte3t EEItrainlCneec nDsrbtdCmuigSses(ICDCS) Systems Computing Distributed on Conference International IEEE 35th the of Proceedings 82:2–3,2015. 48(2):120–133, , nomto rcsigLetters Processing Information ae 4–4,2015. 542–549, pages , ae 2–3,2015. 521–531, pages , 1()2327 2015. 115(2):243–247, , rceig fte2t EEInternational IEEE 29th the of Proceedings ae 4–6,2015. 248–262, pages , 2015. , rceig fte2t IEEE 29th the of Proceedings ierAlgebra Linear Computational Algorithmica 2015. , , 6 Scientific Computation

Overview The research activities of this division cover a variety of topics in theoretical and practical aspects of Scientific Computation, which are also pursued in international cooperations. Moreover, numerous lectures and courses are given by the division members Head in their areas of expertise. The main fields of research are listed in the following: Univ.-Prof. Dr. MariánVajterˇsic

Faculty Members Parallel Computation • Ass.-Prof. Mag. Dr. Clemens Amstler • Eﬃcient parallel linear algebra algorithms • Ao. Univ.-Prof. Dr. Elmar Eder • Algorithms for data retrieval in large data collections • Dipl.-Ing. Markus Flatz • Fast solvers for elliptic partial diﬀerential equations • Ao. Univ.-Prof. Dr. Helge Hagenauer • Signal processing and compression algorithms for media processors • Assoc.-Prof. Dipl.-Ing. Dr. Rade Ku- til

• Ao. Univ.-Prof. Dipl.-Ing. Dr. Helmut A. 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 kernel Hilbert Spaces

• Automatic and semi-automatic deduction

• Algebra of proofs

Simulation

• Methods, tools, and applications for discrete event simulation

• Distributed simulation

Computational Intelligence

• Evolutionary artiﬁcial neural networks for robots and games

• Simulation of spiking neural networks and other biological systems

54 | Annual Report 2015 Journals Publications 6.1 Proceedings Miscellaneous Mri eca are ks,adMrńVjeˇi.Nwdnmcodrnsfrteprle n-ie lc-aoiSDalgorithm. SVD block-Jacobi one-sided parallel the for orderings dynamic New Marián Vajterˇsic. Okˇsa, and Beˇcka, Gabriel Martin [1] FlxWl,MrńVjeˇi,LuaCrigo,F´dei ue,adMge eia.Promnemdln,peito,adevaluation. and prediction, modeling, Performance Pericas. Frédéric Miguel and Carrington, Marián Vajterˇsic, Wolf, Laura Suter, Felix [1] Ysk aaoo are ks,adMrńVjeˇi.Aypoi udai ovrec ftesra lc-aoiEDagrtmfor algorithm EVD block-Jacobi serial the of convergence Marián quadratic Okˇsa, Vajterˇsic. and Asymptotic Gabriel Yamamoto, Yusaku [4] University pp., 15 2015-02, Report Technical jacobi-method. one-sided Beˇcka, Okˇsa, Marián for Martin Gabriel and Vajterˇsic. code Parallel [3] algorithm SVD jacobi block one-sided parallel the Marián Beˇcka, of Vajterˇsic. and Martin Performance Yamamoto, Yusaku Kudo, Shuhei In [2] decomposition. matrix orthogonal on based problem elliptic fourth-order the for Marián algorithm Vajterˇsic. Fast and Stolfo di Paolo [1] aallPoesn Letters Processing Parallel pigrVra,2015. Springer-Verlag, In emta arcs ehia eot21-3 6p. nvriyo azug eateto optrSine,2015. Sciences, Computer of Department Salzburg, of University pp., 16 2015-03, Report Technical matrices. hermitian 2015. Sciences, Computer of Department Salzburg, of In 2015) (PPAM computer. Mathematics parallel Applied distributed-memory modern a on 2015) (PPAM Mathematics Applied and Processing Parallel on Conference 2015. International Czestochowa, of 11th of Abstracts of Book rceig fItrainlCneec nPrle n itiue optn Er-a 2015) (Euro-Par Computing Distributed and Parallel on Conference International of Proceedings 52:500––500–9 2015. 25(2):1550003–1–1550003–19, , ae3.Uiest fCetcoa 2015. Czestochowa, of University 38. page , oko btat f1t nentoa ofrneo aallPoesn and Processing Parallel on Conference International 11th of Abstracts of Book NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT NS93,pgsXXI–XXII. pages 9233, LNCS , nulRpr 2015 Report Annual ae3.University 37. page , | 55

Scientiﬁc Computation [5] Paolo Di Stolfo and Mari´anVajterˇsic. 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 • Theoretische Informatik

• Parallelverarbeitung • Nichtprozedurale Programmierung (Logische Program- mierung) • Lineare Algebra • Formale Systeme • Numerische Mathematik • Orientierung Informatik • Basisverfahren fürHPC • EinführungSimulation • Einführungin die Programmierung • Algorithmen und Datenstrukturen • Hardware Oriented Signal Processing • Natural Computation • Programmiersprachen: C/C++ • Pattern Recognition • Statistik • Computational Neuroscience • Audio Processing

• Analysis f¨urInformatik

• H¨ohereMathematik f¨urInformatik

• Wavelets and Filterbanks

56 | Annual Report 2015 Master Bachelor theses Supervised 6.3 • • • • • • • h etnua iamncPolm eunilImple- Sequential mentation A Problem: Solving Biharmonic for Rectangular Algorithm the Fast Splitting-based Stolfo: di Paolo Poker Algorithms Hold’em Coevolutionary Equilibrium by No-Limit Nash Heads-up Full-Scale a for Strategy Approximating Schorr: Maximilian Equation of problems Solution M/EEG a for Systems of Parallelization Vehicle Kleber: Michael the of Solutions Problem Evolutionary Routing Altenried: Julia und Berechnen zum SLD-Bäumen Programm von Anzeigen Pollhammer: Andreas Computer Equation for Heat Methods One-Dimensional of Efficient Solution Kuche: Simplice Aubin Erweiterung Prototyps – eines Studienzeit der Simulation Büchele: Kevin PhD • aksFaz ongtv esrFcoiain Algo- Factorization: Parallelization and Tensor rithms Nonnegative Flatz: Markus NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 57

Scientific Computation 6.4 Miscellaneous activities Conferences • CIG 2015, IEEE Conference on Computational Intelligence and Games (Helmut Mayer, PC member) • 2015 IEEE International Conference on Big Data (IEEE Big Data 2015) (MariánVajterˇsic,session chair) • SMC 2015, IEEE International Conference on Systems, Man and Cybernetics (Helmut Mayer, PC member) • 11th International Conference on Parallel Processing and Applied Mathematics (PPAM 2015) (MariánVajterˇsic, PC Societies member) • European Academy of Sciences and Arts (Univ.-Prof. Dr. • 21th International Conference on Parallel and Distributed MariánVajterˇsic,member) Computing (Euro-Par 2015) (MariánVajterˇsic,PC member) • Pro-IT: Working Group of the Austrian Computer Society (Univ.-Prof. Dr. MariánVajterˇsic,vice-head) • Austrian HPC Meeting 2015 (AHPC15) (MariánVajterˇsic, session chair) • Working Group Science of the Austrian Center for Scientific Computing (Univ.-Prof. Dr. MariánVajterˇsic,head) • ESM’2015 (European Simulation and Modelling Confer- ence) (Helge Hagenauer, PC member) Guest speaker

• ISC’2015 (Industrial Simulation Conference) (Helge Hage- • Mari´anVajterˇsicat Lawrence Berkeley National Labora- nauer, PC member) tory, USA

• GECCO 2015, Genetic and Evolutionary Computation • Mari´anVajterˇsicat Department of Computer Science, Uni- Conference (Helmut Mayer, PC member Genetic Algo- versity of Haifa, Israel rithms Track) Supervision of FFG summer internships

• Visualization of matrix factorizations (1 student)

58 | Annual Report 2015 ffr lse n eiaso oplrcntuto,oeaigsystems, verification. operating and construction, group logic, compiler concurrency, The on structures. seminars and co-algebraic classes as and offers systems benchmarks probabilistic and on systems as management well memory concurrent of and engineering professor. principled structures on assistant data is as group the group of the focus research with The Moreover, associated Kirsch, students. is Sokolova, masters Christoph Ana four Prof. and Prof. students by PhD five lead hosts Group, currently Systems Computational The Group Systems Computational Center Systems Software 7 NVRIYO SALZBURG OF UNIVERSITY Students Members Faculty Kirsch Christoph Dr. Univ.-Prof. Head • • • • • • • • • • lrz aaiAynh .Sc. M. Abyaneh, Salami Alireza funded) (externally Preishuber Mario funded) (externally Miller Alexander Sc. M. Lachhab, Ouafae funded) Hütter (externally Thomas funded) (externally Hasic funded) Dalmir (externally Sc. M. Donat-Bouillud, funded) Pierre (externally Arming Sebastian funded) Dipl.-Ing. (externally Aigner Martin Dipl.-Ing. Dr. in n Sokolova Ana | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 59

Software Systems Center Software Systems Center ihcmlmnay xcto-ae ehius uha otaetsig nodrt ul ol htcncp ihlresaesoftware large-scale with cope can that tools checking build model to of integration order the in at testing, and issues; software real-time as address such to systems. concepts techniques, passing execution-based software-as-a- message complementary, and distributed multi-core with and software virtualization address at at to by look issues; programming motivated We service are center systems: that embedded data topics and and on concurrent the transactions focus highly for we of foundation RiSE, generation Within solid new which the a one. in day provide approach from checking an process model design describe as our to use such We of (RiSE) techniques verification. goal Engineering” mathematical posteriori the Systems and a is “Rigorous costly and It checking term is model the procedure process. classical This beyond engineering move the completion. to from project after assessment analyzed quality is the model decouples or program today. a engineering i.e., obsolete systems methods facing challenge established important many most rendered single multi-core has the from is — — and computing software. computation cloud of concurrent kinds to of restricted processors certain presence are and analyzers exploding hardware static of the and design muchNevertheless, checkers the seen model in have routinely We tools: used where and foundation. now techniques mathematical level methods such rigorous a in computer-aided a progress on at by recent based now assistance are are that require tools They programmers and and dramatically. engineers increased have human systems computer of NFN FWF Engineering, Systems Rigorous Project: 7.1 h rdtoa s fmdlcekn n eae ehiushsbe posteriori, a been has techniques related and checking model of use traditional The criticality and ubiquity the as well as size and complexity the decades, past the Over 60 | ioosSsesEgneig(RiSE) Engineering Systems Rigorous nulRpr 2015 Report Annual Project-Facts: Amount Funding Webpage Partners Duration Title at4ad1 nvriyof University - EUR) 681,730 11 Salzburg and 4 (Project Part EUR 7,411,310 Total NFN FWF TU http://arise.or.at Linz, Vienna TU JKU Graz, Austria, IST 2011–2019 Engineering Systems Rigorous The project has three main research thrusts: First, we develop new language-based, architectural, and verification paradigms for highly concurrent and real-time software. Second, we develop novel game-theoretic algorithms for analyzing and synthesizing individual system components within a larger context. Third, we develop and improve decision procedures that lie at the very heart of every automatic method and tool for system design and analysis. RiSE consists of five internationally recognized researchers from the model checking community and four renowned researchers from the neighboring fields of software systems, distributed computing, and computational logic. This set-up encourages the integration of different viewpoints and complementary approaches towards the common objective of RiSE.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 61 Software Systems Center uigdpomn.I olbrto ihGol n. eaewrigo ol that performance. tools management on memory working in improvements are for we potential Inc., the Google later expose with exposed help be collaboration only In and development deployment. sys- during during management undetected memory remain best- their therefore microbenchmarking in may allow tems deficiencies not Performance do and behavior. V8, application worst-case Google’s diverse and as the such cover VMs not modern of avail- do space The typically benchmarks management. management. management memory is of memory memory there analyses able execution of systematic code for performance profiling support and little the benchmarking surprisingly for and tools numerous execution are there code While of performance the Project Google Locality, Semantic Project: 7.2 h efrac fmngdpormiglnugsi setal eemndby determined essentially is languages programming managed of performance The 62 | eoyMngmn Benchmarking Management Memory nulRpr 2015 Report Annual Project-Facts: Amount Funding Webpage Partner Duration Title 000EUR 80,000 Inc. Google http://acdc.cs.uni-salzburg.at Inc. Google 04/2015–03/2016 Locality Semantic ieas hscoc un u ob epu o tdnst nesadtetu oeo opst aatpssc sary n eod.Bitwise string records. and and character arrays as as such well types as types, data pointers composite data of and composite role integers excludes true 32-bit the but understand signed operator) to only * students built for (the are calls helpful dereferencing There system be includes o32 to MIPS32 features. that out of other turns C form choice many of the This and in subset literals. Turing-complete support operators, system tiny Boolean operating a minimal and is as bitwise C* well as emulator. debugger the simple a into even and disassembler and profiler teaching when and challenge identify key name. to the the as is hence seen theme engineering, operating is which common systems libraries, code The compilers, systems in of monitors. self-reference construction machine resolve the virtual even on and is and systems, focus languages programming The of implementation systems. and runtime design the students graduate and Project Teaching Software, Systems Self-Referential Project: 7.3 efi skp iia o ipiiyadipeetdi igefie hr snihralne o nasmlr oee,teei simple a is there However, assembler. an nor linker a neither is There file. single a in implemented and simplicity for minimal kept is Selfie of: implementation C 6k-line self-referential fully a is Selfie • • • • mlmne nmptradpoie ISe ita ahnsta a otalo efi,ta s tr,mptr n yse tef and itself, hypster and mipster, starc, selfie. is, by that utilized selfie, libcstar of called all microkernel library host tiny C* can tiny that a a machines on virtual based MIPSter provides is and which mipster hypster in implemented called hypervisor self-hosting a including code starc, MIPSter with executes compiled that MIPSter, when called mipster itself MIPS32 called of emulator subset powerful self-executing subset but a powerful tiny a but to tiny (C*) a Star C compiles called that C starc of called compiler self-compiling a h efi rjc rvdsa dctoa ltomfrtahn undergraduate teaching for platform educational an provides Project Selfie The NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Webpage Title | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT http://selfie.cs.uni-salzburg.at Selfie nulRpr 2015 Report Annual | 63

Software Systems Center operations are implemented in libcstar using signed integer arithmetics helping students gain true understanding of two’s complement. C* is supposed to be close to the minimum necessary for implementing a self-compiling, single-pass, recursive-descent compiler. C* can be taught in around two weeks of classes depending on student background. The compiler can readily be extended to compile features missing in C* and to improve performance of the generated code. The compiler generates MIPSter executables that can directly be executed by the emulator or 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 but neither bitwise nor byte-level instructions. MIPSter can be properly explained in a single week of classes. The emulator implements minimal operating 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 to an actual operating system or virtual machine monitor. The fact that the emulator can execute itself helps exposing the self-referential nature of that challenge. In fact, selfie goes one step further by implementing microkernel functionality as part of the emulator and a hypervisor that can 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 years of 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 Multimedia Overview This division comprises three labs, the Computational Geometry and Applica- tions Lab (http://www.cosy.sbg.ac.at/ held/work.html), the Multimedia ˜ Head Communications Lab, and the Multimedia Signal Processing and Security Lab Ao.Univ.Prof. Dr. Martin Held (WaveLab, wavelab.at). Faculty Members • Ass.-Prof. Dr. Bernhard Collini-Nocker • Ass.-Prof. Dr. Roland Kwitt • Univ.-Prof. Dr. Andreas Uhl Funded Project Staﬀ • Dipl.-Ing. Luca Debiasi • Dipl.-Ing. G¨unther 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 a escesul applied. forensics successfully com- and many be biometrics two multimodal are can the of there cooperation although isolation, synergic relative the Thus, where in scenarios people operated incidents. of often civil traditionally identiﬁcation have or the munities actions facilitate a criminal clear clearly developed in a a can involved Biometrics or action, which some crime techniques biometrics. in a of and involved number to forensics allegedly relation between identifying, people in to exists of down be relationship identity, boil may ques- the questions answer This such verifying many to Age or Since system. sciences Digital legal [Wikipedia]. of the action” a spectrum for civil to broad Forensics interest a and of of Biometrics tions application Integrating the IC1106: is Action Forensics COST ICT Project: 8.1 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Amount Funding Partners Duration | ns okhpatnac,short missions) attendance, scientiﬁc term workshop meet- (MC ings, costs mobility & Travel Technology) and Science Cooperation in (European COST - EU committee management members COST 28 2015 - 2012 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 67

Visual Computing and Multimedia Visual Computing and Multimedia cladscea set)i h nrdcino esnd-dnicto and de-identification organisations. person and Euro- relevant of experts networking pean by introduction content the multimedia in in eth- de-identification legal, reversible aspects) scientific, societal to and (related to ical aims efforts image Action such interdisciplinary This as by coordinated biometrics. areas identified and facilitate scientific tracking be such video pro- analysis, involving de-identification can speech challenge, the person processing, interdisciplinary indicates a gait, an that and as silhouette cess fact voice, pro- The face, the as for data. features measures appropriate personal of of an introduction provide tection the (95/46/EC), will Directive with Protection This concerned Data is privacy. EUs video, which their the (images, protecting supporting data for of of means set purpose effective given the content a for in multimedia text), captured in audio, individuals conceal- protection of of process identities privacy the the as for ing defined De-identification be can content IC1206: multimedia in Action De-identification COST ICT Project: 8.2 68 | nulRpr 2015 Report Annual Project-Facts: Amount Funding Partners Duration ns okhpatnac,short missions) attendance, scientific term workshop meet- (MC ings, costs mobility & Travel Technology) and Science Cooperation in (European COST - EU committee management members COST 43 2017 - 2013 rbt oboercsse cuay eiblt,adscrt ihteresults the with security project. and con- reliability, this will accuracy, of We system covered. In biometric be to will data. ageing tribute sample sensor data biometric biometric sample and of biometric verification, authentication, nature integrity sensor of nature specific biometric context specific of the the the questions (2) (1) particular, in and of techniques care sensors taking forensic biometric by image of systems, apply biometric methodolo- iris to and established aims fingerprint more project these the This where to cases advantages gies. application offer in can techniques, technologies tech- security cryptographic passive media classical active complement Image and to security. niques emerged systems have biometric forensics enhance video to and forensics media using on Forensics Project Sensor Biometric Project: 8.3 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partners Duration | FWF Sciences of Academy Chinese Dresden TU 2017 - 2014 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 69

Visual Computing and Multimedia Visual Computing and Multimedia o uoae ieetainbtenpeec n bec fvlosatrophy clips. villous video of endoscopic absence the and in applied presence be between will differentiation strategies automated classification for automated and opti- extraction of endoscopy. an feature reliability can Various technique, pediatric the software imaging analysis. improve of such band further narrow if routine can chromoendoscopy, the entirely is, the cal/digital if could assess into examine biopsy to will integrated bowel try we easily small Furthermore, will and a we cases, question developed such main be in The well, automated avoided. as images If be still clips endoscopic developed. video in been in only has not but atrophy images villous still detect software endoscopic can including analysis-software of techniques endoscopic analysis new the of for reliably variety 1%. still a re- but of diagnosis, biopsies until prevalence avoid the To CD a prove suspected recommended. has was role serologically biopsy with the (CD) bowel children small have disease Vec-cently in we Celiac Andreas diagnosis, where the by Vienna, partner. confirm in led To research Hospital project national Children’s joint a Anna a of St. is the 429) from project sei KLI Diagnosis (FWF Disease CeliacVideo Celiac Improved Towards Project: 8.4 70 | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration FWF Vienna Hospital, University Vienna Medical Hospital, Childrens Anna St. 2017 - 2015 iebsso vlainfrtesiaiiyo metric. a objec- of as suitability serve the will for project, evaluation the of of These basis framework tive databases. the in subjective established and IVES-specific also developed to databases, considered, applied be dif- are to project), which have this implemented, will of the goals methodologies Besides main test the applicable. subjective of one ferent longer is no (which con- metrics are quality such metrics low of conventional development extremely the for these which similarity VIF) scheme. for visual / the approxima-tent, assess SSIM by to an / targeted have (PSNR reconstruct metrics than metrics security to quality quality attacker visual higher conventional with an to content of Compared original inability the security the The of defi- (IVES): on tion schemes the relies encryption in video IVES role and important of image an of play security eventual metrics of (after Such nition ciphertext video mounted). Schemes or been assess image Encryption have automatically in attacks Video to present metrics and information developing of Image on amount project of the a Security is P27776 Visual project Assessing FWF for Metrics Project: 8.5 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partners Duration | FWF France Nantes, of Universiy 2018 - 2015 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 71

Visual Computing and Multimedia Visual Computing and Multimedia ra esifo h inaS.An hlrn optl(udnldata, (duodenal Hospital Childrens disease). Anna celiac of An- St. diagnosis with at Vienna and aimed detection), the Vienna cancer in from Hospital and generated Vecsei classification Elisabeth datasets dreas polyp on at St. rely aimed the We data, Häfner from (colon Michael tract. with gastrointestinal projects of the particu- earlier accuracy on In the focus improve systems. we to support lar, exploited diagnosis of automated be extent based and can type texture-classification endoscopes the in about knowledge distortion if optical investigation the Support to Diagnosis devoted Automated Project Classification-based) (Texture in Correction Distortion Endoscope Project: 8.6 72 Systems | nulRpr 2015 Report Annual Project-Facts: Funding Partners Duration FWF Vienna Hospital, Elisabeth Vienna St. Hospital, Childrens Anna St. 2015 - 2012 igelg(..te)bsdo iia mg fiscross-section. its of image digital a a of on the identify based basis on to tree) set enough the (i.e. is experessive on Focus log are single the which taken. logs descriptors, describe be of feature to to traceability approach of and development this imagery) the for (digital verify framework forest methodical to the main is in Images acquisition project data Digital the additional of of Means aim by The Logs of Traceability Project: 8.7 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Partners Duration | ne Sho fFrs Products TRP FWF Forest of Technology) (School Sci- Applied ences of University Salzburg 2015 - 2012 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 73

Visual Computing and Multimedia Visual Computing and Multimedia )oesspotfntoslk eidr,nw,wahr etc. weather, and news, reminders, etc. wheels, like assistance, on functions or meals support help like offers close- medical providers 3) geographical taxi, service in house-keeping, professional living assistance, to are shopping access who enables others, 2) to/from for ness; a support living provides for daily offer/demand 1) of to tablet adults activities and older TV enabling the system on exchange support platform Broad- GeTVivid of Broadcast use The and (Hybrid the standard Television). functionality through HbbTV band carers AAL-related the formal on the of and based of devices informal set TV as goal valuable connected well The as and adults, useful life. older to a social services offer in to participation improving is and at autonomy, project aims life, and home of with (residential) quality to their adults the impairments) in older vision activities daily or supporting their hearing, at manage mobility, aims restricted together” (e.g., impairments things mild do Let’s – ”GeTVivid Platform eHealth Project: 8.8 74 | nulRpr 2015 Report Annual Project-Facts: udn W TRP FWF Funding Partners Duration aiu oilCommunities Social various ISOIN GmbH EVISION Gallen St. University GmbH IRT S ICT& University Salzburg 2016 - 2013 n I,teeybodnn h rcia mato u work. our of architecture impact CAD/CAM, practical to, the limited appli- broadening not be thereby but GIS, will including, and tools providing fields, Our by diverse work al- libraries. to future our ready-to-use cable jump-start converting with on to companies emphasis order and our in colleagues place tools, for we software foundation 3D, into algorithmic and gorithms 2D and in mathematical skeletons thorough straight polyhedra. we a three-dimensional project, of on skeletons skeletons FWF working straight straight previous Besides (2) weighted straight to (1) a of and to in dimensions gained application work two have and we in prior knowledge theory on the the extend Based of to 3D. plan study and the 2D is in project skeletons the of goal The Skeletons Straight Project: 8.9 NVRIYO SALZBURG OF UNIVERSITY Project-Facts: Funding Duration | FWF 2016 - 2013 EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 75

Visual Computing and Multimedia Visual Computing and Multimedia .0Tpc fresearch of Topics 8.10 76 • • | ed nv-rf r nra Uhl Andreas Dr. Univ.-Prof. Lab Head: Security and Processing Signal Multimedia Website: Held Martin Dr. Univ.-Prof. Ao. Head: Lab Applications and Geometry Computational nulRpr 2015 Report Annual – – – – – – – – utmdascrt n biometrics, and security Kwitt multimedia Roland Dr. Ass.-Prof. faculty: Other ie auatrn,gorpia nomto ytm,cmue rpis iulcmuig n virtual and computing, visual graphics, computer systems, computer- reality. information design, (geometric) geographical computer-aided e.g., manufacturing, in, structures aided data and algorithms geometric of applications and computing, GPU-based reliability, and robustness design, program ﬂavor), geometric a engineering, with algorithm those (particularly structures data and algorithms geometry, computational http://www.cosy.sbg.ac.at/ ˜ held/work.html – 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, network and application security analysis, traﬃc monitoring, measurement and analysis.

UNIVERSITY OF SALZBURG | DEPARTMENT OF COMPUTER SCIENCES

Annual Report 2015 | 77 Visual Computing and Multimedia Journals Publications 8.11 McalHanr ouTmk,Sij aaa nra h,GogWme,adSieoYsia oa rca ieso ae ap- based dimension fractal Local Yoshida. Shigeto and Wimmer, Georg Plane. the Uhl, in Andreas Skeletons Tanaka, Straight Shinji Weighted Tamaki, Häfner, Toru Palfrader. Michael P. and [5] of Kaaser, Skeletons D. Straight Weighted Huber, Positively S. Computing Held, for Algorithm M. Simple Biedl, A T. Palfrader. [4] P. and Kaaser, D. skeletons. Huber, straight S. on Held, based M. curves Biedl, offset T. mitered pathologies. Computing [3] of Held. presence the M. in and analyses Palfrader image P. atlas Low-rank Aylward. [2] S. and McCormick, M. Singh, N. Kwitt, R. Niethammer, M. Liu, X. [1] SbsinHgnatadAdesUl cl-adoinainaatv xeso flclbnr atrsfrtxueclassification. texture for patterns binary local of extension orientation-adaptive and scale- A log wood Uhl. biometric Andreas of and applicability Hegenbart the Towards Sebastian [9] Uhl. Andreas and Petutschnigg, Alexander Charwat-Pessler, recognition Johann iris Schraml, in assessments Rudolf short-timespan vs. [8] long on quality (segmentation) of Impact methods. Uhl. recognition Andreas texture and Ferryman, of James invariance Wild, Peter scale the [7] of evaluation systematic A Wimmer. Georg and Uhl Andreas [6] 78 | rahsfrclncplpclassification. polyp colonic for proaches 2015. Polygons. Monotone Imaging Medical on Transactions IEEE atr Recognition Pattern images. end log digital using traceability performance. Applications nulRpr 2015 Report Annual 89599 2015. 18:945–969, , E Biometrics IET 88:63–24,2015. 2644, – 48(8):2633 , nomto rcsigLetters Processing Information ()2725 2015. 4(4):227–235, , 41)28–51 2015. 34(12):2583–2591, , eia mg Analysis Image Medical optr n lcrnc nAgriculture in Electronics and Computers 1()2327 eray2015. February 115(2):243–247, , 69–0,2015. 26:92–107, , 1:1–2,2015. 119:112–122, , CADA 24:1–2,2015. 12(4):414–424, , CGTA 82:2–3,February 48(2):120–133, , atr nlssand Analysis Pattern [10] Sebastian Hegenbart, Andreas Uhl, and Andreas Vécsei. Survey on computer aided decision support for diagnosis of celiac disease. Computers in Biology and Medicine, 65:348 – 358, 2015.

[11] J. H¨ammerle-Uhl,E. Tillian, and A. Uhl. Recognition impact of JPEG2000 Part 2 wavelet packet subband structures in IREX K3 iris image 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 Neural Information Processing Systems (NIPS), 2015.

[2] Y. Hong, R. Kwitt, and M. Niethammer. Model criticism for regression on the grassmannian. In Medical Image Computing and Computer Assisted 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, pages 4741–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 Oﬀsetting of Polygonal Structures Using Skeletons. In Proc CADC, pages 264–268, June 2015.

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

[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 oﬀsetting 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 ﬁnger-vein recognition. In Proceedings of the 8th IAPR/IEEE International Conference on Biometrics (ICB’15), pages 1–8, Phuket, Thailand, May 2015.

[11] Thomas Bergmüller,Eleftherios Christopoulos, Martin Schnöll,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 coeﬃcient signs considered harmful. In Proceedings of the IEEE International Conference on Image Processing (ICIP’15), 2015.

[13] Heinz Hofbauer, Christian Rathgeb, Johannes Wagner, Andreas Uhl, and Christoph Busch. Investigation of better portable graphics compression 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 log end 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 Conference of 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 identiﬁcation based on digital cross-section images of log ends using ﬁngerprint and iris recognition methods. In Proceedings of the 16th International Conference on Computer Analysis of Images and Patterns (CAIP’15), LNCS, pages 752–765. Springer Verlag, 2015.

[17] Thomas Herzog and Andreas Uhl. JPEG optimisation for ﬁngerprint 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 Workshop on Biometrics and Forensics (IWBF’15), 2015.

80 | Annual Report 2015 [19] L. Debiasi and A. Uhl. Blind biometric source sensor recognition using advanced prnu ﬁngerprints. In Proceedings of the 2015 European Signal 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, pages 53–64, 2015.

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

[22] Michael Gadermayr, Andreas Uhl, and Andreas V´ecsei.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 ﬁelds of texture classiﬁcation. In Proceedings of the IEEE International Conference on Image Processing (ICIP’15), 2015.

[24] Michael Gadermayr, Hubert Kogler, Andreas Uhl, and Andreas V´ecsei. Comparing endoscopic imaging conﬁgurations in computer-aided celiac disease diagnosis. In Proceedings of the 5th IEEE International Conference on Image Processing Theory, Tools and Applications 2015 (IPTA’15), 2015.

[25] Michael Gadermayr, Andreas Uhl, and Andreas V´ecsei. Dealing with intra-class and intra-image variations in automatic celiac disease diagnosis. In Proceedings of Bildverarbeitung f¨urdie Medizin 2015 (BVM’15), pages 461–466, 2015.

[26] Michael Häfner,Michael Liedlgruber, and Andreas Uhl. Colonic polyp classification in high- definition video using complex wavelet- packets. In Proceedings of Bildverarbeitung fürdie 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 for Pattern Recognition (OAGM’15). ArXiv, 2015. arXiv:1505.01065. Miscellaneous

[1] Rudolf Schraml, Heinz Hofbauer, and Andreas Uhl. Tree log identiﬁcation based on digital cross-section images of log ends using ﬁngerprint 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 inﬂuence of sensor ageing. Technical Report 2015-10, Department of Computer Sciences, University of Salzburg, Austria, http://www.cosy.sbg.ac.at/tr, 2015.

82 | Annual Report 2015 Teaching Teaching 8.12 • • • • • • • • • • • • ifu rn nKytgaheudI-ihret(VO+PS) IT-Sicherheit und Kryptographie Einführung in Vision (VO+PS) Computer Systeme Biometrische and Processing (VO+PS) Image Advanced (VO+PS) Learning Machine Präsentation (VP) und Arbeiten Wissenschaftliches (VO+PS) Einführung Computergraphik (SE) Computergraphik (VP) Rechnen Geometrisches (VO+PS) Modeling Geometric (VO+PS) Geometry Computational (VO+PS) Mathematik Diskrete (VP) Einführung Unix • • • • • • • • • • ahlrPoet(SE) Projekt Bachelor (VO+PS) IT-Sicherheit (VP) Recht und Gesellschaft Informatik, (VP) Praxis der in Betriebssysteme (VO+PS) Netzwerksicherheit und Rechner (VO+PS) Systeme Verteilte und Netze (SE) Technologien Multimedia (VO) Informatik Orientierung (VO+PS) Formats Media / Datenformate and Multimedia Processing Image (VO+PS) Vision / Computer Bildverarbeitung Grundlagen NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 83

Visual Computing and Multimedia Visual Computing and Multimedia PhD Bachelor theses Supervised 8.13 84 • • • • • | nsaeivrattxuefaueetato techniques extraction feature focused texture classification invariant scale image on Endoscopic Wimmer: Georg Tolerance-Band. By A Within Curve, Bézier Ap- Circular-Arcs Quadratic Applicable Fewest Fast For A Algorithm proximation Siahposhha: Hossein Amir of Seyed Animation Data. Forecast and Weather on Visualization Based Scenes Cloud Realistic Large-Scale Hufnagel: R. Fingerprint for Optimisation JPEG Recognition Herzog: Feedback- Thomas und Netzwerkmonitoring Salzburg für Radiofabrik Programm Farghaly: Sonja nulRpr 2015 Report Annual Master • • • • CUDA. Marco Signature IDS an Campaign of Spam Creation a of and Analysis Files: Executable Embedded Malicious with Documents RTF Pötzelsberger: Gerhard Systems Finger-Image Recognition on Biometric Ageing based Sensor of Impact Kauba: Christof V4 CASIA-Iris the of Analysis Forensic Database A Debiasi: Luca ueic aallDlua raglto with Triangulation Delaunay Parallel Sulejić: ˇ aemeig epciey nra h a rga hi o h 4hItrainlCneec fteBoerc pca neetGroup (IWBF’15). Interest Forensics the and Special Recogni- for Biometrics Biometrics Pattern Chair on the Workshop organising for of International local Association 3rd Conference as Austrian the International Hegenbart for 14th the Sebastian Chair the of co-Program and for Workshop and chair Chair Annual (BIOSIG’15) program Program 39th the was the as Uhl acting Andreas for was Chairs respectively. Kwitt meeting, General Roland same as while acted 2015), (OAGM/AAPR Uhl tion Andreas and Kwitt Roland Organisation company. Conference one to sold licenses FIST companies; four to sold licenses VRONI/ArcVRONI licensing Commercial Activities Miscellaneous 8.14 : : NVRIYO SALZBURG OF UNIVERSITY | EATETO OPTRSCIENCES COMPUTER OF DEPARTMENT nulRpr 2015 Report Annual | 85

Visual Computing and Multimedia Universit¨atSalzburg Fachbereich Computerwissenschaften Jakob-Haringer-Strasse 2 5020 Salzburg

Layout: PR Department [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