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

Erinnerung: Vortrag am 16.06.2009, 18:00 Uhr
by Informatik-Kolloquium 15 Jun '09

15 Jun '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Thomas Biere, Bundesamt für Sicherheit in der Informationstechnik (BSI), Kommunikationssicherheit in Geschäftsprozessen, Bonn: Verbindliche und sichere Kommunikation mit der Verwaltung Beginn: 16.06.2009, 18:00 Uhr Ort: Haus der Wissenschaft, Pockelsstrasse 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS 1. DE-Mail Bei DE-Mail handelt es sich um ein Projekt der Bundesregierung, Rahmenbedingungen für die sichere Kommunikation des Bürgers im ansonsten unsicheren Internet zu schaffen. Die notwendige Infrastruktur wird durch externe Provider zur Verfügung gestellt, die Rahmenbedingungen werden durch ein Gesetz geschaffen und die Einhaltung der Rahmenbedingungen wird über ein Akkreditierungsverfahren sichergestellt. 2. OSCI2 Während DE-Mail letztlich auf SMTP und S/MIME, also Standard-EMail aufsetzt, stellt OSCI2 eine Profilierung der Protokolle im Umfeld von Web-Service-Security (OASIS-Standards) dar. OSCI2 dient letztlich dazu, die Kommunikation im Umfeld von Web-Services abzusichern. Es wird auch eine Postfachfunktionalität geben. OSCI2 wird weniger die Kommunikation zwischen Bürger und Verwaltung, als vielmehr die Kommunikation zwischen Unternehmen und Verwaltung/Gerichten, zwischen Power-Usern (beispielsweise Rechtsanwälte und Notare) und Verwaltung/Gerichten und zwischen Verwaltungen/Gerichten untereinander adressieren. Außerdem lässt sich OSCI2 zur Absicherung jeglicher Service-Orientierter-Architekturen (SOA) einsezten. In diesem Zusammenhang ist dann auch noch das Projekt SAFE (Secure Access to Federated eJustice/eGovernment) interessant, da damit ein sog. Token-Security-Provider realisiert wird, der als Einstieg in föderiertes Identitätsmanagement zu sehen ist. Solche Token-Security-Provider werden zukünftig zwingend benötigt, um effektive Zugriffskontrollen im Umfeld von SOA zu ermöglichen.

1 0

Erinnerung: Vortrag am 11.06.2009, 13:30 Uhr
by Informatik-Kolloquium 10 Jun '09

10 Jun '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Tsong Chen, Information & Communication Technologies, Swinburne Univ. of Technology, Melbourne: Adaptive Random Testing (ART) Beginn: 11.06.2009, 13:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2. OG, Raum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-06-11-chen.html Kontakt: Prof. Dr. Wolf-Tilo Balke Random testing is a fundamental testing technique. Recently, we have proposed how to improve the fault-detection capability of random testing by enforcing a more even, well-spread distribution of test cases over the input domain. Such an approach is named as adaptive random testing. In this seminar, we will cover: (1) the motivation; (2) failure pattern based testing; (3) various principles that could enforce an even spread of test cases, and the advantages and disadvantages of their corresponding ART implementations; (4) comparison of random testing and adaptive random testing with respect to various testing effectiveness measures; (5) applications of ART.

1 0

Erinnerung: Vortrag am 08.06.2009, 14:00 Uhr
by Informatik-Kolloquium 07 Jun '09

