- Kolloq - lists.ibr.cs.tu-bs.de

Vortrag am 24.06.2013, 15:00 Uhr
by Informatik-Kolloquium 10 Jun '13

10 Jun '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Dr. Corrado Guarino Lo Bianco, University of Parma, Dip. di Ing. dell'Informazione: An overview on the real-time trajectory planning problem: known techniques and recent advances Beginn: 24.06.2013, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2013-06-24-bianco.html Kontakt: Prof. Dr.-Ing. F. M. Wahl The performances of feedback control systems change depending on the characteristics of the reference signals. For this reason, robot trajectories have always been designed by paying attention to their smoothness. Originally, trajectories were only synthesized offline, and the smoothness requirement was achieved by exclusively taking care of some continuity aspects (velocity and acceleration continuity). Planners have evolved along the years, so that, still in an offline context, the subsequent generations were also able to account for the existence of physical limits concerning the system kinematics/dynamics, while, in more recent approaches, trajectories are also planned by optimizing some given performance indexes. A relevant limitation of the aforementioned approaches is represented by their intrinsic offline nature: trajectories cannot be modified online, so that control systems cannot suddenly react to possible environmental changes. This has originated an increasing interest on planners that are able to generate, in an online context, optimal constrained trajectories. The seminar will propose an overview on some known online planning techniques, by describing their main characteristics and by providing some possible classifications. The attention will then be addressed to a planner that has been recently designed in the Robotic Lab of the University of Parma. It is based on a variable structure sliding mode control scheme, which behavior will be analyzed with the aid of some simulation experiments. The proposed generator can also be used in contexts that are totally different from those for which it was originally conceived. For example, it has been recently used to solve several online trajectory scaling problems for systems subject to physical constraints. Some videos will show the performances that have been achieved on some actual manipulators.

1 0

Vortrag am 21.06.2013, 13:00 Uhr
by Informatik-Kolloquium 07 Jun '13

07 Jun '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Shuqian Luo, Capital Medical University, Beijing, China, Professor, Director of Medical Imaging Lab: X-ray Phase Contrast Imaging and Its Medical Application Beginn: 21.06.2013, 13:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstrße 23, 4. Obergeschoss, Raum 404 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2013-06-21-luo.html Kontakt: Prof. Reinhold Haux Alle Zuhörer sind eingeladen, sich nach dem Vortrag bei gemeinsamem Kaffee und Kuchen einzufinden. Phase contrast imaging (PCI) technique has recently been developed to provide high contrast images by using phase shift of the X-ray. When X-ray propagates through an object, both the amplitude and the phase of the wave are modified. Conventional X-ray imaging is only sensitive to the variations in X-ray absorption. It is a difficult task for soft tissues and other weakly absorbing objects imaging because of the very small image contrast difference. Fortunately, the phase shift between biological soft tissues is almost one thousand times greater than the absorption term at photon energies greater than 10 keV. Phase contrast imaging can greatly improve the image quality of soft tissues. We present our research on information extraction , observation of microstructure and morphology of small animal organs and human tissues with PCI imaging, which has potential use for the early detection and diagnosis of some cancers.

1 0

Vortrag am 21.06.2013, 15:00 Uhr
by Informatik-Kolloquium 07 Jun '13

07 Jun '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Karl-Heinz Brandl und Astrid Schmidt, IKT-Projekt ver.di-Bundesverwaltung Berlin: Berufseinstieg: Gehaltsstrukturen und Arbeitsbedingungen in der IT-Branche Beginn: 21.06.2013, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2013-06-21-brandl.html Kontakt: Prof. Dr. Wolf-Tilo Balke Alle Zuhörer sind eingeladen, sich bereits 20 Minuten vor dem Vortrag zu gemeinsamem Kaffee und Kuchen einzufinden. Der Berufseinstieg ist ein wesentlicher Schritt in die Arbeitswelt. Dabei geht es nicht nur darum, in welche Richtung man sich fachlich entwickeln möchte. Auch die Gestaltung der Rahmenbedingungen ist wichtig für gute Arbeit und Zukunftsperspektiven. Wir beleuchten Basics: Welche Gehaltsvorstellungen sind realistisch? Wie setzen sich Gehälter zusammen? Was sind die Vorteile von tarifvertraglichen Regelungen? Außerdem gehen wir auf Arbeitsmodelle und Anforderungen in der IT-Branche ein: Auf welche Herausforderungen muss ich mich vorbereiten? ver.di begleitet die Entwicklungen in der Branche schon seit Langem und hat u.a. mit den komplexen Haustarifverträgen bei IBM und T-Systems Standards gesetzt. Unsere Erfahrungen und unser Wissen teilen wir gerne.

