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

Erinnerung: Vortrag am 25.02.2010, 14:30 Uhr
by Informatik-Kolloquium 24 Feb '10

24 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Christophe Morisset: Modeling the planetary nebula IC418: a combined approach using stellar and nebular model Beginn: 25.02.2010, 14:30 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/2010-02-25-morisset.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor We present a coherent stellar and nebular model reproducing the observations of the Planetary Nebula IC418. We want to test whether a stellar model obtained by fitting the stellar observations is able to satisfactory ionize the nebula and reproduce the nebular observations, which is by no mean evident. This allows us to determine all the physical parameters of both the star and the nebula, including the abundances and the distance. We used all the observational material available (FUSE, IUE, STIS and optical spectra) to constrain the stellar atmosphere model performed using the CMFGEN code. The photoionization model is done with Cloudy_3D, and is based on CTIO, Lick, SPM, IUE and ISO spectra as well as HST images. More than 140 nebular emission lines are compared to the observed intensities. We reproduce all the observations for the star and the nebula. The 3D morphology of the gas distribution is determined. The effective temperature of the star is 36.7kK. Its luminosity is 7700 solar luminosity. We describe an original method to determine the distance of the nebula using evolutionary tracks. No clumping factor is need to reproduce the age-luminosity relation. The distance of 1.25 kpc is found in very good agreement with recent determination using parallax method. The chemical composition of both the star and the nebula are determined. Both are Carbon-rich. The nebula presents evidence of depletion of elements Mg, Si, S, Cl (0.5 dex lower than solar) and Fe (2.9 dex lower than solar). This is the first self-consistent stellar and nebular model for a Planetary Nebula that reproduces all the available observations ranging from IR to UV, showing that the combined approach for the modeling process leads to more restrictive constraints and, in principle, more trustworthy results.

1 0

Vortrag am 19.04.2010, 17:00 Uhr
by Informatik-Kolloquium 23 Feb '10

23 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Walter Vogler, Universität Augsburg: Safe Reasoning with Logic LTS Beginn: 19.04.2010, 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/2010-04-19-vogler.html Kontakt: Prof. Dr. Ursula Goltz In der Praxis ist es oft wünschenswert, einen deklarativen mit einem operationalen Spezifikationsstil zu mischen. Damit kann man in einer Spezifikation eine gewünschte operationale Architektur vorgeben und zugleich Komponenten sowie Anforderungen an das Gesamtsystem logisch spezifizieren; man kann auch eine Spezifikation in einer geeigneten Logik schrittweise in einen operationalen Entwurf umsetzen. Ziel unseres gegenwärtigen Projekts ist es, eine Spezifikationssprache für nebenläufige Systeme zu entwickeln, in der man prozessalgebraische und temporal-logische Operatoren beliebig mischen kann. Die zugehörige Implementierungssrelation soll (1) kompositionales Vorgehen unterstützen, (2) sich auf Prozessen in das bekannte Spektrum der Concurrency-Semantiken einordnen, (3) auf logischen Formeln der Implikation entsprechen, und (4) zwischen einem Prozess und einer Formel ausdrücken, dass jener diese erfüllt. Zunächst haben wir beschriftete Transitionssysteme (LTS) in geeigneter Weise auf Logic LTS erweitert und eine geringe Zahl von Operatoren auf diesen definiert. Ausgehend von einer sehr einfachen Basis-Relation haben wir gezeigt, dass die auf sog. Ready-Simulationen gestützte Präordnung genau richtig für die Behandlung der Konjunktion und der Parallelkomposition ist; diese erfüllt dann auch für weitere Opera- tionen die genannten Anforderungen an eine Implementierungssrelation. Schließlich haben wir unserem Ansatz auch temporal-logische Operationen für Sicherheitseigenschaften hinzugefügt.

1 0

Vortrag am 25.02.2010, 14:30 Uhr
by Informatik-Kolloquium 19 Feb '10

19 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Christophe Morisset: Modeling the planetary nebula IC418: a combined approach using stellar and nebular model Beginn: 25.02.2010, 14:30 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/2010-02-25-morisset.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor We present a coherent stellar and nebular model reproducing the observations of the Planetary Nebula IC418. We want to test whether a stellar model obtained by fitting the stellar observations is able to satisfactory ionize the nebula and reproduce the nebular observations, which is by no mean evident. This allows us to determine all the physical parameters of both the star and the nebula, including the abundances and the distance. We used all the observational material available (FUSE, IUE, STIS and optical spectra) to constrain the stellar atmosphere model performed using the CMFGEN code. The photoionization model is done with Cloudy_3D, and is based on CTIO, Lick, SPM, IUE and ISO spectra as well as HST images. More than 140 nebular emission lines are compared to the observed intensities. We reproduce all the observations for the star and the nebula. The 3D morphology of the gas distribution is determined. The effective temperature of the star is 36.7kK. Its luminosity is 7700 solar luminosity. We describe an original method to determine the distance of the nebula using evolutionary tracks. No clumping factor is need to reproduce the age-luminosity relation. The distance of 1.25 kpc is found in very good agreement with recent determination using parallax method. The chemical composition of both the star and the nebula are determined. Both are Carbon-rich. The nebula presents evidence of depletion of elements Mg, Si, S, Cl (0.5 dex lower than solar) and Fe (2.9 dex lower than solar). This is the first self-consistent stellar and nebular model for a Planetary Nebula that reproduces all the available observations ranging from IR to UV, showing that the combined approach for the modeling process leads to more restrictive constraints and, in principle, more trustworthy results.

