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

Vortrag am 06.06.2007, 16:45 Uhr
by Informatik-Kolloquium 23 May '07

23 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Jos Baeten und Prof. Dr. ir. J.E. Rooda, Eindhoven University of Technology: Syntax and semantics of a hybrid process algebra / Model-based engineering of embedded systems Beginn: 06.06.2007, 16:45 Uhr Ort: TU Braunschweig, Langer Kamp 19 b (Altbau), Raum LK 19 b1 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-06-06-baeten.html Kontakt: Prof. Dr. Ursula Goltz 1. Syntax and semantics of a hybrid process algebra An overview will be given of the research of the Formal Methods group of the division of Computer Science of TU/e. Then, the focus will turn to the development of the language Chi, The talk will discuss the design of the hybrid process algebra Chi, and design choices that were made. 2. Model-based engineering of embedded systems An overview will be given of the research of the Systems Engineering group of the Department of Mechanical Engineering of TU/e. Then the focus will turn to the use of the language Chi in the model-based engineering of embedded systems.

1 0

Vortrag am 14.06.2007, 17:00 Uhr
by Informatik-Kolloquium 21 May '07

21 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Jürgen Dingel, School of Computing Queen's University, Kingston, Ontario, Canada: Support for the Experimental Comparison of Software Quality Assurance Tools: A Case of ExMAn and ConMan Beginn: 14.06.2007, 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/2007-06-14-dingel.html Kontakt: Prof. Dr. Bernhard Rumpe The current spectrum of available software quality assurance techniques is wide and includes, e.g., testing, static analysis, and software model checking. For each of these techniques, a wide variety of specializations, optimizations, and tools have been developed. Determining the relative strengths and weaknesses of all of these different approaches and how they can usefully be combined is very difficult. This talk will present a highly general and customizable framework supporting the experimental, comparative assessment of different software quality assurance tools. The use of the framework will be illustrated by comparing ConTest, an IBM tool for randomized testing of concurrent Java code, and Java PathFinder, an open-source software model checker developed at NASA Ames. Joint work with Jeremy Bradbury and Jim Cordy.

1 0

Erinnerung: Vortrag am 22.05.2007, 19:00 Uhr
by Informatik-Kolloquium 21 May '07

21 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Prof. Dr. Siegfried Hackel, PTB, Fachbereich Q.4 Informationstechnologie: ArchiSafe - Innovative Langzeitarchivierung Beginn: 22.05.2007, 19:00 Uhr Ort: TU Braunschweig, Pockelsstraße 4, Hörsaal SN 19.2 Webseite: http://www.lineas.de/gi-bs/ Kontakt: [Dies ist der neu angesetzte Termin eines ursprünglich für den 08.02.2007 geplanten und ausgefallenen Vortrags. Ein Abstract liegt nicht vor. Weitere Informationen entnehmen Sie bitte der angegebenen Webseite.]

1 0

Erinnerung: Vortrag am 15.05.2007, 15:00 Uhr
by Informatik-Kolloquium 14 May '07

14 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Douglas Cunningham, Universität Tübingen, Wilhelm Schickard Institut für Informatik, Graphische Interaktive Systeme: Perceptual Graphics: The Integration of Perception Research and Computer Graphics Research Beginn: 15.05.2007, 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/2007-05-15-cunningham.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Real visual scenes specify an enormous amount of perceptually and behaviorally relevant information. Perception science investigates how the sensory systems of humans and animals extract, represent, and process such information. Computer graphics focuses on the visual simulation of such information, traditionally emphasizing a high degree of realism. Although these two fields have developed independently, they address similar fundamental problems and provide complementary methods for their solution. Furthermore, it is becoming increasingly apparent that specific research questions in either discipline cannot be solved without methods from the other. The fusion of these two complementary approaches not only helps to overcome the inherent limits of each approach, but also opens up entire new realms of scientific inquiry. This integrated approach is referred to as Perceptual Graphics. In this talk, I will provide an overview of how perception and computer graphics can help one another, both symbiotically and in a truly integrated fashion. I will also provide a brief look at several examples of current Perceptual Graphics research.

1 0

