يعرض 1 - 10 نتائج من 138 نتيجة بحث عن '"Marek, Victor W."', وقت الاستعلام: 0.78s تنقيح النتائج
  1. 1
    مؤتمر
    An Edge-Focused Model for Distributed Streaming Data Applications

    المؤلفون: Bumgardner, V. K. Cody, Hickey, Caylin, Marek, Victor W.

    المصدر: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) Pervasive Computing and Communications Workshops (PerCom Workshops), 2018 IEEE International Conference on. :657-662 Mar, 2018

    Relation: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Edge-enabled Distributed Network Measurement

    المؤلفون: Bumgardner, V. K. Cody, Hickey, Caylin, Marek, Victor W.

    المصدر: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) Pervasive Computing and Communications Workshops (PerCom Workshops), 2018 IEEE International Conference on. :524-529 Mar, 2018

    Relation: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)

    أضف إلى المفضلة
  3. 3
    مؤتمر
    Cresco: A distributed agent-based edge computing framework

    المؤلفون: Bumgardner, V. K. Cody, Marek, Victor W., Hickey, Caylin D.

    المصدر: 2016 12th International Conference on Network and Service Management (CNSM) Network and Service Management (CNSM), 2016 12th International Conference on. :400-405 Oct, 2016

    Relation: 2016 12th International Conference on Network and Service Management (CNSM)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Collating time-series resource data for system-wide job profiling

    المؤلفون: Bumgardner, V. K. Cody, Marek, Victor W., Hyatt, Ray L.

    المصدر: NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium Network Operations and Management Symposium (NOMS), 2016 IEEE/IFIP. :1043-1048 Apr, 2016

    Relation: NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    تقرير
    Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer

    المؤلفون: Heule, Marijn J. H., Kullmann, Oliver, Marek, Victor W.

    المصدر: SAT 2016, LNCS 9710, pages 228-245

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

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

    أضف إلى المفضلة
  6. 6
    كتاب إلكتروني
    A View of Revival of Mathematical Logic in Warsaw, 1945–1975

    المؤلفون: Marek, Victor W.Aff16

    المساهمون: Andréka, Hajnal, Editorial boardAff1, Béziau, Jean-Yves, Series EditorAff2, Burgin, Mark, Editorial boardAff3, Diaconescu, Razvan, Editorial boardAff4, Herzig, Andreas, Editorial boardAff5, Koslow, Arnold, Editorial boardAff6, Lee, Jui-Lin, Editorial boardAff7, Maksimova, Larisa, Editorial boardAff8, Malinowski, Grzegorz, Editorial boardAff9, Paoli, Francesco, Editorial Board MemberAff10, Sarenac, Darko, Editorial boardAff11, Schroeder-Heister, Peter, Editorial boardAff12, Vasyukov, Vladimir, Editorial boardAff13, Garrido, Ángel, editorAff14, Wybraniec-Skardowska, Urszula, editorAff15

    المصدر: The Lvov-Warsaw School. Past and Present. :665-672

    أضف إلى المفضلة
  7. 7
    تقرير
    Origins of Answer-Set Programming - Some Background And Two Personal Accounts

    المؤلفون: Marek, Victor W., Niemela, Ilkka, Truszczynski, Miroslaw

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, I.2.4

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too

    المؤلفون: Denecker, Marc, Marek, Victor W., Truszczynski, Miroslaw

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, I.2.4

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

    أضف إلى المفضلة
  9. 9
    تقرير
    On the Expressibility of Stable Logic Programming

    المؤلفون: Marek, Victor W., Remmel, Jeffrey B.

    المصدر: TCLP 3(2003), pp. 551-567q

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, F.4.1

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

    أضف إلى المفضلة
  10. 10
    تقرير
    Satisfiability and computing van der Waerden numbers

    المؤلفون: Dransfield, Michael R., Marek, Victor W., Truszczynski, Miroslaw

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, I.2.8, F.4.1

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

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