Quelltext betrachten

Die [[METRIK-Vortragsreihe (Sommersemester 2008)|METRIK-Vortragsreihe im Sommersemester 2008]] ist eine [[Veranstaltungen|Veranstaltung]] des Graduiertenkollegs [[Hauptseite|METRIK]], in der aktuelle Forschungsarbeiten und Technologien im Umfeld von METRIK präsentiert und diskutiert werden.

== Termin ==

''donnerstags, 15-17 Uhr (ab 15.5.)'' <br/>
''Rudower Chaussee 25 (Johann von Neumann-Haus)'' <br />
''Haus III, Raum 3.001 (Großer Hörsaal)''

== Vorträge ==


=== 20.06.2008, Scaling Computer Games to Epic Proportions ===

====10-12 Uhr, Humboldt-Kabinett ====

'''Prof. Johannes Gehrke, Cornell University, Ithaka, NY'''

An important aspect of computer games is the artificial intelligence (AI)
of non-player characters. To create interesting AI in games today,
developers or players can create complex, dynamic behavior for a very
small number of characters, but neither the game engines nor the style of
AI programming enables intelligent behavior that scales to a very large
number of non-player characters.

In this talk, I will present a first step towards truly scalable AI in
computer games, by modeling game AI as a data management problem. The
presentation includes a highly expressive scripting language SGL (for
Scalable Gaming Language) that provides game designers and players with a
data-driven AI scheme for customizing behavior for individual non-player
characters. The use sophisticated query processing and indexing techniques
allows us to efficiently execute large numbers of SGL scripts, thus
providing a framework for games with a truly epic number of non-player
characters. I will also talk about applications of this idea to steering
and extensions to large-scale collaborations in virtual worlds.


=== 19.06.2008, High-Speed Complex Event Processing ===

====15-17 Uhr, Großer Hörsaal ====

'''Prof. Johannes Gehrke, Cornell University, Ithaka, NY'''

Recently there has been much research on Data Stream Management Systems
(DSMS) to support analysis of high-speed data streams. Most of these
systems have very expressive query languages in order to cover a wide
range of applications like stock tickers, RSS feeds, transactions in
retail chains, ATM and credit card operations in banks, Web server log
records, and network monitoring.

We take a different approach. Instead of starting with a very powerful
query language, we begin with publish-subscribe and add a few simple
stateful operators arriving at an algebra for expressing stateful
subscriptions. We complement the algebra with a transformation of algebra
expressions into finite state automata and effective methods for sharing
processing between queries.

In the talk, I will describe the algebra and its implementation in the
Cayuga Complex Event Processing System.



''!!! Neuer Termin und Ort !!!''
=== 13.06.2008, An Introduction to Hybrid Logics ===

====10-12 Uhr, Fraunhofer Institut FIRST, Kekuléstraße 7, 12489 Berlin, Großer Hörsaal (D006) ====

'''Prof. Dr. Valentin Goranko, University of the Witwatersrand, Johannesburg'''

Hybrid logics are a familiy of modal logics that allow direct
reference in the language to states (possible worlds) in the model,
thus combining features of modal and first-order languages and boosting
considerably the expressiveness of modal logic. On the other hand,
many natural systems of hybrid logics retain the good computational
properties from modal logics, and that makes them suitable formalisms
for formal specification and reasoning in diverse areas such as:
knowledge representation, description logics, ontology reasoning,
semantic web, etc.

In this talk I will present an introduction to hybrid logics and will
focus on some technical aspects of expressiveness, deductive systems,
decision procedures, model checking. I will survey some of the more
important results and will discuss potential connections with, and
applications to, autonomous agents and self-organizing systems.


=== 15.05.2008, Evolution challenges around XML and software languages ===

'''Prof. Dr. Ralf Lämmel, Universität Koblenz-Landau'''

XML is often mentioned as one of the principled, technological spaces 
in model-driven engineering as well as software language engineering. 
The talk operates in the XML space to describe the general field of 
software language engineering by means of a deep dive into XML-related 
challenges in software evolution. More specifically, we have a look at 
the myriad of modern programming models for XML; different APIs, type 
systems, and language extensions; as well as opportunities for mapping 
and transformation. The resulting "definition" of software language 
engineering is admittedly subjective and tentative.