Erinnerung: Vortrag am 14.05.2007, 17:00 Uhr
by Informatik-Kolloquium 13 May '07

13 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Professor Dr. Daniel Cremers, Inst. für Informatik, Universität Bonn: Continuous and Discrete Optimization Methods in Computer Vision Beginn: 14.05.2007, 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/2007-05-14-cremers.html Kontakt: Prof. Dr.-Ing. F. M. Wahl A multitude of computer vision challenges can be cast as problems of energy minimization. In my presentation I will introduce optimization methods which allow to segment moving objects in image sequences, to detect obstacles in traffic videos, to estimate the similarity of 2D shapes, to reconstruct 3D shapes from a collection of 2D images and to track humans in videos. I will detail how respective cost functionals can be minimized both by continuous (PDE and level set methods) and by discrete (graph theoretic) methods.

1 0

Vortrag am 06.06.2007, 15:00 Uhr
by Informatik-Kolloquium 10 May '07

10 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Kazunori Umeda, Dept. Precision Mechanics, Faculty of Science and Engineering, Chuo University, Tokyo, Japan: Intelligent room and 200Hz small range image sensor Beginn: 06.06.2007, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-06-06-umeda.html Kontakt: Prof. Dr.-Ing. F. M. Wahl In this talk I introduce two research results in Intelligent Sensing System Laboratory at Chuo University, Japan. 1. Intelligent room: There are several studies to make a space (typically, a room) intelligent. Our intelligent room is one of them and aims at operation of home appliances by recognizing gestures. Pan-tilt-zoom cameras are set in a room. An operator waves his/her hand to indicate the intention to operate an appliance and the room detects it. A camera is zoomed up and hand color is registered. Hand regions are extracted using the registered color. Selecting an appliance by pointing, volume up/down by gestures, changing channels by recognizing the number of fingers, etc. are implemented. 2. 200Hz small range image sensor: High-speed range image sensors have been developed recently. However, their speed is up to video rate and a faster sensor is required for robot pplications. We are constructing a high-speed range image sensor using a multi-spot laser projector. The proposed sensor realizes 200Hz measurement. It consists of a commercially available laser projector and a high-speed CCD camera. The sensor's size is small and feasible for mobile robots.

1 0

Erinnerung: Vortrag am 07.05.2007, 17:00 Uhr
by Informatik-Kolloquium 06 May '07

06 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Professor Dr. John Mantas, Health Informatics Lab, University of Athens, Griechenland: Development of biomedical and health informatics curricula Beginn: 07.05.2007, 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/2007-05-07-mantas.html Kontakt: Prof. Dr. Reinhold Haux The presentation will focus on (1) Presentation of the health informatics courses in our undergraduate curriculum at the University of Athens, (2) Presentation of the Master's course in Health Informatics at the University of Athens, (3) Presentation of the new 4-year BSc (Hons) programme in Biomedical Informatics in the University of Central Greece, (4) Presentation of our research activites of Health Infromatics Laboratory, and (5) Presentation of our involvement in European research projects. CV of Prof. Mantas: Professor in Health Informatics at the School of Health Sciences of the University of Athens. Teaching responsibilities in Departments of Medicine, Dentistry, Nursing. Director of Health Informatics Laboratory. Secretary of EFMI. Working Group chair on Education in EFMI. Co-chair of IMIA WG on Education. Former Dean of the Faculty of Nursing of the University of Athens. Member of the Executive Board of the Cyprus University of Technology. Member of the Executive Board of the Dept. of Biomedical Informatics. Member of Editorial Boards of Scientific Journals.

1 0

Vortrag am 15.05.2007, 15:00 Uhr
by Informatik-Kolloquium 02 May '07

