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