Suche

springen Institut D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 Visual Computing and Artificial Intelligence [...] Abteilungen D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 Visual Computing and Artificial Intelligence [...] RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publikationen Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

D1 Algorithms and Complexity Prof. Danupon Na Nongkai, Ph.D. Algorithmic Game Theory Prof. Dr. Kurt Mehlhorn Approximation Algorithms Evangelos Kipouridis, PhD Fine-Grained Complexity and Algorithm Design [...] Design Prof. Dr. Karl Bringmann Graph Algorithms Prof. Dr. Danupon Na Nongkai, PhD Optimization Dr. Andreas Karrenbauer Parameterized and Counting Algorithms and Complexity Karol Wegrzycki, PhD Robust Learning [...] theoretical and practical aspects of modern algorithmics. We design new algorithms and algorithmic techniques, analyze their efficiency and the quality of their solutions, develop provably efficient and correct

director of the Department 1 – Algorithms and Complexity, a field to which he made groundbreaking contributions. Danupon starts with us in secondary office already now, and will join us in primary position [...] an ERC Starting Grant to research and develop algorithms to vibrate actuators in such a way that they generate sensations of movement. Congratulations! MPI-INF and Google expand strategic research partnership [...] for the development of novel GPU-parallelized optimization and deep learning algorithms for space-time coherent human performance capture and synthesis at real-time frame rates.“ Congratulations! Max Planck

weltweiten Informatikforschung bewährt. Aktuelles Abteilungen D1 Algorithms and Complexity Prof. Danupon Nanongkai, Ph.D. D2 Computer Vision and Machine Learning Prof. Dr. Bernt Schiele D3 Internet Architecture [...] D. D4 Computer Graphics Prof. Dr. Hans-Peter Seidel D5 Databases and Information Systems Prof. Dr. Gerhard Weikum D6 Visual Computing and Artificial Intelligence Prof. Dr. Christian Theobalt RG1 Automation [...] Institut umfasst dazu ein breites Spektrum, das von der Erforschung der grundlegenden Prinzipien von Algorithmen und Logik über die Untersuchung von Systemen wie dem Internet bis hin zu multimodalen Bereichen

ruppen D1: Algorithms and Complexity D2: Computer Vision and Machine Learning D3: Internet Architecture D4: Computer Graphics D5: Databases and Information Systems D6: Visual Computing and Artificial [...] positions for a postdoctoral researcher on optical networking and a PhD student on computer network and systems. These positions are fully funded and located in Saarbrücken, Germany. The program is English-based [...] Intelligence RG1: Automation of Logic RG2: Network and Cloud Systems RG3: Multimodal Language Processing Lise Meitner Award Postdoctoral Fellowship Max Planck Postdoctoral Fellowship for Excellent Women

springen Institut D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 Visual Computing and Artificial Intelligence [...] Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification Franz Baader and Tobias Nipkow: Term Rewriting and All That. Cambridge Univ [...] 1998 Further readings Leo Bachmair and Harald Ganzinger Resolution Theorem Proving, in "Handbook of Automated Reasoning", pages 19-99. Elsevier, 2001. Robert Nieuwenhuis and Albert Rubio Paramodulation-Based

springen Institut D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 Visual Computing and Artificial Intelligence [...] Intranet English Abteilungen Automation of Logic Teaching Automated Reasoning Exercises and Tutorials Exercises and Tutorials Exercises Please submit the solutions during the Tuesday lecture. Only handwritten [...] Intelligence BIO Research Group Computational Biology RG1 Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Automation of Logic People Research Areas Automated Verification

Forschung Abteilungen Algorithms and Complexity Offers Postdoc Application Postdoc and Group Leader positions We are looking for applicants from all areas of algorithms and complexity as well as related areas [...] (such as algorithm engineering, high-performance computing, theory of computation, and quantum computing). Researchers of several nationalities work in the Algorithms and Complexity Department, and our working [...] collaborations with algorithms and complexity researchers in other institutes on the campus, including the Department of Computer Science, CISPA Helmholtz Center for Information Security, and Max Planck Institute

Abhimitra and Pandey, Rohit and H{\"a}ne, Christian and Orts-Escolano, Sergio and Barnum, Peter and David-Son, Philip and Erickson, Daniel and Zhang, Yinda and Taylor, Jonathan and Bouaziz, Sofien and Legendre [...] Martin and Stengel, Michael and Roth, Thorsten and Didyk, Piotr and Eisemann, Elmar and Eisemann, Martin and Grogorick, Steve and Hinkenjann, Andr{\'e} and Krujiff, Elmar and Magnor, Marcus A. and Myszkowski [...] Focus, and High Dynamic Range}, AUTHOR = {Wang, Chao and Serrano, Ana and Pan, Xingang and Wolski, Krzysztof and Chen, Bin and Myszkowski, Karol and Seidel, Hans-Peter and Theobalt, Christian and Leimk{\"u}hler

Forschung Abteilungen Computer Vision and Machine Learning Research Vision and Language Vision and Language Xplore-M-Ego: Contextual Media Retrieval Using Natural Language Queries The widespread integration [...] of cameras in hand-held and head-worn devices as well as the ability to share content online enables a large and diverse visual capture of the world. We envision these images and associated meta information [...] pooling interpretation of spatial relations and show how it improves image retrieval and annotations tasks involving spatial language. Due to the complexity of the spatial language, we argue for a lea