Links [1] http://medlineplus.gov/ [2] http://www.medlineplus.gov [3] http://www.nlm.nih.gov/medlineplus/mplusdictionary.html [4] http://www.nlm.nih.gov/medlineplus/encyclopedia.html [5] http://www.nlm.nih.gov/medlineplus/druginformation.html [6] https://www.hsl.virginia.edu/pfl [7] https://www.hsl.virginia.edu/portal/patients/patient_safety.pdf [8] https://www.hsl.virginia.edu/collections/consu...

Links [1] http://medlineplus.gov/ [2] http://www.medlineplus.gov [3] http://www.nlm.nih.gov/medlineplus/mplusdictionary.html [4] http://www.nlm.nih.gov/medlineplus/encyclopedia.html [5] http://www.nlm.nih.gov/medlineplus/druginformation.html [6] https://www.hsl.virginia.edu/pfl [7] https://www.hsl.virginia.edu/portal/patients/patient_safety.pdf [8] https://www.hsl.virginia.edu/collections/consu...

Links [1] http://medlineplus.gov/ [2] http://www.medlineplus.gov [3] http://www.nlm.nih.gov/medlineplus/mplusdictionary.html [4] http://www.nlm.nih.gov/medlineplus/encyclopedia.html [5] http://www.nlm.nih.gov/medlineplus/druginformation.html [6] https://www.hsl.virginia.edu/pfl [7] https://www.hsl.virginia.edu/portal/patients/patient_safety.pdf [8] https://www.hsl.virginia.edu/collections/consu...

Links [1] http://medlineplus.gov/ [2] http://www.medlineplus.gov [3] http://www.nlm.nih.gov/medlineplus/mplusdictionary.html [4] http://www.nlm.nih.gov/medlineplus/encyclopedia.html [5] http://www.nlm.nih.gov/medlineplus/druginformation.html [6] https://www.hsl.virginia.edu/pfl [7] https://www.hsl.virginia.edu/portal/patients/patient_safety.pdf [8] https://www.hsl.virginia.edu/collections/consu...

Researchers working in the IR field have placed much reliance on building test collections that can be used widely by many researchers. Many collections have been used for years even decades. In the age of contextual IR, this talk will advocate an alternative less tried approach, that of building many context specific collections, that don’t require a great deal of effort to build but may not b...

CnC is a system for describing the structure of parallel computation, or coordinating the dataand control-flow between the individual steps of a computation [2, 3]. A CnC application specifies a set of discrete step functions, and the data collections used as input to and output from those step functions.1 The CnC coordination language describes the relationship between a specific invocation of...

This volume addresses fundamental questions about the nature, value, and efficacy of museum collections in a postcolonial world and the agency of indigenous people in their production. The book’s primary focus lies with those objects that, by way of their specific histories, have been defined as “ethnographic”; however, the question of the contexts in which things are defined as “art” as oppose...

Large collections of shapes are becoming freely available, and we will soon need tools that quickly give an overview of the contents of a shape database. We present a browsing tool that produces a hierarchical, cluster-based overview of a shape collection, and allows users to zoom in on individual clusters to get more detailed views. Our browsing interface is particularly effective for analyzin...

This development provides an efficient, extensible, machine checked collections framework for use in Isabelle/HOL. The library adopts the concepts of interface, implementation and generic algorithm from object-oriented programming and implements them in Isabelle/HOL. The framework features the use of data refinement techniques to refine an abstract specification (using high-level concepts like ...