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

Vortrag am 16.01.2012, 17:00 Uhr
by Informatik-Kolloquium 23 Nov '11

23 Nov '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Martin Karsten, Associate Professor, Networks and Distributed Systems Group, David R. Cheriton School of Computer Science, University of Waterloo: FIFO Service with Differentiated Queueing Beginn: 16.01.2012, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2012-01-16-karsten.html Kontakt: Prof. Dr.-Ing. Lars Wolf This talk presents a novel approach to minimally invasive service differentiation in packet-switched networks. Instead of actively managing service allocation, a simple differentiated queueing algorithm provides traffic classes with essentially the same best-effort service that would result from plain FIFO service using a single queue for all traffic. However, each class is served from a separate virtual queue, which is configured with an individual deterministic delay bound that is enforced in the presence of dynamically varying packet arrival rates. The main advantage of such a scheme for service differentiation is administrative simplicity, because it only needs minimal configuration by a network operator and does not necessarily require control plane functionality. Further, it does not inherently prefer some traffic classes over others and thus satisfies even the most radical definitions of network neutrality. The basic approach is motivated with the help of various use case scenarios. A fairly simple and efficient algorithm is presented to implement the differentiated queueing scheme. Finally, a number of simulation experiments and results are shown that confirm the intuitive functionality of the algorithm.

1 0

Erinnerung: Vortrag am 14.11.2011, 17:00 Uhr
by Informatik-Kolloquium 13 Nov '11

13 Nov '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. H. Maurer, TU Graz: We have seen nothing yet... Beginn: 14.11.2011, 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/2011-11-14-maurer.html Kontakt: Prof. Dr. Wolf-Tilo Balke In diesem Vortrag wird erklärt, warum die technologische Entwicklung in vielen Bereiche noch rascher und überraschender sein wird, als wir üblicher Weise annehmen. Dazu werden einige heute schon absehbare aber noch zu wenig analysierte Entwicklungen vorgestellt. Trotz der generellen Unmöglichkeit, vor allem längerfristiger Vorhersagen zu machen, wird verdeutlicht, dass wir solche dringend brauchen würden. Denn bei einer gewissen Technologielastigkeit des Vortrags ist dieser schlussendlich sogar technik-kritisch: der Vortrag erklärt zuerst was geschehen wird, aber dann, dass dieses durchaus vom Wünschenswerten weit entfernt sein mag.

1 0

Erinnerung: Vortrag am 13.10.2011, 18:00 Uhr
by Informatik-Kolloquium 12 Oct '11

12 Oct '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Britta Laatzen, Principal Consultant, Strategisches IT Consulting, Fujitsu Technology Solutions GmbH: Mit IT Service Management auf dem Weg zum erfolgreichen Cloud Computing Anbieter Beginn: 13.10.2011, 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 Cloud Computing Dienste werden perspektivisch von IT Anwendern wie Strom aus der Steckdose betrachtet. Um dieser Sicht der Anwender gerecht zu werden, stellen der Aufbau und Betrieb von Cloud Diensten sehr hohe Anforderungen an die technischen und organisatorischen Fähigkeiten einer IT-Organisation. IT Service Management bietet sich aufgrund seines umfassenden Ansatzes als Rahmenwerk an, um den Weg eines IT Dienstleisters zu einem professionellen Cloud Computing Anbieter zu gestalten....

1 0

Erinnerung: Vortrag am 24.08.2011, 14:00 Uhr
by Informatik-Kolloquium 23 Aug '11

23 Aug '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Michael Guthe, Universität Marburg: Perception in Real-Time Rendering Beginn: 24.08.2011, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G30 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-08-24-guthe.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Current graphics hardware is able to render scenes of striking realism in real-time: the ever growing processing power, memory size and bandwidth allows for the rendering of global illumination, realistic materials and smooth animations reserved to offline-rendering a few years ago. Nevertheless, the consumers’ expectations are almost increasing at the same rate. While traditional approaches become more efficient due to increasing processing power, the ultimate goal of realistically looking renderings is not a purely mathematical one. Due to the limitations of the human visual system images that are far from realistic in a physical sense still look real. On the other hand seemingly minor inaccuracies can cause highly visible differences. Therefore it is necessary to consider human vision when generating images for both offline- and real-time rendering. Unfortunately estimating the visual difference itself can often be more time consuming than image generation. Therefore special visual models and pre-computed visual difference need to be used for interactive real-time rendering. The talk introduces two such models that were successfully applied in this context. The first one is tailored to perception of complex material where especially compression to a manageable size is especially important. The second one proposes an efficient pre-computed difference measure for the reduction of complex polygon models. Based on the material with which the model is rendered a visually optimized reduction is performed. Finally an outlook to other fields that benefit from perception models is given.

