Statistical Regular Pavings and their Computable Mappings

Status: Current

Dates: 2007 - Start

Māori Relevant Content: No


  • Ministry of Business, Innovation & Employment (MBIE) (Marie Curie International Research Staff Exchange Scheme (IRSES), 2014 - 2017)
  • Swedish Research Council (Swedish Research Council, 2012 - 2012)

Project Abstract

This project extends arithmetic using planar binary trees over adaptive multi-dimensional metric data structures called statistical regular pavings (SRPs). SRPs have been used to represent and process all civil air-traffic data of flight co-trajectories over Atlanta, Georgia, USA - one of the busiest airports in the world. SRPs, as adaptive multi-dimensional histograms, have been used for scalable Bayesian computations in non-parametric density estimation. SRPs and their generalization into mapped regular pavings allow computational statisticians to use powerful tools and rigorous techniques from interval analysis, including automatic differentiation, constraint propagation, contractor programming and set inversion. A comprehensive C++ library for statistical set processing is developed.

Researchers - UC Staff

Researchers - Non-UC Staff

  • Jennifer Harlow: Postgraduate student; University of Canterbury (UC)
  • Gloria Teng: Postgraduate student; University of Canterbury (UC)
  • Warwick Tucker: Collaborator; Uppsala University

Associated Groups

Subject Area: Disciplines