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

Vortrag am 01.06.2010, 15:00 Uhr
by Informatik-Kolloquium 20 May '10

20 May '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr.-Ing. Birgit Vogel-Heuser, Lehrstuhl für Informationstechnik im Maschinenwesen, TU München: Anforderungen und Lösungsansätze für das Engineering der Automatisierungstechnik im Maschinen- und Anlagenbau Beginn: 01.06.2010, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-06-01-vogel-heuser.html Kontakt: Prof. Dr. Ursula Goltz Die Lebensdauer von Anlagen beträgt in der Regel zehn bis dreißig Jahre. Die verfügbare Automatisierungshardware aber auch die Automatisierungssoftware unterliegen z.T. deutlich kürzeren Zyklen. Der Vortrag erläutert die typischen Anforderungen der Domäne sowie die spezifischen Engineeringabläufe und zeigt Lösungsansätze für das systematische Design entlang des Systemlebenszyklus sowie von Anlage zu Anlage. Es werden verschiedene Modellierungsansätze auf Basis der UML und der SysML und ihre Vor- und Nachteile insbesondere hinsichtlich der Anwendbarkeit für Anwendungsentwickler vorgestellt.

1 0

Vortrag am 01.06.2010, 13:30 Uhr
by Informatik-Kolloquium 11 May '10

11 May '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: K. C. Park, Center for Aerospace Structures Department of Aerospace Engineering Sciences University of Colorado at Boulder, CO, USA: Paradigm Changes from Analytical to Data-Oriented Engineering Modeling: Is It a Boon or Menace? Beginn: 01.06.2010, 13:30 Uhr Ort: TU Braunschweig, Gauß-IT-Zentrum, Hans-Sommer-Str. 65, Seminarraum 012 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-06-01-park.html Kontakt: Prof. Hermann G. Matthies, PhD Teaching and practice in mechanics have been relying largely on analytical and mathematical descriptions, such as equilibrium equations, energy conservation, and constitutive laws, etc. However, more and more engineering modeling practices are relying on raw data analysis whose results are often directly utilized in the design of complex engineering problems. The present talk begins with examples of analytical modeling practices which occupy a bulk of engineering teaching and education of mechanics to date. We then introduce examples of early-day engineering tests/experiments in support of the established analytical models, which gave rise to data analysis and signal processing disciplines. With today’s almost unrestricted computing capabilities, however, we are very much tempted to the direct utilization of processed data and identified system parameters with the economy and convenience of skipping the laborious analytical model construction stages. Clearly something is in the offing in engineering modeling practice, which I would call “Paradigm Changes in Engineering Modeling,” that welcomes as well as alarms us. This talk presents the author’s view (and some experience) of changes in engineering modeling practices, drawn mainly from engineering mechanics discipline.

1 0

Korrektur: Vortrag am 17.06.2010, 17:30 Uhr
by Informatik-Kolloquium 03 May '10

03 May '10

Die Uhrzeit in der ersten Ankuendigung war falsch. Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Goetz Graefe: Adaptive Indexing Beginn: 17.06.2010, 17: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-06-17-graefe.html Kontakt: Prof. Dr. Wolf-Tilo Balke In a relational data warehouse with many tables, the number of possible and promising indexes exceeds human comprehension and requires automatic index tuning. While monitoring and reactive index tuning have been proposed, adaptive indexing focuses on adapting the physical data-base layout for and by actual queries. "Database cracking" is one such technique. Only if and when a column is used in query predicates, an index for the column is created; and only if and when a key range is queried, the index is optimized for this key range. The effect is akin to a sort that is adaptive and incremental. This sort is, however, very inefficient, particularly when applied on block-access devices. In contrast, traditional index creation sorts data with an efficient merge sort optimized for block-access devices, but it is neither adaptive nor incremental. We propose adaptive merging, an adaptive, incremental, and efficient technique for index creation. Index optimization focuses on key ranges used in actual queries. The resulting index adapts more quickly to new data and to new query patterns than database cracking. Sort efficiency is comparable to that of traditional B-tree creation. Nonetheless, the new technique promises better query performance than database cracking, both in memory and on block-access storage. Bio Goetz Graefe is a member of the Intelligent Information Management Lab within Hewlett-Packard Laboratories. His experience and expertise are focused on relational database management systems, gained in academic research, industrial consulting, and industrial product development. His current research efforts focus on new hardware technologies in database management as well as robustness in database request processing in order to reduce total cost of ownership. Prior to joining Hewlett-Packard Laboratories in 2006, Goetz spent 12 years as software architect in product development at Microsoft, mostly in database management. Both query optimization and query execution of Microsoft's re-implementation of SQL Server are based on his designs. Goetz's areas of expertise within database management systems include compile-time query optimization including extensible query optimization, run-time query execution including parallel query execution, indexing, and transactions. He has also worked on transactional memory, specifically techniques for software implementations of transactional memory. Goetz studied Computer Science at TU Braunschweig from 1980 to 1983.

1 0

Vortrag am 17.06.2010, 17:00 Uhr
by Informatik-Kolloquium 03 May '10

