A Survey of Evaluation Techniques and Systems for Answer Set Programming

Prof. Francesco Ricca | May 3, 2019 | 11:00 | S.1.42

Abstract:

Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications. The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations. In this talk we trace the history of ASP systems, describing the key evaluation techniques and their implementation in actual tools.

CV:

Francesco Ricca (www.mat.unical.it/ricca) is currently an Associate Professor at the Department of Mathematics and Computer Science of the University of Calabria, Italy. In the same Department he is Coordinator of the Computer Science Courses Council.
He received his Laurea Degree in Computer Science Engineering (2002) and a PhD in Computer Science and Mathematics (2006) from the University of Calabria, Italy, and received the Habilitation for Full Professor in Computer Science (INF/01) in 2017.
He is interested in declarative logic-based languages, consistent query answering, and rule-based reasoning on ontologies and in particular on the issues concerning their practical applications: system design and implementation, and development tools.
He is co-author of more than 100 (peer-reviewed) publications including international research journals (30+), encyclopedia chapters, conference proceedings, and workshops of national and international importance. He has served in program committees of international conference and workshop, such as IJCAI, AAAI, KR, ICLP, LPNMR and JELIA, and has been reviewer for AIJ, JAIR, TPLP, JLC, etc. He is Area Editor of Association for Logic Programming newsletters, and member of the Executive Board of the Italian Association for Artificial Intelligence.

Posted in TEWI-Kolloquium | Leave a comment

Artificial Intelligence (AI) in media applications and services

Dr.-Ing. Christian Keimel | 9.5.2019 | 10:00 | S.1.42

Abstract: Artificial Intelligence (AI) is nowadays used frequently in many application domains. Although sometimes considered only as an afterthought in the public discussion compared to other domains such as health, transportation, and manufacturing, the media domain is also transformed by AI enabling new opportunities, from content creation e.g. “robojournalism” and individualised content to optimisation of the content production and distribution. Underlaying many of these new opportunities is the use of AI in its current reincarnation as deep learning for understanding the audio-visual content by extracting structured information from the unstructured data, the audio-visual content.

In this talk the current understanding and trends of AI will therefore be discussed, what can be done, what is done, and what challenges remain in the use of AI especially in the context of media applications and services. The talk is not so much focused on the details and fundamentals of deep learning, but rather on a practical perspective on how recent advances in this field can be utilised in use-cases in the media domain, especially with respect to audio-visual content and in the broadcasting domain.

Bio: Christian Keimel received his B.Sc and Dipl.-Ing.(Univ.) in information technology from the Technical University of Munich (TUM) in 2005 and 2007, respectively. In 2014 he received a Dr.-Ing. degree from TUM for his dissertation on the “Design of video quality metrics with multi-way data analysis.” Since 2013 he is with the Institut for Rundfunktechnik (IRT), the research and competence centre of the public service broadcasters of Austria, Germany, and Switzerland, where he leads the machine learning team, working on the applications of machine learning and AI in the broadcasting context. In addition, he is a lecturer at TUM for “Deep Learning for Multimedia”. His current research interests include applications of data-driven models using machine learning particularly deep learning for audio-visual content understanding and distribution optimisation.

Posted in TEWI-Kolloquium | Leave a comment

Beim 3. Catalysts Coding Contest an der Universität Klagenfurt konnten Programmier-Talente wieder überzeugen

Am 22.März 2019 fand zum dritten Mal an der Universität Klagenfurt der internationale Catalysts Coding Contest statt. Der Programmier-Wettbewerb wird vom Linzer IT- Unternehmen Catalysts veranstaltet, neben Klagenfurt haben auch die Universitäts-Standorte Graz, Salzburg, Linz und Wien den Wettbewerb in Österreich ausgetragen. Für den Wettbewerb war es mit dem 30. Mal ein Jubiläum, und die Klagenfurter Teilnehmer konnten sich mit internationalen Programmierkollegen aus den Niederlanden, Polen, Frankreich, Rumänien, Finnland und den USA messen. Insgesamt nahmen 2023 Teams an 34 Standorten teil, und lösten mit bis zu 10 Personen Programmieraufgaben auf 7 Schwierigkeitsstufen.

