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

Vortrag am 20.04.2009, 10:00 Uhr
by Informatik-Kolloquium 15 Apr '09

15 Apr '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dutré, Kath. Universität Leuven, Belgien: Some thoughts on perceptual realism in computer graphics Beginn: 20.04.2009, 10: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/2009-04-20-dutre.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor One of our research goals is to construct a realism scale, that allows the user to choose the desired level of visual realism in the final image. The higher the realism, the closer the image will appear to look like a photograph. If the user selects a lower realism-level, the gradual decline in realism should appear in the image as smoothly as possible. Preferably, image components that do not contribute to the realistic appearance of the image, should be eliminated from the computations first. Such a realism scale has not yet been constructed in computergraphics. This talk will focus on some of the recent efforts we have pursued in order to construct such a realism scale. Although we are still far away from this goal, we feel that some of the underlying mechanisms and thoughts are useful enough to warrant discussion, and hopefully provide some additional discussion.

1 0

Vortrag am 23.04.2009, 10:00 Uhr
by Informatik-Kolloquium 27 Mar '09

27 Mar '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Herman Bruyninckx, Katholieke Universiteit Leuven Department of Mechanical Engineering, Belgien: Design and Development of Large-Scale Robotic Software Systems Beginn: 23.04.2009, 10:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-04-23-bruyninckx.html Kontakt: Prof. Dr.-Ing. F. M. Wahl This talk presents a modern view on robot control software systems, trying to find a minimal set of orthogonal software engineering concepts that can cover all aspects of such complex, evolving systems. These concepts are: the Coordination, Configuration, Computation and Communication concerns; three fundamental classes of system complexity; the complementarities of the Object, Component, and Service entities; four fundamental API levels; guidelines for Compositionality; and relevant concepts from "Model-Driven Engineering".

1 0

Vortrag am 20.04.2009, 17:00 Uhr
by Informatik-Kolloquium 24 Mar '09

24 Mar '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Martin Fränzle, Carl von Ossietzky Universität, FK II, Dep. Informatik, Abt. Hybride Systeme, Oldenburg: Arithmetisches Constraintlösen in der automatischen Analyse hybrider Systeme Beginn: 20.04.2009, 17: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/2009-04-20-fraenzle.html Kontakt: Prof. Dr. Ursula Goltz Hybrid diskret-kontinuierliche Systeme, deren dynamisches Verhalten durch Überlagerung kontinuierlicher Teilverhalten mit diskreten Entscheidungsprozessen entsteht, sind ein adäquates Modell zur Beschreibung einer Vielzahl natürlicher wie technischer dynamischer Systeme. Sie bieten sich nicht nur zur detaillierten Beschreibung von in physikalische Umgebungen eingebetteten Hardware- und Softwaresystemen -etwa Fahrdynamikregelungen im Auto- an, sondern auch als Abstraktionen der Dynamik rein kontinuierlicher Systeme mit extrem komplexer oder extrem unterschiedlich schneller Komponentendynamik. Der derzeitige Einsatzbereich hybrider Modelle umfasst deshalb neben den ursprünglichen Anwendungen in der Regelungstechnik und technischen Informatik, wo die Analyse des rückgekoppelten Verhaltens ganzer Ensembles eingebetteter Computersysteme untereinander und mit ihrer physikalischen Umgebung im Vordergrund steht, inzwischen auch die bioinformatische Modellbildung, beispielsweise für genregulatorische Netzwerke. Aufgrund ihrer Struktureigenschaften stellen hybride Systeme eine besondere Herausforderung in Hinblick auf ihre Analysierbarkeit dar. In dem Vortrag werden wir uns symbolischen Verfahren der Zustandsraumexploration hybrider Systeme widmen, bei denen Analyseprobleme auf prädikative Kodierungen und geeignete Constraintlöser zurückgeführt werden. Nach einer kurzen Einführung in hybride Systeme werden wir hierzu verschiedene arithmetische Constraintlöseverfahren betrachten, welche den Bereich von nichtlinearen zeitdiskreten über zeitkontinuierliche bis hin zu probabilistischen hybriden Systemen abdecken.

1 0

Erinnerung: Vortrag am 24.03.2009, 13:00 Uhr
by Informatik-Kolloquium 23 Mar '09

23 Mar '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Derek Bradley, University of British Columbia, Dep. of Computer Science: Multi-view Reconstruction of Detailed Garment Motion Beginn: 24.03.2009, 13: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/2009-03-24-bradley.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establish temporally coherent correspondences between points on the garment's surface at different times. Unfortunately, this approach is tedious and prevents the capture of off-the-shelf clothing made from interesting fabrics. In this talk I will summarize recent advances in detailed, marker-free garment capture resulting from our research at the University of British Columbia. I will first discuss our physical acquisition setup, including camera synchronization and rolling shutter compensation using stroboscopic illumination. I will then describe our garment capture approach, where we establish temporally coherent parameterizations between incomplete geometries that we extract at each timestep with a multiview stereo algorithm. Finally, I will discuss a method for reintroducing fine folds into the captured models using data-driven dynamic wrinkling. As a result of this work, we are able to capture the geometry and motion of unpatterned, off-the-shelf garments made from a range of different fabrics, with realistic dynamic folds.