03 May '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Goetz Graefe: Adaptive Indexing Beginn: 17.06.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-06-17-graefe.html Kontakt: Prof. Dr. Wolf-Tilo Balke In a relational data warehouse with many tables, the number of possible and promising indexes exceeds human comprehension and requires automatic index tuning. While monitoring and reactive index tuning have been proposed, adaptive indexing focuses on adapting the physical data-base layout for and by actual queries. "Database cracking" is one such technique. Only if and when a column is used in query predicates, an index for the column is created; and only if and when a key range is queried, the index is optimized for this key range. The effect is akin to a sort that is adaptive and incremental. This sort is, however, very inefficient, particularly when applied on block-access devices. In contrast, traditional index creation sorts data with an efficient merge sort optimized for block-access devices, but it is neither adaptive nor incremental. We propose adaptive merging, an adaptive, incremental, and efficient technique for index creation. Index optimization focuses on key ranges used in actual queries. The resulting index adapts more quickly to new data and to new query patterns than database cracking. Sort efficiency is comparable to that of traditional B-tree creation. Nonetheless, the new technique promises better query performance than database cracking, both in memory and on block-access storage. Bio Goetz Graefe is a member of the Intelligent Information Management Lab within Hewlett-Packard Laboratories. His experience and expertise are focused on relational database management systems, gained in academic research, industrial consulting, and industrial product development. His current research efforts focus on new hardware technologies in database management as well as robustness in database request processing in order to reduce total cost of ownership. Prior to joining Hewlett-Packard Laboratories in 2006, Goetz spent 12 years as software architect in product development at Microsoft, mostly in database management. Both query optimization and query execution of Microsoft's re-implementation of SQL Server are based on his designs. Goetz's areas of expertise within database management systems include compile-time query optimization including extensible query optimization, run-time query execution including parallel query execution, indexing, and transactions. He has also worked on transactional memory, specifically techniques for software implementations of transactional memory. Goetz studied Computer Science at TU Braunschweig from 1980 to 1983.

1 0

Vortrag am 03.06.2010, 10:30 Uhr
by Informatik-Kolloquium 03 May '10

03 May '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Anna Kučerová, Czech Technical University in Prague: Uncertainty Updating in the Description of Nonlinear Heat Transfer Beginn: 03.06.2010, 10:30 Uhr Ort: TU Braunschweig, Gauß-IT-Zentrum, Hans-Sommer-Str. 65, Seminarraum 012 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-06-03-kucerova.html Kontakt: Prof. Hermann G. Matthies, PhD There are many important factors limiting the service life of buildings. An appropriate reliability analysis needs to take into account uncertainties in the environmental conditions as well as in structural properties. Thanks to the growth of powerful computing resources and technology, recently developed procedures in the field of stochastic mechanics have become applicable to realistic engineering systems. The presented contribution is focused on the mod- elling of uncertainties in material properties and investigates the influence of such uncertainties on structural response. Particularly, the material property is described by random field which enables description of material heterogeneity. The uncertainty in material is then propagated through the numerical model within the framework of spectral stochastic finite element method and as a result we obtain the probabilistic description of the structural response. Moreover, once the structure is built new experiments should be performed to update the knowledge about the actual state of the structure. These experiments are often expensive, but the obtained data can be used to decide about an appropriate reconstruction which can significantly extend the lifetime of building and consequently save money. Therefore, we apply Bayesian inference to update our knowledge about the material property of interest. In this contribution, we examine the application of the described methodology to the case of non-linear heat transfer.

1 0

Erinnerung: Vortrag am 26.04.2010, 17:00 Uhr
by Informatik-Kolloquium 25 Apr '10

25 Apr '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: DDr. Thomas Schabetsberger, Head of eHealth Solutions Department, ITH icoserve GmbH, Innsbruck: Cross-enterprise Health Care Networks – Plug and Play with IHE? Beginn: 26.04.2010, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-04-26-schabetsberger.html Kontakt: Prof. Dr. Reinhold Haux Introduction: The ubiquitous availability of medical or care data for authorized clinicians and nurses is expected to increase quality while reducing costs in the health care sector. The standardized, distributed provision of medical or care data is capable to support the vision of patient centered shared electronic health records (SEHRs). A main contribution to cross-institutional data exchange is provided by Integrating the Health care Enterprise (IHE). However, holistic implementations of IHE based eHealth infrastructures for SEHRs are currently rare and security and privacy regulations are not fully covered by existing IHE Integration Profiles. This work aims to point out our experiences and lessons learned from five years of development and the implementation of IHE compliant products. Methods: Cross-Enterprise Document Sharing (XDS) describes the base components for exchanging medical or care data. A unique patient Identification is described by the Patient Identifier Cross-referencing (PIX) and the Patient Demographics Query (PDQ) Integration Profile. All interactions are logged in an Audit Record Repository deployed once per Affinity Domain and defined in the Audit Trail and Node Authentication (ATNA) Integration Profile. Results: Based on the IHE Integration Profile XDS and other Integration Profiles high-level components for eHealth infrastructures and applications, supporting a holistic, secure concept and, based on these concepts, software products for a socio-technical cooperative care infrastructure, has been developed. The products are practically evaluated in several real-live projects for setting up an IHE compliant XDS Affinity Domain in the Austrian district of Tyrol as well as of Vienna and for the religious orders hospitals in Austria, resulting in a number of lessons that have been learned over the last years.