02 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Douglas Cunningham, Universität Tübingen, Wilhelm Schickard Institut für Informatik, Graphische Interaktive Systeme: Perceptual Graphics: The Integration of Perception Research and Computer Graphics Research Beginn: 15.05.2007, 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/2007-05-15-cunningham.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Real visual scenes specify an enormous amount of perceptually and behaviorally relevant information. Perception science investigates how the sensory systems of humans and animals extract, represent, and process such information. Computer graphics focuses on the visual simulation of such information, traditionally emphasizing a high degree of realism. Although these two fields have developed independently, they address similar fundamental problems and provide complementary methods for their solution. Furthermore, it is becoming increasingly apparent that specific research questions in either discipline cannot be solved without methods from the other. The fusion of these two complementary approaches not only helps to overcome the inherent limits of each approach, but also opens up entire new realms of scientific inquiry. This integrated approach is referred to as Perceptual Graphics. In this talk, I will provide an overview of how perception and computer graphics can help one another, both symbiotically and in a truly integrated fashion. I will also provide a brief look at several examples of current Perceptual Graphics research.

1 0

Erinnerung: Vortrag am 23.04.2007, 17:00 Uhr
by Informatik-Kolloquium 22 Apr '07

22 Apr '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Bernd Radig, Technische Universität München, Fakultät für Informatik, Lehrstuhl IX: Visuelle Kognition für technische Systeme Beginn: 23.04.2007, 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/2007-04-23-radig.html Kontakt: Prof. Dr.-Ing. F. M. Wahl Technische Systeme werden zunehmend mit Autonomiefähigkeiten ausgerüstet - die Entwicklung von Fahrerassistenzsystemen ist hier ein exemplarisches Beispiel. Dazu werden sie mit Sensoren ausgestattet, die Daten liefern, deren Auswertung die Basis für die geforderten kognitiven Fähigkeiten sind. Wenn technische Systeme gemeinsam mit Menschen agieren oder das Geschehen in der erfassten Umwelt für Menschen aufbereiten müssen, ist die Auswertung von sensorisch erfassten Bildfolgen die wissenschaftliche Herausforderung. Unsere Szenarien für solche Herausforderungen sind: Körpersprache - Erkennen von Gestik und Mimik, Roboterfußball - verteile Rekonstruktion der Spielsituation, Mannschaftssport - der "automatische Sportreporter" für Fußballspiele, Kochen - Analyse von Aktionen und Assistenz für Küchenarbeit. Unsere Anforderungen sind Echtzeitfähigkeit, Robustheit, Verwendung von Standard-Hardware. Unser Forschungsgegenstand sind kognitive Fähigkeiten wie Wahrnehmen, Folgern, Lernen und Planen. Das Ziel ist, Systeme konstruieren zu können, die über einen großen Vorrat an geeignet repräsentiertem Wissen verfügen, die aus eigener Beobachtung lernen, um ihre Qualität und ihre Kompetenz zu verbessern, die eigenen Fähigkeiten einschätzen sowie das eigene Verhalten bewerten können und die sich in vorher unbekannten Situationen zurechtfinden. Die vorgestellten Anwendungen beschreiben Schritte in Richtung der Konstruktion von künstlichen kognitiven Systemen.

1 0

Vortrag am 07.05.2007, 17:00 Uhr
by Informatik-Kolloquium 19 Apr '07

19 Apr '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Professor Dr. John Mantas, Health Informatics Lab, University of Athens, Griechenland: Development of biomedical and health informatics curricula Beginn: 07.05.2007, 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/2007-05-07-mantas.html Kontakt: Prof. Dr. Reinhold Haux The presentation will focus on (1) Presentation of the health informatics courses in our undergraduate curriculum at the University of Athens, (2) Presentation of the Master's course in Health Informatics at the University of Athens, (3) Presentation of the new 4-year BSc (Hons) programme in Biomedical Informatics in the University of Central Greece, (4) Presentation of our research activites of Health Infromatics Laboratory, and (5) Presentation of our involvement in European research projects. CV of Prof. Mantas: Professor in Health Informatics at the School of Health Sciences of the University of Athens. Teaching responsibilities in Departments of Medicine, Dentistry, Nursing. Director of Health Informatics Laboratory. Secretary of EFMI. Working Group chair on Education in EFMI. Co-chair of IMIA WG on Education. Former Dean of the Faculty of Nursing of the University of Athens. Member of the Executive Board of the Cyprus University of Technology. Member of the Executive Board of the Dept. of Biomedical Informatics. Member of Editorial Boards of Scientific Journals.

1 0