يعرض 1 - 10 نتائج من 2,064 نتيجة بحث عن '"P. Sälzer"', وقت الاستعلام: 1.05s تنقيح النتائج
  1. 1
    تقرير
    The Computational Complexity of Formal Reasoning for Encoder-Only Transformers

    المؤلفون: Sälzer, Marco, Alsmann, Eric, Lange, Martin

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Computational Complexity, Computer Science - Machine Learning

    URL الوصول: http://arxiv.org/abs/2405.18548

    أضف إلى المفضلة
  2. 2
    تقرير
    A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

    المؤلفون: Nunn, Pierre, Sälzer, Marco, Schwarzentruber, François, Troquard, Nicolas

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2405.00205

    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Zahnpasten: Was ist drin? - Ein Überblick
    Toothpaste: What's in it?—An overview

    المؤلفون: Geiken, AntjeAff4419021791001, IDs4419002410158_cor1, Graetz, Christian, Schiffner, Ulrich, Sälzer, Sonja

    المصدر: Oralprophylaxe & Kinderzahnmedizin. 46(1):41-46

    Find this article in full text from Springer Verlag.
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    New design of interdental rubber picks - does the archimedean screw design bring an improvement for experimental cleaning efficacy and force?

    المؤلفون: Ann-Kristin Härdter, Anna Nordloh, Miriam Cyris, Martin Straßburger, Thomas Rinder, Christof E. Dörfer, Sonja Sälzer, Christian Graetz

    المصدر: BMC Oral Health, Vol 24, Iss 1, Pp 1-9 (2024)

    مصطلحات موضوعية: Oral hygiene, Interdental brushes, Interdental rubber picks, Mechanical plaque control, Interdental cleaning efficacy, Dentistry, RK1-715

    وصف الملف: electronic resource

    Relation: https://doaj.org/toc/1472-6831

    URL الوصول: https://doaj.org/article/97ca1c82de1148138534a751de5a7427

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  5. 5
    تقرير
    Verifying And Interpreting Neural Networks using Finite Automata

    المؤلفون: Sälzer, Marco, Alsmann, Eric, Bruse, Florian, Lange, Martin

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning

    URL الوصول: http://arxiv.org/abs/2211.01022

    أضف إلى المفضلة
  6. 6
    تقرير
    Fundamental Limits in Formal Verification of Message-Passing Neural Networks

    المؤلفون: Sälzer, Marco, Lange, Martin

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2206.05070

    أضف إلى المفضلة
  7. 7
    تقرير
    Reachability In Simple Neural Networks

    المؤلفون: Sälzer, Marco, Lange, Martin

    المصدر: Fundamenta Informaticae, Volume 189, Issues 3-4: Reachability Problems 2020 and 2021 (October 14, 2023) fi:9219

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Machine Learning

    URL الوصول: http://arxiv.org/abs/2203.07941

    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Socially Jetlagged and Late for School: Chronotypes, Achievement and Truancy among 15-Year-Old Students in PISA 2018

    المؤلفون: Jörg-Henrik Heine (ORCID 0000-0002-0243-5556), Christine Sälzer (ORCID 0000-0002-8064-4708)

    المصدر: European Education. 2023 55(3-4):216-231.

    Peer Reviewed: Y

    Page Count: 16

    Descriptors: Foreign Countries, International Assessment, Achievement Tests, Secondary School Students, Truancy, Attendance, Academic Achievement, Measures (Individuals), Correlation, Sleep, Institutional Characteristics, Socioeconomic Background, Student Characteristics, School Schedules, Family Characteristics, Leisure Time

    مصطلحات جغرافية: Germany

    Assessment and Survey Identifiers: Program for International Student Assessment

    PDF full text from Publisher Full Text Finder
    أضف إلى المفضلة
  9. 9
    تقرير
    Reachability Is NP-Complete Even for the Simplest Neural Networks

    المؤلفون: Sälzer, Marco, Lange, Martin

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Machine Learning

    URL الوصول: http://arxiv.org/abs/2108.13179

    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    Manual toothbrushing techniques for plaque removal and the prevention of gingivitis-A systematic review with network meta-analysis.

    المؤلفون: Renate Deinzer, Ulrike Weik, Zdenka Eidenhardt, Daniel Leufkens, Sonja Sälzer

    المصدر: PLoS ONE, Vol 19, Iss 7, p e0306302 (2024)

    مصطلحات موضوعية: Medicine, Science

    وصف الملف: electronic resource

    Relation: https://doaj.org/toc/1932-6203

    URL الوصول: https://doaj.org/article/be729e1f2e264e6f873dae7c2deccfb3

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء