Beyond NP: Reasoning with Quantified Boolean Formulas

Friday, June 16, 2023 | 12:30 pm (CET) | Room: S.2.69 | Alpen-Adria Universität Klagenfurt 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 with decision problems beyond NP are necessary. One of such formalisms are quantified Boolean formulas (QBFs), the extension of propositional logic with existential and universal quantifiers over the Boolean variables. The QBF decision problem is PSPACE-complete, making QBF well suitable for encoding and solving many problems from formal verification, synthesis, and artificial intelligence. In this talk, we give a short tour through recent developments in QBF solving.

Bio: Martina Seidl is a full professor of artificial intelligence at the Johannes Kepler University (JKU) in Linz. She obtained her PhD from TU Wien where she worked several years in the Business Informatics Group. In 2010,  she became assistant professor and in 2016 associate professor at the Institute for Formal Models and Verification of the JKU.  Since 2020 she is head of the Institute for Symbolic Artificial Intelligence. In her research, she develops symbolic reasoning techniques based on computational logic. She especially focuses on the theory and practice of quantified Boolean formulas (QBFs) and their applications in the context of formal verification and artificial intelligence.

Posted in TEWI-Kolloquium | Kommentare deaktiviert für Beyond NP: Reasoning with Quantified Boolean Formulas

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, required skills as well as the ability of TVET graduates.  Moreover, feedback from photovoltaic system’s experts as well as owners and users of PV systems (corporate size) will be presented. Finally future required topics for training are predicted based on market analysis. Moreover, future jobs in the field of photovoltaic system are predicted as well.

Bio: Tamer is researcher in photovoltaic power systems. He holds a B.Sc. degree in electrical engineering from An-Najah National University (ANNU), as well as a M.Sc. degree and a Ph.D degree in electrical, electronic and systems engineering from National University of Malaysia (UKM). In addition he holds Habilitation degree in renewable and sustainable energy from Alpen Adria Universitat (AAU).

Currently he is an Associate professor of renewable energy and Director of Scientific Centers at ANNU. In addition to that, he is the director of An-Najah Company for Consultancy and Technical Studies (sister research company of ANNU). So far, he has 2 patents, 4 books and 140 research articles, while his current h-index is 40. He has supervised 4 Ph.D researches, 22 master researches and 60 bachelor researches.

Posted in TEWI-Kolloquium | Kommentare deaktiviert für Analysis of Photovoltaic Systems‘ TVET in Palestine

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

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, wie die Zukunft der Softwareentwicklung aussehen kann und wie er parallel einen YouTube-Kanal für IT-Interessierte aufgebaut hat.

Bio: Kevin Chromik ist ein engagierter IT-Fachmann, spezialisiert auf iOS-Entwicklung. Nach seinem Masterabschluss in Wirtschaftsinformatik an der Alpen-Adria-Universität Klagenfurt im Jahr 2016, arbeitet er seit 10 Jahren in der IT-Branche, aktuell als Senior iOS Entwickler bei, einem etablierten TV Streaming Anbieter.

Außerhalb seiner Haupttätigkeit ist Kevin als YouTuber aktiv, wo er Tutorials zur Softwareentwicklung erstellt und tiefe Einblicke in die IT-Karrierewelt bietet. Darüber hinaus produziert er Videos für große Marken als Auftragsarbeiten und hat sich eine Social-Media-Followerschaft von rund 50.000 Menschen aufgebaut. Kevin lebt und arbeitet in München und ist stets darauf bedacht, seine Expertise und Erfahrungen zu teilen.

Posted in TEWI-Kolloquium | Kommentare deaktiviert für App-Entwicklung als Karriere: Was kommt nach dem Abschluss?

Best of both worlds: Combining deep neural networks with statistical state estimators

Thursday, June 22, 2023 | 09:00 am (CET) | Room: B04.1.06 | Lakeside Science & Technology Park

Ass.-Prof. Dr. Jan Steinbrener | Department of Smart System Technologies (Control of Networked Systems group) at Alpen-Adria-Universität Klagenfurt

Abstract: Deep neural networks (DNNs) have become an important tool in many fields of applications from image recognition to natural language processing and beyond, often outperforming human experts in their domains. Compared to heuristic, expert algorithms or shallow machine learning models, DNNs benefit from better prediction accuracy and better generalizability to unseen data. This comes at the cost of resource and data-intensive training of these models and a black-box-like behavior that does not provide information about underlying reasoning or uncertainty of the predictions. In robotics, DNNs have been successfully applied to diverse tasks such as state estimation, path planning, and control for various different platforms. This talk will explore the application of deep neural networks for sensor data processing with a particular focus on state estimation for robotic applications. End-to-end trainable deep neural networks that directly predict the desired state based on raw sensory inputs as well as hybrid models where the predictions of the DNNs are fused with other sensor data in a statistical state estimator will be discussed. Finally, strategies how to quantify model and task-based uncertainties of DNN predictions with the goal to improve the consistency of DNN-based state estimators will be presented.