07 Jun '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Jan-Michael Frahm, University of North Carolina at Chapel Hill, Dep. of Computer Science, NC 27599-3175: Fast Reconstruction of the World from Photos and Videos Beginn: 08.06.2009, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G30 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-06-08-frahm.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor In recent years photo/video sharing web sites like Flickr and YouTube have become increasingly popular. Nowadays, every day terra bytes of photos and videos are uploaded. These data survey large parts of the world throughout the di_erent seasons, various weather conditions and all times of the day. In the talk I will present my work on the highly e_cient reconstruction of 3D models from these data. It addresses a variety of the current challenges that have to be addressed to achieve a concurrent 3D model from these data. The challenges are: estimation of the geometric and radiometric camera calibration from videos and photos, e_cient robust camera motion estimation for (quasi-)degenerate estimation problems, high performance stereo estimation from multiple views, automatic selection of correct views from noisy image/video collections, image based location recognition for topology detection. In the talk I will discuss the details of our real-time camera motion estimation from video using our Adaptive Real-Time Random Sample Consensus (ARRSAC) and our high performance salient feature tracker, which simultaneously estimates the radiometric camera calibration and tracks the motion of the salient feature points. Furthermore our technique to achieve robustness against (quasi-) degenerate data will be introduced. It allows to detect and overcome the case of data, which under-constrain the camera motion estimation problem. Additionally our optimal stereo technique for determining the scene depths with constant precision throughout the scene volume will be explained during the talk. It allows to perform the scene depth estimation from a large set of views with optimal computational e_ort while obtaining the depth with constant precision throughout the reconstruction volume. I also discuss our fast technique for the image based location recognition, which uses commodity graphics processors to achieve real-time performance while providing high recognition rates. Furthermore in the talk I present our work on 3D reconstruction from internet photo collections. It combines image based recognition with geometric constraints to e_ciently perform the simultaneous selection of correct views and the 3D reconstruction from large collections of photos. The talk will also explain the future challenges in all the mentioned areas. Jan-Michael Frahm is a Research Assistant Professor at University of North Carolina at Chapel Hill. He received his Ph.D in computer vision in 2005 from the Christian-Albrechts University of Kiel, Germany. His Diploma in Computer Science is from the University of Lubeck. Dr.- Ing. Frahm`s research interests include a variety of computer vision problems. He has worked on structure from motion for single/multi-camera systems for static and dynamic scenes to create 3D models of the scene; real-time multi-view stereo to create a dense scene geometry from camera images; use of camera-sensor systems for 3D scene reconstruction with fusion of multiple orthogonal sensors; improved robust and fast estimation methods from noisy data to compensate for highly noisy measurements in various stages of the reconstruction process; high performance feature tracking for salient image-point motion extraction; and the development of data-parallel algorithms for commodity graphics hardware for e_cient 3D reconstruction.

1 0

Vortrag am 22.06.2009, 14:00 Uhr
by Informatik-Kolloquium 03 Jun '09

03 Jun '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof Theo Härder, TU Kaiserslautern: Towards Flash Disk Use in Databases - Improving Performance While Saving Energy! Beginn: 22.06.2009, 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/2009-06-22-haerder.html Kontakt: Prof. Dr. Wolf-Tilo Balke Green computing or energy saving when processing information is primarily considered a task of processor development. We, however, advocate that a holistic approach is necessary to reduce power consumption to a minimum. We explore the potential of NAND flash memory in comparison to magnetic disks for DBMS-based architectures. For this reason, we attempt to identify the IO performance of both storage types at the device level and file system interface, before we approach the most important question how DBMS applications can take advantage of the flash performance characteristics. Furthermore, based on an analysis of storage structures and related benchmark runs in our XTC system, we discuss how IO-intensive DBMS algorithms have to be adjusted to take most out of the flash technology. First results can be reported concerning tailor-made DB buffer management for flash-based databases. The ultimate goal is to substantially improve energy efficiency while comparable performance as in disk-based DB servers is maintained.

1 0

Vortrag am 25.06.2009, 14:00 Uhr
by Informatik-Kolloquium 13 May '09

13 May '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Ingo Schmitt, Datenbank- und Informationssysteme, TU Cottbus: Quantenlogikbasierte Suche in Datenbanken Beginn: 25.06.2009, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2. OG, Raum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-06-25-schmitt.html Kontakt: Prof. Dr. Wolf-Tilo Balke Bei der Suche in großen Datenbeständen wird traditionell zwischen Daten und Information Retrieval unterschieden. Während Erstere auf relativ leicht durchführbaren Datenvergleichen innerhalb von SQL basiert, erfordert Information Retrieval eine semantische Interpretation. Leider liegen beiden Suchparadigmen unterschiedliche Formalismen zu Grunde, etwa Mengentheorie und Boolesche Werte beim Daten Retrieval und das Vektorraummodell und Scoring-Werte beim Information Retrieval. Für eine semantische Suche werden jedoch beide Suchparadigmen in Kombination benötigt. Leider fehlt bis jetzt ein Anfragesystem, welches diese verschiedenen Suchparadigmen auf der Grundlage einer einheitlichen Theorie miteinander vereinigt. Im Vortrag wird die integrierende Anfragesprache CQQL vorgestellt. Diese vereint die oben genannten verschiedenen Formalismen in einer Theorie, die sich an den Gesetzen der Quantenmechanik und der Quantenlogik orientiert. Es kann gezeigt werden, dass CQQL den relationalen Bereichskalkül um die für eine semantische Suche benötigte Behandlung von Proximity- und IR-Bedingungen erweitert. Weiterhin erfordert eine adäquate Formulierung eines Informationsbedürfnisses (semantische Suche) häufig die Angabe von Gewichten. Ein spezieller Gewichtungsansatz in CQQL ermöglicht die Gewichtung unterschiedlicher Suchbedingungen. Die Gewichte können dabei direkt spezifiziert, aber auch aus Beispieldaten gelernt werden. Im Vortrag wird gezeigt, dass zur Berücksichtigung der Gewichtung die der Sprache CQQL zu Grunde liegende Theorie elegant genutzt werden kann.

