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

Vortrag am 20.11.2006, 17:00 Uhr
by Informatik-Kolloquium 30 Aug '06

30 Aug '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Alexander Pretschner, Zentrum für Informationssicherheit, ETH Zürich: Verteilte Nutzungskontrolle Beginn: 20.11.2006, 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/2006-11-20-pretschner.html Kontakt: Prof. Dr. Bernhard Rumpe Nutzungskontrolle (engl. usage control) erweitert die klassische Zugriffskontrolle (engl. access control) um Konzepte der Einschränkung möglicher Verwendungen eines Datums, nachdem der Zugriff auf dieses Objekt erfolgt ist. Gleichermaßen relevant in Datenschutz und Digital Rights Management und offenbar besonders anspruchsvoll in verteilten Szenarien, werden Anforderungen der Art "muss in 30 Tagen gelöscht werden", "darf nur zu wissenschaftlichen Zwecken verwendet werden" und "ohne Bezahlung erfolgt die Wiedergabe nur in reduzierter Qualität" behandelt. Wir diskutieren zentrale Herausforderungen, fundamentale Konzepte, deren sprachliche Spiegelung in Policies sowie existierende Enforcement-Mechanismen und diskutieren aktuelle Arbeiten an der Schnittstelle von Softwaretechnik und formalen Methoden. Der Vortrag basiert auf einem kürzlich erschienenen CACM-Papier: http://www.inf.ethz.ch/personal/basin/pubs/usage-control-cacm.pdf

1 0

Vortrag am 14.09.2006, 17:00 Uhr
by Informatik-Kolloquium 17 Aug '06

17 Aug '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Sebastian Thrun, Computer Science Dep., Stanford University: Winning the DARPA Grand Challenge Beginn: 14.09.2006, 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/2006-09-14-thrun.html Kontakt: Prof. Dr. Bernhard Rumpe The DARPA Grand Challenge has been the most significant challenge to the robotics community in more than a decade. It required to build an autonomous robot capable of traversing 132 miles of punishing desert terrain in less than 10 hours. In 2004, the best robot only made 7.3 miles. In 2005, Stanford won the challenge and the $2M prize money by successfully traversing the course in less than 7 hours. This talk, delivered by the leader of the Stanford Racing Team, will provide insights in the software architecture of Stanford's winning robot. The robot massively relied on machine learning and probabilistic modeling for sensor interpretation and control. The speaker will explain some of the basic algorithms that made this victory possible, and share some of the excitement characterizing this historic event. Prof. Dr. Sebastian Thrun is Director of the Stanford Artificial Intelligence Laboratory (SAIL) at Stanford University. Prior to winning the Grand Challenge, Thrun published nine books, 300 refereed papers, won numerous best paper awards, and was elected as AAAI and ECCAI Fellow. Popular Science named Thrun one of the "Brilliant Ten" in their September 2005 issue. Thrun's research focuses on robotics, machine learning, and artificial intelligence.

1 0

Erinnerung: Vortrag am 01.08.2006, 17:00 Uhr
by Informatik-Kolloquium 31 Jul '06

31 Jul '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Gregor v. Bochmann, Ph.D., School of Information Technology and Engineering, University of Ottawa: >From Workflow and Use Case Scenarios to Protocols for Distributed Applications Beginn: 01.08.2006, 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/2006-08-01-bochmann.html Kontakt: Prof. Dr. Bernhard Rumpe UML Use Case Diagrams are a first step towards the definition of system requirements, however, they do not provide enough information for many purposes. UML Activity Diagrams (AD) and Use Case Maps (UCM) provide such information in a quite comprehensive manner. The first part of my talk deals with a "Core Scenario Model" (CSM) which was developed to capture the common semantics of AD and UCM, as well as performance-related information. The CSM can be easily translated into Petri nets, and it is also related to the BPEL notation of Web Services, which could be taken as an implementation environment. In the second part of my talk, I will discuss how one can derive an application protocol from system requirements Given in the form of such notations together with a distributed system architecture that identifies a certain number of system components. The resulting protocol will define the behavior of all the system components in such a manner as to ensure the given requirements. This problem is relatively easy to solve if each choice between alternative actions in the requirements can be performed by one of the components alone, however, it becomes quite complex if information from several components must be considered for doing such choices. We also discuss how the concept of (distributed) transactions, in the sense of databases, can be integrated into the description of requirements.

