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

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

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

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

Taking Bitcoin to the stockmarket won’t do much for its risky image

Since its inception in 2008 digital currency Bitcoin has attracted critics who argue it’s inherently risky. The latest push to create an exchange traded fund (ETF) in order to make trading it easier, suggests attitudes to it haven’t changed. But some risks associated with a Bitcoin ETF is just like any other asset that becomes tied to investors and the stockmarket. The US Securities and Exchange Commission (SEC) has already rejected an application to create an ETF for Bitcoin. But there are two other proposals - (SolidX & Grayscale) still before the commission. Bitcoin is intended to act like currency in that, once you have a Bitcoin, you can use it to buy goods. It’s much the same as using electronic payments from a bank. Like a currency too, it has its own exchange rate and can be traded for other currencies. It has a history of wild price fluctuations as investors have in turns bought it with enthusiasm and sold it when spooked. The push for Bitcoin ETFs is not only the result of more and more money flowing into these funds, but also because ETFs make it much easier to invest in types of non-traditional assets like Bitcoin

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

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

A new technique for transumbilical insertion of central venous silicone catheters in newborn infants

Aim: A new technique allowing placement of umbilical silicone venous catheters (USVC) is described and compared with percutaneous silicone venous catheters (PSVC)