Search

We found 527 hits for your search of 'Algorithms and Complexity'.
  1. Literature

    /departments/automation-of-logic/teaching/winter-2024/2025/automated-reasoning/literature

    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

  2. Livestream

    /livestream

    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 [...] Departments 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 Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

  3. Livestream - 5988

    /livestream/livestream-login/livestreaming/livestream-5988

    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 [...] Departments 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 Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

  4. Livestream - 5989

    /livestream/livestream-login/livestreaming/livestream-5989

    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 [...] Departments 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 Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

  5. Livestreaming

    /livestream/livestream-login/livestreaming

    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 [...] Departments 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 Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

  6. Living in Saarbrücken

    /services/international-office/living-in-saarbruecken

    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 [...] Departments 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 Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

  7. LuPastry+

    /departments/automation-of-logic/people/noran-azmy/lupastry

    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 [...] 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 [...] Local Reasoning Offers Teaching Summer 2024 Competitive Programming Winter 2023/2024 Summer 2023 Algorithmic Quantifier Elimination Winter 2022/2023 Automated Reasoning Summer 2022 Winter 2021/2022 Winter

  8. MG-FSM

    /departments/databases-and-information-systems/software/mg-fsm

    MG-FSM is multiple orders of magnitude faster than baseline algorithms for general gap-constrained FSM and is competitive to state-of-the-art algorithms for n-gram mining. For more information, please refer [...] Research Departments Databases and Information Systems Software MG-FSM MG-FSM: Large-Scale Frequent Sequence Mining MG-FSM is a scalable, distributed (i.e., shared nothing) algorithm for frequent sequence mining [...] MapReduce. The algorithm can handle so-called "gap constraints", which can be used to limit the output to a controlled set of frequent sequences. At a high-level, MG-FSM carefully partitions and rewrites the

  9. MPI Founding Director Kurt Mehlhorn Celebrates 75th Birthday

    /news/detail/mpi-founding-director-kurt-mehlhorn-celebrates-75th-birthday

    established computer science researchers and international young scientists to teach cutting-edge topics in the field. Mehlhorn, a passionate advocate for science and a dedicated mentor to emerging researchers [...] research drive, and exceptional abilities," he noted. This year’s ADFOCS featured a unique highlight: the celebration of Mehlhorn’s 75th birthday. A leading figure in the realm of numerical algorithms, Mehlhorn [...] Informatics Society, and six honorary doctorates. The birthday celebration drew a host of distinguished well-wishers, including Jakob von Weizsäcker, Saarland’s Minister of Finance and Science, the current

  10. MPI guesthouse

    /services/international-office/international-office-restricted/mpi-guesthouse

    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 [...] Departments 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 Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information