1 0

Erinnerung: Vortrag am 17.07.2006, 17:00 Uhr
by Informatik-Kolloquium 16 Jul '06

16 Jul '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Stephen Kay, Professor of Health Informatics SHIRE, University of Salford, U.K.: The Elusive Electronic Health Record Beginn: 17.07.2006, 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/2006-07-17-kay.html Kontakt: Prof. Dr. Reinhold Haux The Electronic Health Record (EHR) is now politically important. It has always, of course, been important to the discipline of Medical/Health Informatics and in many ways it has been the defining ‘Grand Challenge’ for its research. Many governments at this time, however, are taking an aggressive and positive response to the EHR as ‘solution’, and are actively promoting its rapid development, standardization, and utilization. The EHR has been given the role of panacea; one which will not only solve the immediate and on-going problems of sub-standard care, but will also simultaneously cure the problems and expense associated with the means of its delivery. This ‘cure-all’ factor is driving governmental policy to implement the EHR as soon as possible. It is in many ways a political leap of faith with the expectation that all the anticipated benefits will be realized once “this so-called silver-bullet technology” is widely implemented. Putting to one side for the moment the potential beneficial outcomes, it is a valid question to ask why there should be all the political interest now, particularly given that the EHR concept is not new. Indeed, the EHR is almost as old as the computers on which it depends. What then is it about the EHR that has successfully shifted the attention of the powerful to what is apparently merely a simple means of documenting health care and its associated processes in an electronic medium? Furthermore, it is generally acknowledged that there is very little hard, specific evidence available to justify the grand claims being made on behalf of the EHR. Yet given the political imperative to implement, there would also seem to be no requirement for finding any new evidence as to whether or not the EHR path should be taken. It simply will be. The emphasis on implementation, however, poses serious questions as to what, if any, research is required with respect to the EHR and, perhaps more fundamentally, whether or not the discipline of Health Informatics has a future.

1 0

Erinnerung: Vortrag am 06.07.2006, 17:00 Uhr
by Informatik-Kolloquium 05 Jul '06

05 Jul '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Wilhelm Schäfer, AG Softwaretechnik, Institut für Informatik, Universität Paderborn: Ein UML-basierter Ansatz für die Modellierung, Verifikation und Implementierung der Informationsverarbeitung in mechatronischen Systemen - Mechatronic UML Beginn: 06.07.2006, 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/2006-07-06-schaefer.html Kontakt: Prof. Dr. Bernhard Rumpe Am Beispiel des Projekts Neue Bahntechnik Paderborn wird der, in der Arbeitsgruppe Softwaretechnik im Rahmen des SFB 614 entwickelte Ansatz zur Spezifikation und Analyse der Informationsverarbeitung in mechatronischen Systemen vorgestellt. Der Ansatz beruht auf einem gemeinsamen hierarchischen Architekturmodell für alle Systemkomponenten sowie einer speziellen Anpassung und Erweiterung der UML (Unified Modelling Language) und wird Mechatronic-UML genannt. Durch hybride Schnittstellen erweiterte UML-Komponentendiagramme unterstützen die formale Abbildung des obigen Architekturmodells sowie eine syntaktische Konsistenzprüfung der verschiedenen Systemebenen und die korrekte Einbettung kontinuierlicher Systembeschreibungen. Zu Realtime-Statecharts erweiterte Statecharts, die durch eine Abbildung auf „Timed Automata“ eine formale Semantik erhalten, ermöglichen das „Model Checking“ des Systemverhaltens und damit die formale Überprüfung von sicherheitsrelevanten Eigenschaften. Letztlich wird der Ansatz zur Zeit durch die Möglichkeit mit Graphtransformationssystemen komplexere Verhalten beschreiben zu können, erweitert.

