Search

2013/2014 : %G eng %U http://hdl.handle.net/11858/00-001M-0000-002B-4E18-D %Y Max-Planck-Institut für Informatik %C Saarbrücken %D 2015 %P 161 p. %B Annual Report %N 2013/2014 Max-Planck-Institut für [...] 2012 : %G eng %U http://hdl.handle.net/11858/00-001M-0000-0027-B3A6-6 %Y Max-Planck-Institut für Informatik %C Saarbrücken %D 2012 %P 128 p. %B Annual Report %N 2012 Max-Planck-Institut für [...] 2012 : %G deu %U http://hdl.handle.net/11858/00-001M-0000-0024-CF02-D %Y Max-Planck-Institut für Informatik %C Saarbrücken %D 2012 %P 115 p. %B Jahresbericht %N 2012 Max-Planck-Institut für Informatik

main 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 [...] e BIO Research Group Computational Biology RG1 Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Algorithms & Complexity People Current Members Former Members Research

net/11858/00-001M-0000-002D-9345-9 %U urn:nbn:de:bsz:291-scidok-69098 %R 10.22028/D291-26775 %F OTHER: hdl:20.500.11880/26788 %I Universität des Saarlandes %C Saarbrücken %D 2017 %P 227 p. %V phd [...] Neural Information Processing Systems 28 (NIPS 2015)}, EDITOR = {Cortes, C. and Lawrence, N. D. and Lee, D. D. and Sugiyama, M. and Garnett, R.}, PAGES = {1189--1197}, ADDRESS = {Montr{\'e}al, Canada}, [...] , Canada %B Advances in Neural Information Processing Systems 28 %E Cortes, C.; Lawrence, N. D.; Lee, D. D.; Sugiyama, M.; Garnett, R. %P 1189 - 1197 %I Curran %@ 9781510825024 %U https://papers.nips.

2014 - December 2019: PhD student in Computer Science at the Universität des Saarlandes , Saarbrücken, Germany and the Max-Planck-Institut für Informatik December 2019: finished PhD in Computer Science (Dr [...] Decision Procedures for Linear Arithmetic , Martin Bromberger. PhD thesis (submitted in July 2019, defended in December 2019). DOI: 10.22028/D291-30636 ; PDF version ; (***Dr.-Eduard-Martin-Preis***) SPASS-SATT [...] (supervisor: Prof. Dr. Christoph Weidenbach) Software Projects SPASS Wrote the parser for SPASS version 3.9 SPASS-IQ Main developer of the linear arithmetic theory solver SPASS-IQ SPASS-SATT Main developer

the University of Siegen, Germany, in 2014. Her research topic is "3D Imaging and Inverse Rendering". Daria Stepanova finished her PhD at the faculty of Informatics of Vienna University of Technology in [...] with financial help from our institute. Hang Zhou obtained in 2012 her masters degree as well as her PhD in 2015 from the École Normale Supérieure in Paris. In Kurt Mehlhorn's Group "Algorithms & Complexity" [...] approximation algorithms, combinatorial optimization, and graph algorithms. Qianru Sun earned her PhD from Peking University in 2016 where she also majored in Electronic Information Science and Technology

Vision}, VOLUME = {132}, PAGES = {446--465}, } DOI PuRe BibTeX publisher version 3 Conference paper D2 Y. Li, M. Keuper, D. Zhang, and A. Khoreva “Adversarial Supervision Makes Layout-to-Image Diffusion [...] Fabio and Hein, Matthias and Schiele, Bernt}, LANGUAGE = {eng}, ISBN = {978-3-319-11751-5; 978-3-319-11752-2}, DOI = {10.1007/978-3-319-11752-2_58}, PUBLISHER = {Springer}, YEAR = {2014}, DATE = {2014}, BOOKTITLE [...] Other See my Google Scholar profile . Publications 2024 1 Conference paper D2 U. A. Kaplan, Y. Li, M. Keuper, A. Khoreva, and D. Zhang “Domain-Aware Fine-Tuning of Foundation Models,” in ICML 2024 Workshop

probaility theory, Freivalds' algorithm, Max-3SAT. M&U: Chapters 1+2. Exercise Sheet 2 Oct 30 Antonios Local Search W&S: Subsect. 2.3, 2.6. Exercise Sheet 3 Nov 6 Antonios Dynamic Programming. Knapsack [...] Schemes. W&S: Subsect. 3.1, Ideas from 3.2. Exercise Sheet 4 Nov 13 Marvin Concentration I: Chebychev and Applications (Hashing, Counting Distinct Items in Streams) M&U: Chapter 3. Chapter 2 of Data Stream [...] Geometry of Scheduling --- Feb 5 Marvin Approximation in the Polynomial-Time Regime Bibliography D.P. Williamson, D.B. Shmoys. The Design of Approximation Algorithms. Cambridge University Press, 2011. M. Mi

2010-08-17 YAGO 2.3.0_core Download Native (3.4GB) RDFS (3.4GB) N3 (0.5GB) Jena (1GB) Yes Latest release of YAGO 2 core. The N3 format does not include reified facts. 2010-08-17 YAGO 2.3.0_full Download [...] changes in response to bug fixes YAGO3 YAGO3 is an extension of the YAGO knowledge base that combines the information from the Wikipedias in multiple languages. YAGO3 taps into multilingual resources of [...] Arabic). YAGO3 contains canonical representations of entities appearing in different Wikipedia language editions. YAGO3 integrates all non-English entities into the rich type taxonomy of YAGO. YAGO3 provides

Nongkai, PhD Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 – Room 301 66123 Saarbrücken more Contact danupon@mpi-inf.mpg.de +49 681 9325 1000 +49 681 9325 1099 Departments D1 Golnoosh [...] Prof. Dr. Karl Bringmann Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 3 – Room 4.14 66123 Saarbrücken more Contact kbringma@mpi-inf.mpg.de +49 681 302 4447 +49 681 302 1099 [...] 66123 Saarbrücken more Contact gshahkar@mpi-inf.mpg.de +49 681 9325 1130 +49 681 9325 1099 Departments D1, IMPRS Karol Wegrzycki Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 –

078-3 %R 10.1109/TIP.2020.3048679 %7 2021 %D 2021 %J IEEE Transactions on Image Processing %V 30 %& 1799 %P 1799 - 1811 %I IEEE %C Piscataway, NJ %@ false DOI PuRe BibTeX 2020 4 Conference paper D2 J. [...] Pattern Recognition %P 4886 - 4895 %I IEEE %@ 978-1-6654-4509-2 DOI PuRe BibTeX pre-print version 3 Article D2 J. Dong and J. Pan “Deep Outlier Handling for Image Deblurring,” IEEE Transactions on Image Processing [...] Former Members Jiangxin Dong Jiangxin Dong (Post-Doc) Personal Information Publications 2022 1 Article D2 J. Dong, S. Roth, and B. Schiele “DWDN: Deep Wiener Deconvolution Network for Non-Blind Image Deblurring