on Computational Logic, Vol. 11, pp.1-27. Weidenbach C., Dimova D., Fietzke A., Kumar R., Suda M. and Wischnewski P., 2009, SPASS Version 3.5. in 22nd International Conference on Automated Deduction, CADE [...] t und Mehr Automated Reasoning WS 2014/2015 Ringvorlesung Perspektiven der Informatik: Teil 1 Teil 3 Proseminar: Das Erfüllbarkeitsproblem SAT WS 2012/2013 Automated Reasoning II WS 2012/2013 Automated [...] Germany 2000 Habilitation in Computer Science at Saarland University, Saarbrücken , Germany 1996 PhD in Computer Science at the Saarland University, Saarbrücken , Germany 1989 Diplom in Computer Science
Award Bayerische Akademie Der Wissenschaften Fabian M. Suchanek, Gjergji Kasneci and Gerhard Weikum IW3C2 Seoul Test of Time Award 2018 2018 Award International World Wide Web Conference Committee Ruben Becker [...] Dr. Hans-Peter Seidel Eurographics Medal in Gold 2017 25 April 2017 Medal Franziska Müller Google PhD Fellowship 01 Apr 2017 Research Fellowship Franziska Müller Frauen MINT Award March 2017 Award 2016 [...] Johannes Hoffart , Daniel Bär, Dragan Milchevski , Luciano del Corro, Gerhard Weikum IHK-Saar: "1,2,3,GO" Business Plan September 2016 Award Dr. Michael Zollhöfer, Prof. Dr. Christian Theobalt SIGGRAPH
city of Washington D.C., which is the capital of the United States." then the goal is to extract the following pairs: instanceOf Mickey M. Mouse president Washington D.C. city Washington D.C. captial This [...] listed in the examples and a "wrong" birthdate is a counterexample. How LEILA works LEILA works in 3 phases: It finds all sentences in which an example pair appears. It collects the pattern in which the [...] Javatools K2 Know2Look Le Monde LEILA NAGA patty PATTY PRAVDA PROSPERA Quantity Search Qsearch QuTE QL RDF-3X RuLES SOFIE STICS TimeSEA UWN Watermarking YAGO Overview Demo Downloads Statistics Publications Linking
of 1D Fermi-Hubbard instances, which are solvable classically. Consistent with predictions for the ground state, we observe the onset of the metal-insulator transition and Friedel oscillations in 1D, and [...] and antiferromagnetic order in both 1D and 2D. We use a variety of error-mitigation techniques, including symmetries of the Fermi-Hubbard model and a technique tailored to simulating fermionic systems. [...] algorithms are optimal. Another problem, besides SAT, that is used as a basis for these reductions is the 3SUM problem. The situation in the quantum regime is no better; almost all known lower bounds for quantum
request] Software Semantic relatedness from Language resource For now see our previous release at www.d2.mpi-inf.mpg.de/nlp4vision. We will shortly add an updated version. Large Scale Learning In our recent [...] ( training , validation , test ) rgSift ( training , validation ) Groundtruth labels groundtruth (0.3 MB) zero shot class split known (800) unkown (200) Known Issues black-white images as we use rgSift
Institutes for Informatics and Software Systems in Saarbrücken supported this initiative. On April 3, 14 girls aged between ten and sixteen visited the institutes, met inspiring female researchers, gained [...] Anne-Katrin Schmuck, faculty member at the Max Planck Institute for Software Systems. Together with PhD student Abigail Pribisova, she gave the introductory welcome talk to the participants. After some computer
Symposion: Women. Science. Digitalisation. Thursday, February 14 / 9 a.m. to 5 p.m. in building A33 - Aula of the Universität des Saarlandes There will be a symposion about "Women. Science. Digitalisation [...] student, PhD, postdoc or researcher in a cs-related field -- all women computer scientists are welcome! Drinks and snacks will be provided, so anyone wanting to attend must register by June 3, 2019 by email [...] Presented by Audit Family Office-Team of Saarland University: Michelle Froese-Kuhn and Dhara Sheth Date: 3rd May Time: 12:00 pm (noon) Place: E1 5 Room: 0.29 This session is aimed for people with a child/children
framework in Isabelle/HOL and in improving the CCFV-based instantiation scheme of SMT solvers; CPEC (A3), a projects that aims at producing explications in description logics. I have recently started working [...] researchmap webpage my LIG personal webpage that correspond to when I was doing my first post-doc and PhD respectively. Publications journal papers Logical Reduction of Metarules , Andrew Cropper and Sophie [...] Tourret, IWS, 2012 ( pdf ) theses Prime Implicate Generation in Equational Logic, Sophie Tourret, PhD thesis, Grenoble Alpes University, 2016 ( pdf ) Abduction and Prime Implicates, from Propositional Logic
expenses. This grant is according to the fellowship rules of the Max Planck Society: it usually amounts to 3,000 Euro/month and is completed by a compensation for business expenses of 10,000 Euro/year. Fellows [...] 2016) Before Zeynep joined MPI for Informatics, she received her MSc in 2010 from RWTH Aachen and her PhD in 2014 from the University of Grenoble. From 2011 to 2014 she was a graduate student at INRIA Rhone-Alpes [...] and fine-grained image classification. Anna Adamaszek (2012 – 2014) Anna Adamaszek obtained her PhD in Computer Science in 2012 from the University of Warwick, UK. She joined the Algorithms and Complexity
