Search

Munich. D3: Colloquium to celebrate Prof. Thomas Lengauer 25-May-2018: Colloquium to celebrate the work and scientific career of Prof. Dr. Dr. Thomas Lengauer on the occasion of his retirement. D4: ERC [...] decidability and undecidability results for fragments of monadic Horn theories. Congratulations, Christoph! D3: Anja Feldmann appointed member of acatech Professor Anja Feldmann was appointed by acatech, the National [...] Germany's most prestigious awards for basic research with a high practical relevance. ( press release ) D3: Thomas Lengauer listed as "Highly Cited Researcher" Thomas Lengauer was listed for the fourth year

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

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

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

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.

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

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

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

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

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 –