Bio: Jan Steinbrener is an assistant professor on a tenure track position in the Control of Networked Systems group (CNS) at the University of Klagenfurt. He obtained his PhD in Physics in 2010 from Stony Brook University in Stony Brook, NY USA. After his PhD, he worked as a postdoctoral researcher at the Max-Planck Institute for medical research in Heidelberg, Germany, and then spent 5 years working in industry developing medical x-ray machines at Siemens Healthcare in Erlangen, Germany. Before joining CNS in 2019, he worked as a senior researcher at the Carinthian Tech Research Centre (now Silicon Austria Labs) in Villach Austria.

His current research focuses on combining machine learning approaches with classical methods for state estimation and navigation of autonomous systems. He has authored or co-authored more than 40 peer reviewed publications on novel imaging systems, image processing and reconstruction techniques, applied machine learning, machine learning algorithm development, and combination of machine learning with classical filters for state estimation. He currently holds 2 patents on image processing techniques.

Posted in TEWI-Kolloquium | Kommentare deaktiviert für Best of both worlds: Combining deep neural networks with statistical state estimators

Life Cycle Assessments and Ecodesign to reduce CO2 Footprints

Tuesday, May 16, 2023 | 01:00 pm (CET) | Room: Z.1.09 | | Alpen-Adria-Universität Klagenfurt

Dr. Michael Has | University of Grenoble

Abstract: The impact of climate change to biosphere and the human civilization living therein are widely discussed as is the need to reduce the consumption of energy and materials – measured in footprints. Despite of that the means on how to reduce footprints and the difficulties going along with that are lesser discussed.
The assessment of CO2 Footprints during all phases of its production and existence (Life Cycle Assessment) is embedded in the legally required of non-financial reporting for companies. This talk is intended to provide background on non-financial reporting and how that relates to footprints and risks. Of course reporting is not l´art pour l´art. It is intended to reduce the impact of an activity – Ecodesign and it impacts the value of companies. The intent is to discuss in more detail how reporting is done, how (CO2-) Footprints are derived, ways to reduce footprints and how the related activities influence the value of companies. 

Bio: Following apprenticeships Has studied physics at the University of Regensburg. In 1992 he received his doctorate on his work in the field of biophysics.  Has also attended the INSEAD Business School in Fontainebleau, France. He spent the initial part of his industrial career at FOGRA delivering industrial research in the field of new technology analysis, consulting, offset and digital print, digital workflows and Color Management. Has founded the predecessor organization of the International Color Consortium (ICC, Reston, Virginia), whose first technical secretary he became.

In 1998 he received his habilitation from the University of Grenoble. Since 1998 he serves as Distinguished Professor in the fields of future technology, business – and portfolio strategy, circular economy and sustainability at University of Grenoble. From 1998 until 2020 Has worked with Canon where he has held senior and executive positions in R & D, marketing and strategic planning and product design.  

Has was active in various scientific advisory boards, held board positions and worked as business advisor in start-up companies. His work on industrial development led to numerous publications and patents. 

Stimulated by a long stay with indigenous populations in Canada Has was and is active in the field of human rights for minorities: He was board member of the Society for Threatened Peoples, Göttingen, and the World Uranium Hearing, Munich. Today he chairs the board of trustees of the foundation Vielfalt der Kulturen der Welt, Göttingen. As such he dealt with the impact tourism, resource conservation and consequences of mining and waste disposal. In connection with his professional work in the printing industry, these interests led him to work, publications and research in the fields of sustainability and the circular economy (eg for the World Economic Forum, Davos, and scientific and commercial conferences on circular economy). 

Posted in TEWI-Kolloquium | Kommentare deaktiviert für Life Cycle Assessments and Ecodesign to reduce CO2 Footprints

Communications and Power: Two Sides of One Tapestry

Monday, April 17, 2023 | 04:00 pm (CET) | Room: HS 3 | | Alpen-Adria-Universität Klagenfurt

Prof. Bruno Clerckx | Faculty of Engineering, Department of Electrical and Electronic Engineering | Imperial College London

