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

Einladung Informatik Oberseminar Sebastian Pick
by Sebastian Pick 15 Jul '19

15 Jul '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Montag, 15. Juli 2019, 16.00 Uhr Ort: Seminarraum 001, IT Center, Kopernikusstr. 6 Referent: Dipl.-Inform. Sebastian Pick Thema: Interactive Data Annotation for Virtual Reality Applications Abstract: Virtual Reality (VR) offers the unique possibility to explore data sets in a highly immersive and interactive fashion. A key aspect of this exploration process is the acquisition of insights and findings concerning the involved data. In this context, it becomes the task of so-called annotation systems to enable users to preserve said findings and review them at a later time. Even though the design of VR-based annotation systems has been a research topic for many years, crucial challenges remain unresolved. Many interaction solutions focus on isolated issues and are rather limited in scope. Additionally, they usually forgo holistic workflow designs that are vital for covering all relevant annotation operations in a consistent fashion. Similarly, available annotation presentation techniques are usually inappropriate for use within immersive virtual environments (IVEs) or they perform sub-optimally. Lastly, the design of annotation systems is usually further complicated if they are to be reused in context of other usage scenarios that impose a different and varying set of requirements on them. In this thesis, I set out to address the aforementioned issues. To this end, I present an annotation framework that was specifically designed to be configurable and extensible in accordance to the changing requirements of different application scenarios. It is grounded in a specialized data model that facilitates the integration not only of required data types, which are used to describe annotations, but also techniques to capture and present them. I employ this model to develop a flexible solution to the design of holistic interaction workflows. My design approach covers all essential operations, including the creation, modication, and review of arbitrary types of annotations from within IVEs. To provide a set of ready-to-use interaction techniques to acquire annotation contents, I identify the most relevant data types and devise appropriate interaction concepts. Similarly, I present a generalized two-tier presentation strategy that facilitates the access to and review of arbitrary annotation contents. While the tier one representation provides basic access to a selection of contents in a customizable form, the tier two representation allows for access to all contents in a generalized manner. I furthermore introduce a novel automated annotation layout approach that prevents occlusions of and by annotations to maintain visual access to them and the original data. In order to determine the viability of my approaches, I cover a series of technical analyses and user studies. They are rounded off by a presentation of concrete application examples that utilize varying subsets of techniques to demonstrate the usefulness and flexibility of my framework. Es laden ein: die Dozentinnen und Dozenten der Informatik

1 0

Einladung Informatik-Kolloquium Prof. Richard Fujimoto
by Mirko Stoffers 05 Jul '19

05 Jul '19

+********************************************************************** * * * Einladung * * * * Informatik-Kolloquium * * * +********************************************************************** Zeit: Freitag, 5. Juli 2019, 11.30 Uhr Ort: Informatikzentrum, E3, Raum 9007 Referent: Prof. Richard Fujimoto Georgia Institute of Technology, Atlanta Thema: Power Consumption in Parallel and Distributed Simulations Abstract: Energy and power consumption are important concerns for many computing systems ranging from battery-powered embedded and mobile devices to supercomputers and data centers. Although this issue has been extensively studied at the hardware and operating system levels, thus far only a limited amount of work has considered power consumption in parallel and distributed simulations. This presentation addresses this topic and discusses a variety of options to reduce power consumption. Further, parallel and distributed discrete event simulations require a synchronization algorithm to ensure the concurrent execution of the program produces the same results as a sequential execution. The energy consumed by synchronization algorithms for distributed simulation programs is considered, and experimental data presented highlighting that a significant portion of the energy consumed by distributed simulations can be attributed to synchronization. The concept of zero energy synchronization is introduced and techniques to reduce the energy consumed by synchronization algorithms are presented and evaluated. The presentation highlights that many open areas of research concerning power and energy consumption of distributed simulations remain to be explored. Speaker Biography: Richard Fujimoto is a Regents’ Professor in the School of Computational Science and Engineering at the Georgia Institute of Technology. He received the Ph.D. degree from the University of California at Berkeley in 1983. He has been an active researcher in the parallel and distributed simulation field since that time. He led the definition of the time management services in the High Level Architecture for Modeling and Simulation, IEEE standard 1516. His publications include seven award winning papers and he has received the ACM Distinguished Contributions in Modeling and Simulation Award. He has played various leadership roles in a variety of modeling and simulation conferences, journals and other activities. He was the founding chair of the School of Computational Science and Engineering (CSE) at Georgia Tech and established it as an academic unit devoted to the study of computer-based models of natural and engineered systems. In that role he led the creation of the interdisciplinary PhD and MS degree programs in CSE as well as two undergraduate minors. Es laden ein: die Dozentinnen und Dozenten der Informatik