1 0

Erinnerung: Vortrag am 19.04.2010, 17:00 Uhr
by Informatik-Kolloquium 18 Apr '10

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

Erinnerung: Vortrag am 14.04.2010, 18:00 Uhr
by Informatik-Kolloquium 13 Apr '10

13 Apr '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Dr. Wolfgang Bruns, Siemens IT Solutions and Services, Public Sector, Defense and Intelligence: Claim Management - integraler Bestandteil des Projektmanagements Beginn: 14.04.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 kommerzielle Projektgeschäft unterliegt einem immer weiter steigenden Wettbewerbsdruck. Bei verminderten Margen und gleichzeitigem Anstieg der Komplexität der Projekte erhöht sich das Risiko, dass bereits geringfügige Abweichungen während des Projektverlaufs zwischen der vertraglich vereinbarten und der tatsächlichen Leistung den wirtschaftlichen Erfolg des Projektes gefährden. Zudem beschreibt kein Vertrag die zu erbringende Leistung eindeutig. Die Behandlung derartiger Abweichungen oder einer unklaren Vertragslage in der Planung, Steuerung und Kontrolle von Projekten durch ein systematisches, projektbegleitendes Claim Management ist deshalb für jedes Projekt vorzusehen. Die konsequente Durchführung des Claim Management kann wesentlich zum Projekterfolg beitragen. Das Claim Management ist dabei nicht isoliert zu sehen, sondern ist integraler Bestandteil des Project Management. Der Vortrag erläutert zentrale Begriffe des Claim Management und verdeutlicht, wie sich das Claim Management in die Projektorganisation und der Claimprozess in den Projektabwicklungsprozess integriert.

1 0

Erinnerung: Vortrag am 12.04.2010, 17:00 Uhr
by Informatik-Kolloquium 11 Apr '10

11 Apr '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Dietmar Seipel, Universität Würzburg: Deklarative XML-Verarbeitung mit Anwendungen in der Linguistik und im Sport Beginn: 12.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-12-seipel.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Die komfortable und effiziente Verarbeitung von XML-Dokumenten und XML-basiertem Wissen spielt heute eine zunehmend wichtige Rolle, z.B. zur Verwaltung und zum Austausch komplexer Daten oder im Semantic Web. Zum Zugriff auf und zur Transformation von XML--Strukturen haben wir die deklarative Anfrage-, Transformations- und Updatesprache FnQuery entwickelt und in verschiedenen Anwendungen erprobt. In einem Projekt zur Analyse von Varianz in Sprache und Genomen werden schwach in XML strukturierte Wörterbücher aufbereitet und analysiert. Wir haben dazu ein deklaratives Toolkit zur Annotation von Wörterbüchern entwickelt, das auf XML- und Prolog-Technologie basiert. Eines der Hauptziele des Projektes ist die Erstellung einer Metalemmaliste als Grundlage für den Strukturvergleich mit bioinformatischen Daten. Metalemma ist dabei die als Wort in der Gegenwartssprache angesiedelte Referenzeinheit, auf die - soweit möglich - die sprachlichen Entsprechungen aus Dialekträumen (diatopische Varianz) und Sprachstufen (diachronische Varianz) abgebildet werden. Es zeigte sich, daß der deklarative Ansatz in Prolog viel lesbarer, flexibler, verläßlicher und sogar schneller ist als eine alternative Implementierung, die vorher in Java und XSLT für das TextGRID- CommunityProjekt gemacht worden war. In einem anderen Projekt werden räumlich/zeitliche Spielsequenzen im Sport (Basketball, Tennis) in XML gespeichert und mit Hilfe von deklarativen Anfragen bzw. temporalem Data Mining analysiert.

1 0

Erinnerung: Vortrag am 12.04.2010, 15:30 Uhr
by Informatik-Kolloquium 11 Apr '10

11 Apr '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: MSc. Ayse Morali, Distributed and Embedded Security Research Group, Universiteit Twente: Risk-Based Confidentiality Requirements Specification for Outsourced IT Systems Beginn: 12.04.2010, 15: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-04-12-morali.html Kontakt: Dr. Andrea Herrmann SLAs for availability and response time are common practice in business, but so far there is no practical method for specifying confidentiality requirements in an SLA. Specifying confidentiality requirements is hard because in contrast to availability and response time, confidentiality incidents cannot be monitored: attackers who breach confidentiality try to do this unobserved by both client and provider. In addition, providers usually do not want to reveal their own infrastructure to the client for monitoring or risk assessment. CRAC++ is architecture-based method for confidentiality risk assessment in IT outsourcing which aims at confidentiality requirements specification. This presentation includes a case study to evaluate this new method.

1 0