Am Vormittag fand der Schulcontest mit insgesamt 567 internationalen Teams statt, Klagenfurt stellte davon 11 Teams mit insgesamt 27 motivierten SchülerInnen. Nachmittags fand der allgemeine Contest statt, bei welchem Klagenfurt mit 10 von 1456 Teams und damit 22 ProgrammiererInnen vertreten war.

Das Schülerteam „AtLeastWeTried3.1“, bestehend aus 6 Schülern, zeigt, dass sich Erfahrung lohnt: Die Schüler haben schon öfter am Catalysts Coding Contest in Klagenfurt teilgenommen und konnten in diesem Jahr den Sieg mit nach Hause nehmen. International stellten sie den 60. Platz aller teilnehmenden Teams. Die Schüler nahmen in Teams zu drei Personen auch am Wettbewerb der Erwachsenen teil, konnten Platz 4 und 5 sichern und sich global auf Platz 172 hochprogrammieren.

Das Gewinnerteam des Hauptwettbewerbs mit Namen „+++“ sind in lokalen Kreisen nicht unbekannt und konnten nach einem 2. Platz im Vorjahr dieses Jahr in Klagenfurt den Wettbewerb gewinnen. Weltweit schaffte es das Team auf den 87. Platz.

Wir gratulieren allen Teilnehmerinnen und Teilnehmern recht herzlich zu ihren hervorragenden Leistungen, bedanken uns bei den Sponsoren Alturos Destinations, dem Förderverein der Technischen Fakultät und dem Regionalen Fachdidaktikzentrum Informatik in Kärnten, und hoffen auf ein Wiedersehen im kommenden Jahr.

Die Siegergruppe beim Schülerwettbewerb, links mit Max Kesselbacher vom Institut für Informatikdidaktik (Veranstalter) und Carmen Volina von Alturos Destinations (Sponsor)

Posted in Veranstaltungen | Leave a comment

Lakeside Labs Research Days

 

Communication in Swarms

Lakeside Labs GmbH, Lakeside Science and Technology Park, Klagenfurt am Wörthersee, Austria
July 09-11, 2019
https://researchdays.lakeside-labs.com/


We would like to invite you to our biannual Lakeside Labs Research Days, successfully established in 2008, held by Lakeside Labs GmbH and the University of Klagenfurt. The Research Days are a three-day interdisciplinary workshop dated 09 to 11 July 2019.

This year, the focus of Research Days is on Communication in Swarms. Swarms cooperate without any central control and act according to simple and local behavior. Only through their interactions, a collective behavior can emerge to solve complex tasks. Reliable communication is an important requirement for swarms to work effectively. It can either be explicit (exchange of messages) or implicit (reaction on stigmergy) and may be extended to human-machine interaction.

The event should provide a good opportunity to exchange research ideas, to initiate collaborations, and plan joint projects. Notable results from previous Research Days have been research collaborations, joint papers, conference special sessions, and proposals for European Projects. We are looking forward to have you on-board!

Following are the notable talks from our invited speakers.

  • Heiko Hamann, University of Lübeck
    Together Everyone Achieves More! On Swarm Performance and Interference
  • Sofie Pollin, KU Leuven
    Sense and Avoid Technology for enabling Swarms
  • Alcherio Martinoli, EPFL
    Communication in Swarms: Forms, Strengths, and Limitations

