Downloads & Free Reading Options - Results

This is a project to design and create a software system for sharing formal algorithmic mathematics among theorem provers, and for making formal algorithmic mathematics accessible to people who value verified accounts of algorithms. The project is also committed to creating interesting specimens of formally explained algorithms. Our work enables a new approach to CIP/SW; we call it information-intensive infrastructure protection. We describe the rationale for this approach in this report.

This is a project to design and create a software system for sharing formal algorithmic mathematics among theorem provers, and for making formal algorithmic mathematics accessible to people who value verified accounts of algorithms. The project is also committed to creating interesting specimens of formally explained algorithms. Our work enables a new approach to CIP/SW; we call information-intensive infrastructure protection. We describe the rationale for this approach in this report.

This report summarizes the conceptual basis and the first prototype of an Interactive Digital Library of Formal Algorithmic Knowledge. The key purpose of the prototype library is to demonstrate that it is possible to organize formal knowledge that is necessary for the development of reliable hardware and software and to provide software tools for using it in a variety of ways.

Friday, July 22, 2022: 2:00 pm (DAC 416ABC): This talk will examine digitizing books at scale and some interesting technology tidbits as to how an operation like this actually works. For example: why is the page-turning not automated? What are the building blocks of such a system? What were some of the most significant (and unexpected) issues along the way of scaling this system to digitize over one million books a year on the Internet Archive books digitization platform? Why do this in the first place, one may ask? In short, because accessibility drives preservation and, for an increasing amount of use cases, if a book is not easily accessible online, it might as well not exist. Moreover, digital artifacts have specular properties to the physical ones in that they are easy to distribute (and easy to censor!), which means that once the expensive task of creating one is done, the problem is only one of access control. There is a lively policy discussion about what these access controls can and should be, but the argument here is that not only is it important that we invest in creating the digital artifacts, but also that these are maintained by some type of lender of last resort. This talk will discuss how people can make digital libraries part of their lives, and how these libraries can improve those lives. There is often a misunderstanding of digital books being an alternative to physical ones. In fact, they are a complement, working together to give us better knowledge. Digital books allow us to do things like full text search, direct linking, and can support digital media embedding. This talk will also include a discussion on a few of these use cases, as well as examples of tools that are available to enrich one's reading and learning experience. Davide Semenzin Source: https://www.youtube.com/watch?v=pRA8Ub3qErw Uploader: Channel2600

The libraries in U.S. research universities are being systematically depopulated of current subscriptions to scholarly journals. Annual increases in subscription costs are consistently outpacing the growth in library budgets; this has become a chronic problem for academic libraries which collect in the fields of science, engineering, and medicine. Case Western Reserve University has built a novel digital library distribution system and focused collections in the chemical sciences to investigate a new approach to solving a significant portion of this problem. By collaborating with another research library which has a strong chemical sciences collection, they have developed a methodology to control costs of scholarly journals and have planted the seeds of a new consortial model for building digital libraries. This paper summarizes Case Western Reserve University's progress to date and indicates areas in which the University is continuing its research and development. The University's rights management system, consortial and equipment standards, scanning and workflow, and technical justification for a digitization for the consortium are described in appendices. (Author/AEF)

The libraries in U.S. research universities are being systematically depopulated of current subscriptions to scholarly journals. Annual increases in subscription costs are consistently outpacing the growth in library budgets; this has become a chronic problem for academic libraries which collect in the fields of science, engineering, and medicine. Case Western Reserve University has built a novel digital library distribution system and focused collections in the chemical sciences to investigate a new approach to solving a significant portion of this problem. By collaborating with another research library which has a strong chemical sciences collection, they have developed a methodology to control costs of scholarly journals and have planted the seeds of a new consortial model for building digital libraries. This paper summarizes Case Western Reserve University's progress to date and indicates areas in which the University is continuing its research and development. The University's rights management system, consortial and equipment standards, scanning and workflow, and technical justification for a digitization for the consortium are described in appendices. (Author/AEF)

Building Digital Inclusion: Broadband and Missouri’s Public Libraries; the second in a series of MoBroadbandNow reports addressing the broadband challenges in Missouri; high speed Internet service; computers; communication; library