2 1

Einladung Informatik-Oberseminar Mirko Stoffers
by Mirko Stoffers 26 Jun '19

26 Jun '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Freitag, 5. Juli 2019, 15.00 Uhr Ort: Informatikzentrum, E3, Raum 9007 Referent: Mirko Stoffers, M.Sc. Lehrstuhl Informatik 4 (COMSYS) Thema: Automated Optimization of Discrete Event Simulations without Knowing the Model Abstract: Modeling and simulation is an essential element in the research and development of new concepts and products in any domain. The demand for the development of more and more complex systems drives the complexity of the simulation models as well, which in turn urges the research of methodologies to reduce the execution times down to a feasible amount. We identified two major types of resources that can be exploited for acceleration: On the one hand, multiple computing instances (e. g., CPU cores) can be used to distribute the workload and perform independent computations simultaneously. On the other hand, workload stemming from redundant computations can be avoided altogether by exploiting the presence of unused main memory to store intermediate results. We observe that typically in the development cycle of products and simulation models neither time and resources nor required expertise is available to apply sophisticated runtime optimization manually. We conclude that it is of utmost importance to investigate approaches to speed up simulation automatically. The most prevalent challenge of automating optimization is that, at the time of researching and developing the acceleration concepts and tools, the model is not yet available, and we need to assume that the model will not be implemented for a specific optimization technique. Hence, our methodologies need to be devised without the model at hand, which can only be used by the finally implemented optimization tool at its runtime. In this talk, we discuss how computer simulations can be automatically accelerated using either of the two optimization potentials mentioned above (multiple computing instances or available memory) without the model being provided at the time of researching the concepts and developing the tools. Finally, we discuss how by combining the two optimization vectors the full power of both can be unleashed at the same time. Es laden ein: die Dozentinnen und Dozenten der Informatik

1 0

[Vision-assistants] [Informatik-assistenten] Einladung: Informatik Oberseminar Aljosa Osep
by Aljosa Osep 24 Jun '19

24 Jun '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Donnerstag, 27. Juni 2019, 9:30 Uhr Ort: UMIC Research Centre, room 025, Mies-van-der-Rohe Strasse 15 Referent: Aljosa Osep, MSc., Lehrstuhl Informatik 8 (Computer Vision) Thema: Vision-based Category-Agnostic Object Tracking for Mobile Robots and Intelligent Vehicles Abstract: The majority of existing vision-based methods perform multi-object tracking in the image domain. Yet, in mobile robotics and autonomous driving scenarios, pixel-precise object localization and trajectory estimation in 3D space are of fundamental importance. Furthermore, the leading paradigms for vision-based multi-object tracking and trajectory prediction rely heavily on object detectors and effectively limit tracking and motion prediction to a set of predefined classes, while the set of object classes that appear in the real-world is unbounded. In this talk I will present novel methods for vision-based, category-agnostic multi-object tracking that overcome this limitation. The Category-Agnostic Multi-Object Tracker (CAMOT) leverages recent developments in the area of learning-based object proposal generation and lifts image-based proposal estimates to 3D space in order to estimate trajectories of arbitrary objects. We further extend CAMOT for the task of video-object proposal generation and demonstrate that by utilizing motion and parallax as consistency filters, can robustly track known and unknown objects and mine large video collections. I will conclude my talk by demonstrating how such a video-object mining approach can be used for video-object discovery and self-supervised object detector learning. Es laden ein: die Dozentinnen und Dozenten der Informatik _______________________________________________ Informatik-assistenten mailing list -- informatik-assistenten(a)lists.rwth-aachen.de To unsubscribe send an email to informatik-assistenten-leave(a)lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/informatik-assistenten.lists.r… _______________________________________________ Vision-assistants mailing list -- vision-assistants(a)lists.rwth-aachen.de To unsubscribe send an email to vision-assistants-leave(a)lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/vision-assistants.lists.rwth-a…

