يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Burn, Toby"', وقت الاستعلام: 0.79s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Radiomics-based decision support tool assists radiologists in small lung nodule classification and improves lung cancer early diagnosis

    المؤلفون: Hunter, Benjamin, Argyros, Christos, Inglese, MariannaAff1, Aff2, Linton-Reid, Kristofer, Pulzato, Ilaria, Nicholson, Andrew G.Aff4, Aff5, Kemp, Samuel V., L. Shah, PallavAff5, Aff7, Molyneaux, Philip L., McNamara, Cillian, Burn, Toby, Guilhem, Emily, Mestas Nuñez, Marcos, Hine, Julia, Choraria, Anika, Ratnakumar, PrashanthiAff5, Aff10, Bloch, SusannahAff5, Aff10, Jordan, Simon, Padley, SimonAff3, Aff5, Ridge, Carole A.Aff3, Aff5, Robinson, Graham, Robbie, Hasti, Barnett, Joseph, Silva, Mario, Desai, SujalAff3, Aff5, Aff15, Lee, Richard W.Aff5, Aff16, Aff17, Aboagye, Eric O., Devaraj, AnandAff3, Aff5, IDs4141602302480y_cor28

    المصدر: British Journal of Cancer. 129(12):1949-1955

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

    المؤلفون: Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

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

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

    View Record from ACM Digital Library
    أضف إلى المفضلة
  3. 3
    تقرير
    Higher-Order Constrained Horn Clauses and Refinement Types

    المؤلفون: Burn, Toby Cathcart, Ong, C. -H. Luke, Ramsay, Steven J.

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

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

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