Spotlights


May 21st, 2014

By: 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 systems to mine useful information from large, complex data sources efficiently and effectively.


May 21st, 2014

By: 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. Using new algorithms developed by Professor Theobalt and co-workers actors are no longer constricted by marker suits.


June 20th, 2013

By: 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, or for indexing images and videos from the web or surveillance cameras. At the same time it is one of the most challenging problems in computer vision and remains a scientific challenge for realistic scenes.


June 19th, 2013

By: 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 necessary steps are known. For automatized processes, however, choosing which steps to execute is similar to looking for a needle in an infinitely large haystack. The research group "Automation of Logic" is one of the world leaders in developing efficient automated theorem provers.


May 8th, 2013

By: Felipe Albrecht and Fabian Müller

EpiExplorer and RnBeads: Integrative Analysis of Epigenomic Data

The packing of the DNA in a cell's nucleus determines if and to what degree genes encoded in the DNA can be translated and regulated. Software tools developed at the Max Planck Institute for Informatics facilitate the analysis and interpretation of this epigenetic information.