1 0

[Vision-assistants] [Informatik-assistenten] Einladung: Informatik Oberseminar Prof. Dr. David Held, Carnegie Mellon University
by Aljosa Osep 24 Jun '19

24 Jun '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Donnerstag, 27. Juni 2019, 14.15 Uhr Ort: UMIC Research Centre, room 025, Mies-van-der-Rohe Strasse 15 Referent: Prof. Dr. David Held, The Robotics Institute, Carnegie Mellon University Thema: Uncertainty-Aware Perceptual Robot Learning Abstract: Robot learning systems need to deal with perceptual uncertainty, due to a variety of factors such as occlusions, sensor noise, small objects, limited capacity models, and novel objects. We believe that perceptual systems should be aware of their uncertainty and that decision-making algorithms should incorporate such uncertainty. We present three current directions for achieving this. First, we present an object instance detection system that combines machine learning with correspondence matching to verify the proposed detections and reject uncertain detections. Next, we show an approach for estimate a distribution over orientation uncertainty by augmenting any deep pose estimation system. Last, we present an approach for reinforcement learning with deformable objects that does not assume access to the ground-truth state. Together, these directions represent our current approach to dealing with perceptual uncertainty in robot learning systems. Es laden ein: die Dozentinnen und Dozenten der Informatik _______________________________________________ Informatik-assistenten mailing list -- informatik-assistenten(a)lists.rwth-aachen.de To unsubscribe send an email to informatik-assistenten-leave(a)lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/informatik-assistenten.lists.r… _______________________________________________ Vision-assistants mailing list -- vision-assistants(a)lists.rwth-aachen.de To unsubscribe send an email to vision-assistants-leave(a)lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/vision-assistants.lists.rwth-a…

1 0

Einladung Informatik-Oberseminar Torsten Zimmermann
by Torsten Zimmermann 19 Jun '19

19 Jun '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Dienstag, 2. Juli 2019, 11.30 Uhr Ort: Seminarraum 9007, Gebäude E3, Ahornstr. 55 Referent: Torsten Zimmermann, M.Sc. Lehrstuhl Informatik 4 Thema: Improving Content and Service Distribution beyond Infrastructure Upgrades Abstract: The Internet has evolved into an essential platform for communication and access to information. This manifests itself in the steadily growing traffic due to rising user demands for content and services. However, these demands put pressure on operators to constantly improve performance and availability, e.g., by upgrading infrastructures. Despite these efforts, there are limits to upgrades and their impact, ranging from technical to economic aspects. To still achieve improvements, research also focuses on other aspects of content and service distribution, including protocol optimization, better infrastructure utilization, and approaches to overcome limited infrastructure support. However, these optimizations can have unknown consequences in real-world deployments. Even if protocols underwent a rigorous standardization process, their adoption and impact are often unpredictable. The same holds for approaches that support infrastructures, which face practical challenges when deployed outside of testbeds, e.g., missing user acceptance due to the lack of control. Overcoming these challenges is relevant to achieve improvements beyond the current state-of-the-art solutions. In this talk, we approach the problem of how to provide improvements for content and service distribution beyond infrastructure upgrades from the aforesaid viewpoints: the deployment of a new protocol and the applicability of supporting approaches. We provide the first large-scale adoption study of HTTP/2, as the new standard protocol for the Web, and especially focus on its promising new feature Server Push. Despite being considered a key feature of HTTP/2, we observe that its use does not always lead to improvements, but also to human-perceivable detrimental effects, which we verified in a user study. Building on this, we further inspect which factors influence performance and provide a novel strategy for the use of this feature, which can lead to significant performance improvements. Focusing on how to support infrastructures, we present an approach that enables roaming mobile users to connect to private Access Points, using provider-assisted authentication and the creation of an on-demand single purpose network. By that, we provide connectivity in case other infrastructures, such as the cellular network, are temporarily not available. Finally, we provide a brief outlook on how to realize content distribution between devices with only limited infrastructure support. In summary, our contributions provide valuable insights and practical technical solutions that complement infrastructure-based improvements. Es laden ein: die Dozentinnen und Dozenten der Informatik

