Existence, Uniqueness, and Utility of an Analytic Parahermitian Matrix EVD

Dr. Stephan Alexander Weiss | April 26, 2017 | 14:00 | B04, L4101

Abstract

The eigenvalue decomposition of a Hermitian matrix has favourable properties, which have been exploited for a variety of optimal solutions to narrowband problems. We will explore the extension to space-time covariance matrices that can capture the 2nd order statistics of broadband problems; their z-transform has a parahermitian structure, which extends the Hermitian property to matrices of functions. To investigate such a parahermitian matrix EVD,  first we will look towards the unit circle via an analytic EVD, before we investigate off the unit-circle with the ultimate aim to establish a time-domain solution. We will gain some insight into the problems and feasibility  of established polynomial matrix EVD algorithms, that despite a number of successful algorithms with proven convergence tend to result in high-order factorisations. I will conclude by showing some toy problems where a polynomial approach admits simple solutions that a Fourier approach cannot yield.

Bio

WeissI am a Reader at the University of Strathclyde (Glasgow, Scotland), and head the Centre for Signal and Image Processing (7 academic staff and some 40 researchers and PhD students). The above topic is closely tied to my homes: Scotland through the work of Colin MacLaurin, and Germany through Karl Weierstrass‘ and Franz Rellich’s contributions.

Posted in TEWI-Kolloquium | Leave a comment

Bitmovin neues Mitglied beim Förderverein Technische Fakultät

logo-standard-colour-1Bitmovin was founded in 2013 by Stefan Lederer, Christopher Müller and Christian Timmerer, who co-founded the MPEG-DASH video standard, and brought the worlds first commercial HTML5 MPEG-DASH player into production. Since then we have quickly established ourselves as a technology leader in the world of online video by developing the markets fastest API driven Cloud-based Video Encoding Service and an HTML5 Player for MPEG-DASH and HLS that allows adaptive content to be played on any device, in any browser without buffering.

Bitmovin’s agile process and customer driven development road map has seen us integrate solutions into our products that allow the easy integration of Advertising, DRM, Multi-language and much, much more, keeping our products at the forefront of online video infrastructure.

Bitmovin, Inc. is based in San Francisco, CA, USA and Klagenfurt, Austria and privately owned. Our investors include Atomico, Dawn Capital, YCombinator (YC S15), SpeedInvest and Constantia Industries.


Open positions can be found here and follow us on our Blog, Twitter, Facebook, LinkedIn.

Posted in News | Leave a comment

Der 1. Catalyst Coding Contest an der AAU brachte junge Informatiktalente zum Vorschein

Am 31. März 2017 fand zum ersten Mal der Catalyst Coding Contest an der Alpen-Adria Universität Klagenfurt statt. Bisher waren die österreichischen Austragungsorte dieses international gleichzeitig durchgeführten Programmierwettbewerbes die Universitäten Wien, Graz und Linz. Heuer konnten erstmals auch Kärntner Programmiertalente teilnehmen um ihr Können unter Beweis zu stellen. Unter den Veranstaltern des heuer zum 25. Mal stattgefundenen Programmierwettbewerbes waren Universitäten aus Belgien, Deutschland, Niederlande, Frankreich, Spanien, Rumänien, Ungarn, Südafrika und den USA. Auf internationaler Ebene bildeten die TeilnehmerInnen insgesamt 804 Teams von bis zu 3 Personen die gemeinsam verschiedene Programmieraufgaben auf 8 Schwierigkeitsstufen zu lösen hatten.

Am Vormittag fand der Schulcontest mit insgesamt 199 internationalen Teams statt. Klagenfurt war dabei mit 11 Teams vertreten. Am Nachmittag stand der allgemeine Contest am Programm, bei welchem Klagenfurt mit 15 von insgesamt 605 Teams vertreten war.

Die große Überraschung beim heurigen Coding Contest in Klagenfurt war ein junges Schülerteam mit dem Teamnamen „Butterbrot“, bestehend aus Faveo Hörold und Robert Babin, die beim Schulcontest am Vormittag den ersten Platz und beim allgemeinen Contest am Nachmittag den 3. Platz erzielten! Die beiden talentierten Schüler besuchen das Gymnasium Villach St. Martin. Ihre Informatiklehrerin, Frau Mag. Marianne Rohrer, leitet gemeinsam mit Assoc.- Prof. Barbara Sabitzer die Informatik-Werkstatt des Instituts für Informatikdidaktik, in der Kindern ab dem 4. Lebensjahr bis hin zu Erwachsenen Informatik- Konzepte auf spielerische Art näher gebracht werden. Die Fakultät für Technische Wissenschaften und das Institut für Informatikdidaktik mit Prof. Andreas Bollin als Organisatoren des heurigen Catalyst Coding Contests freuen sich besonders über den talentierten Nachwuchs.

Plätze 1-3 beim Schulcontest

Plätze 1-3 beim Schulcontest

Weiters sehr erfreulich: Zwei der Teams beim Schulcontest in Klagenfurt kamen unter die Top 50 Plätze der Welt. Beim allgemeinen Contest waren 5 Teams aus Klagenfurt unter den besten 100 weltweit. Sieger beim allgemeinen Contest wurde das Team „Futureinternet“ bestehend aus Julian Janda, Philipp Moll und Sebastian Theuermann. Sie erreichten weltweit den 44. Platz.

Plätze 1-3 beim allgemeinen Contest mit DI Zandonella (WKO) und Prof. Andreas Bollin (IID)

Plätze 1-3 beim allgemeinen Contest mit DI Zandonella (WKO) und Prof. Andreas Bollin (IID)

Wir gratulieren allen Teilnehmerinnen und Teilnehmern recht herzlich zu ihren hervorragenden Leistungen und hoffen auf ein Wiedersehen im kommenden Jahr.

Posted in Veranstaltungen | Leave a comment

Review: A Behavior-based Approach to Secure and Resilient Industrial Control Systems [Video][Slides]

The review of the TEWI colloquia of Dr. Dimitrios Serpanos from March 9, 2017 comprises the video recording and slides.

Video:

 

Slides:

 

Abstract and Bio:

Industrial control systems (ICS) control and manage a significant portion of critical infrastructure. As cyberattacks increasingly target critical infrastructure, ICS security and resilience are required to avoid catastrophic events that may lead even to loss of life. Importantly, ICS differ from traditional IT systems in several ways, from interacting with physical processes to requirements for continuous operation and real-time processing.

In this talk, we present a behavior-based approach to the design of secure and resilient industrial control systems. Starting with a programmable specification of a control process, we develop executable code with specified security properties. A run-time middleware, ARMET, monitors the execution of the program, identifying behavioral deviations due to intrusions or process failures and leading to diagnosis and system recovery. Importantly, our approach includes a novel method for vulnerability analysis of processes.

Dimitrios Serpanos is Professor of Electrical and Computer Engineering, University of Patras and Director of the Industrial Systems Institute in Greece. He has worked at IBM Research, on the faculties of the University of Crete and the University of Patras, as Principal Scientist at QCRI, as President of the University of Western Greece, and has served another term as Director of the Industrial Systems Institute. He holds a Ph.D. in Computer Science from Princeton University. His research is in embedded systems, industrial systems and security.
Professor Serpanos has co-authored several books and published research work extensively. His research has been funded by both the European Commission, the Greek Government and industry in the EU and the USA.

Posted in TEWI-Kolloquium | Leave a comment

TEWI-Kolloquien „Semantische Systeme“, 10.-11. April 2017

Montag, 10. April 2017, E.1.42

8:30 – 9:30, Christoph BENZMÜLLER

Title: Calculemus! Progress in Universal Logic Reasoning and Computational Metaphysics

Abstract: Inspired by Leibniz‘ famous vision „Calculemus! — Let us calculate“, an approach to universal logic reasoning is presented. The proposed solution is indirect: it utilises classical higher-order logic as a universal meta-logic in which various other (classical and non-classical) logics from today’s logic zoo can be shallowly embedded and combined; the embedded (object-)logics can then be employed for the representation of knowledge in different application domains.

This semantical embedding approach suppor ts the formalisation and deep logical assessment of rational arguments on the computer. In this sense, it partially realises Leibniz‘ dream. To illustrate this, I will present a rigorous analysis of modern variants of the “Ontological Argument for the Existence of God“, including Kurt Gödel’s seminal contribution. By utilising the approach, even relevant new insights about the ontological argument have recently been revealed by automated theorem provers. These research activities have inspired the conception of a new, awarded lecture course on “Computational Metaphysics“ at Freie Universität Berlin, which brings together students from computer science, mathematics and philosophy.

The approach, which fruitfully combines and exploits, amongst others, own research contributions from the last two decades, is by no means  restricted to metaphysics or philosophy; this is evidenced by recent applications e.g. in mathematics and artificial intelligence.


11:00 – 12:00, Wolfgang FABER

Titel: Deklarative Formalismen als Motoren Semantischer Systeme

Abstract: Semantik in Wissensbasierten System ist der Schlüssel, um über das vorhandene Wissen selbst Schlüsse zu ziehen. Semantik kommt besonderer Bedeutung zu, wenn nicht nur Antworten oder Lösungen gefunden werden sollen, sondern auch Begründungen oder Erklärungen selbiger. In diesem Vortrag soll die Rolle deklarativer Formalismen (im Sinne deklarativer Sprachen und Systeme) in solchen Semantischen Systemen herausgearbeitet werden. Besondere Berücksichtigung werden dabei logische Programmierung und Regelsysteme finden.


14:30 – 15:30, Martin GEBSER

Titel: Knowledge Representation and Reasoning in Practice

Abstract: Modern computing systems provide tremendous resources to automate sophisticated calculations, as required in various application areas, including life sciences, machine learning, planning and scheduling, product configuration, system synthesis and verification, etc. This goes along with an increasing demand for expressive, general-purpose means for knowledge representation and reasoning. In my talk, I outline how computational logic along with extensions can serve as a powerful paradigm for representing and solving demanding real-world applications by means of general, domain-independent search and optimization methods.


 

Dienstag, 11. April 2017, E.1.42

8:30 – 9:30, Jörg HOFFMANN

Titel: Automatic Planning: Some Recent Methods and Applications

Abstract: Automatic Planning is one of the founding areas of Artificial Intelligence, concerned with the automation of problem solving: the design of algorithms whose input is a declarative problem description („the rules of the game“) and that automatically find a solution („the game strategy“) to any such input. The curse of generality is complexity — even the simplest planning problems are PSPACE-complete to solve, in the size of the declarative description — so effective search methods are paramount. After a brief introduction to the area, the talk summarizes two such methods developed in recent work by the author, namely star-topology decomposition which breaks conditional dependencies among components in the input; and conflict-based learning which learns sound and generalizable knowledge from dead-end states encountered during forward state space search. We then highlight a recent application of planning techniques, to simulated network penetration testing in IT security. We conclude with an outlook on future challenges.


11:00 – 12:00, Stefan EDELKAMP

Title: Multi-Goal Motion Planning

Abstract: In the clothes of vehicle routing, multi-goal task planning has been an apparent optimization question for a fairly long time. We will present advances in high-speed solving these discrete planning problems. With fast single-source shortest path planning, the in- or outdoor map for the vehicle fleet is condensed to a graph of customer orders, which could be any combination of pickups and deliveries.  For one vehicle this setting corresponds to a variant of the NP-hard traveling salesman problem with capacities and time windows, while for several vehicles and according to the dynamics in the orders within a multi-agent simulation system, we support negotiating agents that offer multi-modal transport services.

While the discrete multi-goal task planning problem is already hard, the integration of task and motion planning is considered to be one of the most important challenges to nowadays robotics. Robots have sizes, heading, and velocity, and their motion can often be described only according to non-linear differential equations. The dynamics of movements, existing obstacles and many waypoints to visit are only some of the challenges to face. In real-world problems, we often have additional constraints like inspecting areas of interest in some certain order, while still minimizing the time for the travel. The trickiest part is to solve the hard combinatorial discrete tasks like the generalized and clustered traveling salesman problems, and -at the same time- providing valid trajectories for the robot. We use a framework in which a motion tree is steadily grown, and abstractions to discrete planning problems are used as a heuristic guidance for the on-going solution process to eventually visit all waypoints. In case of inspection, we generate the waypoints fully automatically, using a combination of 2D and 3D skeletonization together with a filtering mechanism based on hitting sets.

Posted in TEWI-Kolloquium | Leave a comment