1 0

Vortrag am 24.03.2009, 13:00 Uhr
by Informatik-Kolloquium 18 Mar '09

18 Mar '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Derek Bradley, University of British Columbia, Dep. of Computer Science: Multi-view Reconstruction of Detailed Garment Motion Beginn: 24.03.2009, 13: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/2009-03-24-bradley.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establish temporally coherent correspondences between points on the garment's surface at different times. Unfortunately, this approach is tedious and prevents the capture of off-the-shelf clothing made from interesting fabrics. In this talk I will summarize recent advances in detailed, marker-free garment capture resulting from our research at the University of British Columbia. I will first discuss our physical acquisition setup, including camera synchronization and rolling shutter compensation using stroboscopic illumination. I will then describe our garment capture approach, where we establish temporally coherent parameterizations between incomplete geometries that we extract at each timestep with a multiview stereo algorithm. Finally, I will discuss a method for reintroducing fine folds into the captured models using data-driven dynamic wrinkling. As a result of this work, we are able to capture the geometry and motion of unpatterned, off-the-shelf garments made from a range of different fabrics, with realistic dynamic folds.

1 0

Erinnerung: Vortrag am 23.02.2009, 17:00 Uhr
by Informatik-Kolloquium 22 Feb '09

22 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dipl.-Ing. Dr. Klaus-Peter Adlassnig, Medizinische Universität Wien: Entscheidungsunterstützung und Expertesysteme in der klinischen Medizin Beginn: 23.02.2009, 17: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/2009-02-23-adlassnig.html Kontakt: Prof. Dr. Reinhold Haux Die zunehmende Verfügbarkeit computergestützt vorliegender Daten von Patienten in den unterschiedlichsten medizinischen Informationssystemen erlaubt eine umfassende Einführung von klinischer Entscheidungsunterstützung in der behandelnden Medizin. Diese Entscheidungsunterstützung reicht von der Generierung von Hinweisen und Mitteilungen an den behandelnden Arzt, über die wissenbasierte Interpretation von komplexen Testergebnissen des Laboratoriums, die Unterstützung der Differentialdiagnose in der Internen Medizin, der Prüfung von Indikation, Kontraindikation und Wechselwirkungen von Medikamenten bis hin zum zeitnahen, proaktiven Monitoring auf nosokomiale Infektionen in Intensivstationen für Erwachsene und Neugeborene. Wir zeigen den Einsatz dieser Methoden (Expertensysteme, Fuzzy-Logik, ArdenRuleEngine, service-oriented architecture) und Systeme (Moni, Hepaxpert, Moab, GuideRems) am Allgemeinen Krankenhaus/Medizinische Universität Wien.

1 0

Erinnerung: Vortrag am 17.02.2009, 08:30 Uhr
by Informatik-Kolloquium 16 Feb '09

16 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Ingolf H. Krueger, UCSD, San Diego: Ein Ansatz zur Zuverlässigkeitsprüfung Komplexer Fahrzeugdienste Beginn: 17.02.2009, 08:30 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/2009-02-17-krueger.html Kontakt: Zuverlässigkeit ist eine Schlüsseleigenschaft komplexer, verteilter, software-intensiver Systeme. Moderne Fahrzeuge etwa haben bis zu 80 Steuergeräte, die zusammen tausende Softwaredienste bereitstellen. Diese Steuergeräte sind über mehrere physikalische Netzwerke miteinander verbunden. Entsprechend kommunizieren die hochgradig verteilten Softwaredienste vermittels komplexer Interaktionsmuster. Von der Zuverlässigkeit der zugrundeliegenden Software/Hardwaresysteme hängt das Überleben der Verkehrsteilnehmer und, im übertragenen Sinn, das der beteiligten Hersteller und Zulieferer im Markt ab. In diesem Vortrag stelle ich einen modell-basierten Ansatz zur Entwicklung und Qualitätssicherung zuverlässiger Fahrzeugdienste vor. Dazu führe ich zunächst ein ausdrucksstarkes Interaktionsmodell ein, das als Basis zur präzisen Beschreibung von Interaktionsmustern dient. Dieses Interaktionsmodell fundiert und erweitert bekannte Notationen, wie etwa Message Sequence Charts (MSCs) und Sequenzdiagramme. Weiterhin dient es als Basis für eine domänenspezifische Architekturbeschreibungssprache, mit deren Hilfe Ingenieure Interaktionsmuster um Mechanismen zur Fehlererkennung und -behebung anreichern können. Schließlich zeige ich, wie solche Architekturbeschreibungen in Verifikationsmodelle überführt werden können. Die resultierenden Verifikationsmodelle können dann mit Hilfe von Modellprüfern auf ihre Zuverlässigkeit hin untersucht werden. Im Ergebnis erhalten Fahrzeug-Entwickler einen methodisch fundierten Ansatz zur Beschreibung und Überprüfung komplexer Dienstarchitekturen und ihrer Zuverlässigkeitseigenschaften.