Abstract: Radio waves carry both energy and information simultaneously. Nevertheless, radio-frequency (RF) transmissions of these quantities have traditionally been treated separately. Future wireless networks will experience a paradigm shift, namely, unifying wireless transmission of information and power to make the best use of the RF spectrum and radiation as well as the network infrastructure for the dual purpose of communicating and energizing. Such networks will enable trillions of future low-power devices to sense, compute, connect, and energize anywhere, anytime, and on the move. The design of such future networks brings new challenges and opportunities for RF, communications, signal processing, machine learning, sensing, and computing. In this talk, I give an overview progress in laying the foundations of the envisioned dual-purpose networks by establishing a signal theory and design for wireless information and power transmission (WIPT) and identifying the fundamental tradeoff between conveying information and power wirelessly.

Bio: Bruno Clerckx is a (Full) Professor, the Head of the Wireless Communications and Signal Processing Lab, and the Deputy Head of the Communications and Signal Processing Group, within the Electrical and Electronic Engineering Department, Imperial College London, London, U.K. He is also the Chief Technology Officer (CTO) of Silicon Austria Labs (SAL) where he is responsible for all research areas of Austria’s top research center for electronic based systems.

He received the MSc and Ph.D. degrees in Electrical Engineering from Université Catholique de Louvain, Belgium, and the Doctor of Science (DSc) degree from Imperial College London, U.K. Prior to joining Imperial College in 2011, he was with Samsung Electronics, Suwon, South Korea, where he actively contributed to 4G (3GPP LTE/LTE-A and IEEE 802.16m). He has authored two books on “MIMO Wireless Communications” and “MIMO Wireless Networks”, 250 peer-reviewed international research papers, and 150 standards contributions, and is the inventor of 80 issued or pending patents among which 15 have been adopted in the specifications of 4G standards and are used by billions of devices worldwide. His research spans the general area of wireless communications and signal processing for wireless networks. He received the prestigious Blondel Medal 2021 from France for exceptional work contributing to the progress of Science and Electrical and Electronic Industries, the 2021 Adolphe Wetrems Prize in mathematical and physical sciences from Royal Academy of Belgium, multiple awards from Samsung, IEEE best student paper award, and the EURASIP (European Association for Signal Processing) best paper award 2022. He is a Fellow of the IEEE and the IET, and an IEEE Communications Society Distinguished Lecturer.

Posted in TEWI-Kolloquium | Kommentare deaktiviert für Communications and Power: Two Sides of One Tapestry

How to Optimize Dynamic Adaptive Video Streaming? Challenges and Solutions

Monday, February 27, 2023 | 02:00 pm (CET) | Room: S.2.42 | | Alpen-Adria-Universität Klagenfurt

Dr. Farzad Tashtarian | Department of Information Technology (ATHENA Christian Doppler (CD) Laboratory)

Abstract: Empowered by today’s rich tools for media generation and collaborative production and convenient network access to the Internet, video streaming has become very popular. Dynamic adaptive video streaming is a technique used to deliver video content to users over the Internet, where the quality of the video adapts in real time based on the network conditions and the capabilities of the user’s device. HTTP Adaptive Streaming (HAS) has become the de-facto standard to provide a smooth and uninterrupted viewing experience, especially when network conditions frequently change. Improving the QoE of users concerning various applications‘ requirements presents several challenges, such as network variability, limited resources, and device heterogeneity. For example, the available network bandwidth can vary over time, leading to frequent changes in the video quality. In addition, different users have different preferences and viewing habits, which can further complicate live streaming optimization. Researchers and engineers have developed various approaches to optimize dynamic adaptive streaming, such as QoE-driven adaptation, machine learning-based approaches, and multi-objective optimization, to address these challenges. In this talk, we will give an introduction to the topic of video streaming and point out the significant challenges in the field. We will present a layered architecture for video streaming and then discuss a selection of approaches from our research addressing these challenges. For instance, we will present approaches to improve the  QoE of clients in User-generated content applications in centralized and distributed fashions. Moreover, we will present a novel architecture for low-latency live streaming that is agnostic to the protocol and codecs that can work equally with existing HAS-based approaches.

Bio: Farzad Tashtarian (M’15) is a post-doctoral researcher in the ATHENA project at the Institute of Information Technology (ITEC), Alpen-AdriaUniversitat Klagenfurt (AAU). Before joining ATHENA, he was an assistant professor at the Azad University of Mashhad, Iran. He received his Ph.D. from the Ferdowsi University of Mashhad in Computer Engineering.

