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

Erinnerung: Vortrag am 16.02.2012, 18:00 Uhr
by Informatik-Kolloquium 15 Feb '12

15 Feb '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Prof. Dr. Bernd Müller, Ostfalia Hochschule füu angewandte Wissenschaften, Fakultät für Informatik: Java EE 6 - Ein Überblick Beginn: 16.02.2012, 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 Java EE 5 hat mit dem Ziel "Ease of Development" bereits 2006 mit der Abkehr von XML und der Verwendung von Annotationen zur Konfiguration erheblich zur Vereinfachung der Entwicklung von Java-Unternehmensanwendungen beigetragen. Die Version 6 führte dies fort und hat mit JSF 2.0, EJB 3.1, CDI 1.0 und JPA 2.0 eine Reihe innovativer Konzepte in Java EE integriert. Der Vortrag stellt die genannten Spezifikationen überblicksartig vor und versucht in einer Live-Demo "Ease of Development" zu demonstrieren.

1 0

Vortrag Prof. Bernhard Plattner, ETH Zürich, heute Do. 9.2.2012, 16 Uhr im IZ161
by Lars Wolf 09 Feb '12

09 Feb '12

Heute am Donnerstag 9.2.2012 um 16 Uhr im Raum IZ161 wird Prof. Bernhard Plattner, ETH Zürich, http://www.csg.ethz.ch/people/plattner/ einen Kurzvortrag über die an seiner Forschungsgruppe bearbeiteten Projekte halten. Hierzu sind alle herzlich eingeladen.

1 0

Vortrag am 27.02.2012, 16:00 Uhr
by Informatik-Kolloquium 08 Feb '12

08 Feb '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Volker Markl, Technische Universität Berlin, Germany: Learning in Query Optimization Beginn: 27.02.2012, 16: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/2012-02-27-markl.html Kontakt: Prof. Dr. Wolf-Tilo Balke Database Systems let users specify queries in a declarative language like SQL. Most modern DBMS optimizers rely upon a cost model to choose the best query execution plan (QEP) for any given query. Cost estimates are heavily dependent upon the optimizer's estimates for the number of rows that will result at each step of the QEP for complex queries involving many predicates and/or operations. These estimates, in turn, rely upon statistics on the database and modeling assumptions that may or may not be true for a given database. In my talk, I will present an overview of the research on learning in query optimization. I will introduce the concept of a LEarning Optimizer (LEO) as a comprehensive way to repair incorrect statistics and cardinality estimates of a query execution plan. By monitoring executed queries, LEO compares the optimizer's estimates with actuals at each step in a QEP, and computes adjustments to cost estimates and statistics that may be used during the current and future query optimizations. LEO introduces a feedback loop to query optimization that enhances the available information on the database where the most queries have occurred, allowing the optimizer to actually learn from its past mistakes. In the second part of the talk, I describe how the knowledge gleaned by LEO is exploited consistently in a query optimizer, by adjusting the optimizer's model and by maximizing information entropy. In the third part of the talk, I will briefly sketch my current research work and vision on Information Management in the Cloud in the Stratosphere (massively parallel and distributed processing) and MIA (information marketplace) projects.

1 0

Vortrag am 17.02.2012, 15:00 Uhr
by Informatik-Kolloquium 08 Feb '12

08 Feb '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Ingo Kossyk, Institut für Robotik und Mechatronik, DLR, Oberpfaffenhofen-Wessling: Multimodale Benutzerinteraktion für virtuelle Umgebungen auf Basis eines Exoskelettes Beginn: 17.02.2012, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2012-02-17-kossyk.html Kontakt: Prof. Dr.-Ing. F. M. Wahl Dieser Vortrag befasst sich mit dem Konzept des Entwurfes und der Evaluation einer tragbaren haptischen Mensch-Maschine Schnittstelle in Leichtbauweise, welche Kräfte in den rechten Arm und rechte Hand des Benutzers einleiten kann. Die Gestaltungsleitsätze des realisierten Prototypen einer tragbaren haptischen Benutzer Schnittstelle werden erläutert. Es wurde untersucht ob die inhärent eingeschränkten mechanischen Eigenschaften des Gerätes wie zum Beispiel die eingeschränkte mechanische Steifigkeit die Qualität haptischer Interaktion beeinträchtigt. Zusätzlich wird ein System für die Darstellung von virtuellen Realitäten vorgestellt, welches eine immersive und multimodale virtuelle Testumgebung darstellt. Dieses System wurde für die Untersuchung verwendet, wie eine tragbare haptische Benutzerschnittstelle ausgelegt werden und geregelt werden muss. Das System stellt dem Benutzer eine dreidimensionale audio-visuelle und haptische Rückkopplung zur Verfügung. Ein haptischer Renderer wurde um Verfahren erweitert, welche die Generierung von haptischer Kraftrückkopplung in beliebig weitläufigen und geometrisch komplexen Umgebungen ermöglichen. Da der Benutzer und Schallquellen sich frei in der virtuellen Realität bewegen können sind übliche stereophonische Verfahren für die Audiowiedergabe nicht ausreichend. Daher wurde ein Schallfeldsynthese System entwickelt, welches es dem Benutzer ermöglicht Schallquellen im dreidimensionalen virtuellen Raum zu lokalisieren. Weiterführend präsentiere ich eine Evaluation der Benutzerfreundlichkeit des Systems in Form einer statistischen Erhebung mit 18 Testpersonen. Anhand dieser Studie wurde untersucht, ob die eingeschränkte Steifigkeit des Gerätes durch Reize in unterschiedlichen Modalitäten kompensiert werden kann. Der Einfluss der Ableitung der auftretenden Kräfte während haptischer Interaktionen in den Oberkörper des Benutzers auf die Benutzerfreundlichkeit ist ein zusätzliches Thema der Präsentation.

