Scalable Parallel Numerical Constraint Solver Using Global Load Balancing

We present a scalable parallel solver for numerical constraint satisfaction problems (NCSPs). Our parallelization scheme consists of homogeneous worker solvers, each of which runs on an available core and communicates with others via the global load balancing (GLB) method. The parallel solver is implemented with X10 that provides an implementation of GLB as a library. In experiments, several NCSPs from the literature were solved and attained up to 516-fold speedup using 600 cores of the TSUBAME2.5 supercomputer.Comment: To be presented at X10'15 Worksho

LINVIEW: Incremental View Maintenance for Complex Analytical Queries

Many analytics tasks and machine learning problems can be naturally expressed by iterative linear algebra programs. In this paper, we study the incremental view maintenance problem for such complex analytical queries. We develop a framework, called LINVIEW, for capturing deltas of linear algebra programs and understanding their computational cost. Linear algebra operations tend to cause an avalanche effect where even very local changes to the input matrices spread out and infect all of the intermediate results and the final view, causing incremental view maintenance to lose its performance benefit over re-evaluation. We develop techniques based on matrix factorizations to contain such epidemics of change. As a consequence, our techniques make incremental view maintenance of linear algebra practical and usually substantially cheaper than re-evaluation. We show, both analytically and experimentally, the usefulness of these techniques when applied to standard analytics tasks. Our evaluation demonstrates the efficiency of LINVIEW in generating parallel incremental programs that outperform re-evaluation techniques by more than an order of magnitude.Comment: 14 pages, SIGMO

Tractography in the presence of multiple sclerosis lesions

Accurate anatomical localisation of specific white matter tracts and the quantification of their tract-specific microstructural damage in conditions such as multiple sclerosis (MS) can contribute to a better understanding of symptomatology, disease evolution and intervention effects. Diffusion MRI-based tractography is being used increasingly to segment white matter tracts as regions-of-interest for subsequent quantitative analysis. Since MS lesions can interrupt the tractography algorithm’s tract reconstruction, clinical studies frequently resort to atlas-based approaches, which are convenient but ignorant to individual variability in tract size and shape. Here, we revisit the problem of individual tractography in MS, comparing tractography algorithms using: (i) The diffusion tensor framework; (ii) constrained spherical deconvolution (CSD); and (iii) damped Richardson-Lucy (dRL) deconvolution. Firstly, using simulated and in vivo data from 29 MS patients and 19 healthy controls, we show that the three tracking algorithms respond differentially to MS pathology. While the tensor-based approach is unable to deal with crossing fibres, CSD produces spurious streamlines, in particular in tissue with high fibre loss and low diffusion anisotropy. With dRL, streamlines are increasingly interrupted in pathological tissue. Secondly, we demonstrate that despite the effects of lesions on the fibre orientation reconstruction algorithms, fibre tracking algorithms are still able to segment tracts that pass through areas with a high prevalence of lesions. Combining dRL-based tractography with an automated tract segmentation tool on data from 131 MS patients, the cortico-spinal tracts and arcuate fasciculi could be reconstructed in more than 90% of individuals. Comparing tract-specific microstructural parameters (fractional anisotropy, radial diffusivity and magnetisation transfer ratio) in individually segmented tracts to those from a tract probability map, we show that there is no systematic disease-related bias in the individually reconstructed tracts, suggesting that lesions and otherwise damaged parts are not systematically omitted during tractography. Thirdly, we demonstrate modest anatomical correspondence between the individual and tract probability-based approach, with a spatial overlap between 35 and 55%. Correlations between tract-averaged microstructural parameters in individually segmented tracts and the probability-map approach ranged between r=.53 ( p<.001 ) for radial diffusivity in the right cortico-spinal tract and r=.97 ( p<.001 ) for magnetisation transfer ratio in the arcuate fasciculi. Our results show that MS white matter lesions impact fibre orientation reconstructions but this does not appear to hinder the ability to anatomically reconstruct white matter tracts in MS. Individual tract segmentation in MS is feasible on a large scale and could prove a powerful tool for investigating diagnostic and prognostic markers