As a researcher, he co-authored more than 60 papers published in prestigious journals such as  IEEE Transactions of Vehicular Technology, IEEE Transactions on Network Service and Management, IEEE Transactions on Multimedia,  Elsevier Computer Communication, and IEEE Access and difference conferences. He is a member of the Technical Program Committee of several international conferences. His current research areas of interest are end-to-end latency and QoE in video streaming, video networking, software-defined networking, network function virtualization, mathematical modeling, and distributed optimization. Further information is at

Posted in TEWI-Kolloquium | Kommentare deaktiviert für How to Optimize Dynamic Adaptive Video Streaming? Challenges and Solutions

Distributed systems in the Post-Moore era

Tuesday, March 14, 2023 | 02:00 pm (CET) | Room: HS 8 | | Alpen-Adria-Universität Klagenfurt

Dr. Vincenzo De Maio | Vienna University of Technology

Abstract: In recent years, we have experienced an exponential growth in the amount of data generated by IoT devices. Data have to be processed strict low latency constraints, that cannot be addressed by conventional computing paradigm and architectures. On top of this, if we consider that we recently hit the limit codified by the Moore’s law, satisfying low-latency requirements of modern applications will become even more challenging in the future. In this talk, we discuss challenges and possibilities of heterogeneous distributed systems in the Post-Moore era.

Bio: Dr. Vincenzo De Maio has a Ph.D. in Computer science by the Institute of Computer Science at the University of Innsbruck, (Austria). He received his Ph.D in November 2016 under the supervision of Univ. Prof. Dr. Radu Prodan and Dr. Gabor Kecskemeti.  

Since 2017 he is working as a postdoctoral researcher at the Institute of Information Systems Engineering of the Vienna University of Technology, whose leader is Univ. Prof. Dr. Ivona Brandic. He has been author of different conference and journal publications on the topic of energy efficiency and modelling for Cloud and Edge computing. His research in the area of parallel and distributed systems includes energy-aware Cloud/Edge computing and Post-Moore computing.

Since 2023, he also collaborates with the Department of Experimental Physics of the University of Innsbruck and Dr. Thomas Monz as CO-PI of the HPQC FFG Leitprojekt Project, whose goal is the integration of quantum hardware in HPC systems.

Posted in TEWI-Kolloquium | Kommentare deaktiviert für Distributed systems in the Post-Moore era

Conceptualizations of Software and Data Quality

January 30, 2023 | 02:00 pm (CET) | Room: S.0.05 | | Alpen-Adria-Universität Klagenfurt

Dr.Phil. Volodymyr Shekhovtsov | Department of Informatics Systems

Abstract: Conceptual modeling activities need to integrate software and data quality at the same level of abstraction as the functionality of the system or the data itself (a conceptualization of quality). This need is related to the fact that looking at the problem domain to obtain its conceptual model only from the view of the system’s functionality or the structure of the associated data restricts the analyst and can be the source of mistakes. The reason for such mistakes is that many quality-related issues become only evident when the system is put into use; on the other hand, such mistakes are parts of the early design decisions and can be difficult and costly to fix. This thesis summarizes several selected publications of a research program towards elaborating conceptualizations of software and data quality on different stages of the software development process and for different domains. This program addresses five research challenges. The first challenge is related to the need for the unified classification of the quality conceptualization techniques based on the agreed-upon concept of the quality itself. Without such a classification it is difficult for analysts to decide which quality conceptualization solution is better suited for their problem. This is addressed in the thesis by proposing the classification of such techniques, which can serve as a foundation for the evaluation framework for quality conceptualizations; the rest of the thesis is aligned with this classification. The second challenge is positioned at the intersection of the research fields of static code analysis and requirement engineering. It is related to the problem that the rationale of applying code-checking rules in static code analysis is not captured explicitly, which leads to the problems of rule reuse in similar development contexts. In this thesis, it is proposed to trace possible sources of such rules back to design decisions and quality requirements and to conceptualize the quality[1]related rationale information along with specific code-checking rules to serve as a schema for a rule repository. The third challenge is positioned in the research field of quality-aware requirements engineering. It is related to the problem that more attention should be paid to conceptualizing software quality requirements before performing design-time activities. It is addressed in the thesis by the quality requirements conceptualization activity positioned between the activities of quality requirements elicitation and conceptual design. The results of this activity can be used at different stages of the software process, capturing the quality requirements semantics in a way that can be easily understood and verified by the system users and can be mapped into different design notations. The fourth challenge is positioned in the research field of software process improvement. It is related to the problem that organizing quality-related interaction between business stakeholders and software developers is difficult as they need a common set of concepts. In this thesis, this challenge is addressed by three approaches. First, the thesis proposes to conceptualize the stakeholder interaction process on two levels: a coarse-grained level defining the set of generic quality-related activities and the conditions of launching these activities and a fine-grained level describing specific interaction steps in detail. Second, the thesis proposes to conceptualize such a process as a process of quality view harmonization on three levels: terminology harmonization (agreeing on the common quality-related terminology), view harmonization (agreeing on the sets of objects and the types of their qualities to be assessed, as well as the assessment procedures), and quality harmonization (agreeing on the evaluation schemes and the specific qualities to be used). Third, the thesis introduces a model-centered software solution that facilitates quality-related stakeholder communication in the software development process based on these concepts. The fifth challenge is positioned in the research field of data modeling and management for a specific domain (biobanking). It is related to the problem that the quality of data and metadata in biobanks is not properly defined on the conceptual level and that such conceptualizations are not used to facilitate the biobank search. In this thesis, it is again addressed by three approaches. First, the thesis conceptualizes the data item quality in biobanks and defines a set of data item quality characteristics and metrics. Second, the thesis proposes a definition and a conceptualization for the metadata in biobanks, which covers stored data item quality values, and defines a set of metadata quality characteristics and metrics. Third, the thesis proposes an architecture to support researchers in identifying relevant collections of material and data with documented quality for their research projects while observing strict privacy rules. It is based on the conceptualization of the biobank metadata (including its data item quality values) to serve as a schema for a metadata repository to be queried in a search for collections.

