Parallel structurally-symmetric sparse matrix-vector products on multi-core processors

We consider the problem of developing an efficient multi-threaded implementation of the matrix-vector multiplication algorithm for sparse matrices with structural symmetry. Matrices are stored using the compressed sparse row-column format (CSRC), designed for profiting from the symmetric non-zero pattern observed in global finite element matrices. Unlike classical compressed storage formats, performing the sparse matrix-vector product using the CSRC requires thread-safe access to the destination vector. To avoid race conditions, we have implemented two partitioning strategies. In the first one, each thread allocates an array for storing its contributions, which are later combined in an accumulation step. We analyze how to perform this accumulation in four different ways. The second strategy employs a coloring algorithm for grouping rows that can be concurrently processed by threads. Our results indicate that, although incurring an increase in the working set size, the former approach leads to the best performance improvements for most matrices.Comment: 17 pages, 17 figures, reviewed related work section, fixed typo

Peripherally Inserted Central Catheters vs Peripheral Cannulas for Delivering Parenteral Nutrition in Neonates

CLINICAL QUESTION: Is parenteral nutrition via peripherally inserted central catheters (PICCs) associated with better delivery of nutrition and growth and fewer adverse events compared with short peripheral cannulas in neonates? BOTTOM LINE: Compared with short peripheral cannulas, parenteral nutrition via PICCs is associated with better nutrient delivery and lower rates of subsequent catheters or cannulas placed and is not associated with increased rates of invasive infection

Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Threatened bird valuation in Australia

Threatened species programs need a social license to justify public funding. A contingent valuation survey of a broadly representative sample of the Australian public found that almost two thirds (63%) supported funding of threatened bird conservation. These included 45% of a sample of 645 respondents willing to pay into a fund for threatened bird conservation, 3% who already supported bird conservation in another form, and 15% who could not afford to pay into a conservation fund but who nevertheless thought that humans have a moral obligation to protect threatened birds. Only 6% explicitly opposed such payments. Respondents were willing to pay about AUD 11 annually into a conservation fund (median value), including those who would pay nothing. Highest values were offered by young or middle aged men, and those with knowledge of birds and those with an emotional response to encountering an endangered bird. However, the prospect of a bird going extinct alarmed almost everybody, even most of those inclined to put the interests of people ahead of birds and those who resent the way threatened species sometimes hold up development. The results suggest that funding for threatened birds has widespread popular support among the Australian population. Conservatively they would be willing to pay about AUD 14 million per year, and realistically about AUD 70 million, which is substantially more than the AUD 10 million currently thought to be required to prevent Australian bird extinctions

On the Change in Archivability of Websites Over Time

As web technologies evolve, web archivists work to keep up so that our digital history is preserved. Recent advances in web technologies have introduced client-side executed scripts that load data without a referential identifier or that require user interaction (e.g., content loading when the page has scrolled). These advances have made automating methods for capturing web pages more difficult. Because of the evolving schemes of publishing web pages along with the progressive capability of web preservation tools, the archivability of pages on the web has varied over time. In this paper we show that the archivability of a web page can be deduced from the type of page being archived, which aligns with that page's accessibility in respect to dynamic content. We show concrete examples of when these technologies were introduced by referencing mementos of pages that have persisted through a long evolution of available technologies. Identifying these reasons for the inability of these web pages to be archived in the past in respect to accessibility serves as a guide for ensuring that content that has longevity is published using good practice methods that make it available for preservation.Comment: 12 pages, 8 figures, Theory and Practice of Digital Libraries (TPDL) 2013, Valletta, Malt

Relativistic Approach to Superfluidity in Nuclear Matter

Pairing correlations in symmetric nuclear matter are studied within a relativistic mean-field approximation based on a field theory of nucleons coupled to neutral ($\sigma$ and $\omega$) and to charged ($\varrho$) mesons. The Hartree-Fock and the pairing fields are calculated in a self-consistent way. The energy gap is the result of a strong cancellation between the scalar and vector components of the pairing field. We find that the pair amplitude vanishes beyond a certain value of momentum of the paired nucleons. This fact determines an effective cutoff in the gap equation. The value of this cutoff gives an energy gap in agreement with the estimates of non relativistic calculations.Comment: 21 pages, REVTEX, 8 ps-figures, to appear in Phys.Rev.C. e-mail: [email protected]

On stability of discretizations of the Helmholtz equation (extended version)

We review the stability properties of several discretizations of the Helmholtz equation at large wavenumbers. For a model problem in a polygon, a complete $k$-explicit stability (including $k$-explicit stability of the continuous problem) and convergence theory for high order finite element methods is developed. In particular, quasi-optimality is shown for a fixed number of degrees of freedom per wavelength if the mesh size $h$ and the approximation order $p$ are selected such that $kh/p$ is sufficiently small and $p = O(\log k)$, and, additionally, appropriate mesh refinement is used near the vertices. We also review the stability properties of two classes of numerical schemes that use piecewise solutions of the homogeneous Helmholtz equation, namely, Least Squares methods and Discontinuous Galerkin (DG) methods. The latter includes the Ultra Weak Variational Formulation

Are we choosing the right flagships? The bird species and traits Australians find most attractive

Understanding what people like about birds can help target advocacy for bird conservation. However, testing preferences for characteristics of birds is methodologically challenging, with bias difficult to avoid. In this paper we test whether preferred characteristics of birds in general are shared by the individual bird species the same people nominate as being those they consider most attractive. We then compare these results with the birds which appear most frequently in the imagery of conservation advocates. Based on a choice model completed by 638 general public respondents from around Australia, we found a preference for small colourful birds with a melodious call. However, when the same people were asked which five birds they found most attractive, 48% named no more than three, mostly large well-known species. Images displayed by a leading Australian bird conservation organisation also favoured large colourful species. The choice model results suggest conservation advocates can promote a much wider range of bird types as flagships, particularly smaller species that might otherwise be neglected