Collaboration on procurement of e-content between the National Health Service and higher education in the UK

Collaboration on procurement of e-content across health libraries in the NHS and in higher education should have advantages in avoiding unnecessary duplication of purchased content. The aim of the paper is to examine some of the strategies for ensuring that collaboration across the two sectors, works effectively. The paper is based on a report to the Joint Information Systems Committee of the Funding Councils (for higher and further education) in the UK, and the NHS Library and Knowledge Development Network on research conducted in 2006. The methods included interviews (n=39) with representatives from NHS and higher education bodies, representatives of independent health libraries, the National Library for Health, collective agencies, publishers and aggregators. There were common interests in functionality/interfaces, open access, and better metrics for estimating usage that might contribute to discussions with publishers over the licence terms. There are differences in the type of resource each sector might deem core. The extent of existing collaboration on purchasing and related collection management activities varied considerably across the UK. Three possible paths for cooperative activity were identified: 1) sharing information and joint advocacy; 2) building the technical infrastructure; and 3) joint procurement. Mapping of the stages, roles, actors and stakeholders in some processes was done with ‘use cases’ (Unified Modeling Language) to help identify some of the risks involved. Concludes that collaborative procurement of e-content activities should focus on health services research requirements, open access needs across the sectors, and more innovative analysis of usage statistics to profile usage and inform cost analyses of the impact of new roles for health librarians, and cost analyses of e-resources on a life cycle basis

Impersonal efficiency and the dangers of a fully automated securities exchange

This report identifies impersonal efficiency as a driver of market automation during the past four decades, and speculates about the future problems it might pose. The ideology of impersonal efficiency is rooted in a mistrust of financial intermediaries such as floor brokers and specialists. Impersonal efficiency has guided the development of market automation towards transparency and impersonality, at the expense of human trading floors. The result has been an erosion of the informal norms and human judgment that characterize less anonymous markets. We call impersonal efficiency an ideology because we do not think that impersonal markets are always superior to markets built on social ties. This report traces the historical origins of this ideology, considers the problems it has already created in the recent Flash Crash of 2010, and asks what potential risks it might pose in the future

C4: Verified Transactional Objects

A framework for Verified Transactional Objects in Coq. - Formalization of concurrent objects, linearizability, strict serializability, and associated proof techniques. - Verified linearizable concurrent hash map - Verified strictly serializable TML - Verified strictly serializable transaction-predicated ma

Iowa Department of Education Performance Report, FY2013

Agency Performance Repor