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

TODAY UnRAVeL Survey Lecture: "Biggest Milestones"
by Kassing, Jan-Christoph 27 Apr '23

27 Apr '23

Dear all, this is a reminder for Christina Büsing's talk with the title "Robust Strategic Planning for Mobile Medical Units" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below --- Abstract --- Mobile medical units (MMUs) allow for an efficient medical coverage of sparsely populated, spacious areas. Unfortunately, flexibility comes at the price of a highly complex operation planning process. In this talk, we investigate the strategic planning of an MMU service by deciding where MMU operation sites should be set up and how often these should be serviced. To that end, we study the strategic planning problem for MMUs (SPMMU) – a capacitated set covering problem that includes existing practices and two types of patient demands: (i) steerable demands representing patients who seek health services through a centralized appointment system and can be steered to any treatment facility within a given consideration set and (ii) unsteerable demands representing walk-in patients who always visit the closest available treatment facility. We propose an integer linear program for the SPMMU that can be solved via Benders decomposition and constraint generation. All our results transfer to the session-specific SPMMU and we evaluate our models in a computational study based on a set of instances generated from a rural primary care system in Germany. ---------------- 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 "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students. Next week, Sebastian Trimpe is going to give a talk with the title "Event-Triggered Learning" We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee

1 0

TODAY UnRAVeL Survey Lecture: "Biggest Milestones"
by Kassing, Jan-Christoph 20 Apr '23

20 Apr '23

Dear all, this is a reminder for Martin Grohe's talk with the title "The Quest for a Logic Capturing PTIME" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below --- Abstract --- Problems that are hard to describe are hard to solve and vice versa." This claim may seem naive or just wrong at first sight, but it is the underlying idea of a deep and fruitful connection between the descriptive complexity and the computational complexity of computational problems. Here descriptive complexity refers to the “language resources” required to express a problem in a formal language, or logic whereas computational complexity refers to the computational resources needed to solve the problem. There are logical characterisations of many common complexity classes such as NP or PSPACE, but the question of whether there is a logical characterisation of the class PTIME of polynomial time solvable problems remains open. It was first asked by Chandra and Harel (1982) in the context of database theory, and later in a slightly different form by Gurevich (1988) in the context of finite model theory. In this talk, I will review the question and speak about negative as well as positive results spanning the last 40 years. ---------------- 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 "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students. Next week, Christina Büsing is going to give a talk with the title "Robust Strategic Planning for Mobile Medical Units" We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee

1 0

TODAY UnRAVeL Survey Lecture: "Biggest Milestones"
by Kassing, Jan-Christoph 13 Apr '23

13 Apr '23

Dear all, this is a reminder for Erika Ábrahám's talk with the title "Building Bridges between Symbolic Computation and Satisfiability Checking" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below ------ The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems. More recent developments in the area of Satisfiability Checking started to tackle similar problems but with different algorithmic and technological solutions. Though both communities have made remarkable progress in the last decades, they need to be further strengthened to tackle practical problems of ever increasing size and complexity. Their separate tools (computer algebra systems and SMT solvers) are urgently needed to address prevailing problems having a direct effect on our society. For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation is able to deal with large mathematical problems far beyond the scope of pencil and paper solutions. Until recently, the two communities have been largely disjoint and unaware of the achievements of one another, despite there being strong reasons for them to discuss and collaborate, since they share many central interests. Researchers from these two communities rarely interacted, and also their tools lack common, mutual interfaces for unifying their strengths. As said, until recently... ------ 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 "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students. Next week, Martin Grohe is going to give a talk with the title "The Quest for a Logic Capturing PTIME" We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee

1 0

Einladung: Informatik-Oberseminar Herr Lars Christoph Gleim
by Maaßen, Leany 11 Apr '23

11 Apr '23

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Dienstag, 18.04.2023, 14:00-15:00 Uhr Der öffentliche Vortrag findet hybrid statt: Raum: Raum 5053.1 (kleiner B-IT-Hörsaal)/Informatikzentrum, Ahornstraße 55 Zoom: https://rwth.zoom.us/j/95352035574?pwd=anc2VVdzUTQ5TVdSME9mSEJ2SE81Zz09 Meeting-ID: 953 5203 5574 Kenncode: 440352 Referent: Herr Lars Christoph Gleim, M. Sc. Lehrstuhl Informatik 5 Thema: An Approach for Global and Local Data Lifecycle Management with Provenance and Persistent Identifiers Abstract: The increasing complexity of data lifecycle management in inter-organizational collaboration and agile product development has resulted in current data management practices struggling to meet industrial requirements. To address this, an approach called World Wide Data Management (WWDM) has been developed based on Linked Data technology and principles of findability, accessibility, interoperability, and reusability (FAIR). WWDM provides key services, principles, and best practices for global and local data lifecycle management with provenance and persistent identifiers. The approach includes services for persistent resource identification, infrastructure-independent data persistence, data integration and interoperability, verifiable accountability for data sharing, and integrating the WWDM paradigm with traditional data management in file systems. WWDM provides a practical foundation to enable inter-organizational data management and collaboration with minimal operational overhead, promoting the adoption of FAIR data management principles and best practices throughout the product lifecycle and enterprise supply chain. Es laden ein: die Dozentinnen und Dozenten der Informatik _______________________________ Leany Maaßen RWTH Aachen University Lehrstuhl Informatik 5, LuFG Informatik 5 Prof. Dr. Stefan Decker, Prof. Dr. Matthias Jarke, Prof. Gerhard Lakemeyer Ph.D., JunProf. Dr. Sandra Geisler Ahornstrasse 55 D-52074 Aachen Tel: 0241-80-21509 Fax: 0241-80-22321 E-Mail: maassen(a)dbis.rwth-aachen.de

1 0

TODAY UnRAVeL Survey Lecture: "Biggest Milestones - Research at Its
by Kassing, Jan-Christoph 06 Apr '23

06 Apr '23

Dear all, this is a reminder for Michael Schaub's talk with the title "Learning from Networks with Unobserved Edges" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below In many applications we are confronted with the following system identification scenario: we observe a dynamical process that describes the state of a system at particular times. Based on these observations we want to infer the (dynamical) interactions between the entities we observe. In the context of a distributed system, this typically corresponds to a "network identification" task: find the (weighted) edges of the graph of interconnections. However, often the number of samples we can obtain from such a process are far too few to identify the edges of the network exactly. Can we still reliably infer some aspects of the underlying system? Motivated by this question we consider the following identification problem: instead of trying to infer the exact network, we aim to recover a (low-dimensional) statistical model of the network based on the observed signals on the nodes. More concretely, here we focus on observations that consist of snapshots of a diffusive process that evolves over the unknown network. We model the (unobserved) network as generated from an independent draw from a latent stochastic blockmodel (SBM), and our goal is to infer both the partition of the nodes into blocks, as well as the parameters of this SBM. We present simple spectral algorithms that provably solve the partition and parameter inference problems with high-accuracy. We further discuss some possible variations and extensions of this problem setup. 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 "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students. Next week, Erika Ábrahám is going to give a talk with the title "Building Bridges between Symbolic Computation and Satisfiability Checking" We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee

1 0