April 2024 - informatik-vortraege - lists.rwth-aachen.de

Einladung Informatik Oberseminar Lubna Ali
by Bombelka, Angelika 05 Nov '24

05 Nov '24

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Dienstag, 30. Januar 2024, 14.00 Uhr Ort: 9222, E3, Ahornstr. 55 und hybrid via Zoom (https://rwth.zoom-x.de/j/64937773189?pwd=eGttNUMzSElnQUVkc3FrYzBqK2F4UT09) Referent: Lubna Ali M.Sc. RWTH Lehr- und Forschungsgebiet Informatik 9 (Lerntechnologien) Thema: convOERter: A Technical Assistance Tool to Support Semi-Automatic Conversion of Images in Educational Materials as OER Abstract: Open Educational Resources (OER) are seen as an important element in the process of digitizing higher education teaching and as essential building blocks for openness in education. They can be defined as teaching, learning, and research materials that have been made openly available, shareable, and modifiable. OER include different types of resources such as full courses, textbooks, videos, presentations, tests, and images, which are usually published under the open Creative Commons licences. OER can play an important role in improving education by facilitating access to high quality digital educational materials. Accordingly, there is a steady increase among higher education institutions to participate in the so-called "open movement" in general and in utilizing OER in particular. Nevertheless, there are many challenges that still face the deployment of OER in the educational context. One of the main challenges is the production of new OER materials and converting already existing materials into OER, which could be viable by qualifying educators through training courses and/or supporting them with specific tools. There are many platforms and tools that support the creation of new OER content. However, to our knowledge, there are no tools that perform fully- or semi-automatic conversion of already existing educational materials. This identified gap was the basis for the design and implementation of the OER conversion tool (convOERter). The tool supports the user by semi-automatically converting educational materials containing images into OER-compliant materials. The main functionality of the tool is based on reading a file, extracting all images as well as all possible metadata, and substituting the extracted images with OER elements in a semi-automated way. The retrieved OER images are referenced and licenced properly according to the known TASLL rule. Finally, the entire file is automatically licenced under Creative Commons excluding specific elements from the entire licence such as logos. In order to evaluate the effectiveness of the tool in promoting the use of OER, a comprehensive user study was conducted with educators and OER enthusiastic at different universities. The study was accomplished by offering a series of OER evaluation workshops to compare the conversion efficiency of the tool with manual conversion. The results show that using the conversion tool improves the conversion process in terms of speed, license quality, and total efficiency. These results highlight that the tool can be a valuable addition to the community, especially for users less experienced with OER. As a future work, it is intended to further develop the tool and improve its functionality. Additionally, a long-term study can be conducted to assess the impact of the tool in facilitating and enhancing the production of OER on a larger scale. Es laden ein: die Dozentinnen und Dozenten der Informatik

2 3

UnRAVeL Survey Lecture - Today!
by Kassing, Jan-Christoph 25 Apr '24

25 Apr '24

Dear all, this is a reminder for Nils Nießen's talk with the title "Open (Research) Problems in Railways. What to do?" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below --- Abstract --- Today, many problems exist in railway operations. Travelling by train is associated with uncertainty: Rail passengers often complain about delayed trains. In future, however, many more trains will be running on the network. What are the causes of these problems and how can they be tackled in future? What research approaches exist to ensure stable operations? In this interactive lecture, open problems from the railway sector will be identified and discussed together. ---------------- Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL. This years topic is "UnRAVeL - New Ideas!". In these lectures, UnRAVeL professors will discuss current research as well as highlight open problems and offer a perspective on potential future directions. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2024 and engage in discussions with researchers and doctoral students. We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee

1 0

UnRAVeL Survey Lecture - Today!
by Kassing, Jan-Christoph 18 Apr '24

18 Apr '24

Dear all, this is a reminder for Erika Ábrahám's talk with the title "Relating Stochastic Hybrid Petri Nets and Stochastic Hybrid Automata" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below --- Abstract --- Hybrid systems are systems with mixed discrete-continuous behavior, typical examples being continuously evolving physical systems controlled by discrete controllers. If such systems also posses some stochastic behavior, then we talk about stochastic hybrid systems. In this talk we focus on the question how to model a group of such systems, which evolve concurrently. Different modeling formalisms offer different views on concurrent stochastic hybrid systems. On the one hand, (discrete) Petri nets, which model concurrency in a deeply inherent way, have been extended with continuous and stochastic components. On the other hand, finite automata has been extended with continuous evolution to hybrid automata, and different approaches have been proposed to integrate also stochastic components to hybrid automata. In the first part of this talk, we will have a closer look on the modeling of hybrid systems within these formalisms, and discuss an open problem, which sounds simple, but it seems to be hard to solve. In a second part, we will turn our attention to adding stochasticity to these modeling formalisms. We will discuss and relate existing approaches, make an attempt to find motivations for different design choices, and conclude with some general observations. ---------------- Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL. This years topic is "UnRAVeL - New Ideas!". In these lectures, UnRAVeL professors will discuss current research as well as highlight open problems and offer a perspective on potential future directions. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2024 and engage in discussions with researchers and doctoral students. We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee

1 0

UnRAVeL Survey Lecture: New Ideas!
by Kassing, Jan-Christoph 11 Apr '24

11 Apr '24

Dear all, this is a reminder for Joost-Pieter Katoen's talk with the title "Facing Uncertainty in AI: From Verification to Synthesis" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below --- Abstract --- Uncertainties occur in different forms: data may be noisy, mechanisms may be inherently randomised, the visibility (of e.g. a robot) may not be optimal, and the environment in which a system needs to operate may behave in an unknown manner. The central question that we will address is "Can we guarantee that AI systems are safe and dependable in the presence of such uncertainty?'' We advocate using model-based, formal verification and synthesis with a particular focus on automation. We will present techniques to verify uncertainty aspects modeled as randomness and to use formal synthesis to complete partial designs. Several example AI systems will illustrate the capabilities of these approaches. ---------------- Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL. This years topic is "UnRAVeL - New Ideas!". In these lectures, UnRAVeL professors will discuss current research as well as highlight open problems and offer a perspective on potential future directions. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2024 and engage in discussions with researchers and doctoral students. We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee

1 0

UnRAVeL Survey Lecture: New Ideas!
by Kassing, Jan-Christoph 08 Apr '24

08 Apr '24

Dear all, part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL. This years topic is "UnRAVeL - New Ideas!". In these lectures, UnRAVeL professors will discuss current research as well as highlight open problems and offer a perspective on potential future directions. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2024 and engage in discussions with researchers and doctoral students. All events take place on Thursdays 12:30 to 14:00, Computer Science Center, Building E2, ground floor, B-IT room 5053.2. The schedule is as following: 11.04 - Joost-Pieter Katoen: Facing Uncertainty in AI: From Verification to Synthesis 18.04 - Erika Ábrahám: Relating Stochastic Hybrid Petri Nets and Stochastic Hybrid Automata 25.04 - Nils Nießen: Open (Research) Problems in Railways. What to do? 02.05 - Jürgen Giesl: Termination and Complexity Analysis of (Probabilistic) Programs: Results and Future Work 16.05 - Martin Grohe: The Complexity of Constraint Satisfaction 06.06 - Sebastian Trimpe: Bayesian Optimization for High-Dimensional, Adaptive, and Safe Controller Learning 13.06 - Christina Büsing: Robust Optimization in Health Care 27.06 - Michael Schaub: How can algebraic topology help with data analysis? 04.07 - Gerhard Lakemeyer: Challenges in Cognitive Robotics 11.07 - Christopher Morris: Understanding the Generalization Abilities of Graph Neural Networks: Current Results and Future Directions 18.07 - Britta Peis: Future Research in Submodular Function Optimization We are looking forward to seeing you at the first lecture this Thursday! Kind regards, Jan-Christoph for the organisation committee

1 0