1 0

Vortrag am 20.06.2013, 18:00 Uhr
by Informatik-Kolloquium 06 Jun '13

06 Jun '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: Prof. Dr.-Ing. Karsten Lemmer, Leiter des Instituts für Verkehrssystemtechnik, Deutsches Zentrum für Luft- und Raumfahrt e.V., Braunschweig: GI-Vortrag: Was bewegt uns morgen? Forschung für die Mobilität der Zukunft Beginn: 20.06.2013, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstraße 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Wie sieht unsere Mobilität heute aus? Welche negativen Effekte hat unsere Mobilität hinsichtlich Sicherheit und Umwelt? Wie verändert sich Mobilität? Fahren wir in Zukunft automatisch? Was kann das Auto von morgen? Der Vortrag skizziert die Mobilität von heute und zeigt Ansätze, wie die Mobilität der Zukunft erforscht wird. Als zentrales Forschungsinstrument wird die Anwendungsplattform Intelligente Mobilität (AIM) vorgestellt, die Nutzern aus Wissenschaft, Forschung, Entwicklung und Industrie die Untersuchung einer Vielzahl von Themen aus der gesamten Komplexität von Verkehr mit all seinen Wechselwirkungen ermöglicht.

1 0

Erinnerung: Vortrag am 19.04.2013, 15:00 Uhr
by Informatik-Kolloquium 18 Apr '13

18 Apr '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Doron Peled, Bar Ilan University, Israel: Synthesis of Control for Component-based systems using Knowledge Beginn: 19.04.2013, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2013-04-19-peled.html Kontakt: Prof. Dr. Ursula Goltz Alle Zuhörer sind eingeladen, sich bereits 20 Minuten vor dem Vortrag zu gemeinsamem Kaffee und Kuchen einzufinden. In distributed systems, local controllers often need to impose global guarantees. A solution that will not impose additional synchronization may not be feasible due to the lack of ability of one process to know the current situation at another. On the other hand, a completely centralized solution will eliminate all concurrency. A good solution is usually a compromise between these extremes, where synchronization is allowed for in principle, but avoided whenever possible. In a quest for practicable solutions to the distributed control problem, one can constrain the executions of a system based on the pre-calculation of knowledge properties and allow for temporary interprocess synchronization in order to combine the knowledge needed to control the system. This type of control, however, may incur a heavy communication overhead. We introduce the use of simple *supervisor* processes that *accumulate* information about processes until *sufficient knowledge* is collected to allow for safe progression. We combine the knowledge approach with a game theoretic search that prevents progressing to states from which there is no way to guarantee the imposed constraints.

1 0

Vortrag am 19.04.2013, 15:00 Uhr
by Informatik-Kolloquium 10 Apr '13

10 Apr '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Doron Peled, Bar Ilan University, Israel: Synthesis of Control for Component-based systems using Knowledge Beginn: 19.04.2013, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2013-04-19-peled.html Kontakt: Prof. Dr. Ursula Goltz Alle Zuhörer sind eingeladen, sich bereits 20 Minuten vor dem Vortrag zu gemeinsamem Kaffee und Kuchen einzufinden. In distributed systems, local controllers often need to impose global guarantees. A solution that will not impose additional synchronization may not be feasible due to the lack of ability of one process to know the current situation at another. On the other hand, a completely centralized solution will eliminate all concurrency. A good solution is usually a compromise between these extremes, where synchronization is allowed for in principle, but avoided whenever possible. In a quest for practicable solutions to the distributed control problem, one can constrain the executions of a system based on the pre-calculation of knowledge properties and allow for temporary interprocess synchronization in order to combine the knowledge needed to control the system. This type of control, however, may incur a heavy communication overhead. We introduce the use of simple *supervisor* processes that *accumulate* information about processes until *sufficient knowledge* is collected to allow for safe progression. We combine the knowledge approach with a game theoretic search that prevents progressing to states from which there is no way to guarantee the imposed constraints.

1 0

Erinnerung: Vortrag am 10.04.2013, 18:00 Uhr
by Informatik-Kolloquium 09 Apr '13

09 Apr '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: Jan van der Veen: GI-Vortrag: Agil? Im Konzern? Beginn: 10.04.2013, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstraße 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Das "7th Annual State of Agile Development Survey" von VersionOne zeigt zum wiederholten Mal, dass die Unfähigkeit die eigene Unternehmenskultur auf Agilität auszurichten, das größte Hemmnis für den erfolgreichen Einsatz agiler Methoden in der Softwareentwicklung darstellt. In Unkenntnis dieser und vieler weiterer Surveys haben wir uns vor fünf Jahren auf den Weg gemacht, ein großes Softwareentwicklungsprojekt zu agilisieren. In diesem Vortrag wird von den Erfahrungen dabei berichtet.