1 0

Vortrag am 14.11.2011, 17:00 Uhr
by Informatik-Kolloquium 17 Aug '11

17 Aug '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. H. Maurer, TU Graz: We have seen nothing yet... Beginn: 14.11.2011, 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/2011-11-14-maurer.html Kontakt: Prof. Dr. Wolf-Tilo Balke In diesem Vortrag wird erklärt, warum die technologische Entwicklung in vielen Bereiche noch rascher und überraschender sein wird, als wir üblicher Weise annehmen. Dazu werden einige heute schon absehbare aber noch zu wenig analysierte Entwicklungen vorgestellt. Trotz der generellen Unmöglichkeit, vor allem längerfristiger Vorhersagen zu machen, wird verdeutlicht, dass wir solche dringend brauchen würden. Denn bei einer gewissen Technologielastigkeit des Vortrags ist dieser schlussendlich sogar technik-kritisch: der Vortrag erklärt zuerst was geschehen wird, aber dann, dass dieses durchaus vom Wünschenswerten weit entfernt sein mag.

1 0

Vortrag am 24.08.2011, 14:00 Uhr
by Informatik-Kolloquium 29 Jul '11

29 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Michael Guthe, Universität Marburg: Perception in Real-Time Rendering Beginn: 24.08.2011, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G30 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-08-24-guthe.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Current graphics hardware is able to render scenes of striking realism in real-time: the ever growing processing power, memory size and bandwidth allows for the rendering of global illumination, realistic materials and smooth animations reserved to offline-rendering a few years ago. Nevertheless, the consumers’ expectations are almost increasing at the same rate. While traditional approaches become more efficient due to increasing processing power, the ultimate goal of realistically looking renderings is not a purely mathematical one. Due to the limitations of the human visual system images that are far from realistic in a physical sense still look real. On the other hand seemingly minor inaccuracies can cause highly visible differences. Therefore it is necessary to consider human vision when generating images for both offline- and real-time rendering. Unfortunately estimating the visual difference itself can often be more time consuming than image generation. Therefore special visual models and pre-computed visual difference need to be used for interactive real-time rendering. The talk introduces two such models that were successfully applied in this context. The first one is tailored to perception of complex material where especially compression to a manageable size is especially important. The second one proposes an efficient pre-computed difference measure for the reduction of complex polygon models. Based on the material with which the model is rendered a visually optimized reduction is performed. Finally an outlook to other fields that benefit from perception models is given.

1 0

Erinnerung: Vortrag am 20.07.2011, 17:00 Uhr
by Informatik-Kolloquium 19 Jul '11

19 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Lawrence Moss, Indiana University: Natural Logic Beginn: 20.07.2011, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 3. OG, Raum 358 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-20-moss.html Kontakt: Prof. Dr. Jirí Adámek A central motivation for modern logic is that it provides a tool to represent natural language meaning and inference. One of the motivations of first-order logic is precisely that one can translate significant aspects of language into it, and in addition one can use it in connection with the foundations of mathematics. This talk returns to the topic of language and logic, and proposes new logical systems for the area. One leading idea is to propose logics with a decidable validity problem, ruling out full first-order logic. Indeed, we are interested in finding decidable fragments of language, just as others have asked for decidable fragments of first-order logic. We also axiomatize the logics, just to see what they look like. The overall topic of this research could be interesting to those pursuing natural language semantics and also to people in computational linguistics who work on inference. Indeed, I hope to report on how the ideas in the talk are (or are not) useful to those in the field of 'textual inference'. The talk mentions a number of technical results, and they are closest to algebraic logic, model theory and descriptive complexity theory.

1 0

Raumaenderung: Vortrag am 14.07.2011, 15:00 Uhr
by Informatik-Kolloquium 14 Jul '11

14 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Martin Große-Rhode: Systemtechnik für die Entwicklung von Fahrzeugsoftware Beginn: 14.07.2011, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-14-grosse-rhode.html Kontakt: Prof. Dr.-Ing. Lars Wolf Softwaresysteme für den Einsatz in Fahrzeugen sind komplex, das heißt bei ihrer Entwicklung müssen wir Entscheidungen treffen, deren Auswirkungen wir nicht vollständig abschätzen können. Eine generelle Herangehensweise zum Umgang mit Komplexität bietet die Systemtechnik. Für deren Anwendung im Bereich der Fahrzeuginformatik muss sie mit - im weiteren Sinne modellbasierten – Methoden ausgestattet werden, die die Schritte des Problemlösungszyklus unterfüttern. Das heißt, wir benötigen integrierte Modellentwicklungsumgebungen, die nicht nur die Konstruktion von Modellen ermöglichen, sondern auch deren Vergleich, Bewertung, Analyse und Verwendung für andere Operationen. Im Vortrag möchte ich diese systemtechnische Herangehensweise und eine zugehörige prototypische Modellentwicklungsumgebung für Fahrzeugsoftware vorstellen. Dabei werde ich insbesondere auf den Umgang mit der Variantenvielfalt der Softwaresysteme eingehen. Diese ist und bleibt im Automobilbereich außerordentlich hoch - ein Fahrzeug ist heutzutage eine "Individualanfertigung vom Band" - ermangelt in der Praxis aber immer noch einer angemessenen methodischen und werkzeugtechnischen Unterstützung.

1 0

Vortrag am 14.07.2011, 13:00 Uhr
by Informatik-Kolloquium 14 Jul '11

14 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Frank Houdek: Rechnerunterstützung bei der Erstellung und Prüfung natürlichsprachiger Anforderungsdokumente Beginn: 14.07.2011, 13:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-14-houdek.html Kontakt: Prof. Dr. Ursula Goltz In den letzten 10-15 Jahren ist Requirements Engineering zu einer Kerndisziplin in der Automobilentwicklung geworden. Anforderungsdokumente für einzelne Komponenten umfassen dabei häufig mehrere tausend Seiten. Trotz der Verfügbarkeit vieler formaler oder semi-formaler Spezifikationsformen ist dabei die natürlich Sprache nach wie vor die mit Abstand am häufigsten eingesetzte Spezifikationsform. Die Gründe hierfür sind mannigfaltig. Beispielsweise ist die natürliche Sprache universell zur Kommunikation zwischen Stakeholdern mit unterschiedlichem Hintergrund und Ausbild einsetzbar. Eine zentrale Herausforderung bei der Verwendung der an sich sehr flexiblen Spezifikationsform "Natürlich Sprache" ist freilich, Qualitätseigenschaften guter Anforderungen, wie Eindeutigkeit, Konsistenz oder Vollständigkeit bei umfangreichen und komplexen Anforderungsdokumenten zu prüfen oder gar sicherzustellen. Viele existierende Verfahren bieten hier nur rudimentäre Unterstützung und skalieren zudem nur unzureichend auf reale Dokumentengrößen. In dem Vortrag wird auf Herausforderungen in der Erstellung von Anforderungsdokumenten in der Automobilindustrie im allgemeinen eingegangen. Im weiteren wird dann vertiefend auf aktuelle Ansätze und Erfahrungen zur Rechnerunterstützung bei der Erstellung wie auch der Prüfung natürlichsprachiger Anforderungsdokumente eingegangen. Erfahrungen aus der Einführung und Anwendung von Rechnergestützten Verfahren zur Anforderungsdokumenterstellung runden den Vortrag ab.

1 0

Erinnerung: Vortrag am 14.07.2011, 15:00 Uhr
by Informatik-Kolloquium 13 Jul '11

13 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Martin Große-Rhode: Systemtechnik für die Entwicklung von Fahrzeugsoftware Beginn: 14.07.2011, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2.OG, Seminarraum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-14-grosse-rhode.html Kontakt: Prof. Dr.-Ing. Lars Wolf Softwaresysteme für den Einsatz in Fahrzeugen sind komplex, das heißt bei ihrer Entwicklung müssen wir Entscheidungen treffen, deren Auswirkungen wir nicht vollständig abschätzen können. Eine generelle Herangehensweise zum Umgang mit Komplexität bietet die Systemtechnik. Für deren Anwendung im Bereich der Fahrzeuginformatik muss sie mit - im weiteren Sinne modellbasierten – Methoden ausgestattet werden, die die Schritte des Problemlösungszyklus unterfüttern. Das heißt, wir benötigen integrierte Modellentwicklungsumgebungen, die nicht nur die Konstruktion von Modellen ermöglichen, sondern auch deren Vergleich, Bewertung, Analyse und Verwendung für andere Operationen. Im Vortrag möchte ich diese systemtechnische Herangehensweise und eine zugehörige prototypische Modellentwicklungsumgebung für Fahrzeugsoftware vorstellen. Dabei werde ich insbesondere auf den Umgang mit der Variantenvielfalt der Softwaresysteme eingehen. Diese ist und bleibt im Automobilbereich außerordentlich hoch - ein Fahrzeug ist heutzutage eine "Individualanfertigung vom Band" - ermangelt in der Praxis aber immer noch einer angemessenen methodischen und werkzeugtechnischen Unterstützung.

1 0