Our objective was to study the feasibility of extending the Dienst protocol to enable a multi-discipline, multi-format digital library. We implemented two new technologies: cluster functionality and publishing buckets. We have designed a possible implementation of clusters and buckets, and have prototyped some aspects of the resultant digital library. Currently, digital libraries are segregated by the disciplines they serve (computer science, aeronautics, etc.), and by the format of their holdings (reports, software, datasets, etc.). NCSTRL+ is a multi-discipline, multi-format digital library (DL) prototype created to explore the feasibility of the design and implementation issues involved with created a unified, canonical scientific and technical information (STI) DL. NCSTRL+ is based on the Networked Computer Science Technical Report Library (NCSTRL), a World Wide Web (WWW) accessible DL that provides access to over 80 university departments and laboratories. We have extended the Dienst protocol (version 4.1.8), the protocol underlying NCSTRL, to provide the ability to cluster independent collections into a logically centralized DL based upon subject category classification, type of organization, and genre of material. The concept of buckets provides a mechanism for publishing and managing logically linked entities with multiple data formats.

Our objective was to study the feasibility of extending the Dienst protocol to enable a multi-discipline, multi-format digital library. We implemented two new technologies: cluster functionality and publishing buckets. We have designed a possible implementation of clusters and buckets, and have prototyped some aspects of the resultant digital library. Currently, digital libraries are segregated by the disciplines they serve (computer science, aeronautics, etc.), and by the format of their holdings (reports, software, datasets, etc.). NCSTRL is a multi-discipline, multi-format digital library (DL) prototype created to explore the feasibility of the design and implementation issues involved with created a unified, canonical scientific and technical information (STI) DL. NCSTRL is based on the Networked Computer Science Technical Report Library (NCSTRL), a World Wide Web (WWW) accessible DL that provides access to over 80 university departments and laboratories. We have extended the Dienst protocol (version 4.1.8), the protocol underlying NCSTRL, to provide the ability to cluster independent collections into a logically centralized DL based upon subject category classification, type of organization, and genre of material. The concept of buckets provides a mechanism for publishing and managing logically linked entities with multiple data formats.

In February 2001, the Council on Library and Information Resources (CLIR) and the National Initiative for a Networked Cultural Heritage (NINCH) convened a meeting to discuss how museums and libraries are building digital collections and what business models are available to sustain them. A group of museum and library senior executives met with business and legal experts, technologists, and funders to discuss the challenges that cultural institutions face when putting collections online and to identify some models for sustainability that support the core missions and do not conflict with the internal cultures of nonprofit entities. Speakers were asked to outline the elements of their business models, describe how they were developed, and predict their prospects for the future. Six approaches are outlined, ranging from two enterprises that have been providing access to scholarly journals online for several years to new initiatives that are based on collaborations among institutions. This report summarizes the information shared by presenters, followed by the discussions that ensued among participants. Discussion of the presentations focused on the following four topics: business models, scalability, organizational impact, and sustainability. On the basis of the day's discussions, the group was asked to propose an agenda for action. In addressing the short- and long-term needs of museums and libraries, participants identified four distinct areas that deserve the greatest attention: elements of a sound business plan, elements needed to sustain digital efforts at all types of institutions, inter-institutional issues, and funding. These recommendations and next steps appear at the end of the report. An appendix includes a list of participants. (Contains 21 references.) (AEF)

Eight scholarly papers and seven abstracts comprise the content of the twenty-third annual Brick & Click Libraries Conference, held annually at Northwest Missouri State University in Maryville, Missouri. The 2023 paper and abstract titles include: (1) The Reliability and Usability of ChatGPT for Library Metadata (Jenny Bodenhamer); (2) A Balancing Act in the Archives: Increasing Access to the Great Plains Black History Museum Collections (Wendy Guerra and Lori Schwartz); (3) Developing Info Students Where They Are: Personalizing Instruction to Increase Literacy Skills to Meet Engagement (Jorge A. León); (4) Empowering Undergraduates: Building Confidence in Primary Source Literacy (Jaycie Vos and Jess Cruz); (5) Quest for the Best: An Info Lit Strategy for First Year Seminars (Stephanie Hallam, Mary Bangert, and Michael Bezushko); (6) Are We Putting Our Values into Practice? Chat Reference Assessment (Mardi Mahaffy); (7) A Pilot Workshop on AI Art and Libraries at the University of Mississippi (Alex Watson); (8) New Expansions of Open Access to Benefit Research and Researchers (Barbara Pope); (9) Zettelkasten Note-Taking in Zotero for Grounded Writing (Rachel Brekhus); (10) Building Community: Library Leadership of a Common Book Program (Jill Becker); (11) Digital Media and Innovation Lab: A Must Have for Academic Libraries (Navadeep Khanal and Joseph Sabo); (12) Digital Libraries as Digital Third Place: Virtual Programming in the Age of Loneliness (Craig Finlay and Jenny Haddon); (13) Community Engagement: Academic and School Library Partnerships (Melissa Dennis); (14) Launching a Ticketing System With Asana (Hong Li); and (15) Meeting the Needs of Student Parents (Sarah Hebert). [For the 2022 proceedings, see ED623765.]