1 0

Vortrag am 10.04.2013, 18:00 Uhr
by Informatik-Kolloquium 03 Apr '13

03 Apr '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: Jan van der Veen: GI-Vortrag: Agil? Im Konzern? Beginn: 10.04.2013, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstraße 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Das "7th Annual State of Agile Development Survey" von VersionOne zeigt zum wiederholten Mal, dass die Unfähigkeit die eigene Unternehmenskultur auf Agilität auszurichten, das größte Hemmnis für den erfolgreichen Einsatz agiler Methoden in der Softwareentwicklung darstellt. In Unkenntnis dieser und vieler weiterer Surveys haben wir uns vor fünf Jahren auf den Weg gemacht, ein großes Softwareentwicklungsprojekt zu agilisieren. In diesem Vortrag wird von den Erfahrungen dabei berichtet.

1 0

Erinnerung: Vortrag am 15.03.2013, 15:00 Uhr
by Informatik-Kolloquium 14 Mar '13

14 Mar '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Jan Tretmans, Research Fellow at TNO - Embedded Systems Innovation, Eindhoven, NL, and Assoc. Prof. at Radboud University Niimeqen, NL.: Model-Based Testing - There is nothing more practical than a good theory Beginn: 15.03.2013, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2013-03-15-tretmans.html Kontakt: Prof. Dr.-Ing. Ina Schaefer Alle Zuhörer sind eingeladen, sich bereits 20 Minuten vor dem Vortrag zu gemeinsamem Kaffee und Kuchen einzufinden. Systematic testing of software plays an important role in the quest for improved software quality. Testing, however, turns out to be an error-prone, expensive, and time-consuming process. Model-based testing is one of the promising technologies to meet the challenges imposed on software testing. With model-based testing the system under test is tested against a model of the system's behaviour. Such a model serves as a precise specification of what the system under test shall do, and, consequently, is a good basis for the automatic generation of test cases and the analysis of test results. This allows effective test automation beyond the current testing practice of automatic execution of manually written test scripts. And if the model is valid, then all generated test cases are provably valid too. In this presentation, an overview of model-based testing is given, ranging from general concepts, via theory and tools, to academic and industrial usage. Benefits and issues of model-based testing and the relation to other model-driven activities are discussed. A specific theory for model-based testing using transition system models, including a conformance relation and a test generation algorithm, is presented. Corresponding tools and some (industrial) applications will be shown. Altogether these demonstrate that model-based testing is more than just the arbitrary generation of some test cases from a model: a well-defined theory of model-based testing turns out to be both necessary and practical.

1 0

Vortrag am 15.03.2013, 15:00 Uhr
by Informatik-Kolloquium 11 Mar '13

11 Mar '13

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Jan Tretmans, Research Fellow at TNO - Embedded Systems Innovation, Eindhoven, NL, and Assoc. Prof. at Radboud University Niimeqen, NL.: Model-Based Testing - There is nothing more practical than a good theory Beginn: 15.03.2013, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2013-03-15-tretmans.html Kontakt: Prof. Dr.-Ing. Ina Schaefer Alle Zuhörer sind eingeladen, sich bereits 20 Minuten vor dem Vortrag zu gemeinsamem Kaffee und Kuchen einzufinden. Systematic testing of software plays an important role in the quest for improved software quality. Testing, however, turns out to be an error-prone, expensive, and time-consuming process. Model-based testing is one of the promising technologies to meet the challenges imposed on software testing. With model-based testing the system under test is tested against a model of the system's behaviour. Such a model serves as a precise specification of what the system under test shall do, and, consequently, is a good basis for the automatic generation of test cases and the analysis of test results. This allows effective test automation beyond the current testing practice of automatic execution of manually written test scripts. And if the model is valid, then all generated test cases are provably valid too. In this presentation, an overview of model-based testing is given, ranging from general concepts, via theory and tools, to academic and industrial usage. Benefits and issues of model-based testing and the relation to other model-driven activities are discussed. A specific theory for model-based testing using transition system models, including a conformance relation and a test generation algorithm, is presented. Corresponding tools and some (industrial) applications will be shown. Altogether these demonstrate that model-based testing is more than just the arbitrary generation of some test cases from a model: a well-defined theory of model-based testing turns out to be both necessary and practical.

1 0