4. Klagenfurter Game Jam

GameJam_Logo_2017Die Alpen-Adria Universität Klagenfurt lädt 4. Klagenfurter Game Jam ein (April 28-30, 2017)! Alle, die sich für Computerspiele interessieren und selbst bei der Entwicklung beitragen wollen, sind herzlich eingeladen. Am Freitag wird ein Thema bekannt gegeben, dann sind 2 Tage Zeit um zu entwerfen, zu diskutieren, zu zeichnen, zu komponieren und zu programmieren. Am Sonntag werden die Spiele dann der Öffentlichkeit vorgestellt. Der 4. Klagenfurter Game Jam wird von Anexia gesponsert und die Teilnahme ist gratis. Verpflegung gibt es Vorort, um Anmeldung wird erbeten: https://www.itec.aau.at/gamejam/

 

Posted in Veranstaltungen | Leave a comment

A Behavior-based Approach to Secure and Resilient Industrial Control Systems

Dr. Dimitrios Serpanos | March 9, 2017 | 12:30 | E.2.37

Abstract

Industrial control systems (ICS) control and manage a significant portion of critical infrastructure. As cyberattacks increasingly target critical infrastructure, ICS security and resilience are required to avoid catastrophic events that may lead even to loss of life. Importantly, ICS differ from traditional IT systems in several ways, from interacting with physical processes to requirements for continuous operation and real-time processing.

In this talk, we present a behavior-based approach to the design of secure and resilient industrial control systems. Starting with a programmable specification of a control process, we develop executable code with specified security properties. A run-time middleware, ARMET, monitors the execution of the program, identifying behavioral deviations due to intrusions or process failures and leading to diagnosis and system recovery. Importantly, our approach includes a novel method for vulnerability analysis of processes.

DimitriDimitrios Serpanos is Professor of Electrical and Computer Engineering, University of Patras and Director of the Industrial Systems Institute in Greece. He has worked at IBM Research, on the faculties of the University of Crete and the University of Patras, as Principal Scientist at QCRI, as President of the University of Western Greece, and has served another term as Director of the Industrial Systems Institute. He holds a Ph.D. in Computer Science from Princeton University. His research is in embedded systems, industrial systems and security.
Professor Serpanos has co-authored several books and published research work extensively. His research has been funded by both the European Commission, the Greek Government and industry in the EU and the USA.

Posted in TEWI-Kolloquium | Leave a comment

SanData: Netzwerk-Administrator im Cisco-Umfeld (m/w)

SandataZur Verstärkung unseres Teams in Klagenfurt suchen wir eine/n

Netzwerk-Administrator im Cisco-Umfeld (m/w)

Unsere Aufgaben für Sie…

  • Administration komplexer Netzwerkstrukturen
  • Monitoring und Troubleshooting , 1st und 2nd Level Netzwerk Support
  • Dokumentation in den kundenvorgegebenen Tools, 24/7 Bereitschaft
  • Mitarbeit in Projekten und Schnittstelle zu unseren internen Fachabteilungen

Fachlich bieten Sie…

  • eine Ausbildung zum/zur Fachinformatiker/in Systemintegration oder entsprechende berufliche Erfahrung
  • Erfahrungen in Datacenter- und Hochverfügbarkeitsumgebungen
  • fundiertes Know-how in den Bereichen LAN, WAN
  • gerne mit aktueller Qualifikation zum Cisco CCNA oder einer vergleichbaren Qualifikation
  • Erfahrungen mit Cisco Hardware (Switches, Router) und Software (IOS und NX-OS)
  • Erfahrungen mit Changemanagement und ITIL
  • sehr gute Deutsch- und gute Englischkenntnisse

Auf der persönlichen Ebene überzeugen Sie uns durch Ihr/e…

  • Kommunikationsfähigkeit beim Kunden
  • Koordinations- und Organisationstalent
  • selbstständige, zuverlässige und zielorientierte Arbeitsweise

Den Führerschein Klasse B, Mobilität und eine einwandfreie Strafregisterbescheinigung setzen wir voraus.

Wir bieten Ihnen…

  • einen höchst interessanten und verantwortungsvollen Tätigkeitsbereich
  • fachliche und persönliche Aus- und Weiterbildung
  • ein angenehmes Betriebsklima
  • flache Hierarchien und eine angenehme Arbeitsatmosphäre
  • die Arbeit in einem äußerst motivierten Team
  • einen krisensicheren Arbeitsplatz in einem stark expandierenden Unternehmen

Das Bruttojahresgehalt gemäß Kollektivvertrag beträgt für diese Position mindestens € 2.825,- x 14 auf Vollzeitbasis. Die tatsächliche Bezahlung ist von der jeweiligen Qualifikation, Eignung bzw. Berufserfahrung abhängig. Je nach Ausbildung und Erfahrung ist eine Überzahlung möglich.

Diese Position unterliegt dem Kollektivvertrag für Angestellte von Unternehmen im Bereich Dienstleistungen in der automatischen Datenverarbeitung und Informationstechnik (https://www.wko.at/Content.Node/branchen/oe/sparte_iuc/Unternehmensberatung-und-Informationstechnologie/IT_Dienstleistung/IT_KV/IT-KV-Text-2017.pdf).  Weitere Informationen unter www.sandata.at/karriere.

Haben wir Ihr Interesse geweckt?
Dann bewerben Sie sich bitte direkt über unser Online-Bewerbungsformular.
Unsere Personalreferentin Frau Melanie Brilla ist bei Fragen gerne für Sie da, Tel.: +49 911/9523-258
Wir freuen uns auf Ihre Bewerbung!

 

 

Posted in Stellenausschreibungen | Leave a comment

SanData: Senior Systemtechniker (m/w)

SandataZur Verstärkung unseres Teams in Klagenfurt suchen wir eine/n

Senior Systemtechniker (m/w)

Wir suchen eine/n Problemlöser/in, der/die mit Spaß an der Arbeit uns und unsere Kunden mit seinem/ihrem freundlichen Auftreten und technisch versiertem Können unterstützt. Nutzen Sie die Chance und werden Sie Teil eines erfolgreichen und stetig wachsenden Unternehmens!

Unsere Aufgaben für Sie…

  • First Level / 2nd- Support im Bereich Access Control
  • Koordination der Support Anfragen
  • Gewährleistung reibungsloser Arbeitsabläufe
  • Kommunikation zu Kunden und Fachabteilungen
  • Beseitigung von Hardware – und Systemstörungen im Bereich Access Control
  • Remoteüberwachung sämtlicher Komponenten
  • Planung von Neu- oder Umbaumaßnahmen
  • Verantwortung für den Projektablauf und die entsprechende
  • Zeit- und Ressourcenplanung

Fachlich bieten Sie…

  • eine abgeschlossene Berufsausbildung, gerne aus dem IT-Bereich
  • im Idealfall Erfahrungen im Bereich Video – und Zugangssysteme
  • technisches Verständnis
  • sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift

Auf der persönlichen Ebene überzeugen Sie uns durch Ihr/e…

  • freundliches Auftreten
  • Kunden- und Serviceorientierung
  • schnelle Auffassungsgabe
  • Koordinations- und Organisationstalent
  • selbstständige, zuverlässige und zielorientierte Arbeitsweise
  • Flexibilität und Belastbarkeit

Den Führerschein Klasse B, Mobilität und eine einwandfreie Strafregisterbescheinigung setzen wir voraus.

Wir bieten Ihnen…

  • einen höchst interessanten und verantwortungsvollen Tätigkeitsbereich
  • fachliche und persönliche Aus- und Weiterbildung
  • ein angenehmes Betriebsklima
  • flache Hierarchien und eine angenehme Arbeitsatmosphäre
  • die Arbeit in einem äußerst motivierten Team
  • einen krisensicheren Arbeitsplatz in einem stark expandierenden Unternehmen

Das Bruttojahresgehalt gemäß Kollektivvertrag beträgt für diese Position mindestens € 2.248,- x 14 auf Vollzeitbasis. Die tatsächliche Bezahlung ist von der jeweiligen Qualifikation, Eignung bzw. Berufserfahrung abhängig. Je nach Ausbildung und Erfahrung ist eine Überzahlung möglich.

Diese Position unterliegt dem Kollektivvertrag für Angestellte von Unternehmen im Bereich Dienstleistungen in der automatischen Datenverarbeitung und Informationstechnik (https://www.wko.at/Content.Node/branchen/oe/sparte_iuc/Unternehmensberatung-und-Informationstechnologie/IT_Dienstleistung/IT_KV/IT-KV-Text-2017.pdf).  Weitere Informationen unter www.sandata.at/karriere.

Haben wir Ihr Interesse geweckt?

Dann bewerben Sie sich bitte direkt über unser Online-Bewerbungsformular.

Unsere Personalreferentin Frau Melanie Brilla ist bei Fragen gerne für Sie da, Tel.: +49 911/9523-258

 

Wir freuen uns auf Ihre Bewerbung!

Posted in Stellenausschreibungen | Leave a comment

Roland-Mittermeir-Preis: Ausschreibung 2015/2016

Trophy WinnerAusschreibung 2015/2016

Roland-Mittermeir-Preis

Prämierung der besten Diplom- bzw. Magisterarbeit aller Studien der Technischen Fakultät an der Universität Klagenfurt

Der Förderverein Technische Fakultät an der Universität Klagenfurt schreibt die Prämierung der besten Diplom- bzw. Magisterarbeit aller Studien der Technischen Fakultät an der Universität Klagenfurt des laufenden Studienjahres aus.

Der Preis besteht aus einer Urkunde und einer Prämie in Höhe von

EUR 1.500,–

Die Jury ist ermächtigt den Preis gegebenenfalls zwischen mehreren Diplom- bzw. Magisterarbeiten zu teilen. Antragsberechtigt sind Absolventinnen und Absolventen aller Studienrichtungen der Technischen Fakultät der Universität Klagenfurt, deren Diplom- bzw. Magisterarbeit mit “Sehr Gut” beurteilt wurde. D.h. AbsolventInnen der folgenden Masterstudien: Informatik, Informationsmanagement, Informationstechnik, Technische Mathematik bzw. Lehramtsstudien mit einem Unterrichtsfach der TEWI zugeordnet (sofern die Diplomarbeit einem dieser Unterrichtsfächer zuzuordnen ist).

Es werden nur Diplom- bzw. Magisterarbeiten bewertet, die im Zeitraum vom 1. Juli 2015 bis zum 31. Dezember 2016 fertiggestellt wurden. Als Fertigstellungstermin gilt der Tag der Ausstellung des Gutachtens/Beurteilung (lt. ZEUS). Die Einreichfrist für die Verleihung des Preises endet am 31. Mai 2017.

Der Antrag ist beim Geschäftsführer des Förderverein Technische Fakultät an der Universität Klagenfurt einzureichen und soll folgendes beinhalten:

  • Diplom- bzw. Magisterarbeit (in elektronischer Form als PDF-Datei).
  • Gutachten des Betreuers der Diplom- bzw. Magisterarbeit.
  • Allfällige Software (oder Verweise auf existierende Software).
  • Eine kurze Zusammenfassung (max. eine Seite), die so geschrieben sein soll, dass sie auch für Nicht-ExpertInnen verständlich ist!

Beurteilungskriterien für die Zuerkennung des Preises sind strikt fachlicher qualitätsbezogener Natur. Sie umfassen die Aspekte:

  • wissenschaftlicher Gehalt,
  • Innovationsgehalt und Umsetzbarkeit,
  • Klarheit der Darstellung und Qualität der Ausführung.

Die Zuerkennung des Preises erfolgt durch eine Jury per Vorstandsbeschluß. Die Jury besteht i.a. aus:

  • dem Obmann des Förderverein Technische Fakultät an der Universität Klagenfurt (Vorsitz),
  • Vertretern der TEWI-Institute der Universität Klagenfurt und
  • Vertretern der institutionellen Mitglieder des Förderverein Technische Fakultät an der Universität Klagenfurt.

Der Geschäftsführer des Förderverein Technische Fakultät an der Universität Klagenfurt kann zu den Sitzungen der Jury als nichtstimmberechtigtes Mitglied beigezogen werden. Die Sitzungen der Jury sind geschlossene Sitzungen und die Entscheidungen der Jury sind endgültig. Der Rechtsweg ist ausgeschlossen.

Die Preisverleihung findet üblicherweise im Rahmen einer TEWI-Veranstaltung statt.

Posted in News | Leave a comment