Projects

IPPR_WW – Intrusion Detection Using Pattern and Plan Recognition

(Projektbeschreibung Englisch) -

LIRICS – Linguistic Infrastructure for Interoperable Resources and Systems

LIRICS addresses the needs of today's information and communication society where globalisation and localization necessitate multilingual ...

HALO_2 – Development of a "Digital Aristotle"

Aristotle, the ancient Greek teacher, scientist and philosopher, had an extraordinary command of all the scientific disciplines of his day, as well as ...

TEAL – Handlungsorientiertes E-Learning durch aufgabenspezifische Bereitstellung von personalisierten Kurrikula (Task-Embedded Adaptive e-Learning).

To ensure economic success, constant training and further education is essential for executive employees in almost any type of industry today. The ...

PGKit – Generic User Interfaces for Interactive Theorem Provers

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between ...

IDX – Information Retrieval with IDX

IDX is a professional text indexing system with high-quality linguistic knowledge. It achieves an excellent level of consistency in the indexing of ...

PyPy – Researching a Highly Flexible and Modular Language Platform and Implementing it by Leveraging the Open Source Python Language and Community

The project will research and implement a flexible, configurable and fast version of Python, a popular Free/Open Source programming language. Much ...

Projects

Research Departments

Research Topics

Fields of Application