The principle aim of these notes is to provide context and motivation for the APTS Computer Intensive Statistics Module and to make the module as self-contained as is feasible. Statistics is a broad discipline and the APTS cohort naturally has a diverse range of backgrounds. If you have attended the earlier APTS modules this year, especially Statistical Computing and Statistical Inference, then...

5 Computer simulators of real world processes are often computationally expensive 6 and require many inputs. The problem of the computational expense can be handled 7 using emulation technology; however, highly-multidimensional input spaces may re8 quire more simulator runs to train and validate the emulator. We aim to reduce the 9 dimensionality of the problem by screening the simulator’s inpu...

This paper presents some of the principles underlying veriication and controller synthesis techniques for discrete dynamical systems developed within Computer Science along with some ideas to extend them to continuous and hybrid systems. Hopefully, this will provide control theorists and engineers with an additional perspective of their discipline as seen by a sympathetic outsider, uncommitted ...

Although computer systems have found widespread application in music production, there remains a gap between the characteristicly precise and mechanical information processing of the computer and the more subtle and expressive processing performed by humans. In order for computer systems to become more useful to musicians, the human-computer interface must be raised from the mechanical and synt...

The QCDSP computer (Quantum Chromodynamics on Digital Signal Processors) is an inexpensive, massively parallel computer intended primarily for simulations in lattice gauge theory. Currently, two large QCDSP machines are in full-time use: an 8,192 processor, 0.4 Teraflops machine at Columbia University and an 12,288 processor, 0.6 Teraflops machine at the RIKEN-BNL Research Center at Brookhaven ...