A scan statistic methodology for detecting anomalies has been developed for application to graphs, where “anomalies” are equated with vertices that exhibit distinctive local connectivity properties. We present an “anomaly graph” construction that illustrates the capabilities of these scan statistics via the behaviour of their associated locality statistics on our anomaly graphs. © 2007 Elsevier...

In this short preliminary note I apply the methodology of gametheoretic probability to calculating non-asymptotic confidence intervals for the coefficient of a simple first order scalar autoregressive model. The most distinctive feature of the proposed procedure is that with high probability it produces confidence intervals that always cover the true parameter value when applied sequentially.

Systems thinking is very much in vogue, in the public services especially (Wastell, 2011). The term embraces a plethora of specific meanings, methods and affiliated sects. Flood & Jackson (1991) provide a handy overview of 8 distinctive approaches, including Soft Systems Methodology and Systems Dynamics, as well as their own ‘Total Systems Intervention’. In this essay, I provide an overview of ...

Logic programming o ers a distinctive feature that is rarely met by other traditional programming languages: namely, one can use logic for both speci cation and computation. We present a methodology for reasoning about logic programs and their speci cations. This methodology can be applied to program debugging as well as program synthesis. We focus on the use of executable speci cations to gene...

This paper provides a general overview of the methodology implemented in onetep (Order-N Electronic Total Energy Package), a parallel density-functional theory code for largescale first-principles quantum-mechanical calculations. The distinctive features of onetep are linear-scaling in both computational effort and resources, obtained by making well-controlled approximations which enable simula...

Variations in grounded theory (GT) interpretation are the subject of ongoing debate. Divergences of opinion, genres, approaches, methodologies, and methods exist, resulting in disagreement on what GT methodology is and how it comes to be. From the postpositivism of Glaser and Strauss, to the symbolic interactionist roots of Strauss and Corbin, through to the constructivism of Charmaz, the field...