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
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.
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