Many mechanized reasoning systems have facilities for presenting formal content in a more human-oriented way, from outputting web pages to generating verbalisations of proofs. However, these are still some way from producing materials suitable for a mainstream mathematical audience. As an exploratory investigation into this mismatch, we have built a prototype digital library based on the Mizar ...

“InfoLitGlobal” is an international educational digital library which was created by the Information Literacy Section of the International Federation of Library Association and Institutions (IFLA) on behalf of UNESCO. “InfoLitGlobal” was conceived as a best practice and collaboration tool for information professionals who want to share their IL resources and materials with an international comm...

the paper has been performed to review library administrators' strategic planning role to improve the library staff of medical sciences university of iran. the study is survey-descriptive. the statistical population consists of 50 library administrators working in iran medical sciences university, but 44 subjects responded to the questionnaire used to gather data. the reliability (91.7%) w...

This special issue of Library Trends is comprised of sixteen articles that tell fascinating stories about the ground-breaking efforts of numerous partners within the Library of Congress National Digital Information Infrastructure and Preservation Program (NDIIPP). Since its inception in 2004, NDIIPP has grown from an experimental program into a true partnership of concerned organizations workin...

Whole transcriptome RNA-sequencing is a powerful tool, but is costly and yields complex data sets that limit its utility in molecular diagnostic testing. A targeted quantitative RNA-sequencing method that is reproducible and reduces the number of sequencing reads required to measure transcripts over the full range of expression would be better suited to diagnostic testing. Toward this goal, we ...

The use of courseware for information skills teaching in academic libraries has been growing for a number of years. In order to create effective courseware packages to support joint electronic library activity at Glasgow and Strathclyde Universities, the GAELS project conducted a literature review of the subject. This review discovered a range of factors common to successful library courseware ...

Digital library (DL) increasingly becomes an important learning topic for training librarians and information specialists. However, due to many perspectives, models, and activities developed in DL field, it is difficult for students to develop an initial clear understanding of DL. Current available e-learning environments (such as Blackboard) cannot provide the desired functionalities for suppo...

Solid freeform fabrication (SFF) allows 3D-printing of arbitrarily shaped structures, directly from computer-aided design (CAD) data. SFF has traditionally focused on printing passive mechanical parts. Advances in this technology and developments in materials science make it feasible to begin the development of a single, compact, robotic SFF system – including a small set of materials which can...