1 0

Vortrag Frau Dr. Judith Michael
by Sek 29 May '19

29 May '19

Sehr geehrte Damen und Herren, im Auftrag von Herrn Professor Nagl möchten wir freundlich an den Vortrag (s.u.) von Frau Dr. Judith Michael erinnern. Dieser wird um 15:00 Uhr im Raum 9222 stattfinden. Mit freundlichen Grüßen Sonja Müßigbrodt Software Engineering (Informatik 3) Ahornstr. 55, 52074 Aachen Phone +49 241 80-21301 / Fax -22218 RWTH Aachen University http://www.se-rwth.de<http://www.se-rwth.de/> [RWTH Aachen University] Vortragsankündigung für Interessierte: Am Mittwoch, 29.5., 15 Uhr, Raum 9222 Titel: Model-based Assistance and Information Systems Frau Dr. Judith Michael Durch Informationssysteme ist es möglich Daten in nützliche Informationen zu verwandeln. Assistenzsysteme sind eine besondere Art eines Informationssystems: Sie (1) bieten situative Unterstützung für das menschliche Verhalten (2) auf der Grundlage von Informationen aus zuvor gespeicherten und in Echtzeit überwachten strukturellen Kontext- und Verhaltensdaten (3) zu dem Zeitpunkt, zu dem die Person es benötigt oder wünscht. Der Vortrag wird kurz auf die unterschiedlichen Anwendungsgebiete für solche Systeme eingehen und dann insbesondere die Verwendung von agilen, modell-basierten und generativen Methoden des Software Engineering in diesem Kontext beleuchten. Zur Person: Judith Michael ist seit 2018 PostDoc am Lehrstuhl für Software Engineering (Informatik 3) der RWTH Aachen und leitet dort das Team "Model-Based Assistance and Information Services". Zuvor war sie in der Forschungsgruppe Application Engineering (Prof. Heinrich C. Mayr) an der Fakultät für Technische Wissenschaften der Alpen-Adria-Universität Klagenfurt (2011-2017), wo sie 2014 im Fach Informatik promovierte. Ihre Doktorarbeit im Human Behavior Monitoring and Support Project (HBMS) beschäftigte sich mit der Kognitiven Modellierung von Assistenzsystemen. Zudem ist sie seit 2016 Vorsitzende des Aufsichtsrats der Lakeside Science & Technology Park GmbH und seit 2015 Junior Fellow der Gesellschaft für Informatik. Weitere Eckpunkte zur Vita: Dozentin an der M/O/T (Alpen-Adria-School of Management, Organizational Development and Technology) im Hochschulprogramm IT Business Solutions (2014-2016); Mitglied des Aufsichtsrats der Carinthian Tech Research AG (CTR, Österreich), einem Forschungszentrum für intelligente Sensoren (2014-2015); Industriepraktikantin, Projektmitarbeiterin, sowie Softwareentwicklerin und Beraterin in IT-Unternehmen (Infineon IT Services GesmbH, integranova GmbH). Siehe auch http://www.se-rwth.de/staff/michael/ -- Sylvia Gunder Software Engineering (Informatik 3) Ahornstr. 55, 52074 Aachen Phone +49 241 80-21301 / Fax -22218 RWTH Aachen University http://www.se-rwth.de<http://www.se-rwth.de/> [RWTH Aachen University]

1 0

Einladung Informatik-Oberseminar
by Schommer, John 22 May '19

22 May '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Montag, 24. Juni 2019, 10.15 Uhr Ort: 2222 (Informatik 10, Altbau), Ahornstr. 55 Referent: Diplom.-Inform. John F. Schommer Lehrstuhl Informatik 11 Thema: Adaptierung des Zeitverhaltens nicht-echtzeitfähiger Software für den Einsatz in zeitheterogenen Netzwerken Abstract: Sind Echtzeitsysteme vernetzt, werden zeitkritische Anforderungen auf andere Netzwerkknoten propagiert. Erfüllen solche Knoten diese Anforderungen aber nicht, können die Echtzeitsysteme im Umkehrschluss nicht mehr garantieren, dass an sie gestellte zeitkritische Anforderungen erfüllt werden. Solche Netzwerke heißen zeitheterogen. Es wird eine Vorgehensweise präsentiert, Software zu evaluieren und dann zu adaptieren, welche per-Entwurf nicht echtzeitfähig entwickelt wurde. Ziel ist es die Software so zu verbessern, dass die Echtzeitsysteme in ihrer Hauptfunktion nicht gehindert werden. Dazu wurde eine Evaluierungsmethode definiert und eine Reihe von Entwurfsmustern entwickelt, die im Kontext der jeweiligen Fallstudien und Kooperationsprojekten mit der Industrie vorgestellt werden, in denen sie erarbeitet wurden. Es laden ein: die Dozentinnen und Dozenten der Informatik

