Search

We found 433 hits for your search of '3d'.
  1. Exercises and Tutorials

    /departments/automation-of-logic/teaching/winter-20142015/automated-reasoning/exercises-and-tutorials

    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 [...] Exercise sheet 12 [PDF] Exercise sheet 13 [PDF] Tutorials The tutorial groups start in week 3 (beginning from November 3, respectively). Time slots of the tutorial groups: Group 1: Monday, 16-18, Room 024, Building [...] e BIO Research Group Computational Biology RG1 Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Automation of Logic People Research Areas Automated Verification Combinations

  2. Hotel Madeleine

    /services/international-office/hotels/hotel-madeleine

    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 [...] networking Departments 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 [...] Assistant (m/f/d) for 6G-RIC project Lise Meitner Award Postdoctoral Fellowship Joint Research Fellowships with the Simons Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking

  3. Publications

    /departments/inet/publications

    http://hdl.handle.net/21.11116/0000-000D-C4C9-3 %R 10.17617/2.3532055 %Y Max Planck Society %C München %D 2023 %P 70 p. DOI PuRe BibTeX publisher version 20 Article D3 T. Fiebig, S. Gürses, C. H. Gañán [...] Universität des Saarlandes %C Saarbrücken %D 2022 %V master %9 master PuRe BibTeX 73 Conference paper D3 T. K. Yadav, D. Gosain, A. Herzberg, D. Zappala, and K. Seamons “Automatic Detection of Fake [...] telpol.2020.102091 %7 2021 %D 2021 %J Telecommunications Policy %V 45 %N 3 %Z sequence number: 102091 %I Elsevier %C Amsterdam %@ false DOI PuRe BibTeX 88 Conference paper D3 D. Kopp, C. Dietzel, and O.

  4. Registering

    /services/international-office/international-office-restricted/registering

    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 [...] networking Departments 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 [...] Assistant (m/f/d) for 6G-RIC project Lise Meitner Award Postdoctoral Fellowship Joint Research Fellowships with the Simons Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking

  5. MPI guesthouse

    /services/international-office/international-office-restricted/mpi-guesthouse

    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 [...] networking Departments 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 [...] Assistant (m/f/d) for 6G-RIC project Lise Meitner Award Postdoctoral Fellowship Joint Research Fellowships with the Simons Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking

  6. German language classes

    /services/international-office/international-office-restricted/german-language-classes

    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 [...] networking Departments 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 [...] Assistant (m/f/d) for 6G-RIC project Lise Meitner Award Postdoctoral Fellowship Joint Research Fellowships with the Simons Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking

  7. Services

    /services/international-office/services

    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 [...] networking Departments 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 [...] Assistant (m/f/d) for 6G-RIC project Lise Meitner Award Postdoctoral Fellowship Joint Research Fellowships with the Simons Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking

  8. Automated Reasoning

    /departments/automation-of-logic/teaching/winter-20142015/automated-reasoning

    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 [...] - 16.00, Building E1 3 , Lecture Hall 2 Final: Wed, February 25, 2015, 10.00 - 12.00, Building E1 3 , Lecture Hall 2 Supplementary: Tue, April 7, 2015, 10.00 - 12.00, Building E1 3 , Lecture Hall 2 Grading [...] Lecture Hall HS002, Building E1 3 When & Where The course takes place every Tuesday, 10:00 - 11:30 (s.t.) and Thursday, 14:00 - 15:30 (s.t.) in lecture hall HS002, Building E1 3 . Registration Register here

  9. The Year Before Last

    /departments/automation-of-logic/publications/the-year-before-last

    First-Order Logic with Equality : %G eng %U http://hdl.handle.net/21.11116/0000-000D-938E-D %R 10.1007/s10817-023-09673-3 %7 2023 %D 2023 %J Journal of Automated Reasoning %V 67 %Z sequence number: 22 %I Springer [...] Planck Society %T An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL : %G eng %U http://hdl.handle.net/21.11116/0000-000E-75E4-D %R 10.1007/978-3-031-43369-6_11 %D 2023 %B 14th International Symposium [...] handle.net/21.11116/0000-000D-06AE-9 %R 10.1145/3557998 %7 2023 %D 2023 %J Communications of the ACM %V 66 %N 4 %& 80 %P 80 - 90 %I ACM %C New York, NY %@ false DOI PuRe BibTeX 3 Article RG1 A. Bentkamp,

  10. Emilia Ndilokelwa Weyulu

    /departments/inet/people/emilia-ndilokelwa-weyulu

    Informatics, Max Planck Society %T BBRv3 in the Public Internet: a Boon or a Bane? : %G eng %U http://hdl.handle.net/21.11116/0000-0010-2A2D-E %R 10.1145/3673422.3674889 %D 2024 %B Applied Networking Research [...] 10619748 %D 2024 %B IFIP Networking Conference %Z date of event: 2024-06-03 - 2024-06-06 %C Thessaloniki, Greece %B IFIP Networking Conference %P 569 - 575 %I IEEE %@ 978-3-903176-63-8 Zeynali, D., Weyulu [...] Max Planck Society %T Promises and Potential of BBRv3 : %G eng %U http://hdl.handle.net/21.11116/0000-000F-5239-5 %R 10.1007/978-3-031-56252-5_12 %D 2024 %B 25th International Conference on Passive and