Past Sessions

2008-05-08: [Promotionspruefung] , Tim Furche

16:00-17:00

---

| 16:00-17:00 | Last modified at 2008-03-28 | Filed Under: Promotionspruefung

2008-04-28: Darstellung der Weg-Zeit-Ueberschneidung bewegter Objekte , Maximilian Lindner

13:00-14:00

Für einen sogenannten Domänenspezifischen Meldungsgenerator werden strategische Szenarien auf geographischen Karten modelliert. Die modellierten Objekte bewegen sich dann während des Szenarioverlaufs über die Karte und sollen dabei vorgegebene En

| 13:00-14:00 | Last modified at 2008-04-22 | Filed Under: Diploma thesis, progress report

2008-04-24: [Probevortrag] , Tim Furche

10:00-12:00

---

| 10:00-12:00 | Last modified at 2008-05-15 | Filed Under: Rigorosum preparation

2008-04-17: [Planungssitzung] , All

11:30-12:00

---

| 11:30-12:00 | Last modified at 2008-04-10 | Filed Under: Organisation

2008-04-17: Versatile Route Descriptions , Edgar Stoffel

10:00-11:30

---

| 10:00-11:30 | Last modified at 2008-04-10 | Filed Under: Research talk

2008-04-03: RDF Querying with Xcerpt: Language Constructs and Implementation , Alexander Pohl

10:00-11:00

---

| 10:00-11:00 | Last modified at 2008-03-28 | Filed Under: Diploma thesis, final report

2008-03-20: SPARQLing Constraints for RDF , Michael Schmidt

10:00-12:00

The goal of the Semantic Web is to support semantic interoperability between applications exchanging data on the web. The idea heavily relies on data being made available in machine readable format, using semantic markup languages. In this regard, th

| 10:00-12:00 | Last modified at 2008-03-04 | Filed Under: Invited talk

2008-03-06: A Compatible and Efficient Parser for Xcerpt-RDF written in ANTLR , Liza Pullukkara

10:00-11:00

---

| 10:00-11:00 | Last modified at 2008-03-04 | Filed Under: Diploma thesis, initial report

2008-02-07: Entwicklung eines Frameworks zur Simulation von beweglichen Objekten in Schienennetzen , Alexei Poupychev

10:00-11:00

---

| 10:00-11:00 | Last modified at 2008-02-06 | Filed Under: Diploma thesis, report

2008-02-04: Superdeduction Modulo , Claude Kirchner

13:15-14:45

Joint work with Paul Brauner and Clément Houtmann Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a systematic, correc

| 13:15-14:45 | Last modified at 2008-01-15 | Filed Under: Invited talk

2008-01-17: Regular Rooted Graph Grammars---A Web Type and Schema Language , Sacha Berger

10:00-12:00

---

| 10:00-12:00 | Last modified at 2008-01-09 | Filed Under: PhD thesis, final report

2008-01-10: Indoor Route Planning for Humans -- Conceptual Design and Prototype , Korbinian Schoder

10:00-11:00

---

| 10:00-11:00 | Last modified at 2008-01-08 | Filed Under: Diploma thesis, initial report

2007-12-20: About Tripcom and Descriptive Query Typing for SPARQL , Philipp Obermeier

10:00-11:00

Within the EU-Projekt "Tripcom" we are developing a Descriptive Query Type System for the Tripcom Query Language to upfront approximate semantics of SPARQL queries before their actual evaluation. The presentation starts with a brief summary of motiva

| 10:00-11:00 | Last modified at 2008-02-06 | Filed Under: Invited talk

2007-12-13: Konzeption und Realisierung eines web-basierten Mediatorsystems fuer Graphalgorithmen ueber verteilte geographische Netze , Martin Wassermann

10:00-11:00

---

| 10:00-11:00 | Last modified at 2007-12-11 | Filed Under: Diploma thesis, final report

2007-12-06: Roche'ified PubMed , Alex Kohn

10:00-12:00

PubMed seems to be the first choice for scientific information inquiries in the pharmaceutical research domain. The bulk of the information resources are separated by a large usage gap from PubMed. Bridging the gap between PubMed and the specialized

| 10:00-12:00 | Last modified at 2007-11-26 | Filed Under: Research report

2007-11-29: [REWERSE Annual Meeting] , ---

10:00-12:00

---

| 10:00-12:00 | Last modified at 2007-10-25 | Filed Under: ---

2007-11-26: Versatile Use Cases for Xcerpt , Andreas Attenberger

10:00-11:00

---

| 10:00-11:00 | Last modified at 2007-10-31 | Filed Under: Project thesis, final report

2007-11-22: Improving Web Query Languages - a Modular Approach , Sacha Berger

10:00-11:00

---

| 10:00-11:00 | Last modified at 2007-11-21 | Filed Under: Research talk

2007-11-16: Peer-to-peer Universal Computing , Kazuhiro Kitagawa

10:00-11:00

---

| 10:00-11:00 | Last modified at 2007-11-13 | Filed Under: Invited talk

2007-11-15: All-Star Compilation: From XQuery and Xcerpt to the AMachoS Algebra , Antonius Weinzierl

10:00-11:00

---

| 10:00-11:00 | Last modified at 2007-10-25 | Filed Under: Project thesis

2007-11-08: Constraint Reasoning und Scheduling mit dem Potenzialfeldansatz , Hans Juergen Ohlbach

11:00-12:00

---

| 11:00-12:00 | Last modified at 2007-11-07 | Filed Under: Research report, discussion

2007-10-25: Constraint Reasoning und Scheduling mit dem Potenzialfeldansatz , Hans Juergen Ohlbach

11:00-12:00

---

| 11:00-12:00 | Last modified at 2007-10-23 | Filed Under: Research report, discussion

2007-10-25: Towards Semantic Spatial Model for Indoor Environments , Edgar Stoffel

10:00-11:00

---

| 10:00-11:00 | Last modified at 2007-10-23 | Filed Under: Research report

2007-10-18: [Planning session] , All participants of the graduate seminars

10:00-12:00

---

| 10:00-12:00 | Last modified at 2007-09-13 | Filed Under: administrative

2007-10-11: Hybrid, Multi-Level Modelling of Indoor Space for Pedestrian Assistance , Edgar Philipp Stoffel

10:00-12:00

---

| 10:00-12:00 | Last modified at 2007-09-26 | Filed Under: Research report