For further information on registration, agenda, housing information, etc. please visit our website (https://researchdays.lakeside-labs.com/).

One of the key-success factors of the Research Days is the intense group work with a limited number of participants. This year we expect about 50 people. Therefore, seats are limited – please register as soon as possible.

We look forward to welcome you in Klagenfurt for an intellectual exchange.

Posted in Veranstaltungen | Leave a comment

Towards 6DoF Adaptive Streaming Through Point Cloud Compression

Jeroen van der Hooft | 25.03.2019 | 16:00 | S.2.42

Abstract: The increasing popularity of head-mounted devices and 360-degree video cameras allows content providers to provide virtual reality video streaming over the Internet, using a relevant representation of the immersive content combined with traditional streaming techniques. While this approach allows the user to look around and move in three dimensions, the user’s location is fixed by the camera’s position within the scene. Recently, an increased interest has been shown for free movement within immersive scenes, referred to as six degrees of freedom (6DoF). One way to realize this, is by capturing one or multiple objects through a number of cameras positioned in different angles, creating a point cloud object which consists of the location and RGB color of a significant number of points in the three-dimensional space. While the concept of point clouds has been around for over two decades, it recently received increased attention by MPEG, issuing a call for proposals for point cloud compression. As a result, dynamic point cloud objects can now be compressed to bit rates in the order of 3 to 55 Mb/s, allowing feasible delivery over today’s mobile networks. In this talk, we use MPEG’s dataset to generate different scenes consisting of multiple point cloud objects, and propose a number of rate adaptation heuristics which use information on the user’s position and focus, the available bandwidth and the buffer status to decide upon the most appropriate quality representation of each of the considered objects. Through an extensive evaluation, we discuss the advantages and drawbacks of each solution. We argue that the optimal solution depends on the considered scene and camera path, which opens interesting possibilities for future work.

Bio: Jeroen van der Hooft obtained his M.Sc. degree in Computer Science Engineering from Ghent University, Belgium, in July 2014. In August of that year, he joined the Department of Information Technology at the same university, where he is currently active as a Ph.D. student. His main research interests include the end-to-end Quality of Experience optimization in adaptive video streaming, and low-latency delivery of immersive video content. During the first months of 2019, he worked as a visiting researcher in the Institute of Information Technology at the University of Klagenfurt, where he focused on rate adaptation for volumetric media streaming.

Web sitehttps://users.ugent.be/~jvdrhoof/

Posted in TEWI-Kolloquium | Leave a comment

Knitting together/Living together: Was wir vom Stricken mit Robotern lernen können

Dr. Pat Treusch | Do., 11.04.2019 | 18 Uhr | Stiftungssaal

Inhalt (Entwurf): In ihrem Vortrag „Knitting together/Living together: Was wir vom Stricken mit Robotern lernen können“ spricht Patricia Treusch über die Zusammenarbeit von Mensch und Maschine. Aufbauend auf ihrer aktuellen Forschung beleuchtet sie Mensch-Maschine-Verhältnisse, Automatisierung von Arbeit sowie den Körper/Geist Split im Zusammenhang mit Artificial Intelligence. Am Beispiel Stricken diskutiert sie die Interaktionsverhältnisse zwischen Mensch und Roboter und stellt Formen der feministischen-kritischen Intervention in aktuelle Praktiken des Engineering und der Robotik vor.

© Felix Noak

Dr. phil./PhD Pat Treusch hat am Zentrum für Interdisziplinäre Frauen- und Geschlechterforschung (ZIFG) und dem Tema Genus, Universität Linköping, Schweden zu dem Thema „Robotic Companionship“ binational promoviert (Cotutelle-Verfahren). Von August 2015—Februar 2018 hat sie als wissenschaftliche Mitarbeiterin am ZIFG das Projektlabor „Wie Wissenschaft Wissen schafft. Verantwortlich Handeln in Natur- und Technikwissenschaften“ im Rahmen des MINTgrün Orientierungsstudiums (TUB) durchgeführt.

Im Berliner Verbundprogramm „DiGiTal – Digitalisierung: Gestaltung und Transformation“ setzt Pat Treusch am Fachgebiet Allgemeine und Historische Erziehungswissenschaft und am ZIFG, TU Berlin ihr Postdoc-Projekt „Das vernetzte Selbst. Eine feministisch-interdisziplinäre Studie zur Veränderung von Lernkulturen durch Digitalisierungsprozesse im Zeitalter des Internets der Dinge (IoT)“ um. Das Projekt analysiert empirisch beobachtbare Herausforderungen »unserer« Lernkulturen, die sich ergeben, wenn Alltagstechnologien anfangen zu lernen. Smart-Home-Geräte sind nur ein aktuelles Beispiel solch intelligenter Alltagstechnologien des IoT, an denen neuartige Mensch-Maschine-Schnittstellen entstehen. Diese versprechen – im Kern – eine Vernetzung aller Lebensbereiche. Das Projekt geht davon aus, dass den entstehenden Schnittstellen eine Qualität inhärent ist, die »uns« zu mehr herausfordert, als eine Medienkompetenz 4.0 zu entwickeln. Sich zwischen der feministischen Technik- und Wissenschaftssoziologie mit Fokus auf Mensch-Maschine Verhältnissen und der feministischen Erziehungswissenschaft mit Fokus auf Lerntheorien verortend, untersucht das Projekt explorativ, inwiefern aktuelle Lernumgebungen der Digitalisierung durch neue Verschränkungen von maschinellem und menschlichem Lernen gekennzeichnet sind. Das bedeutet auch, die Verhältnissetzungen zwischen Kognition und Lernen, im speziellen zwischen Computer und Kognition, in unterschiedlichen Wissens- und Technikfeldern der Digitalisierung nachzuzeichnen. Dem folgend zielt das Projekt darauf ab, sich verändernde, digitalisierte Bedingungen »unseres« Selbst- und Weltbezugs zu erfassen. Nicht zuletzt beinhaltet dies, intelligente Alltagstechnologien daraufhin zu befragen, ob und wie grundlegende symbolische Ordnungsschemata der Gesellschaft – etwa Gender, Sexuality, Race, Class oder Ableism – neu verhandelt werden (könnten).

Posted in TEWI-Kolloquium | Leave a comment

Bitmovin Open Positions

At Bitmovin, we’re constantly seeking out like minded individuals to come be a part of the adaptive video streaming revolution.

The Bitmovin job board is a busy place. We are looking for a wide range of skills ranging from experienced video developers to talented internships to sales, marketing and admin positions.

Positions [Details here https://bitmovin.com/careers/]

  • Developer Evangelist
    SAN FRANCISCO (HEADQUARTERS), NYC, DENVER, CHICAGO, SEATTLE, LONDON, BERLIN, VIENNA, KLAGENFURT – MARKETING
  • Internship HR
    KLAGENFURT – HUMAN RESOURCES
  • Jr. Financial Controller (FP&A Analyst)
    KLAGENFURT – FINANCE
  • MBA Intern – Business Operations
    CHICAGO – OPERATIONS
  • MBA Intern – Business Operations
    SAN FRANCISCO (HEADQUARTERS) – OPERATIONS
  • Product Manager, Analytics
    KLAGENFURT, VIENNA – PRODUCT
  • Product Manager, Encoding
    KLAGENFURT, VIENNA, LONDON, BERLIN – PRODUCT
  • Product Marketing Manager
    SAN FRANCISCO (HEADQUARTERS) – PRODUCT
  • Senior Content Strategist
    SAN FRANCISCO (HEADQUARTERS) – MARKETING
  • Senior Software Engineer – JavaScript
    VIENNA, KLAGENFURT – ENGINEERING
  • Software Engineer
    KLAGENFURT, VIENNA – ENGINEERING
  • Software Engineer – Android
    KLAGENFURT, VIENNA – ENGINEERING
  • Software Engineer – JavaScript
    KLAGENFURT, VIENNA – ENGINEERING
  • Solutions Architect – Player
    LONDON, BERLIN, KLAGENFURT, VIENNA – SOLUTIONS
  • Sr. Financial Controller (FP&A Analyst)
    KLAGENFURT – FINANCE
  • Support Specialist – EMEA
    KLAGENFURT, VIENNA – SUPPORT
  • Test Automation Engineer
    KLAGENFURT – ENGINEERING
  • Test Systems Engineer – Video Player Team
    KLAGENFURT – ENGINEERING
  • Visual Designer
    VIENNA – MARKETING
Posted in Stellenausschreibungen | Leave a comment

IMENDO GmbH neues Mitglied beim Förderverein Technische Fakultät

Die IMENDO GmbH wurde 2009 von den drei Geschäftsführern Dr. Jörg Kerschbaumer, Dr. Matthias Reichhold und Clemens Eberwein gegründet und ist ein unabhängig geführtes Unternehmen mit dem Sitz in Klagenfurt am Wörthersee im Lakeside B08a. Unsere Spezialisierung liegt in der Konzeption und Implementierung von Enterprise Lösungen für Industrie und öffentliche Einrichtungen. Dies umschließt das Einrichten und die Betreuung von Intranet und Dokumentenmanagementsystemen auf Basis Microsoft SharePoint. Weiters bieten wir mit Skype for Business unseren Kunden ein einheitliches Kommunikationssystem an, das eine perfekte interne und externe Kommunikation sowie raumübergreifendes Arbeiten ermöglicht. Weitere Produkte unseres Unternehmens stellen Business Intelligence & Data Analytics sowie individuelle Software Entwicklungen dar. Das gesamte Unternehmen ist langjähriger Microsoft Gold Partner.

Unser Team besteht im Moment aus 23 hochqualifizierten Mitarbeitern – Microsoft Certified Professionals und Microsoft Certified Solutions Experts, welchen wir modernste Hardware und State-of-the-Art-Technologie inkl. privater Nutzung sowie flexible Arbeitszeiten und ständige Weiterbildungen ermöglichen. Weiters wird bei uns die Mitarbeitervorsorge groß geschrieben, so gibt es z.B. professionelle inhouse Massagen und tägliche gesunde Snacks zur kostenlosen Verfügung. Eine flache Hierarchie und freundschaftliches Betriebsklima sorgen für regelmäßige Teamevents.

Posted in News | Leave a comment

Review: Developing and Evolving a DSL-Based Approach for Runtime Monitoring of Systems of Systems [Slides]

The review of the TEWI colloquium of Priv.-Doz. Dr. Rick Rabiser from February 7, 2019 comprises the slides (below):

Abstract

Complex software-intensive systems are often described as systems of systems (SoS) due to their heterogeneous architectural elements. As SoS behavior is often only understandable during operation, runtime monitoring is needed to detect deviations from requirements. Today, while diverse monitoring approaches exist, most do not provide what is needed to monitor SoS, e.g., support for dynamically defining and deploying diverse checks across multiple systems. In this talk, I will describe our experiences of developing, applying, and evolving an approach for monitoring an SoS in the domain of industrial automation software, that is based on a domain-specific language (DSL). I will first describe our initial approach to dynamically define and check constraints in SoS at runtime, including a demo of our monitoring tool REMINDS, and then motivate and describe its evolution based on requirements elicited in an industry collaboration project. I will furthermore describe solutions we have developed to support the evolution of our approach, i.e., a code generation approach and a framework to automate testing the DSL after changes. We evaluated the expressiveness and scalability of our new DSL-based approach using an industrial SoS. At the end of the talk, I will also present general lessons we learned and give an overview of other projects in the area of software monitoring as well as other areas such as software product lines, that I am currently involved in.

Bio

Rick Rabiser (http://mevss.jku.at/rabiser) is currently a senior researcher at the Christian Doppler Laboratory for Monitoring and Evolution of Very-Large-Scale Software Systems (VLSS) at Johannes Kepler University Linz, Austria. In this lab, he heads the research module on requirements-based monitoring and diagnosis in VLSS evolution, with Primetals Technologies Austria as industry partner. He holds a Master’s and a Ph.D. degree in Business Informatics as well as the venia docendi (Habilitation) in Practical Computer Science from Johannes Kepler University Linz. His research interests include but are not limited to variability management, software maintenance and evolution, systems and software product lines, automated software engineering, requirements engineering, requirements monitoring, and usability and user interface design. Dr. Rabiser co-authored over 120 (peer-reviewed) publications; served in 80+ program committees and 25+ conference and workshop organization committees; and frequently reviews articles for several international journals like IEEE TSE, IEEE TSC, ACM CSUR, EMSE, JSS, and IST. He is also a member of the steering committee of the Euromicro SEAA conference series and a member of the Euromicro Board of Directors (Director for Austria) and the Euromicro Executive Office (Publicity Secretary). He is also an elected member of the steering committee of the International Systems and Software Product Line Conference (SPLC). He currently is the speaker of computer scientists at JKU Linz, who are not full professors (Fachbereichssprecher Mittelbau Informatik).

Posted in TEWI-Kolloquium | Leave a comment