1 0

Vortrag am 25.02.2010, 14:00 Uhr
by Informatik-Kolloquium 19 Feb '10

19 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Wolfgang Steffen: Shape 2010: 3D Strahlungstransport für die Visualisierung astrophysikalischer Phänomene Beginn: 25.02.2010, 14: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/2010-02-25-steffen.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Das Programm Shape wurde ursprünglich zur 3D-Modellierung der Struktur und Kinematic astrophysikalischer Nebel geschrieben. Shape ist das erste astrophysikalische Simulationsprogramm ist, das interaktive 3D-Graphiktechniken zur Modelerzeugung verwendet. Jetzt wurde aber zusätzlich 3D-Strahlungstransport eingebaut, was realistischere Darstellungen erlaubt. Das neue Animationsmodul und "Texturing" und andere Neuheiten erweitern deutlich die Anwendungsmöglichkeiten in der Visualisierung und astrophysikalischen Forschung.

1 0

Vortrag am 01.03.2010, 17:00 Uhr
by Informatik-Kolloquium 17 Feb '10

17 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Marc Bechler, Forschung und Technik, BMW Group: simTD: Architektur zukünftiger Car-to-X-Szenarien Beginn: 01.03.2010, 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/2010-03-01-bechler.html Kontakt: Prof. Dr.-Ing. Lars Wolf Staus verursachen in Deutschland jedes Jahr volkswirtschaftliche Kosten von rund 17 Mrd. Euro. Die Zahl der bei Verkehrsunfällen verletzten bzw. getöteten Personen liegt mit 410.000 bzw. 4.500 trotz aller Verbesserungen der aktiven und passiven Sicherheit von Kraftfahrzeugen noch immer sehr hoch. Nach Ansicht vieler Experten kann eine weitere Verbesserung der Situation nur durch eine Ergänzung der autonomen Fahrzeugsysteme mit kommunikationsbasierten Ansätzen gelingen. Mit simTD werden diese kommunikationsbasierten Ansätze basierend auf Car-to-X-Kommunikation erstmalig in einem breit angelegten Feldversuch in Deutschland erprobt. Die umfassende und nahtlose Vernetzung von Fahrzeugen und Infrastruktur stellt hierbei eine nicht zu unterschätzende technologische Herausforderung dar. In diesem Vortrag werden die Ziele eines „Intelligenten Transportsystems“ im Generellen und simTD im Speziellen umrissen. Ein wichtiger Schwerpunkt kommt hierbei der einheitlichen Kommunikationsarchitektur zu, die für simTD entwickelt wurde.

1 0

Erinnerung: Vortrag am 04.02.2010, 18:00 Uhr
by Informatik-Kolloquium 03 Feb '10

03 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Frau Dr. PD A. Herrmann, Technische Universität Braunschweig, Software Systems Engineering Institut: Was ist wichtig? Best Practices für die Priorisierung von Anforderungen Beginn: 04.02.2010, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstrasse 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Nicht alle Anforderungen sind gleich wichtig. Dies zeigt sich spätestens dann, wenn im Projekt Entscheidungen nötig werden. Dieser Vortrag zeigt, warum die Anforderungspriorisierung so schwierig ist, und mit welchen Best Practices man diese Schwierigkeiten in den Griff bekommt. Es geht darum, die Priorisierung zum richtigen Zeitpunkt durchzuführen, die Anforderungen hierfür in der richtigen Granularität zu bündeln, die richtigen Experten zu befragen, den Aufwand sinnvoll zu fokussieren sowie ein Referenzsystem zu verwenden. Dies hängt jeweils von der zu treffenden Entscheidung ab.

1 0

Erinnerung: Vortrag am 01.02.2010, 17:00 Uhr
by Informatik-Kolloquium 31 Jan '10

