Veranstaltungen Suche und Ansichten, Navigation
Juni 2023
Beyond NP: Reasoning with Quantified Boolean Formulas
Friday, June 16, 2023 | 12:30 pm (CET) | Room: S.2.69 | Alpen-Adria Universität Klagenfurt Univ.-Prof.in Dr.in Martina Seidl | Institute for Symbolic Artificial Intelligence | JKU Linz Abstract: As the prototypical NP-complete problem SAT, the decision problem of propositional logic, is considered to be hard. Despite this hardness, SAT is very successfully applied in many practical domains, because very powerful reasoning techniques are available. There are, however, problems that cannot be efficiently encoded in SAT. For such problems, formalisms…
Erfahren Sie mehr »App-Entwicklung als Karriere: Was kommt nach dem Abschluss?
Dienstag, 20. Juni 2023 | 10:00 Uhr | HS 10 | Alpen-Adria-Universität Klagenfurt Kevin Chromik | iOS Entwickler bei waipu.tv Abstract: In diesem Gastvortrag wird Kevin über seine persönliche Karriere als Absolvent des Studiengangs Informations-management an der Universität Klagenfurt sprechen. Er teilt seine Erfahrungen als Mobile Entwickler in der Praxis und gibt Einblicke in seine Arbeit als Teilzeit-YouTuber. Die Zuhörer erwartet eine interessante Reise durch Kevins Karriere und ein tieferer Einblick in die Welt der mobilen Entwicklung bei verschiedenen Unternehmen,…
Erfahren Sie mehr »Analysis of Photovoltaic Systems‘ TVET in Palestine
Thursday, June 22, 2023 | 10:00 am (CET) | Room: HS 9 | Alpen-Adria Universität Klagenfurt Priv.Doz. Tamer Khatib, MSc. PhD. Abstract: This talks presents a mapping of technical vocational education and training (TVET) for photovoltaic (PV) systems in Palestine. A comprehensive analysis of PV system TVET courses as well as PV system market in Palestine will be presented in this talk. This analysis covers the content of PV TVET courses, the ability of courses’ trainers, training tools and labs,…
Erfahren Sie mehr »November 2023
Lifelogging – A decade of research into interactive lifelog access & retrieval
Abstract: The capabilities of modern sensing devices to gather large volumes of personal data has given us the ability to capture detailed lifelogs of a human’s daily experience. This talk will introduce research on lifelog search and retrieval and highlight progress over the last ten years, including real-world applications and state-of-the-art lifelog retrieval systems from the annual ACM Lifelog Search Challenge. We will end by highlighting some of the societal challenges of applying lifelogs. Bio: Professor Cathal Gurrin is the…
Erfahren Sie mehr »Februar 2024
Video Coding for Efficient HTTP Adaptive Streaming
Thursday, February 8, 2024 | 09:00 am (CET) | Room: S.2.37 | | Alpen-Adria-Universität Klagenfurt Dr. Hadi Amirpourazarian BSc.MSc. | Department of Information Technology (ATHENA Christian Doppler (CD) Laboratory) Abstract: The widespread adoption of video streaming applications has experienced a continual upsurge, necessitating advancements in underlying technologies to ensure a seamless user experience. Central to the realm of video streaming is video coding, a key element in the efficient transmission of multimedia content. In the context of HTTP Adaptive Streaming…
Erfahren Sie mehr »Constrained text generation to measure reading performance: A new approach based on constraint programming
Tuesday, February 13, 2024 | 10:00 am (CET) | Room: S.1.42 | Alpen-Adria Universität Klagenfurt Jean-Charles Régin| Professor at the Université Côte d'Azur and Chair for Decision Intelligence at the Interdisciplinary Institutes of Artificial Intelligence (3IA) Abstract: This talk introduces a new approach to generate strongly constrained texts. We consider standardized sentence generation for the typical application of vision screening. To solve this problem, we formalize it as a discrete combinatorial optimization problem on words and show how constraint programming…
Erfahren Sie mehr »Adaptivity and Reliability in Communication Networks through the lens of Multimedia Systems
Wednesday, February 28, 2024 | 15:30 pm (CET) | Room: S.2.42 | Alpen-Adria Universität Klagenfurt Amr Rizk | Professor at the Department for Computer Science at the University of Duisburg-Essen Abstract: This talk describes a vision of processing-centric networks that unify In-Network computation and programmable communication. This convergence of computation and communication enables a high degree of flexibility in the design and operation of distributed applications that run "on top" or "within" these networks. We specifically consider some of these applications…
Erfahren Sie mehr »April 2024
Towards zero-waste computing by co-design
Thursday, April 25, 2024 | 08:30 am (CET) | Room: S.2.37 | Alpen-Adria Universität Klagenfurt Ana Lucia Varbanescu | Assoc. Prof. Dr. ir. at the University of Twente and University of Amsterdam Abstract: “Computation” has become a massive part of our daily lives: in science, a lot of experiments and analysis rely on massive computation, in AI we use vast resources to train and use massive models, and in engineering we use complex simulations and digital twins to increase efficiency…
Erfahren Sie mehr »Building the Infrastructure Memex: VU on Operational Data Analytics in the 21st Century
Thursday, April 25, 2024 | 03:30 pm (CET) | Room: S.2.69 | Alpen-Adria Universität Klagenfurt Alexandru Iosup | University Research Chair and Full Professor at the Vrije University of Amsterdam | Associate Professor at the TU Delft Abstract: Our society has turned digital: From science to business, from online shopping to online gaming, from education to government, digital applications depend every moment on Information and Communication Technology (ICT) infrastructure. To pilot this infrastructure and navigate through it, we need detailed…
Erfahren Sie mehr »Mai 2024
Vienna Gödel Lecture 2024: Daniela Rus (MIT)
It feels like a sci-fi novel. We are making it a reality: a world in which robots are as common as smartphones. In this year's Vienna Gödel Lecture 2024, Daniela Rus shows how robotics and artificial intelligence (AI) are merging to fundamentally change our daily lives. Join the internationally renowned computer scientist and director of the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) Daniela Rus to discuss the future of robotics, AI and its challenges. This year’s Vienna Gödel Lecture marks the…
Erfahren Sie mehr »