1 0

Vortrag am 17.07.2006, 17:00 Uhr
by Informatik-Kolloquium 04 Jul '06

04 Jul '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Stephen Kay, Professor of Health Informatics SHIRE, University of Salford, U.K.: The Elusive Eletronic Health Record Beginn: 17.07.2006, 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/2006-07-17-kay.html Kontakt: Prof. Dr. Reinhold Haux The Electronic Health Record (EHR) is now politically important. It has always, of course, been important to the discipline of Medical/Health Informatics and in many ways it has been the defining ‘Grand Challenge’ for its research. Many governments at this time, however, are taking an aggressive and positive response to the EHR as ‘solution’, and are actively promoting its rapid development, standardization, and utilization. The EHR has been given the role of panacea; one which will not only solve the immediate and on-going problems of sub-standard care, but will also simultaneously cure the problems and expense associated with the means of its delivery. This ‘cure-all’ factor is driving governmental policy to implement the EHR as soon as possible. It is in many ways a political leap of faith with the expectation that all the anticipated benefits will be realized once “this so-called silver-bullet technology” is widely implemented. Putting to one side for the moment the potential beneficial outcomes, it is a valid question to ask why there should be all the political interest now, particularly given that the EHR concept is not new. Indeed, the EHR is almost as old as the computers on which it depends. What then is it about the EHR that has successfully shifted the attention of the powerful to what is apparently merely a simple means of documenting health care and its associated processes in an electronic medium? Furthermore, it is generally acknowledged that there is very little hard, specific evidence available to justify the grand claims being made on behalf of the EHR. Yet given the political imperative to implement, there would also seem to be no requirement for finding any new evidence as to whether or not the EHR path should be taken. It simply will be. The emphasis on implementation, however, poses serious questions as to what, if any, research is required with respect to the EHR and, perhaps more fundamentally, whether or not the discipline of Health Informatics has a future.

1 0

Erinnerung: Vortrag am 03.07.2006, 17:00 Uhr
by Informatik-Kolloquium 02 Jul '06

02 Jul '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr.-Ing. Jörg Diederich, Forschungszentrum L3S, Hannover: Recommender Systeme vs. Ranking Algorithmen im WWW Beginn: 03.07.2006, 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/2006-07-03-diederich.html Kontakt: Prof. Dr.-Ing. Lars Wolf Recommender Systeme sind die Grundlage vieler eCommerce Systeme, wie z.B. Amazon. Diese generieren personalisierte Empfehlungen für jeden Benutzer aus einer bereits vorhandenen Grundmenge von Empfehlungen. Ranking Algorithmen wie z.B. PageRank, auf dem die Google Suchtechnologie basiert, nutzen die Linkstruktur des WWW, um jeder Seite im Web einen numerischen Wert zuzuweisen, der die Wichtigkeit der Seite widerspiegelt. Durch eine Sortierung nach dieser Wichtigkeit kann dabei ebenfalls eine Empfehlungsliste generiert werden, die allerdings nur bedingt durch eine Parametrisierung des Ranking Algorithmus personalisiert werden kann. In diesem Vortrag sollen beide Verfahren grundlegend erläutert und miteinander verglichen werden. Anschließend soll anhand eines aktuellen Forschungsvorhabens gezeigt werden, wie diese Verfahren erfolgreich eingesetzt werden können.

1 0

Erinnerung: Vortrag am 26.06.2006, 17:00 Uhr
by Informatik-Kolloquium 25 Jun '06

