Search

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 BIO Research [...] Research Group Computational Biology RG1 Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Alumni Deutsch Departments Alumni Ganzinger Workshop on Programming Logics

Informatics and Google and conducts basic research in cutting-edge areas of computer graphics, computer vision and human-machine interaction at the interface of artificial intelligence and machine learning [...] application areas such as databases and information systems, program verification, and bioinformatics. Basic research in visual computing, i.e. computer graphics and computer vision, at the intersection to [...] in computer science. Background “Saarbrücken Research Center for Visual Computing, Interaction and Artificial Intelligence” (VIA): The “Saarbrücken Research Center for Visual Computing, Interaction and

%+ Computer Vision and Multimodal Computing, MPI for Informatics, Max Planck Society Computer Vision and Multimodal Computing, MPI for Informatics, Max Planck Society Computer Vision and Multimodal Computing [...] Marcel H. %+ Computer Vision and Multimodal Computing, MPI for Informatics, Max Planck Society Computational Biology and Applied Algorithmics, MPI for Informatics, Max Planck Society Databases and Information [...] Abbas, Ahmed %+ Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning

Pons-Moll, Gerard %+ Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning [...] Pons-Moll, Gerard %+ Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning [...] Pons-Moll, Gerard %+ Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning

Conference, Book and Report Publications Department Publications D1: Algorithms and Complexity This Year Last Year The Year Before Last Research Reports D2: Computer Vision and Multimodal Computing This Year [...] D4: Computer Graphics This Year Last Year The Year Before Last Research Reports D5: Databases and Information Systems This Year Last Year The Year Before Last Research Reports D6: Visual Computing and [...] Research Group Computational Biology This Year Last Year The Year Before Last RG1: Automation of Logic This Year Last Year The Year Before Last Research Reports RG2: Visual Computing and Artificial Intelligence

TITLE = {Interacting and Annealing Particle Filters: Mathematics and a Recipe for Applications}, AUTHOR = {Gall, J{\"u}rgen and Potthoff, J{\"u}rgen and Schn{\"o}rr, Christoph and Rosenhahn, Bodo and Seidel [...] Seidel, Hans-Peter %+ Computer Graphics, MPI for Informatics, Max Planck Society Multimodal Computing and Interaction Computer Graphics, MPI for Informatics, Max Planck Society Computer Graphics, MPI for [...] Model for {3D} Hand Reconstruction and Personalization}, AUTHOR = {Qian, Neng and Wang, Jiayi and Mueller, Franziska and Bernard, Florian and Golyanik, Vladislav and Theobalt, Christian}, LANGUAGE = {eng}

viral evolution and computational epigenetics), analysis and prediction of protein structure and function, analysis of intermolecular interactions and interaction networks, gene and protein expression [...] uncovering the molecular basis of host-pathogen interactions and neurodegenerative and autoimmune diseases, where we study underlying protein interaction networks. Thomas Lengauer has retired in 2018. The [...] Departments Research Group Computational Biology Headed by Prof. Dr. Dr. Thomas Lengauer We cover both method development and applications, the latter notably in pharmaceutics and medicine. On the methodical

Projects VeriDis: Modeling and Verification of Distributed Algorithms and Systems The VeriDis project aims to exploit and further develop the advances and integration of interactive and automated theorem proving [...] Satisfiability Checking and Symbolic Computation The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computation is concerned with [...] assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation enables dealing with large mathematical problems out of reach of pencil and paper developments.

{Yunus, Raza and Lenssen, Jan Eric and Niemeyer, Michael and Liao, Yiyi and Rupprecht, Christian and Theobalt, Christian and Pons-Moll, Gerard and Huang, Jia-Bin and Golyanik, Vladislav and Ilg,, Eddy} [...] Model Parameters}, AUTHOR = {Wang, Haiyang and Fan, Yue and Naeem, Muhammad Ferjad and Xian, Yongqin and Lenssen, Jan Eric and Wang, Liwei and Tombari, Federico and Schiele, Bernt}, LANGUAGE = {eng}, URL = [...] Jan Eric %+ Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning

Videos like Flipping Manga}, AUTHOR = {Wu, Yongliang and Hu, Xinting and Sun, Yuyang and Zhou, Yizhou and Zhu, Wenbo and Rao, Fengyun and Schiele, Bernt and Yang, Xu}, LANGUAGE = {eng}, URL = {https://arxiv [...] Schiele, Bernt %+ Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning, MPI for Informatics, Max Planck Society Computer Vision and Machine Learning [...] DATE = {2024}, BOOKTITLE = {Computer Vision -- ECCV 2024}, EDITOR = {Leondardis, Ale{\v s} and Ricci, Elisa and Roth, Stefan and Russakovsky, Olga and Sattler, Torsten and Varol, G{\"u}l}, PAGES = {39--56}