1 0

Erinnerung: Vortrag am 23.01.2012, 17:00 Uhr
by Informatik-Kolloquium 22 Jan '12

22 Jan '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Stefan Milius, Institut für Theoretische Informatik, Technische Universität Braunschweig: Koalgebren und verallgemeinerte reguläre Ausdrücke Beginn: 23.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-23-milius.html Kontakt: Dr. Stefan Milius In diesem Vortrag gebe ich einen Überblick über meine aktuellen Forschungsthemen. Der Schwerpunkt wird dabei auf der Theorie der zustandsbasierten Systeme liegen. Zustandsbasierte Systeme verschiedenen Typs modellieren Phänomene in vielen verschiedenen Gebieten der Informatik, der Mathematik oder auch in der Biologie und Physik. Ein wichtiges Problem ist dabei, zu entscheiden, ob zwei vorgelegte Systeme semantisch äquivalent sind und ggf. einen formalen Beweis in einem geeigneten logischen Kalkül dafür zu konstruieren. Für endliche Automaten ist dies beispielsweise mit Hilfe von Kozen's Kleene Algebren, die die Äquivalenz regulärer Ausdrücke axiomatisieren, möglich. In dem Vortrag wird erklärt, wie man Koalgebren benutzt, um für eine große Klasse von Systemen verschiedenen Typs jeweils den passenden korrekten, vollständigen und entscheidbaren "regulären" Ausdruckskalkül für Bisimilarität in generischer Art und Weise zu erhalten. Darüberhinaus zeige ich, wie man daraus durch Hinzufügen von Axiomen Kalküle für Sprachäquivalenz konstruiert. Letztere ist zwar gröber als Bisimilarität aber für viele Systemtypen die "gewünschte" Äquivalenz - z.B. für nichtdeterministische oder gewichtete Automaten. Als konkrete Anwendung betrachte ich (1) Rabinovichs Erweiterung von Milners Kalkül für Prozesse mit endlichem Zustandsraum, (2) den ersten korrekten und vollständigen Kalkül für gewichtete Automaten und (3) einen Kalkül für die Äquivalenz von Stream-Schaltkreisen, einer grafischen Repräsentation linearer Systeme.

1 0

Erinnerung: Vortrag am 19.01.2012, 18:00 Uhr
by Informatik-Kolloquium 18 Jan '12

18 Jan '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Nico Josuttis: Organisatorische Herausforderungen der Globalisierung in der IT Beginn: 19.01.2012, 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 Im Zeitalter der Globalisierung verändert sich auch die Softwareentwicklung. Systementwicklung wird zunehmend zu einem Teil des grossen Themas der Wartung und Pflege von Systemlandschaften. Das führt dazu, dass sich Unternehmen anders aufstellen müssen, wenn sie Features und Projekte umsetzen. Es ergeben sich neue Organisationsstrukturen, und Softskills...

1 0

Erinnerung: Vortrag am 16.01.2012, 17:00 Uhr
by Informatik-Kolloquium 15 Jan '12

15 Jan '12

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 12.01.2012, 10:30 Uhr
by Informatik-Kolloquium 11 Jan '12