1 0

Einladung: Informatik-Oberseminar
by Greifenberg, Timo 20 May '19

20 May '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Donnerstag, 23. Mai 2019, 13.00 Uhr Ort: 9222 (E3), Ahornstr. 55 Referent: Timo Greifenberg, M.Sc. Lehrstuhl Informatik 3 Thema: Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte Abstract: Durch den Einsatz von Modellen lässt sich bei der modellgetriebenen Softwareentwicklung (engl. Model Driven Development (MDD)) zum einen die Komplexität des zu entwickelnden Softwareprodukts beherrschen und zum anderen die konzeptionelle Lücke zwischen Problem- und Lösungsdomäne schließen. Die Verwendung und agile Weiterentwicklung von MDD-Werkzeugen kann jedoch selbst zu einem Anstieg der Komplexität im Projekt führen. Durch die große Anzahl an verschiedenen Artefakten und Beziehungen, den verschiedenen Artefakt- und Beziehungs- arten und dem hohen Grad der Automatisierung werden das Verständnis, die Wartung und die Weiterentwicklung von MDD-Projekten erschwert. Um dieser Komplexität zu begegnen ist eine systematische Herangehensweise für das Verständnis und die Verwaltung von MDD-Projekten mit Fokus auf den Artefakten und deren Beziehungen notwendig. In dieser Arbeit wird mit der artefaktbasierten Analyse ein solcher Ansatz zur Analyse von Artefaktstrukturen in MDD- Projekten vorgestellt. Der Ansatz sieht den Einsatz einer adäquaten Modellierungstechnik und die Verwendung von Analysewerkzeugen zur Durchführung von Analysen unter Verwendung zugehöriger Methodiken vor. Es laden ein: die Dozentinnen und Dozenten der Informatik

1 0

[sekretariate] Einladung: Informatik-Oberseminar Souymodip Chakraborty
by Elke Ohlenforst 17 May '19

17 May '19

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Montag, 27. Mai 2019, 11.00 Uhr Ort: Informatikzentrum E3, Raum 9222, Ahornstr. 55 Referent:Souymodip Chakraborty M.Sc. Lehrstuhl Informatik 2 Thema: New Results on Probabilistic Verification: Automata, Logic and Satisfiability Abstract: Probabilistic (or quantitative) verification is a branch of formal methods dealing with stochastic models and logic. Probabilistic models capture the behavior of randomized algorithms and other physical systems with certain uncertainty, whereas probabilistic logic expresses the quantitative measure on the probabilistic space defined by the models. Most often, the formal techniques used in studying the behavior of these models and logic are not just mundane extension of its non-probabilistic counterparts. The complexity of these mathematical structures is surprisingly different. The thesis is an effort at improving our continued understanding of these models and logic. We will begin by looking at few interesting formal representations of discrete stochastic models. Namely, we will address the parameter synthesis problem for parametric linear time temporal logic and model checking of convex Markov decision processes with open intervals. The primary focus of the thesis is however on the satisfiability (or validity) problem of different probabilistic logics. This includes a bounded fragment of probabilistic logic and a simple quantitative (probabilistic) ex- tension of mu-calculus. Decision procedures for the satisfiability problems are developed and a detailed complexity analysis of these problems is provided. The study of automata has been very effective in understanding logic. We will look at the newly conceived notion of p-automata, which are a probabilistic extension of alternating tree automata. As we will see, probabilistic logic exhibits both non-deterministic and stochastic behavior. The semantics of p-automata are extended to capture non-determinism and hence model Markov decision processes. Es laden ein: die Dozentinnen und Dozenten der Informatik

1 0