Отображение 1 - 20 результаты of 36 для поиска 'Department of Computer Science', время запроса: 0.07сек. Отмена результатов
  1. 1
    Machine Learning Techniques Applied to Multi−Agent Cooperation

    Machine Learning Techniques Applied to Multi−Agent Cooperation по de Hoog, J

    Опубликовано 2007
    “...Department of Computer Science...”
    Диссертация
  2. 2
    Role−Based Multi−Robot Exploration

    Role−Based Multi−Robot Exploration по de Hoog, J

    Опубликовано 2011
    “...Department of Computer Science...”
    Диссертация
  3. 3
    The Voronoi game on graphs and its complexity

    The Voronoi game on graphs and its complexity по Teramoto, Sachio, Demaine, Erik D., Uehara, Ryuhei

    Опубликовано 2014
    “...Department of Computer Science, Brown University...”
    Полный текст
    Полный текст
    Статья
  4. 4
    Identity Security in Cyberspace - A data-reachability Model

    Identity Security in Cyberspace - A data-reachability Model по Phillips, E

    Опубликовано 2014
    “...Oxford University Department of Computer Science...”
    Conference item
  5. 5
    Towards a principled approach for engineering privacy by design

    Towards a principled approach for engineering privacy by design по Alshammari, M, Simpson, A

    Опубликовано 2016
    “...Department of Computer Science, Oxford University...”
    Report
  6. 6
    Whither the privacy breach case studies?

    Whither the privacy breach case studies? по Simpson, A

    Опубликовано 2016
    “...Department of Computer Science, Oxford University...”
    Report
  7. 7
    Proving The Unique Fixed−Point Principle Correct

    Proving The Unique Fixed−Point Principle Correct по Hinze, R, James, D

    Опубликовано 2011
    “...Department of Computer Science‚ University of Oxford...”
    Report
  8. 8
    Formalizing anonymity: a review

    Formalizing anonymity: a review по Wright, J, Stepney, S, Clark, J, Jacob, J

    Опубликовано 2005
    “...Department of Computer Science, University of York...”
    Report
  9. 9
    Average-case lower bounds and satisfiability algorithms for small threshold circuits

    Average-case lower bounds and satisfiability algorithms for small threshold circuits по Chen, R, Santhanam, R, Srinivasan, S

    Опубликовано 2018
    “...University of Chicago, Department of Computer Science...”
    Journal article
  10. 10
    Pure entropic regularization for metrical task systems

    Pure entropic regularization for metrical task systems по Coester, C, Lee, JR

    Опубликовано 2022
    “...Department of Computer Science, University of Chicago...”
    Journal article
  11. 11
    Abstract: Experience with Practical Formal Verification at an Industrial Scale

    Abstract: Experience with Practical Formal Verification at an Industrial Scale по Melham, T

    Опубликовано 2003
    “...Department of Computer Science‚ University of Liverpool...”
    Conference item
  12. 12
    Towards a VLSI Design Tool System

    Towards a VLSI Design Tool System по Liblong, B, Melham, T, Birtwistle, G, Kendall, J

    Опубликовано 1984
    “...Department of Computer Science‚ University of Calgary...”
    Report
  13. 13
    Identifying IOT-like devices and using Collaborative XAI to understand their cyber security behaviour

    Identifying IOT-like devices and using Collaborative XAI to understand their cyber security behaviour по Moyle, S, Martin, A, Allott, N

    Опубликовано 2023
    “...University of Oxford, Department of Computer Science...”
    Report
  14. 14
    Theory and Practice of Fusion

    Theory and Practice of Fusion по Hinze, R, Harper, T, James, D

    Опубликовано 2011
    “...Department of Computer Science‚ University of Oxford...”
    Report
  15. 15
    EDICT: An Environment for Design Using Integrated Circuit Tools

    EDICT: An Environment for Design Using Integrated Circuit Tools по Birtwistle, G, Hill, D, Kendall, J, Coates, B, Esau, R, Kroeker, W, Liblong, B, Liu, E, Melham, T, Schediwy, R

    Опубликовано 1984
    “...Department of Computer Science‚ University of Calgary...”
    Report
  16. 16
    How to Derive Tidy Drawings of Trees

    How to Derive Tidy Drawings of Trees по Gibbons, J

    Опубликовано 1994
    “...Department of Computer Science‚ University of Auckland...”
    Conference item
  17. 17
    Some Research Issues in Higher Order Logic Theorem Proving

    Some Research Issues in Higher Order Logic Theorem Proving по Melham, T

    Опубликовано 1996
    “...Department of Computer Science‚ University of Aarhus...”
    Report
  18. 18
    A stage structured hybrid model for disease dynamics and complex systems modelling

    A stage structured hybrid model for disease dynamics and complex systems modelling по Banerjee, S

    Опубликовано 2016
    “...Department of Computer Science, University of Oxford...”
    Conference item
  19. 19
    Hardware Verification by Formal Proof

    Hardware Verification by Formal Proof по Birtwistle, G, Graham, B, Melham, T, Schediwy, R

    Опубликовано 1988
    “...Department of Computer Science‚ University of Calgary...”
    Report
  20. 20
    Specification and VLSI Design

    Specification and VLSI Design по Birtwistle, G, Joyce, J, Liblong, B, Melham, T, Schediwy, R

    Опубликовано 1985
    “...Department of Computer Science‚ University of Calgary...”
    Report

Инструменты поиска: