Past Sessions
16:00-17:00
---
|
16:00-17:00
|
Last modified at 2008-03-28
|
Filed Under: Promotionspruefung
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
10:00-12:00
---
|
10:00-12:00
|
Last modified at 2008-05-15
|
Filed Under: Rigorosum preparation
11:30-12:00
---
|
11:30-12:00
|
Last modified at 2008-04-10
|
Filed Under: Organisation
10:00-11:30
---
|
10:00-11:30
|
Last modified at 2008-04-10
|
Filed Under: Research talk
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2008-03-28
|
Filed Under: Diploma thesis, final report
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
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2008-03-04
|
Filed Under: Diploma thesis, initial report
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2008-02-06
|
Filed Under: Diploma thesis, report
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
10:00-12:00
---
|
10:00-12:00
|
Last modified at 2008-01-09
|
Filed Under: PhD thesis, final report
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2008-01-08
|
Filed Under: Diploma thesis, initial report
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
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2007-12-11
|
Filed Under: Diploma thesis, final report
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
10:00-12:00
---
|
10:00-12:00
|
Last modified at 2007-10-25
|
Filed Under: ---
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2007-10-31
|
Filed Under: Project thesis, final report
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2007-11-21
|
Filed Under: Research talk
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2007-11-13
|
Filed Under: Invited talk
10:00-11:00
---
|
10:00-11:00
|
Last modified at 2007-10-25
|
Filed Under: Project thesis
11:00-12:00
---
|
11:00-12:00
|
Last modified at 2007-11-07
|
Filed Under: Research report, discussion
11:00-12:00
---
|
11:00-12:00
|
Last modified at 2007-10-23
|
Filed Under: Research report, discussion
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
10:00-12:00
---
|
10:00-12:00
|
Last modified at 2007-09-26
|
Filed Under: Research report