11 Jan '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Fritz-Adrian Lülf: Reduzierte Modelle nicht-linearer Strukturen Beginn: 12.01.2012, 10:30 Uhr Ort: TU Braunschweig, Hans-Sommer-Str. 65, Raum HS 65.4 (vormals HS 012) Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2012-01-12-luelf.html Kontakt: Prof. Hermann G. Matthies, PhD Die immer feinere Diskretisierung moderner, geometrisch nicht-linearer Strukturen führt zu algebraischen Systemen von immenser Größe. Dieses erschwert die transiente Lösung der Dynamik des Systems, den Zugang zu charakteristischen Informationen und eine wiederholte und schnelle Lösung von verschieden parametrisierten Varianten der Struktur. Vor diesem Hintergrund bieten sich reduzierte Systeme als eine Antwort auf diese drei Herausforderungen an. Allerdings müssen diese reduzierten Systeme sowohl den nicht-linearen Effekten Rechnung tragen, als auch eine Parametrisierung des Systems erlauben. Projektionsbasierte Reduktionsmethoden ermöglichen bereits die Konstruktion von reduzierten Modellen von linearen Systemen und auch die Beschreibung des Einflusses von Parametern. Der Bereich der nicht-linearen, parametrischen Systeme der Strukturdynamik ist von diesen beiden Thematiken noch nicht abschließend durchdrungen. Das Ziel der durchgeführten Studie ist die Bestimmung der am besten für die Reduktion von nicht-linearen Systemen geeigneten Projektionsbasis; und zwar mit dem doppelten Augenmerk auf die Qualität der Reduktion für einen definierten Testfall und die Robustheit der Reduktion gegenüber sich ändernden Parametern. Dazu werden Linear Normal Modes, Ritz-Vektoren, Proper und Smooth Orthogonal und A Priori Reduction Basen dazu verwendet vier nicht-lineare, akademische Testfälle zu reduzieren, um die Methoden untereinander vergleichen zu können. Eine Parametrisierung der Anregung erlaubt in einem zweiten Schritt die Bestimmung der Robustheit der verschiedenen Basen. Die erzielten Ergebnisse zeigen eine unterschiedliche Eignung der verwendeten Basen in Abhängigkeit der Kombination des Typs der Nicht-Linearität und des Typs der Anregung, des Testfalls auf den sie angewandt werden. Und obwohl keine der verwendeten Basis eine zufriedenstellende Robustheit besitzt, konnte ebenfalls gezeigt werden, dass die Konstruktion der jeweiligen Basis für den kritischsten Wert des geänderten Parameters zu den besten Ergebnissen führt. Aus diesen Erkenntnissen folgt, dass über die Verwendung der am besten geeigneten Basis hinaus auch das Vorgehen zur Lösung des reduzierten Systems mit in Betracht gezogen werden muss, um den Anforderungen der Nicht-Linearität und der Parametrisierung gerecht werden zu können. Fritz Adrian Lülf studierte Luft- und Raumfahrttechnik an der Universität Stuttgart und der ISAE/École nationale supérieure d'ingénieurs de constructions aéronautiques in Toulouse mit den Schwerpunkten Strukturdynamik und Aeroelastik. Dieser klaren Ausrichtung und seinem Interesse für Frankreich folgend, promoviert er zur Zeit am Laboratoire de Mécanique des Structures et des Systèmes Couplés des Conservatoire National des Arts et des Métiers in Paris. Sein Promotionsvorhaben mit dem Titel “Reduzierte Modelle nicht linearer Strukturen” wird durch ein Promotionsstipendium des Office National d'Études et de Recherches Aérospatiales, dem öffentlichen Forschungszentrum für Luft- und Raumfahrt Frankreichs, unterstüzt. Das Ziel der Promotion ist ein autonomes, parametrisierbares, reduziertes Modell einer nicht-linearen Struktur.

1 0

Vortrag am 23.01.2012, 17:00 Uhr
by Informatik-Kolloquium 09 Jan '12

09 Jan '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Stefan Milius, Institut für Theoretische Informatik, Technische Universität Braunschweig: Koalgebren und verallgemeinerte reguläre Ausdrücke Beginn: 23.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-23-milius.html Kontakt: Dr. Stefan Milius In diesem Vortrag gebe ich einen Überblick über meine aktuellen Forschungsthemen. Der Schwerpunkt wird dabei auf der Theorie der zustandsbasierten Systeme liegen. Zustandsbasierte Systeme verschiedenen Typs modellieren Phänomene in vielen verschiedenen Gebieten der Informatik, der Mathematik oder auch in der Biologie und Physik. Ein wichtiges Problem ist dabei, zu entscheiden, ob zwei vorgelegte Systeme semantisch äquivalent sind und ggf. einen formalen Beweis in einem geeigneten logischen Kalkül dafür zu konstruieren. Für endliche Automaten ist dies beispielsweise mit Hilfe von Kozen's Kleene Algebren, die die Äquivalenz regulärer Ausdrücke axiomatisieren, möglich. In dem Vortrag wird erklärt, wie man Koalgebren benutzt, um für eine große Klasse von Systemen verschiedenen Typs jeweils den passenden korrekten, vollständigen und entscheidbaren "regulären" Ausdruckskalkül für Bisimilarität in generischer Art und Weise zu erhalten. Darüberhinaus zeige ich, wie man daraus durch Hinzufügen von Axiomen Kalküle für Sprachäquivalenz konstruiert. Letztere ist zwar gröber als Bisimilarität aber für viele Systemtypen die "gewünschte" Äquivalenz - z.B. für nichtdeterministische oder gewichtete Automaten. Als konkrete Anwendung betrachte ich (1) Rabinovichs Erweiterung von Milners Kalkül für Prozesse mit endlichem Zustandsraum, (2) den ersten korrekten und vollständigen Kalkül für gewichtete Automaten und (3) einen Kalkül für die Äquivalenz von Stream-Schaltkreisen, einer grafischen Repräsentation linearer Systeme.

