Skip to main content or main navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 [...] Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking Departments D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics [...] Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases
Skip to main content or main navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 [...] Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking Departments D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics [...] Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases
Skip to main content or main navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 [...] Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking Departments D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics [...] Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases
democratic societies for over 200 years,” explains Javier Cembrano, a postdoctoral researcher in the “Algorithms and Complexity” department at the Max Planck Institute for Informatics. Over time, two main families [...] mathematics. The study is therefore not only relevant for electoral systems but also discusses an algorithmic challenge, which the researchers tackled using established methods from theoretical computer science [...] Insights for Monotone Apportionment”, was published at the 2025 ACM-SIAM Symposium on Discrete Algorithms (SODA), one of the world’s leading conferences in theoretical computer science. Co-authors include
using the chat function. Algorithms and Data Structures How To Clock Your Computer Ideen und Konzepte der Informatik Property Testing Theory of Distributed Systems Topics in Algorithmic Game Theory and Economics [...] Research Departments Algorithms and Complexity Teaching Winter 2020/21 How To Clock Your Computer How To Clock Your Computer Advanced Course, 4 Basic Information Lectures: Online. Zoom Link: https://c [...] to solve these issues. Finally we discuss the distributed solution, the gradient synchronisation algorithm, and show how these techniques enable us to adapt it to digital circuit design. In this course,
into worldwide phenomena. Scientists at the Max Planck Institute for Informatics have developed an algorithm that predicts the risk of a pandemic from the connectedness of the starting airport. Scientists
power of the GCS algorithm in practice, our group is working to design hardware implementations of the GCS algorithm. That is, we seek to design physical circuits implementing the algorithm that are robust [...] optimal theoretical algorithm for the basic GCS problem has been known for 10 years, but there are still many open questions related to generalizing and implementing the algorithm. For example, recent [...] recent work showed that the algorithm can be adapted to dynamic networks, where nodes and connections may be added and removed. Recently, our group also showed that the GCS algorithm can be generalized to f
Through certifying algorithms we can use this powerful technique to prove that our algorithm’s answers are always correct if the checker agrees with them. Developing certifying algorithms is a major goal [...] example inputs were easy. Certifying algorithms approach the problem from a different angle. Instead of trying to improve the quality of implementations, certifying algorithms improve the methods to solve the [...] for correctness. This is achieved by enhancing the algorithms to provide a certificate that proves that their answer is correct; i.e., the algorithm does not provide only a bare yes-or-no answer to the
Through certifying algorithms we can use this powerful technique to prove that our algorithm's answers are always correct if the checker agrees with them. Developing certifying algorithms is a major goal [...] Transferring an algorithm (i.e. a solution procedure, which is usually given as a natural language description) to computer code is difficult and error prone. Even moderately difficult algorithms need programs [...] example inputs were easy. Certifying algorithms approach the problem from a different angle. Instead of trying to improve the quality of implementations, certifying algorithms improve the methods to solve the
Through certifying algorithms we can use this powerful technique to prove that our algorithm's answers are always correct if the checker agrees with them. Developing certifying algorithms is a major goal [...] Transferring an algorithm (i.e. a solution procedure, which is usually given as a natural language description) to computer code is difficult and error prone. Even moderately difficult algorithms need programs [...] example inputs were easy. Certifying algorithms approach the problem from a different angle. Instead of trying to improve the quality of implementations, certifying algorithms improve the methods to solve the