25 Jun '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Rüdiger Klar, Abt. Medizinische Informatik, Universitätsklinikum Freiburg: Textmining in der Biomedizin Beginn: 26.06.2006, 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/2006-06-26-klar.html Kontakt: Prof. Dr. Reinhold Haux In den Lebenswissenschaften ist ein lawinenartiges Wachstum an Daten sowohl im patientenbezogenen als auch im patientenunabhängigen Bereich, zu erkennen. In beiden Bereichen gilt: je komplexer die Sachverhalte, desto eher sind sie nur in unstrukturierten Texten zu finden. Während für strukturierte Daten hocheffiziente Datenbank- und Auswertetechniken zur Verfügung stehen, sind freie Texte inhaltlich schwer per Computer zu erschließen. Wir haben daher speziell für unstrukturierte biomedizinische Texte ein Konzept entwickelt, relevante Information automatisch zu erkennen und zu extrahieren. Dazu arbeiten drei Kernkompetenzen eng zusammen: 1) Medizin/Medizinische Informatik, 2) Bioinformatik/Genomik, 3) Computerlinguistik/Sprachtechnologie. In einem Pilotprojekt zu diesem „bio-medizinischen Textmining“ soll der Informationsgewinn durch Kombination deutscher klinischer Phänotypbeschreibungen einer Hautkrankheit und genomorientierter englischer Forschungstexte aufgezeigt werden. Die Architektur des Kernsystems dafür umfasst Verfahren der Part-of-speech- und Wortanalyse mit speziellen Wort- und Teilwortlexika, Me-thoden der Satzstrukturanalyse mit Chunkern, Parsern, Grammatiken und Baumbanken sowie Semantikinterpreter mit Propositionsbanken und biomedizinischen Ontologien.

1 0

Erinnerung: Vortrag am 21.06.2006, 16:00 Uhr
by Informatik-Kolloquium 20 Jun '06

20 Jun '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Roland Kaschek, Department of Information Systems, Massey University, New Zealand: Metaphors in Conceptual Modeling Beginn: 21.06.2006, 16: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/2006-06-21-kaschek.html Kontakt: Prof. Dr. Bernhard Rumpe Conceptual modeling is a key activity in software development. It is, however, only rarely the subject of research. Conceptual modeling heavily concerns characteristics of human thought and language use. Therefore respective research is considered as significant for researching conceptual modeling. Metaphor has become an important and active are of research. The use of metaphor according Lakoff and Johnson is pervading thought and language. The talk therefore proposes to employ the concept of metaphor for an analysis of conceptual modeling. Two metaphors are identified that are frequently used in conceptual modeling, i.e. INFORMATION IS A NETWORK and INFORMATION IS A CONTAINER. The use of these metaphors in conceptual modeling is discussed as well as some of its consequences and benefits.

1 0

Vortrag am 01.08.2006, 17:00 Uhr
by Informatik-Kolloquium 16 Jun '06

16 Jun '06

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Gregor v. Bochmann, Ph.D., School of Information Technology and Engineering, University of Ottawa: >From Workflow and Use Case Scenarios to Protocols for Distributed Applications Beginn: 01.08.2006, 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/2006-08-01-bochmann.html Kontakt: Prof. Dr. Bernhard Rumpe UML Use Case Diagrams are a first step towards the definition of system requirements, however, they do not provide enough information for many purposes. UML Activity Diagrams (AD) and Use Case Maps (UCM) provide such information in a quite comprehensive manner. The first part of my talk deals with a "Core Scenario Model" (CSM) which was developed to capture the common semantics of AD and UCM, as well as performance-related information. The CSM can be easily translated into Petri nets, and it is also related to the BPEL notation of Web Services, which could be taken as an implementation environment. In the second part of my talk, I will discuss how one can derive an application protocol from system requirements Given in the form of such notations together with a distributed system architecture that identifies a certain number of system components. The resulting protocol will define the behavior of all the system components in such a manner as to ensure the given requirements. This problem is relatively easy to solve if each choice between alternative actions in the requirements can be performed by one of the components alone, however, it becomes quite complex if information from several components must be considered for doing such choices. We also discuss how the concept of (distributed) transactions, in the sense of databases, can be integrated into the description of requirements.

1 0