1 0

Vortrag am 12.01.2012, 10:30 Uhr
by Informatik-Kolloquium 12 Dec '11

12 Dec '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Fritz-Adrian Lülf: Reduzierte Modelle nicht-linearer Strukturen Beginn: 12.01.2012, 10:30 Uhr Ort: TU Braunschweig, Hans-Sommer-Str. 65, Raum HS 65.4 (vormals HS 012) Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2012-01-12-luelf.html Kontakt: Prof. Hermann G. Matthies, PhD Die immer feinere Diskretisierung moderner, geometrisch nicht-linearer Strukturen führt zu algebraischen Systemen von immenser Größe. Dieses erschwert die transiente Lösung der Dynamik des Systems, den Zugang zu charakteristischen Informationen und eine wiederholte und schnelle Lösung von verschieden parametrisierten Varianten der Struktur. Vor diesem Hintergrund bieten sich reduzierte Systeme als eine Antwort auf diese drei Herausforderungen an. Allerdings müssen diese reduzierten Systeme sowohl den nicht-linearen Effekten Rechnung tragen, als auch eine Parametrisierung des Systems erlauben. Projektionsbasierte Reduktionsmethoden ermöglichen bereits die Konstruktion von reduzierten Modellen von linearen Systemen und auch die Beschreibung des Einflusses von Parametern. Der Bereich der nicht-linearen, parametrischen Systeme der Strukturdynamik ist von diesen beiden Thematiken noch nicht abschließend durchdrungen. Das Ziel der durchgeführten Studie ist die Bestimmung der am besten für die Reduktion von nicht-linearen Systemen geeigneten Projektionsbasis; und zwar mit dem doppelten Augenmerk auf die Qualität der Reduktion für einen definierten Testfall und die Robustheit der Reduktion gegenüber sich ändernden Parametern. Dazu werden Linear Normal Modes, Ritz-Vektoren, Proper und Smooth Orthogonal und A Priori Reduction Basen dazu verwendet vier nicht-lineare, akademische Testfälle zu reduzieren, um die Methoden untereinander vergleichen zu können. Eine Parametrisierung der Anregung erlaubt in einem zweiten Schritt die Bestimmung der Robustheit der verschiedenen Basen. Die erzielten Ergebnisse zeigen eine unterschiedliche Eignung der verwendeten Basen in Abhängigkeit der Kombination des Typs der Nicht-Linearität und des Typs der Anregung, des Testfalls auf den sie angewandt werden. Und obwohl keine der verwendeten Basis eine zufriedenstellende Robustheit besitzt, konnte ebenfalls gezeigt werden, dass die Konstruktion der jeweiligen Basis für den kritischsten Wert des geänderten Parameters zu den besten Ergebnissen führt. Aus diesen Erkenntnissen folgt, dass über die Verwendung der am besten geeigneten Basis hinaus auch das Vorgehen zur Lösung des reduzierten Systems mit in Betracht gezogen werden muss, um den Anforderungen der Nicht-Linearität und der Parametrisierung gerecht werden zu können. Fritz Adrian Lülf studierte Luft- und Raumfahrttechnik an der Universität Stuttgart und der ISAE/École nationale supérieure d'ingénieurs de constructions aéronautiques in Toulouse mit den Schwerpunkten Strukturdynamik und Aeroelastik. Dieser klaren Ausrichtung und seinem Interesse für Frankreich folgend, promoviert er zur Zeit am Laboratoire de Mécanique des Structures et des Systèmes Couplés des Conservatoire National des Arts et des Métiers in Paris. Sein Promotionsvorhaben mit dem Titel “Reduzierte Modelle nicht linearer Strukturen” wird durch ein Promotionsstipendium des Office National d'Études et de Recherches Aérospatiales, dem öffentlichen Forschungszentrum für Luft- und Raumfahrt Frankreichs, unterstüzt. Das Ziel der Promotion ist ein autonomes, parametrisierbares, reduziertes Modell einer nicht-linearen Struktur.

1 0