Estimating the feasibility of transition paths in extended finite state machines

There has been significant interest in automating testing on the basis of an extended finite state machine (EFSM) model of the required behaviour of the implementation under test (IUT). Many test criteria require that certain parts of the EFSM are executed. For example, we may want to execute every transition of the EFSM. In order to find a test suite (set of input sequences) that achieves this we might first derive a set of paths through the EFSM that satisfy the criterion using, for example, algorithms from graph theory. We then attempt to produce input sequences that trigger these paths. Unfortunately, however, the EFSM might have infeasible paths and the problem of determining whether a path is feasible is generally undecidable. This paper describes an approach in which a fitness function is used to estimate how easy it is to find an input sequence to trigger a given path through an EFSM. Such a fitness function could be used in a search-based approach in which we search for a path with good fitness that achieves a test objective, such as executing a particular transition, and then search for an input sequence that triggers the path. If this second search fails then we search for another path with good fitness and repeat the process. We give a computationally inexpensive approach (fitness function) that estimates the feasibility of a path. In order to evaluate this fitness function we compared the fitness of a path with the ease with which an input sequence can be produced using search to trigger the path and we used random sampling in order to estimate this. The empirical evidence suggests that a reasonably good correlation (0.72 and 0.62) exists between the fitness of a path, produced using the proposed fitness function, and an estimate of the ease with which we can randomly generate an input sequence to trigger the path

Observers and Locality in Everett Quantum Field Theory

A model for measurement in collapse-free nonrelativistic fermionic quantum field theory is presented. In addition to local propagation and effectively-local interactions, the model incorporates explicit representations of localized observers, thus extending an earlier model of entanglement generation in Everett quantum field theory [M. A. Rubin, Found. Phys. 32, 1495-1523 (2002)]. Transformations of the field operators from the Heisenberg picture to the Deutsch-Hayden picture, involving fictitious auxiliary fields, establish the locality of the model. The model is applied to manifestly-local calculations of the results of measurements, using a type of sudden approximation and in the limit of massive systems in narrow-wavepacket states. Detection of the presence of a spin-1/2 system in a given spin state by a freely-moving two-state observer illustrates the features of the model and the nonperturbative computational methodology. With the help of perturbation theory the model is applied to a calculation of the quintessential "nonlocal" quantum phenomenon, spin correlations in the Einstein-Podolsky-Rosen-Bohm experiment.Comment: Some changes to introduction and discussion sections, typos corrected, conclusions unchanged. To appear in Foundations of Physic

1000 Genomes-based metaanalysis identifies 10 novel loci for kidney function

HapMap imputed genome-wide association studies (GWAS) have revealed >50 loci at which common variants with minor allele frequency >5% are associated with kidney function. GWAS using more complete reference sets for imputation, such as those from The 1000 Genomes project, promise to identify novel loci that have been missed by previous efforts. To investigate the value of such a more complete variant catalog, we conducted a GWAS meta-Analysis of kidney function based on the estimated glomerular filtration rate (EGFR) in 110,517 European ancestry participants using 1000 Genomes imputed data. We identified 10 novel loci with p-value < 5 × 10-8 previously missed by HapMap-based GWAS. Six of these loci (HOXD8, ARL15, PIK3R1, EYA4, ASTN2, and EPB41L3) are tagged by common SNPs unique to the 1000 Genomes reference panel. Using pathway analysis, we identified 39 significant (FDR < 0.05) genes and 127 significantly (FDR < 0.05) enriched gene sets, wh

Field design and quality control considerations for turfgrass runoff studies conducted for modeling purposes

This paper presents quality control considerations for plot- and field-scale turfgrass runoff studies conducted for modeling calibration and verification. Items addressed include plot construction and maintenance, pesticide application verification, simulated rainfall rate verification, use of conservative tracers to track water movement, soil, thatch layer and weather data collection, and sample handling and storage. © 2009 American Chemical Society

The Power of Pictures: Learning-by-Looking at Papua in Illustrated Newspapers and Magazines

Illustrated newspapers and magazines at the end of the 19th and early in the 20th century promoted economic opportunities in gold mining, planting, tourism and trading in the Australian Territory of Papua and visually suggested it was a potentially prosperous tropical frontier of costumed dancers, ex-cannibals, mission converts and eager labourers. The widespread dissemination of pictorial material in this era allowed Australians to be relatively well informed about Papua and learning-by-looking at daily, weekly and monthly publications liberally illustrated with photographs meant existing colonial, racist and hegemonic attitudes were reinforced and new interest generated in Australia’s sub-regional empire in the island