Seventeen scholarly papers and twelve abstracts comprise the content of the twentieth annual Brick & Click Libraries Conference, held annually at Northwest Missouri State University in Maryville, Missouri. The twentieth Brick & Click Libraries Conference was held virtually. The proceedings, authored by academic librarians and presented at the conference, portray the contemporary and future face of librarianship. The 2020 paper and abstract titles include: (1) From the Wild West to Teamwork: Faculty Driven Acquisitions (Randyn Heisserer-Miller, Stephanie Hallam, and Brad Reel); (2) Student Engagement: Exploring Primary Sources in the Library of Congress in an Online Course (Peggy Ridlen); (3) Object Oriented vs Functional Programming - Library Instruction in a Bite-Sized Functional Model (Billy Moore); (4) When People Count: Leveraging Internal Resources to Develop a Program for Tracking Building Usage (Terra Feick); (5) Interactive Introductions for International Students: Reworking How We Teach Information Literacy Skills (Kelly Hovinga); (6) Fostering Success for New Faculty Librarians (Karen Bleier); (7) We Did It, You Can Do It, Too: In-House Digital Preservation (Samantha Henning); (8) Stacking it Up: A Textbooks on Reserve Program (Katharine Baldwin and Jenise Overmier); (9) Teaching into the Gray Areas: Designing Learning Activities That Encourage Higher Order Thinking and Research Skills (Virginia L. Cairns); (10) Building a Teaching Strategy Toolkit to Engage Learners (Courtney Mlinar); (11) Cracking the Code: Building an Assessment Plan with Student Discussion Boards (Anthony Rodgers and Courtney Strimel); (12) Making the Most of LibApps (Kayla Reed); (13) Neither Rain, Nor Sleet, Nor Gloom of Night: Maintaining Library Services During a Medical State of Emergency (Rob Withers); (14) Psychological Safety and Building Effective Teams (Kara Whatley, Deborah Caesar, Amanda Watson, and Molly Nystrom); (15) Summer in the Stacks: A Weeding Experience Between Faculty and Library (Kayla Reed and Hong Li); (16) Puppies and Kitties Oh My!: Partnering with a Local PETPALS Organization (Leila June Rod-Welch and Jordan A. Newburg); (17) Unlocking Online Escape Rooms for Library Instruction (Sean Cordes); (18) Spectral Tales: Lessons Learned from Being Ghosted by Faculty (Tammi M. Owens, Meghan Salsbury, and Heidi Blackburn); (19) The Librarian's Guide to Zines for Classroom and Community (Claire Du Laney, Monica Maher, and Amy C. Schindler); (20) Professionalizing Student Employment: The Library Associates Program at Hendrix College (Janice Weddle); (21) Making It Easy to Read Harder: Implementing a Reading Challenge at Community College (Amy Fortner, Anthony Rodgers, and Gwen Wolfe); (22) Beyond the Humanities: Archives Instruction for Science and Medicine (Laurinda Weisse); (23) Library Collaboration with the Smithsonian: World War I Lessons and Legacies Exhibit (Leila June Rod-Welch and Julie Ann Beddow); (24) The Genesis of a Conduct Policy in a Medium-Sized Academic Library (John Baken); (25) Universal Design and Accessibility: A Checklist for LibGuides and Online Tutorials (Courtney Mlinar); (26) Anti-vaxxers, Sasquatch DNA and Other "Scientific" Findings: Actively Engaging Distance Students in Media Literacy (Joanna Nemeth); (27) All Good Things Must Come to an End: When Library Staff Pass Away (Rob Withers); (28) If "They" Build it, "They" Will Come (Martha Allen); and (29) Save the Earth - Earth Day Game Drive: Small Steps, Big Impact (Leila June Rod-Welch). [For the 2019 proceedings, see ED600185.]