Wind Data Mining by Kohonen Neural Networks

Time series of Circulation Weather Type (CWT), including daily averaged wind direction and vorticity, are self-classified by similarity using Kohonen Neural Networks (KNN). It is shown that KNN is able to map by similarity all 7300 five-day CWT sequences during the period of 1975–94, in London, United Kingdom. It gives, as a first result, the most probable wind sequences preceding each one of the 27 CWT Lamb classes in that period. Inversely, as a second result, the observed diffuse correlation between both five-day CWT sequences and the CWT of the 6(th) day, in the long 20-year period, can be generalized to predict the last from the previous CWT sequence in a different test period, like 1995, as both time series are similar. Although the average prediction error is comparable to that obtained by forecasting standard methods, the KNN approach gives complementary results, as they depend only on an objective classification of observed CWT data, without any model assumption. The 27 CWT of the Lamb Catalogue were coded with binary three-dimensional vectors, pointing to faces, edges and vertex of a “wind-cube,” so that similar CWT vectors were close

A Comparison of Wood Density between Classical Cremonese and Modern Violins

Classical violins created by Cremonese masters, such as Antonio Stradivari and Giuseppe Guarneri Del Gesu, have become the benchmark to which the sound of all violins are compared in terms of their abilities of expressiveness and projection. By general consensus, no luthier since that time has been able to replicate the sound quality of these classical instruments. The vibration and sound radiation characteristics of a violin are determined by an instrument's geometry and the material properties of the wood. New test methods allow the non-destructive examination of one of the key material properties, the wood density, at the growth ring level of detail. The densities of five classical and eight modern violins were compared, using computed tomography and specially developed image-processing software. No significant differences were found between the median densities of the modern and the antique violins, however the density difference between wood grains of early and late growth was significantly smaller in the classical Cremonese violins compared with modern violins, in both the top (Spruce) and back (Maple) plates (p = 0.028 and 0.008, respectively). The mean density differential (SE) of the top plates of the modern and classical violins was 274 (26.6) and 183 (11.7) gram/liter. For the back plates, the values were 128 (2.6) and 115 (2.0) gram/liter. These differences in density differentials may reflect similar changes in stiffness distributions, which could directly impact vibrational efficacy or indirectly modify sound radiation via altered damping characteristics. Either of these mechanisms may help explain the acoustical differences between the classical and modern violins

Consumer input into research: the Australian Cancer Trials website

<p>Abstract</p> <p>Background</p> <p>The Australian Cancer Trials website (ACTO) was publicly launched in 2010 to help people search for cancer clinical trials recruiting in Australia, provide information about clinical trials and assist with doctor-patient communication about trials. We describe consumer involvement in the design and development of ACTO and report our preliminary patient evaluation of the website.</p> <p>Methods</p> <p>Consumers, led by Cancer Voices NSW, provided the impetus to develop the website. Consumer representative groups were consulted by the research team during the design and development of ACTO which combines a search engine, trial details, general information about trial participation and question prompt lists. Website use was analysed. A patient evaluation questionnaire was completed at one hospital, one week after exposure to the website.</p> <p>Results</p> <p>ACTO's main features and content reflect consumer input. In February 2011, it covered 1, 042 cancer trials. Since ACTO's public launch in November 2010, until the end of February 2011, the website has had 2, 549 new visits and generated 17, 833 page views. In a sub-study of 47 patient users, 89% found the website helpful for learning about clinical trials and all respondents thought patients should have access to ACTO.</p> <p>Conclusions</p> <p>The development of ACTO is an example of consumers working with doctors, researchers and policy makers to improve the information available to people whose lives are affected by cancer and to help them participate in their treatment decisions, including consideration of clinical trial enrolment. Consumer input has ensured that the website is informative, targets consumer priorities and is user-friendly. ACTO serves as a model for other health conditions.</p