Forschung

Forschung

Hier finden Sie Informationen zur Forschung am Institut für Informatik.

Studium und Lehre

Studium und Lehre

Alle wichtigen Informationen zu unseren Studiengängen.

Über uns

Über uns

Hier finden Sie Informationen über unsere Mitarbeiter, Anfahrt und aktuelle Stellenangebote.
 

Willkommen auf der Webseite des Instituts für Informatik

Studium und Lehre

Studium

Alles über das Studium bei uns.

Schüler*innen

Schüler*innen

Aktuelle Informationen für Schülerinnen und Schüler

News

Aktuelles

Alle News in der Übersicht.

Neuigkeiten

Möglichkeit zur Gründung einer GI-Studierendengruppe 

Liebe Studierende,

die GI unterstützt Studierende bei der Gründung von GI-Studierenden-
Gruppen. Falls jemand Interesse hat hier aktiv zu werden, dann bitte
via Email an mich wenden oder gleich an die GI.
Weitere Informationen können Sie hier nachlesen!

Danke

Mit freundlichen Grüßen,
Prof. Dr. Andreas Rausch

Besuchen Sie uns...
... am 09. + 10. Mai 2011 auf der SEE-Konferenz in Frankfurt/Main.
    Weitere Informationen und (Vor-)anmeldung unter
    http://www.see-conf.de/


Informatik ist unser Bier! Überzeugen Sie sich...
--
Prof. Dr. Andreas Rausch
Technische Universität Clausthal
Institut für Informatik - Software Systems Engineering 
Lehrstuhl von Prof. Dr. Andreas Rausch
Julius-Albert-Str. 4
38678 Clausthal-Zellerfeld
Telefon: +49 5323 72-7177 - Sekretariat: -7160
Telefax: +49 5323 72-7169
Raum: Albrecht-von-Groddeck-Str. 7, Raum 201
WWW: http://sse.in.tu-clausthal.de

Bitte beachten: Schlüsselabholung und -rückgabe für Hiwis nur noch donnerstagvormittags!

V.S. Subrahmanian in Clausthal

From 13-15 April V.S. Subrahmanian is visiting our group and giving a talk in our departemental series.

Oberseminar

Date:  Tuesday, 12.04.2011, at 14:00 o'clock
Place: Room SR210, Am Regenbogen 15.

Speaker: Mihnea Muraru and Matei Popovici
Title: Temporal Reasoning with Fluid Qualities

Abstract: Current temporal modeling methods use first-order logic as a carrier for representing and reasoning about time-dependent knowledge. Alternatively, we introduce an approach focused on a graph-based data structure, which we call a hypergraph. Its purpose is to capture the evolution of a modeled domain, its properties and the events that change them. Based on our method, we introduce a declarative language, similar to CLIPS, that allows the specification of temporal behavior. We illustrate the applicability of our method and language for defining intelligent, time-dependent device behavior, in smart homes.