يعرض 1 - 10 نتائج من 43 نتيجة بحث عن '"Rute, Jason"', وقت الاستعلام: 1.00s تنقيح النتائج
  1. 1
    تقرير
    Graph2Tac: Online Representation Learning of Formal Math Concepts

    المؤلفون: Blaauwbroek, Lasse, Olšák, Miroslav, Rute, Jason, Massolo, Fidel Ivan Schaposnik, Piepenbrock, Jelle, Pestun, Vasily

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, 68T07 (Primary) 68V15 (Secondary), I.2.3, I.2.6

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

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Algorithmic barriers to representing conditional independence

    المؤلفون: Ackerman, Nathanael L., Avigad, Jeremy, Freer, Cameron E., Roy, Daniel M., Rute, Jason M.

    المصدر: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2019 34th Annual ACM/IEEE Symposium on. :1-13 Jun, 2019

    Relation: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    View Record from ACM Digital Library
    أضف إلى المفضلة
  3. 3
    تقرير
    Proof Artifact Co-training for Theorem Proving with Language Models

    المؤلفون: Han, Jesse Michael, Rute, Jason, Wu, Yuhuai, Ayers, Edward W., Polu, Stanislas

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

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

    أضف إلى المفضلة
  4. 4
    تقرير
    On the close interaction between algorithmic randomness and constructive/computable measure theory

    المؤلفون: Rute, Jason

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03D32, 03F60

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

    أضف إلى المفضلة
  5. 5
    تقرير
    On the computability of graphons

    المؤلفون: Ackerman, Nathanael L., Avigad, Jeremy, Freer, Cameron E., Roy, Daniel M., Rute, Jason M.

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, Mathematics - Probability

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

    أضف إلى المفضلة
  6. 6
    كتاب إلكتروني
    Computable Measure Theory and Algorithmic Randomness

    المؤلفون: Hoyrup, MathieuAff8, Rute, JasonAff9

    المساهمون: Bienvenu, Laurent, Series EditorAff1, Bonizzoni, Paola, Series EditorAff2, Brattka, Vasco, Series EditorAff3, Aff6, Mayordomo, Elvira, Series EditorAff4, Panangaden, Prakash, Series EditorAff5, Hertling, Peter, editorAff7

    المصدر: Handbook of Computability and Complexity in Analysis. :227-270

    أضف إلى المفضلة
  7. 7
    تقرير
    Schnorr randomness for noncomputable measures

    المؤلفون: Rute, Jason

    مصطلحات موضوعية: Mathematics - Logic, 03D32 (Primary), 68Q30 (Secondary)

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Algorithmic randomness and Fourier analysis

    المؤلفون: Franklin, Johanna, McNicholl, Timothy, Rute, Jason

    مصطلحات موضوعية: Mathematics - Logic, 03D32 (Primary) 03D78, 42A20 (Secondary)

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Energy randomness

    المؤلفون: Miller, Joseph S., Rute, Jason

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity, 03D32 (Primary), 68Q30, 31C15 (Secondary)

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

    أضف إلى المفضلة
  10. 10
    تقرير
    When does randomness come from randomness?

    المؤلفون: Rute, Jason

    مصطلحات موضوعية: Mathematics - Logic, 03D32 (Primary), 68Q30 (Secondary)

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

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