1 0

Vortrag am 08.06.2009, 14:00 Uhr
by Informatik-Kolloquium 13 May '09

13 May '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Jan-Michael Frahm, University of North Carolina at Chapel Hill, Dep. of Computer Science, NC 27599-3175: Fast Reconstruction of the World from Photos and Videos Beginn: 08.06.2009, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G30 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-06-08-frahm.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor In recent years photo/video sharing web sites like Flickr and YouTube have become increasingly popular. Nowadays, every day terra bytes of photos and videos are uploaded. These data survey large parts of the world throughout the di_erent seasons, various weather conditions and all times of the day. In the talk I will present my work on the highly e_cient reconstruction of 3D models from these data. It addresses a variety of the current challenges that have to be addressed to achieve a concurrent 3D model from these data. The challenges are: estimation of the geometric and radiometric camera calibration from videos and photos, e_cient robust camera motion estimation for (quasi-)degenerate estimation problems, high performance stereo estimation from multiple views, automatic selection of correct views from noisy image/video collections, image based location recognition for topology detection. In the talk I will discuss the details of our real-time camera motion estimation from video using our Adaptive Real-Time Random Sample Consensus (ARRSAC) and our high performance salient feature tracker, which simultaneously estimates the radiometric camera calibration and tracks the motion of the salient feature points. Furthermore our technique to achieve robustness against (quasi-) degenerate data will be introduced. It allows to detect and overcome the case of data, which under-constrain the camera motion estimation problem. Additionally our optimal stereo technique for determining the scene depths with constant precision throughout the scene volume will be explained during the talk. It allows to perform the scene depth estimation from a large set of views with optimal computational e_ort while obtaining the depth with constant precision throughout the reconstruction volume. I also discuss our fast technique for the image based location recognition, which uses commodity graphics processors to achieve real-time performance while providing high recognition rates. Furthermore in the talk I present our work on 3D reconstruction from internet photo collections. It combines image based recognition with geometric constraints to e_ciently perform the simultaneous selection of correct views and the 3D reconstruction from large collections of photos. The talk will also explain the future challenges in all the mentioned areas. Jan-Michael Frahm is a Research Assistant Professor at University of North Carolina at Chapel Hill. He received his Ph.D in computer vision in 2005 from the Christian-Albrechts University of Kiel, Germany. His Diploma in Computer Science is from the University of Lubeck. Dr.- Ing. Frahm`s research interests include a variety of computer vision problems. He has worked on structure from motion for single/multi-camera systems for static and dynamic scenes to create 3D models of the scene; real-time multi-view stereo to create a dense scene geometry from camera images; use of camera-sensor systems for 3D scene reconstruction with fusion of multiple orthogonal sensors; improved robust and fast estimation methods from noisy data to compensate for highly noisy measurements in various stages of the reconstruction process; high performance feature tracking for salient image-point motion extraction; and the development of data-parallel algorithms for commodity graphics hardware for e_cient 3D reconstruction.

1 0

Vortrag am 11.06.2009, 13:30 Uhr
by Informatik-Kolloquium 06 May '09

06 May '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Tsong Chen, Information & Communication Technologies, Swinburne Univ. of Technology, Melbourne: Adaptive Random Testing (ART) Beginn: 11.06.2009, 13:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2. OG, Raum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-06-11-chen.html Kontakt: Prof. Dr. Wolf-Tilo Balke Random testing is a fundamental testing technique. Recently, we have proposed how to improve the fault-detection capability of random testing by enforcing a more even, well-spread distribution of test cases over the input domain. Such an approach is named as adaptive random testing. In this seminar, we will cover: (1) the motivation; (2) failure pattern based testing; (3) various principles that could enforce an even spread of test cases, and the advantages and disadvantages of their corresponding ART implementations; (4) comparison of random testing and adaptive random testing with respect to various testing effectiveness measures; (5) applications of ART.

1 0

Erinnerung: Vortrag am 23.04.2009, 10:00 Uhr
by Informatik-Kolloquium 22 Apr '09

22 Apr '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

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

19 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

Erinnerung: Vortrag am 20.04.2009, 17:00 Uhr
by Informatik-Kolloquium 19 Apr '09

19 Apr '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. 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