31 Jan '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Philipp Fuernstahl, ETH Zürich, Computer Vision Laboratory: Computer Assisted Preoperative Planning for Orthopedic Surgery Beginn: 01.02.2010, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-02-01-fuernstahl.html Kontakt: Prof. Dr.-Ing. F. M. Wahl Conventional planning of orthopedic injuries often relies on manual measurements obtained from radiographic images or CT slices. Computer assisted (CA) methods can support the surgeon in the preoperative planning to improve the reliability of the surgery. In this talk I will present novel CA methods for the planning of two types of interventions, namely the reduction of complex humerus fractures and the surgical correction of deformed forearm bones. Both tasks rely on patient-specific bone models segmented from CT. The segmentation is performed with a graph cut approach, particularly designed to tackle common problems in bone segmentation. For the reconstruction of humerus fractures, an interactive approach and a semi-automatic method are presented. Interactively, the reconstruction is carried out in an immersive, multi-modal planning system integrating stereoscopic rendering and haptic feedback. In the semi-automatic method, the contralateral (uninjured) bone acts as a template to obtain an initial reconstruction. The contralateral matching is efficiently performed using search-space sampling and GPU-based registration. Based on this initial assembly, the most correct reconstruction is finally computed by applying registration and multi-piece alignment techniques to the fracture surfaces. In the last part of my talk, the CA planning of corrective forearm osteotomies will be described. These methods include several 3-d based techniques for an accurate quantification of forearm deformities. Furthermore, a kinematic model of the forearm motion is presented which provides valuable information to the surgeon.

1 0

Vortrag am 01.02.2010, 17:00 Uhr
by Informatik-Kolloquium 25 Jan '10

25 Jan '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Philipp Fuernstahl, ETH Zürich, Computer Vision Laboratory: Computer Assisted Preoperative Planning for Orthopedic Surgery Beginn: 01.02.2010, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-02-01-fuernstahl.html Kontakt: Prof. Dr.-Ing. F. M. Wahl Conventional planning of orthopedic injuries often relies on manual measurements obtained from radiographic images or CT slices. Computer assisted (CA) methods can support the surgeon in the preoperative planning to improve the reliability of the surgery. In this talk I will present novel CA methods for the planning of two types of interventions, namely the reduction of complex humerus fractures and the surgical correction of deformed forearm bones. Both tasks rely on patient-specific bone models segmented from CT. The segmentation is performed with a graph cut approach, particularly designed to tackle common problems in bone segmentation. For the reconstruction of humerus fractures, an interactive approach and a semi-automatic method are presented. Interactively, the reconstruction is carried out in an immersive, multi-modal planning system integrating stereoscopic rendering and haptic feedback. In the semi-automatic method, the contralateral (uninjured) bone acts as a template to obtain an initial reconstruction. The contralateral matching is efficiently performed using search-space sampling and GPU-based registration. Based on this initial assembly, the most correct reconstruction is finally computed by applying registration and multi-piece alignment techniques to the fracture surfaces. In the last part of my talk, the CA planning of corrective forearm osteotomies will be described. These methods include several 3-d based techniques for an accurate quantification of forearm deformities. Furthermore, a kinematic model of the forearm motion is presented which provides valuable information to the surgeon.

1 0

Erinnerung: Vortrag am 21.01.2010, 18:00 Uhr
by Informatik-Kolloquium 20 Jan '10

20 Jan '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Dipl.-Inform. Nicolai Josuttis: SOA in der Praxis - Willkommen im 21. Jahrhundert der IT Beginn: 21.01.2010, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstrasse 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Das 21. Jahrhundert ist das Jahrhundert der Globalisierung. Dies gilt auch für die IT. Systementwicklung wird immer öfter nur zu einem Teil eines sehr viel umfassenderen Ansatzes, nämlich der Wartung und Pflege von Systemlandschaften. Für Systemlandschaften (also große Systeme, die wiederum aus kleineren Systemen mit unterschiedlichen Eigentümern bestehen) gelten aber andere Regeln als für Einzelsysteme. Und genau hier kommt SOA ins Spiel. SOA bietet Konzepte wie lose Kopplung, hohe Interoperabilität und Service-Orientierung, die uns in die Lage versetzen, fachliche Anforderungen, die über mehrere Systeme verteilt sind, nachhaltig zu verwalten. ...

1 0

Erinnerung: Vortrag am 18.01.2010, 17:00 Uhr
by Informatik-Kolloquium 17 Jan '10

17 Jan '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr.-Ing. Andreas Nürnberger, Data and Knowledge Engineering Group, Faculty of Computer Science, Otto-von-Guericke-University Magdeburg, Germany: User-centered Information Organization Beginn: 18.01.2010, 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/2010-01-18-nuernberger.html Kontakt: Prof. Dr. Wolf-Tilo Balke Searching the Web and accessing local multimedia resources, e.g. personal music, photo or video collections, has become an every day task. However, the currently available tools for searching and organization still provide only very limited support with respect to interactive structuring and visualization. In this talk, first a motivation for the need to develop information systems which focus on user specific support in every step of the interaction process is given. Then approaches are discussed that tackle specific problems of this process, especially methods to structure and visualize sets of text and multimedia objects using user specific interests as well as structural information extracted from ontologies.

1 0