يعرض 1 - 10 نتائج من 1,948 نتيجة بحث عن '"Jacobs Bart"', وقت الاستعلام: 1.37s تنقيح النتائج
  1. 1
    تقرير
    Drawing with Distance

    المؤلفون: Jacobs, Bart

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Probability, 03B70, 68Q87, 18C50, F.3.2, G.3

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

    أضف إلى المفضلة
  2. 2
    تقرير
    Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl

    المؤلفون: Jacobs, Bart

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70, 68Q87, 18C50, F.3.2, G.3

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

    أضف إلى المفضلة
  3. 3
    تقرير
    Expressive modular verification of termination for busy-waiting programs

    المؤلفون: Fasse, Justus, Jacobs, Bart

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

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

    أضف إلى المفضلة
  4. 4
    تقرير
    Overdrawing Urns using Categories of Signed Probabilities

    المؤلفون: Jacobs, Bart, Stein, Dario

    المصدر: EPTCS 397, 2023, pp. 172-189

    مصطلحات موضوعية: Mathematics - Probability, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, F.4.1, F.1.2

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

    أضف إلى المفضلة
  5. 5
    تقرير
    Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract)

    المؤلفون: Reinhard, Tobias, Fasse, Justus, Jacobs, Bart

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1, D.2.4

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming

    المؤلفون: Jacobs, Bart, Stein, Dario

    المصدر: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12281

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

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Certifying C program correctness with respect to CH2O with VeriFast

    المؤلفون: Wils, Stefan, Jacobs, Bart

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

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

    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Impact of bariatric surgery on oral anticancer drugs: an analysis of real-world data

    المؤلفون: Lau, CedricAff1, Aff2, Aff4, Aff7, IDs00280024046400_cor1, Mohmaed Ali, Ma IdaAff1, Aff2, Lin, LishiAff1, Aff2, van Balen, Dorieke E. M., Jacobs, Bart A. W., Nuijen, Bastiaan, Smeenk, Robert M., Steeghs, NeeltjeAff2, Aff3, Huitema, Alwin D. R.Aff1, Aff6, Aff7

    المصدر: Cancer Chemotherapy and Pharmacology. :1-10

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  9. 9
    تقرير
    Verifying C++ Dynamic Binding

    المؤلفون: Mommen, Niels, Jacobs, Bart

    مصطلحات موضوعية: Computer Science - Programming Languages

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

    أضف إلى المفضلة
  10. 10
    تقرير
    Completeness Thresholds for Memory Safety of Array Traversing Programs

    المؤلفون: Reinhard, Tobias, Fasse, Justus, Jacobs, Bart

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1, D.2.4

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

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء