Search research publications and outputs

  1. 2012
  2. Discretisation of Data in a Binary Neural k-Nearest Neighbour Algorithm

    Hodge, V. J. & Austin, J., 1 Jun 2012, Department of Computer Science, University of York, UK

    Research output: Other contribution

  3. Specification and Refinement of Type Interfaces in Scientific Software

    Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., Jun 2012, University of York.

    Research output: Other contribution

  4. A Model of Computing as a Service for Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.

    Research output: Other contribution