It is widely recognised that libraries need to transform the way they present their collections to users. As library catalogues are still the main discovery tool for libraries’ resources, they need to change too. What can we do while we wait for the transformations possible with FRBR and RDA? This paper outlines The University of Auckland Library’s efforts to improve access to their resources. ...

In this paper we describe our participation in INEX 2009 in the Ad Hoc Track, the Book Track, and the Entity Ranking Track. In the Ad Hoc track we investigate focused link evidence, using only links from retrieved sections. The new collection is not only annotated with Wikipedia categories, but also with YAGO/WordNet categories. We explore how we can use both types of category information, in t...

Unit of Pediatric Cardiology and Adult Congenital Heart Diseases Instituto do Coração (InCor) Hospital das Clı́nicas da Faculdade de Medicina da Universidade de São Paulo, Brazil. Laboratory of Neuromodulation & Center of Clinical Research Learning, Department of Physical Medicine and Rehabilitation, Spaulding Rehabilitation and Massachusetts General Hospital, Harvard Medical School, Boston, MA....

☆ The financial support of the National Science Founda Sage Foundation, and the Gordon and Betty Moore Fo acknowledged. The paper benefited from discussion conference and seminar presentations. We are especia suggestions from Ernesto Dal Bo, John Londregan, Thoma and editor. Kirill Pogorelskiy provided excellent research ⁎ Corresponding author. E-mail addresses: [email protected] (M. Agr...

Co-operative teamwork among undergraduate and graduate students is increasingly common in marketing education. Research on this topic has been valuable in identifying problems that students experience, describing the ways that groups perform on various constructs of general interest and in recommending ways to help students overcome common team problems (see Batra et al. 1997). Yet, in order to...

Variety of computing systems have been proposed to provide protection for sensitive code or data through hardware or software mechanisms. This paper surveys the landscape of security verification approaches and techniques for hardware/software systems at different levels: from a software-application level all the way to the physical hardware level. Different existing projects are compared, base...

The development of embedded software for radar applications may require software design processes that comply with the DO-178B standard or related processes. This raises issues about cost and productivity associated with the development of such mission-critical applications. In this paper, we introduce the value of the formal design, verification, and implementation technologies offered by mode...

This paper develops a simple model to analyze how a lack of political competition may lead to policies that hinder economic growth. We test the predictions of the model on panel data for the US states. In these data, we …nd robust evidence that lack of political competition in a state is associated with anti-growth policies: higher taxes, lower capital spending and a reduced likelihood of using...

The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and is instrumental in energy-aware software development. Our objective is to estimate such energy consumption in the form of functions on the input data sizes of programs. We have developed a tool for experimentation with static analysis...

Commonly, when a weblab is developed to support remote experiments in sciences and engineering courses, a particular hardware/software architecture is implemented. However, the existence of several technological solutions to implement those architectures difficults the emergence of a standard, both at hardware and software levels. While particular solutions are adopted assuming that only qualif...