Search

Saarbrücken Graduate School of Computer Science Former Collaborations Name of Collaboration Cluster of Excellence on Multimodal Computing and Interaction (MMCI) Intel Visual Computing Institute (Intel VCI) Max [...] Trustworthy Computing (IMPRS-TRUST) Maryland Max Planck Ph.D. Program in Computer Science Max Planck Graduate Center for Computer and Information Science The Konrad Zuse School of Excellence in Learning and Intelligent [...] Max Planck Center for Visual Computing and Communication (MPC VCC) Research Center on Interactive Media, Smart Systems and Emerging Technologies (CYENS)

of cell complexes and computing persistence diagrams. EpiExplorer The EpiExplorer integrates multiple epigenetic and genetic annotations and makes them explorable via an interactive interface. FunSimMat [...] database for proteins and protein families and a tool for easy and fast disease gene prioritization. Geno2Pheno Geno2Pheno predicts phenotypic drug resistance of HIV and of Hepatitis B and C virus from the [...] Reading, Writing, Manipulating and Viewing High-Dynamic Range (HDR) Images and Video Frames PHAT Phat is a toolbox providing several algorithms and data structure for the computation of persistent homology. RDF-3X

Werner and Disch, Stefan and Hagemann, Willem and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris}, EDITOR = {Becker, Bernd and Damm, Werner and Finkbeiner, Bernd and Fr{\"a}nzle, Martin and Olderog [...] Optimization}, AUTHOR = {Althaus, Ernst and Beber, Bj{\"o}rn and Damm, Werner and Disch, Stefan and Hagemann, Willem and Rakow, Astrid and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris}, LANGUAGE = {eng} [...] particular models with 23 continuous variables and 2 to the 71 discrete states, 20 continuous variables and 2 to the 199 discrete states, and 9 continuous variables and 2 to the 271 discrete states. BibTeX @t

Conservation Laws}, AUTHOR = {Desoeuvres, Aurelien and Iosif, Alexandru and Luders, Christoph and Radulescu, Ovidiu and Rahkooy, Hamid and Seiss, Matthias and Sturm, Thomas}, LANGUAGE = {eng}, ISSN = {1536-0040} [...] TITLE = {A Computational Approach to Polynomial Conservation Laws}, AUTHOR = {Desoeuvres, Aur{\'e}lien and Iosif, Alexandru and L{\"u}ders, Christoph and Radulescu, Ovidiu and Rahkooy, Hamid and Sei{\ss} [...] Artificial Intelligence and Reasoning (LPAR 2024)}, EDITOR = {Bj{\o}rner, Nikolaj and Heule, Martin and Voronkov, Andrei}, PAGES = {198--221}, SERIES = {EasyChair Proceedings in Computing}, VOLUME = {100}, ADDRESS

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.

2008 (both print and online edition). C. Theobalt, N. Ahmed, E. de Aguiar, G. Ziegler, H. Lensch, M. Magnor, H.-P. Seidel, Relightable 3D Video , Symposium on Computational Photography and Video , MIT, Cambridge [...] Research Departments Visual Computing and Artificial Intelligence Press Press Article in iX magazine / heise online about Neural Rendering, January 2022. Article in Technology Review about Live Intrinsic [...] Forschung publishes an article about our group, titled Computer schneiden Grimassen . Max Planck Society Press twitter account shares videos and interviews of our presentation of face2face at Tech Open

ns and Neural Rendering Deep Learning for Visual Computing AI for Graphics and Vision Visual Scene Understanding 3D and 4D Reconstruction Multi-modal Reconstruction and Synthesis Free-viewpoint and 3D [...] highest detail, robustness, and efficiency. To achieve this long term goal, we develop new concepts that rethink and unite established approaches from Computer Graphics and Computer Vision with concepts from [...] about computer graphics, and a new way of uniting and enriching the real world with computer graphics technology. It also lays the foundations for advanced methods to better perceive, understand and interpret

Excellence Multimodal Computing and Interaction Databases and Information Systems, MPI for Informatics, Max Planck Society Cluster of Excellence Multimodal Computing and Interaction %T Building and Maintaining [...] Large-scale Generalized Matching}, AUTHOR = {Makari, Faraz and Awerbuch, Baruch and Gemulla, Rainer and Khandekar, Rohit and Mestre, Julian and Sozio, Mauro}, LANGUAGE = {eng}, ISSN = {0946-011X}, NUMBER [...] TITLE = {Coupling Knowledge Bases and Web Services for Active Knowledge}, AUTHOR = {Preda, Nicoleta and Suchanek, Fabian and Kasneci, Gjergji and Neumann, Thomas and Weikum, Gerhard}, LANGUAGE = {eng}

Hajira and Omeliyanenko, Janna and Zhang, Wen and Lissandrini, Matteo and Biswas, Russa and de Melo, Gerard and Bonifati, Angela and Vakaj, Edlira and Dragoni, Mauro and Graux, Damien}, LANGUAGE = {eng} [...] (ECIR 2023)}, EDITOR = {Kamps, Jaap and Goeuriot, Lorraine and Crestani, Fabio and Maistro, Maria and Joho, Hideao and Davis, Brian and Gurrin, Cathal and Kruschwitz, Udo and Caputo, Annalina}, PAGES = {359--366} [...] Language Models and Knowledge Graphs: Opportunities and Challenges}, AUTHOR = {Pan, Jeff Z. and Razniewski, Simon and Kalo, Jan-Christoph and Singhania, Sneha and Chen, Jiaoyan and Dietze, Stefan and Jabeen, Hajira

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}