1 0

Vortrag am 23.02.2009, 17:00 Uhr
by Informatik-Kolloquium 09 Feb '09

09 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dipl.-Ing. Dr. Klaus-Peter Adlassnig, Medizinische Universität Wien: Entscheidungsunterstützung und Expertenssysteme in der klinischen Medizin Beginn: 23.02.2009, 17: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/2009-02-23-adlassnig.html Kontakt: Prof. Dr. Reinhold Haux Die zunehmende Verfügbarkeit computergestützt vorliegender Daten von Patienten in den unterschiedlichsten medizinischen Informationssystemen erlaubt eine umfassende Einführung von klinischer Entscheidungsunterstützung in der behandelnden Medizin. Diese Entscheidungsunterstützung reicht von der Generierung von Hinweisen und Mitteilungen an den behandelnden Arzt, über die wissenbasierte Interpretation von komplexen Testergebnissen des Laboratoriums, die Unterstützung der Differentialdiagnose in der Internen Medizin, der Prüfung von Indikation, Kontraindikation und Wechselwirkungen von Medikamenten bis hin zum zeitnahen, proaktiven Monitoring auf nosokomiale Infektionen in Intensivstationen für Erwachsene und Neugeborene. Wir zeigen den Einsatz dieser Methoden (Expertensysteme, Fuzzy-Logik, ArdenRuleEngine, service-oriented architecture) und Systeme (Moni, Hepaxpert, Moab, GuideRems) am Allgemeinen Krankenhaus/Medizinische Universität Wien.

1 0

Erinnerung: Vortrag am 06.02.2009, 11:00 Uhr
by Informatik-Kolloquium 05 Feb '09

05 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Bernhard Schätz, TU München: Modellbasierte Entwicklung von Automotive Software Systemen Beginn: 06.02.2009, 11: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/2009-02-06-schaetz.html Kontakt: Modellbasierte Entwicklung, speziell von eingebetteter Software, wird oft auf den Einsatz von grafischen Werkzeugen zur Entwicklung plattformunabhängiger Modelle sowie die automatisierte Erzeugung von plattformspezifischem Code aus diesen Modellen reduziert. Als wesentlicher Vorteil dieses Verfahrens wird dabei insbesondere die bessere Wiederverwendbarkeit von Lösungen angeführt. Das Potenzial modellbasierter Entwicklung wird jedoch deutlich ausgeweitet, wenn sie als ein Ansatz verstanden wird, bei dem Modellierungstechniken verwendet werden, die die spezifischen Eigenschaften der Anwendungsdomäne berücksichtigen, und bei dem diese Modellierungstechniken durchgängig über einzelne Entwicklungsphasen hinweg eingesetzt werden. Ein solcher Ansatz erlaubt es nämlich, durch spezielle Analyseverfahren die Vorverlegung der Qualitätssicherung zu unterstützen, und durch automatisierte Verfahren zur Modellsynthese die Umsetzung von Entwurfsentscheidungen zu vereinfachen. Der Vortrag demonstriert, wie dieser Ansatz speziell im Entwurf und der Implementierung von Software im Fahrzeug eingesetzt werden kann, um den Entwicklungsprozesses für eingebettete Automotive-Systeme zu verbessern.

1 0

Erinnerung: Vortrag am 06.02.2009, 13:45 Uhr
by Informatik-Kolloquium 05 Feb '09

05 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Hubert Rehborn, Daimler: Verkehrsprognosen für Fahrzeuge Beginn: 06.02.2009, 13:45 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/2009-02-06-rehborn.html Kontakt: Basierend auf der 3-Phasen-Verkehrstheorie über den Verkehrsablauf auf Schnellstraßen stellt der Vortrag Komponenten und Architekturen einer Verkehrsprognoseanwendung für Fahrzeuge dar. Die Fragestellung einer Aufteilung dieser Komponenten zwischen einer fahrzeugautonomen (onboard) und zentralenbasierten (offboard) Lösung wird diskutiert. Abschließend werden mögliche Darstellungsformen einer Stauprognose im Fahrzeug vorgestellt.

1 0