Search

navigation Institute 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 [...] Biology RG1 Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Databases and Information Systems People Former Members and Guests Research Commonsense Knowledge Question [...] courses Information Retrieval and Data Mining, Machine Learning, Elements of Statistical Learning, or equivalent. Basic knowledge of linear algebra and computational complexity will be helpful. News The seminar

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 [...] Nonnengart and Christoph Weidenbach Computing small clause normal forms, in "Handbook of Automated Reasoning", pages 335-367. Elsevier, 2001. Christoph Weidenbach Combining Superposition, Sorts and Splitting

pharmaceutics, agriculture, and biotech research. The power of computers and the sophisticated algorithms running on them have been the key to improving our understanding of the complex interplay between biomolecules [...] The central role of computational biology and bioinformatics comprises supporting the configuration of highly complex lab experiments with mathematical models and analyses, identifying significant patterns [...] via data mining (bioinformatics), and building mathematical models for the relevant biological structures and processes (computational biology). The field produces complex software systems in order to master

Research Departments Algorithms and Complexity Teaching Algorithms and Data Structures Algorithms and Data Structures Core Course, 4+2 Basic Information Lectures: Monday + Wednesday, 16:15 - 18:00, E1 [...] Kleinberg and E. Tardos, Algorithm Design, Addison Wesley, 2005 (ISBN: 0-321-29535-8) [Meh] K. Mehlhorn, Data Structures and Algorithms, Vols. 1-3, Springer Verlag, 1984 [Koz] D. Kozen, The Design and Analysis [...] 29: Subset Sum Algorithm Algorithms and Data Structures Theory of Distributed Systems Grundzüge von Algorithmen und Datenstrukturen Ideen und Konzepte der Informatik Reading Group Algorithms

Research Departments Algorithms and Complexity Teaching Ideen und Konzepte der Informatik Ideen und Konzepte der Informatik Veranstaltungen für Studierende anderer Fakultäten, 2+2 Allgemeine Informationen [...] Wintersemester 14/15 Algorithms and Data Structures Theory of Distributed Systems Grundzüge von Algorithmen und Datenstrukturen Ideen und Konzepte der Informatik Reading Group Algorithms

Professor Kurt Mehlhorn , Founding Director of the Max Planck Institute for Informatics and Professor of Algorithms and Complexity at Saarland University, will be a member of the Scientific Council of the ERC (European [...] Mehlhorn heads the department "Algorithms and Complexity" at the Max Planck Institute for Informatics in Saarbrücken. He is author or co-author of approx. 300 research papers and has published six books. 80 [...] the National Academy of Sciences, of acatech, the National Academy of Science and Engineering, the Academia Europaea, and the Indian National Academy of Engineering. Last year, members of the US National

Research Departments Algorithms and Complexity Teaching Reading Group Algorithms Reading Group Algorithms Seminar Basic Information Given by: Kurt Mehlhorn and Ruben Becker Time: Wednesday, 4:15 PM Room: [...] Prerequisites: You should bring a solid background in algorithms and data structures. This is an advanced seminar. The papers are challenging and a proper preparation of your talk will require some effort [...] Distributed Algorithm for Maximal Independent Set [Nov16] Nov, 23 Pavel Approximate Undirected Maximum Flows in O(m polylog(n)) Time [Nov23] Nov, 30 Sebastian Simple parallel and distributed algorithms for spectral

Databases and Information Systems Research YAGO-NAGA Equity Equity: Entities and Quantities in Tables and Text Overview Equity is an end-to-end system for canonicalizing mentions in ad-hoc tables and their [...] mentions of entities, classes, concepts and quantities to a knowledge base. Equity employs an efficient algorithm and achieves an overall linking precision of about 92%, and 93% for quantity mentions. The Equity [...] quantities in tables and text. Approach We propose a distantly supervised Markov Random Fields (MRF) model for canonicalizing ad-hoc tables, handling classes, concepts, entities and quantities in both table

Grundwerkzeuge , Springer 2014 [DMS] Mehlhorn, Kurt and Sanders, Peter: Algorithms and data structures - The basic toolbox , Springer 2008 [MS] Algorithms and Data Structures Theory of Distributed Systems Grundzüge [...] Research Departments Algorithms and Complexity Teaching Grundzüge von Algorithmen und Datenstrukturen Grundzüge von Algorithmen und Datenstrukturen Grundvorlesung, 2+2 Allgemeine Informationen Dozent: [...] H.; Leiserson, Charles E.; Rivest, Ronald and Stein, Clifford: Algorithmen - Eine Einführung , Oldenbourg 2010 [CLRS] Dietzfelbinger, Martin; Mehlhorn, Kurt and Sanders, Peter: Algorithmen und Datenstrukturen

Research Departments Algorithms and Complexity Teaching Winter Semester 2016/2017 Algorithms and Data Structures Core Course (4+2). Lecturers: Karl Bringmann and Erik Jan van Leeuwen. more Theory of D [...] Fakultäten (2+2). Dozent: Kurt Mehlhorn. more Reading Group Algorithms Seminar. Given by: Kurt Mehlhorn and Ruben Becker. more Algorithms and Data Structures Theory of Distributed Systems Grundzüge von [...] von Algorithmen und Datenstrukturen Ideen und Konzepte der Informatik Reading Group Algorithms