Aktueller Forschungsschwerpunkt


Von: Johannes Hoffart & Gerhard Weikum

YAGO: a Collection of Digital Knowledge

The "YAGO-NAGA" project is an approach to make computers understand data as knowledge, thus extending the abilities of data base search.


Von: Tino Weinkauf

Flow Analysis

We developed a novel mathematical approach that allows streak and time lines to be described using ordinary differential equations therewith…


Von: Olga Kalinina

Protein structure and interactions: Bioinformaticssupported fight against viral diseases

Olga Kalinina combines genomic-, modeling-, and bio­physics-based me­thods to assess the mutations observed in given se­quences of viral proteins and…


Von: Michael Sagraloff

Exact Solving of Polynomial Systems and Applications in Geometric Computing

We could improve the bounds of numerical steps needed to find an exact solution for polynomial systems by multiple orders of magnitude. Given present…


Von: Karol Myszkowski & Tobias Ritschel

Stereo and HDR Imaging: Display Quality Measurement and Enhancement

For anaglyph 3D pictures we provide a backward compatible solution that is not unpleasant to look at without proper anaglyph glasses.


Von: Ran Duan and Kurt Mehlhorn

Computation of Equilibrium Prices

The interrelation between supply and demand is easily described as long as you have just one good. For the complicated calculations in an economy with…


Von: Rainer Gemulla and Christina Teflioudi

Scalable Analysis of Very Large Datasets

Processing "Big Data" poses new challenges to computer science. At the Max Plack Institute for Informatics, we are investigating algorithms and…


Von: Christian Theobalt

Markerless Reconstruction of Dynamic Scenes

Capturing motion pictures and representing them as 3d objects could until now only be efficiently performed by utilizing marker-based camera systems.…


Von: Mykhaylo Andriluka

Multiple People Detection in Real-World Scenes

Finding and following people is a key technology for many applications such as robotics and automotive safety, human-computer interaction scenarios,…


Von: Uwe Waldmann

Automated Deduction

Human mathematicians prove a theorem by combining individual computation steps. This is a rather trivial task for a computer program once the…