The Max Planck Institute for Informatics (German: Max-Planck-Institut für Informatik, abbreviated MPI-INF or MPII) is a research institute in computer...
4 KB (406 words) - 01:21, 30 December 2023
Studio for Measurement Purposes". Computer Graphics Group, Max-Planck-Institut fur Informatik. CiteSeerx: 10.1.1.18.3510. "EG 2007 Phlegmatic Dragon". Eurographics...
14 KB (703 words) - 03:01, 26 October 2024
"RoundingRadius—Wolfram Language Documentation". reference.wolfram.com. "Max-Planck-Institut für Informatik: Data Protection" (PDF). people.mpi-inf.mpg.de. "shadow mapping...
61 KB (6,460 words) - 00:21, 2 December 2024
Predicate functor logic "Normal Forms and Skolemization" (PDF). Max-Planck-Institut für Informatik. Retrieved 15 December 2012. Reiner Hähnle. Tableaux and related...
11 KB (1,909 words) - 06:27, 25 July 2024
Multilingual Wordnet - D5: Databases and Information Systems (Max-Planck-Institut für Informatik)". Mpi-inf.mpg.de. 2011-08-14. Retrieved 2014-01-05. S. Benoît...
40 KB (4,660 words) - 19:49, 27 December 2024
academic computer scientist. He was a senior researcher at the Max-Planck-Institut für Informatik, and currently is an assistant professor and research scientist...
5 KB (436 words) - 21:46, 11 January 2024
meeting room and 7 guest rooms. The Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH (LZI, Leibniz Center for Informatics) was established at Dagstuhl...
14 KB (1,481 words) - 07:07, 27 December 2024
Anja Feldmann (category Max Planck Society people)
Award 2023: ACM Fellow "Neue Direktorin am Max-Planck-Institut für Informatik". Max-Planck-Institut für Informatik. 2018. Retrieved 17 April 2017. "This Year's...
6 KB (405 words) - 15:11, 30 November 2024
Ziegler, Christoph Burnikel (1998), Fast Recursive Division, Max-Planck-Institut für Informatik, archived from the original on 2011-04-26, retrieved 2021-09-10{{citation}}:...
40 KB (5,560 words) - 02:45, 1 January 2025
SPASS (category Max Planck Institute for Informatics)
Support for arithmetic using Mathematica was also added. "Max-Planck-Institut für Informatik - Automation of Logic: Spass". Spass-prover.org. 2010-05-28...
2 KB (179 words) - 19:22, 16 October 2023
Thomas Lengauer (category Max Planck Society people)
"Homepage (Max-Planck-Institut für Informatik) | Academic". bioinf.mpi-inf.mpg.de. Retrieved 31 August 2016. "Max Planck Institut für Informatik – Research...
8 KB (756 words) - 21:11, 11 December 2022
Joe Halpern (IBM Almaden Research Center), Kurt Mehlhorn (Max-Planck-Institut für Informatik), Nicholas Pippenger (University of British Columbia), Eva...
18 KB (781 words) - 05:47, 24 September 2024
Artificial Intelligence (2020): 3-22. "Max-Planck-Institut für Informatik: Zuse-Medaille für Gerhard Weikum". Max Planck Institute for Informatics. "IW3C2...
7 KB (572 words) - 18:14, 3 October 2023
Karlsruhe Institute of Technology (redirect from Karlsruher Institut für Technologie)
The Karlsruhe Institute of Technology (KIT; German: Karlsruher Institut für Technologie) is both a German public research university in Karlsruhe, Baden-Württemberg...
56 KB (4,844 words) - 05:37, 19 December 2024
Bernt Schiele (category Academic staff of Max Planck Society)
Schiele at the Max Planck Institute for Informatics "Schiele, Bernt". www.mpg.de. Retrieved 2019-10-29. "Max-Planck-Institut für Informatik: Prof. Dr. Bernt...
4 KB (377 words) - 00:08, 2 May 2024
until September 2003, he was a Postdoctoral Researcher at the Max-Planck-Institut für Informatik, Algorithms and Complexity Group, Saarbrücken, Germany. Since...
2 KB (125 words) - 04:12, 31 October 2024
worked at the Databases and Information Systems department at Max-Planck-Institut für Informatik in Germany. From 2011 to 2014, he was employed at the department...
7 KB (713 words) - 19:36, 12 October 2023
REPORT 2020". Archived from the original on 2021-04-16. "Max-Planck-Institut für Informatik: Scientific Advisory Board". www.mpi-inf.mpg.de. Retrieved...
11 KB (1,038 words) - 03:18, 31 July 2024
computation of sub-resultants using Bezout matrices (PS) (Technical report). Saarbrucken: Max-Planck-Institut für Informatik. Tech. Report MPI-I-2006-1-006....
4 KB (665 words) - 15:32, 12 April 2024
closely cooperate. The Max Planck Institute for Mathematics (German: Max Planck-Institut für Mathematik) is part of the Max Planck Society, a network of...
96 KB (9,158 words) - 13:26, 23 December 2024
During this time he also worked in the same capacity at the Max-Planck-Institut für Informatik in Germany. From 2004 to 2006, Lotker worked as a postdoctoral...
8 KB (741 words) - 07:25, 4 November 2024
Applied Mathematics". www.brown.edu. Retrieved 2015-11-19. "Max-Planck-Institut für Informatik: Visual Turing Challenge". www.mpi-inf.mpg.de. Retrieved 2015-11-19...
24 KB (3,681 words) - 08:32, 12 November 2024
Set Constraints are the Monadic Class (Technical report). Max-Planck-Institut für Informatik. p. 13. CiteSeerX 10.1.1.32.3739. MPI-I-92-240.{{cite tech...
9 KB (919 words) - 07:17, 18 November 2024
Jan Kautz1, Wolfgang Heidrichy2 and Hans-Peter Seidel1, (1Max-Planck-Institut für Informatik, 2University of British Columbia) Wikimedia Commons has media...
7 KB (732 words) - 08:32, 13 January 2024
Universität Leipzig. 2016. Retrieved 9 May 2020. "InfAI | Institut für Angewandte Informatik". InfAI. Since the adoption of the Bachelor's degree and Master's...
45 KB (5,074 words) - 00:56, 28 December 2024
Recursive Division. Forschungsberichte des Max-Planck-Instituts für Informatik. Saarbrücken: MPI Informatik Bibliothek & Dokumentation. OCLC 246319574...
26 KB (1,576 words) - 17:01, 1 December 2024
Fraunhofer Society, the Gottfried Wilhelm Leibniz Scientific Community and the Max Planck Society and Forschungszentrum Dresden-Rossendorf, soon incorporated into...
32 KB (3,492 words) - 11:54, 9 November 2024
{{cite journal}}: CS1 maint: others (link) "COMPUTERS, OVERSEAS: 4. Max-Planck-Institut fur Physik, G 1, G 1a, G 2, and G 3. Gottingen, Germany". Digital Computer...
27 KB (939 words) - 08:35, 14 November 2024
TU Dresden, IAVT TU Dresden, IHM TU Dresden, Institut für Angewandte Informatik TU Dresden, Institut für Angewandte Photophysik TURCK duotec GmbH tyclipso...
12 KB (1,426 words) - 02:47, 31 December 2024
Steuerungsprobleme der Forschung. Kernphysik und Informatik im Vergleich (in German). Schriften des Max-Planck-Instituts für Gesellschaftsforschung Köln. pp. 148–149...
38 KB (3,402 words) - 11:42, 2 January 2025