Search

We found 433 hits for your search of '3d'.
  1. Automated Deduction

    /news/spotlight-articles/automated-deduction

    however, not necessarily a useful derivation. For example, if we convert 2·a + 3·a to 2·a + 3·a + 0 and then to 2·a + 3·a + 0 + 0, we do not make any computation errors, but we are not getting any closer [...] 7[0:Inp] || F(U,V)* F(W,V) F(U,skc1)* F(W,skf5(V))* -> . Derived: 8[0:Res:3.1,2.0] || equal(U,V)* -> equal(U,V). Derived: 10[0:Res:3.1,4.0] || equal(U,V)* F(U,skc1)* -> F(skf5(skf8(V)),skf8(V))*. Derived: [...] g., "x + 0 = x" only from left to right and not the other way round. 1[0:Inp] || -> F(U,skf6(U))*. 3[0:Inp] || equal(U,V) -> F(U,skf8(V))*. 2[0:Inp] || F(U,skf8(V))* -> equal(U,V). 4[0:Inp] || F(U,V)*

  2. Von den Panama Papers zum eigenen Nachrichtendienst für das Unternehmen

    /news/press-release-articles/2016/von-den-panama-papers-zum-eigenen-nachrichtendienst-fuer-das-unternehmen

    president of the Intl. Society for Computational Biology Software verwandelt gefilmte Tiere in animierbare 3D-Figuren Professor Kurt Mehlhorn appointed member of the Scientific Council of the ERC [...] n haben die Gründer von Ambiverse vor wenigen Tagen den überregionalen Businessplanwettbewerb „1,2,3, GO“ gewonnen. Weitere Informationen: www.ambiverse.com/oh-wie-schon-ist-offshore-panama Fragen beantwortet:

  3. Humboldt-Preisträger will Grenzen der Fotografie überwinden

    /news/press-release-articles/2014/humboldt-preistraeger-will-grenzen-der-fotografie-ueberwinden

    Hintergrundbeleuchtung sicher und sparen so erheblich an Strom. Momentan arbeitet Heidrich an neuartigen 3D-Bildschirmen. Um unter anderem die Forschung an diesen zu vertiefen, wird Heidrich in Saarbrücken diesen [...] Saarland Tel. 0681 302-70741 bolduan@mmci.uni-saarland.de Presse und Kommunikation Campus, Gebäude A2 3 66123 Saarbrücken Tel. 0681 302-2601 Fax 0681 302-2609 Hauchdünne Displays selbst gemacht How big is

  4. Xucong Zhang

    /departments/computer-vision-and-machine-learning/people/alumni-and-former-members/xucong-zhang

    Former Members Xucong Zhang Xucong Zhang (PhD Student) Personal Information Research Interests Computer Vision Human Computer Interaction Education 2010.9-2013.3: M.Sc. Beihang University, Beijing, China

  5. BriQ

    /departments/databases-and-information-systems/research/yago-naga/briq

    6084/m9.figshare.7642055.v1 Publications: Ibrahim, Y., Riedewald, M., Weikum, G., & Zeinalipour-Yazti, D. (in press). Bridging Quantities in Tables and Text. In ICDE 2019 . Piscataway, NJ: IEEE. Ibrahim, Y [...] 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

  6. Ideen und Konzepte der Informatik

    /departments/algorithms-complexity/teaching/winter18/ideen

    2 5.11.2018 Suchen und Sortieren Übung 3 12.11.2018 Websuche Übung 4 19.11.2018 Kürzeste Wege und Navis Übung 5 26.11.2018 Optimierung Dantzig , Stigle r Übung 6 3.12.2018 Kryptographie Übung 7 10.12.2018 [...] Vorlesung beginnt 16:00 und endet um 17:30. Klausur: Mittwoch 20.2.2019, 14:00. Horsaal 002 im Gebäude E1 3 (neues Informatikgebäude). Es sind KEINE Hilfsmittel erlaubt. Klausureinsicht: Nachklausur: Nachkla [...] (ISBN: 9783827419262 ) B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner: Taschenbuch der Algorithmen (ISBN: 9783540763932 ) Minsky: The Society of Mind Hofstadter:

  7. Hohe Auszeichnung für Saarbrücker Max-Planck-Direktor Peter Druschel

    /news/press-release-articles/2008/hohe-auszeichnung-fuer-saarbruecker-max-planck-direktor-peter-druschel

    sws.org Tel. +49 681 9325-700 Hohe Auszeichnung für Saarbrücker Max-Planck-Direktor Peter Druschel 3D-Scannen von Glasobjekten Ausgezeichnet: Clevere und revolutionär schnelle Suchmaschine.

  8. Iman Alipour

    /departments/inet/people/iman-alipour

    Probabilities and Statistics, 2022 3) Operating Systems, 2023 4) Embedded Systems, 2023 5) Computer Simulation (2x), 2023 Recent Positions August 2024 - Present PhD candidate at Max Planck for Informatics [...] 3548 Fax +49 681 9325 3599 E-mail ialipour@mpi-inf.mpg.de Personal Information Iman Alipour is a PhD candidate at Max Planck Institute for Informatics, the Internet Architecture group. He earned his Bachelors

  9. Neue Direktorin am Max-Planck-Institut für Informatik

    /news/press-release-articles/2017/neue-direktorin-am-max-planck-institut-fuer-informatik

    Rund um den Fachbereich Informatik der Universität des Saarlandes entstanden in den vergangenen knapp 3 Jahrzehnten fast ein Dutzend Einrichtungen, die im Bereich Computerwissenschaften / Informatik forschen [...] University, Pittsburgh, Pennsylvania, USA führten 1991 zu einem Master of Science und der Promotion (Ph.D.) in Computer Science 1995. Nach Stationen an den AT&T Bell Labs kam sie schon einmal nach Saarbrücken [...] r Wissensdatenbank ist nun für jedermann nutzbar Doktorandin am MPI für Informatik erhält Google PhD Fellowship und Frauen MINT Award Computer Science Professor Hans-Peter Seidel Awarded the Gold Medal

  10. Algorithms and Data Structures

    /departments/algorithms-complexity/teaching/winter15/algodat

    2005 (ISBN: 0-321-29535-8) [Meh] K. Mehlhorn, Data Structures and Algorithms, Vols. 1-3, Springer Verlag, 1984 [Koz] D. Kozen, The Design and Analysis of Algorithms, Springer Verlag, 1991 Algorithms and