Bio: Volodymyr Shekhovtsov is a postdoctoral researcher at the Department of Informatics Systems (ISYS), University of Klagenfurt. He received his PhD degree in Computerized Control Systems and Progressive Information Technology in 1998 from the National Technical University “Kharkiv Polytechnic Institute”, Kharkiv, Ukraine. As a researcher, since 2012 he participated in total in 5 research projects at the University of Klagenfurt.

He co-authored more than 45 papers, published in journals such as Applied Sciences, Internet of Things, International Journal of Web Information Systems, and gave 27 talks at venues such as ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), International Working Conference on Requirements Engineering (REFSQ), Dagstuhl seminars “Next Generation Domain Specific Conceptual Modeling: Principles and Methods”, and “The Evolution of Conceptual Modeling”. As a teacher, since 1994 he was responsible for 14 university lecture and lab courses in both Ukraine and Austria. His research interests include software, data, and metadata quality, Internet of Things and Industry 4.0, behavior modeling and prediction, methods and tools for information system modeling, analysis, and design, source code analysis and quality, and applying decision theory and optimization techniques to software engineering problems.

Posted in Veranstaltungen, TEWI-Kolloquium | Kommentare deaktiviert für Conceptualizations of Software and Data Quality

Engineering Serverless Workflow Applications in Federated FaaS

November 29, 2022 | 10:00 am (CET) | Room: S.2.69 | | Alpen-Adria-Universität Klagenfurt

Ass. Prof. Sashko Ristov | Computer Science Department, University of Innsbruck

Abstract: Function-as-a-Service (FaaS) is the latest paradigm of cloud computing in which developers deploy their codes as serverless functions, while the entire underlying platform and infrastructure is completely managed by cloud providers. Each cloud provider offers a huge set of cloud services and many libraries to simplify development and deployment, but only inside their clouds, often in a single cloud region. With such „help“ of cloud providers, users are locked to use resources and services of the selected cloud provider, which are often limited. Moreover, such heterogeneous and distributed environment of multiple cloud regions and providers challenge scientists to engineer cloud applications, often in a form of serverless workflows. In this talk, I will present our design principle „code once, run everywhere, with everything“. In particular, I will present challenges and our approaches and techniques how to program, model, orchestrate, and run distributed serverless workflow applications in federated FaaS.

Bio: Dr. Sashko Ristov is Assistant Professor at the Computer Science Department of University of Innsbruck, Austria. His research interests include engineering distributed applications and systems in federated clouds, in particular automation, simulation, performance modeling, and optimization of serverless workflow applications.

Dr. Ristov has a PhD degree in computer science in 2012 from Ss. Cyril and Methodius University, Skopje, North Macedonia, where he was Assistant professor (2013-2016). He was also Postdoctoral University Assistant at the Distributed and Parallel Systems Group, Computer Science Department, University of Innsbruck, in the period 2016-2022.

Posted in TEWI-Kolloquium | Kommentare deaktiviert für Engineering Serverless Workflow Applications in Federated FaaS