Development of discovery learning based science model-oriented character education. This research aimed to determine the validity, practicality and effectiveness model development on oriented education class IV Elementary School in Pallangga Subdistrict Gowa Regency. study applied kinds Research (R & D) related Borg Gall model. Data collection used observation, questionnaire, documentation,...

This article discusses the present state of access to books and other reading materials for inmates in Japan’s correctional facilities. While no professionally managed libraries are provided at these facilities— which explains why the term Prison Libraries in the title of this article is placed in quotation marks—incarcerated persons have the opportunity to obtain personal books, magazines, and...

Introduction. This paper presents the findings from a project that investigated the lived experiences of library and information professionals in relation to evidence-based practice within an Australian public library. Method. The project employed ethnography, which allows holistic description of people's experiences within a particular community or cultural setting. A member of the research te...

interfaces are heavily used to ease statements and proofs (Krebbers and Spitters 2013). Thanks to type classes, the algebraic and order hierarchies (setoid, group, ring, and so on) easily benefit from inheritance. Finally, C-CoRN and Coq’s standard library are not entirely unrelated: Kaliszyk and O’Connor (2009) provide an equivalence lemma between both libraries, under the axioms of the standa...

World Digital Libraries 1(1): 77–78 ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ Open access was initially projected as a publishing model parallel to commercial publishing model for scholarly communication to check spiralling prices of journals. The philosophy behind this movement was that global and unr...

Applied research in graph algorithms and combinatorial structures needs comprehensive and versatile software libraries. However, the design and the implementation of flexible libraries are challenging activities. Among the other problems involved in such a difficult field, a very special role is played by graph classification issues. We propose new techniques devised to help the designer and th...

Project Goals • "Fuzzy" Navigation • Physically and Visually Intuitive • Large Libraries A traditional music library system controlled by a mouse and keyboard is precise, allowing users to select their desired song. Alternatively, randomized playlist or shuffles are used when users have no particular music in mind. We present a new interface and visualization system called Strike-A-Tune for fuz...

The evolution of digital libraries and the Internet has dramatically transformed the processing, storage, and retrieval of information. Efforts to digitize text, images, video, and audio now consume a substantial portion of both academic and industrial activity. Even when there is no shortage of textual materials on a particular topic, procedures for indexing or extracting the knowledge or conc...

The European Library provides access to research materials from the collections of Europe’s national and research libraries, representing members from 46 countries. This paper presents the current status, on-going work, and future plans of the resource dissemination services provided by The European Library, covering resources such as national bibliographies, digital collections, full text coll...