Log in

Relevant bibliographies by topics / Certified library

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Certified library'

Author: Grafiati

Published: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Certified library.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Certified library"

1

Sambo, Atanda Saliu, Abdulakeem Akoworada Imran, and Mohammed Lawal Akanbi Akanbi. "Digital Literacy Skills Among Certified Librarians in Nigerian Libraries: Library Overview." Journal of Digital Learning and Education 2, no. 2 (2022): 70–79. http://dx.doi.org/10.52562/jdle.v2i2.316.

Full text

Abstract:

Certified librarians in Nigeria libraries must be proactive and come on board to adopt a new intellectualizes digital literacy as a required ability that an individual must compulsorily possess. Three objectives such as types digital literacy skills, how it acquires and challenges faced by certified librarians. The study employed a social survey technique of research with a questionnaire as the research instrument. The study was carried out using the Statistical Package for the Social Sciences (SPSS) application software. The findings of this study show that the majority of certified librarian

APA, Harvard, Vancouver, ISO, and other styles

2

K. Townsend, Andrea. "Environmental sustainability and libraries: facilitating user awareness." Library Hi Tech News 31, no. 9 (2014): 21–23. http://dx.doi.org/10.1108/lhtn-07-2014-0059.

Full text

Abstract:

Purpose – The purpose of this research paper is to examine how Canadian Leadership in Energy and Environmental Design (LEED)-certified libraries are facilitating awareness about environmental sustainability to library users. Design/methodology/approach – Twenty-four Canadian LEED-certified libraries were surveyed regarding internal initiatives, and methods used to promote their certification and green building features to library users. Findings – The research found that the majority of Canadian LEED-certified libraries were incorporating a variety of internal initiatives and methods to highli

APA, Harvard, Vancouver, ISO, and other styles

3

Sambo, Atanda Saliu, and Gloria Oyovwe-Tinuoye. "Awareness and Perception of certified librarians of Nigeria towards the use of robotic technologies in the libraries." Ghana Library Journal 28, no. 1 (2023): 26–34. http://dx.doi.org/10.4314/glj.v28i1.3.

Full text

Abstract:

The study adopted the social survey technique and the population of the study comprised 452 certified librarians of Nigeria libraries that were certified by the Librarians’ Registration Council of Nigeria (LRCN) on November, 24th, 2021. The librarians who took part in the survey were chosen using a random sampling method. One out of every three librarians being admitted on the day was given the questionnaire. The researcher used Statistical Package for the Social Sciences (SPSS version 20.0) application software with simple percentages chosen for easier analysis and interpretation. The finding

APA, Harvard, Vancouver, ISO, and other styles

4

CHLIPALA, ADAM. "Modular development of certified program verifiers with a proof assistant,." Journal of Functional Programming 18, no. 5-6 (2008): 599–647. http://dx.doi.org/10.1017/s0956796808006904.

Full text

Abstract:

AbstractWe report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checked proof of full correctness. The verifier is able to prove memory safety of x86 machine code programs compiled from code that uses algebraic datatypes. The tool's soundness theorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions. We take advantage of Coq's support for programming with dependent types and modules in the structure of the development. The approach is based on developing a library of reusab

APA, Harvard, Vancouver, ISO, and other styles

5

Moy, Yannick, and Claire Dross. "Proving the Correctness of GNAT Light Runtime Library." ACM SIGAda Ada Letters 42, no. 1 (2022): 65–67. http://dx.doi.org/10.1145/3577949.3577959.

Full text

Abstract:

The GNAT light runtime library is a version of the runtime library targeted at embedded platforms and certification, which has been certified for use at the highest levels of criticality in several industrial domains. It contains around 180 units focused mostly on I/O, numerics, text manipulation, memory operations. We have used SPARK to prove the correctness of 40 of them: that the code is free of runtime errors, and that it satisfies its functional specifications.

APA, Harvard, Vancouver, ISO, and other styles

6

LAMBOV, BRANIMIR. "RealLib: An efficient implementation of exact real arithmetic." Mathematical Structures in Computer Science 17, no. 1 (2007): 81–98. http://dx.doi.org/10.1017/s0960129506005822.

Full text

Abstract:

This paper is an introduction to the RealLib package for exact real number computations. The library provides certified accuracy, but tries to achieve this at performance close to the performance of hardware floating point for problems that do not require higher precision. The paper gives the motivation and features of the design of the library and compares it with other packages for exact real arithmetic.

APA, Harvard, Vancouver, ISO, and other styles

7

Takaike, Norihiko. "Academic libraries in certified evaluation and accreditation of universities." Library and Information Science 75 (June 30, 2016): 1–36. http://dx.doi.org/10.46895/lis.75.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Benson, Megan, and Kari Mofford. "Librarian/Yoga Teachers: Uncovering a Unique Population." Journal of New Librarianship 7, no. 2 (2022): 10–30. http://dx.doi.org/10.33011/newlibs/12/8.

Full text

Abstract:

A survey was created to determine whether or not there is a community of librarians/library workers who are also certified to teach yoga. The survey helped to identify the size of the community and explored the participant’s experiences associated with the dual skills sets. Results show there are strong benefits for those library workers who have their yoga certification, but there are also concerns and challenges that demonstrate a need for a more formal community and further research.

APA, Harvard, Vancouver, ISO, and other styles

9

Wardana, Billy Eka. "Certified Manajemen Pendidikan Islam (Teori, Prinsip, Aspek, Fungsi, dan Konsep)." Asian Journal of Management Analytics 1, no. 2 (2022): 79–88. http://dx.doi.org/10.55927/ajma.v1i2.1448.

Full text

Abstract:

Reorientasi Pendidikan dengan mengembalikan ke garis pendidikan Ki Hajar Dewantara yang dikembangkan secara konstekstual dan lebih maju bukan sekedar menyiapkan peserta didik sebagai sekrup industrialisasi ekonomi tetapi merupakan prosen belajar seutuhmya. Tujuan pendidikan islam secara efektif dan efisien diletakkan atas 4 sandaran yaitu sandar teologis, rasional, empiris, dan teoretis. Metode Penelitian ini berupa data kualitatif dengan menggunakan pendekatan library research (studi kepustakaan). Hasil dan pembahasan menerangkan fungsi manajemen atau tugas kepemimpinan dalam pelaksanaannya m

APA, Harvard, Vancouver, ISO, and other styles

10

Herzberg, Tina S., and Laura M. Stough. "The Production of Brailled Instructional Materials in Texas Public Schools." Journal of Visual Impairment & Blindness 101, no. 8 (2007): 465–78. http://dx.doi.org/10.1177/0145482x0710100803.

Full text

Abstract:

This study investigated the background of personnel who are responsible for transcribing braille in Texas. Most respondents were not certified by the Library of Congress and believed that they had begun their careers less than adequately prepared, yet they rated the quality of the materials that they produced as either excellent or good.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Certified library"

1

Moos, Daniel D. Hawkins Peggy L. Morin Patricia J. Hadenfeldt Sharon. "Barriers to the publication of scientific literature by academic certified registered nurse anesthetists." Click here for access, 2009. http://www.csm.edu/Academics/Library/Institutional_Repository.

Full text

Abstract:

Thesis (Ed. D)--College of Saint Mary -- Omaha, 2009.<br>A dissertation submitted by Daniel D. Moos in partial fulfillment of the requirement for the degree of Doctor in Education with an emphasis on Health Professions Education. This dissertation has been accepted for the faculty of College of Saint Mary by: Peggy Hawkins, RN, PhD, chair ; Patricia J. Morin, RN, PhD, committee member ; Sharon Hadenfeldt, CRNA, PhD, committee member. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

2

Zucchini, Rébecca. "Bibliothèque certifiée en Coq pour la provenance des données." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG040.

Full text

Abstract:

La présente thèse se situe à l'intersection des méthodes formelles et des bases de données, et s'intéresse à la formalisation de la provenance des données à l'aide de l'assistant de preuve Coq. L'étude de la provenance des données, qui permet de retracer leur origine et leur historique, est essentielle pour assurer la qualité des données, éviter les interprétations erronées et favoriser la transparence dans le traitement des données. La thèse propose ainsi la formalisation de deux types de provenance des données couramment utilisés, la How-provenance et la Where-provenance. Cette formalisation

APA, Harvard, Vancouver, ISO, and other styles

3

Fernandes, Nuno Filipe Trovisco. "Cryptographic library support for a certified compiler." Master's thesis, 2014. http://hdl.handle.net/1822/37511.

Full text

Abstract:

Dissertação de mestrado em Engenharia Informática<br>An essential component regarding the development of information systems is the compiler: a tool responsible for translating high-level language code, like C or Java, into machine code. The issue is, compilers are themselves big and complex programs, making them also vulnerable to failures that may be propagated to the compiled programs. To overcome those risks research on “certified compilers” has been made, and recently some proposals have appeared. That sort of compilers guarantees that the compilation process runs as specified. In t

APA, Harvard, Vancouver, ISO, and other styles

4

"Digital libraries in schools: The best practices of national board certified library media specialists." UNIVERSITY OF MARYLAND, COLLEGE PARK, 2009. http://pqdtopen.proquest.com/#viewpdf?dispub=3359753.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Certified library"

1

Sales and Marketing Foundation staff. Advanced Sales Skills (The Certified Sales Professionals Library). Irwin Professional Pub, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Executive Sales Management Skills (The Certified Sales Professional Library). Irwin Professional Pub, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Basic Sales Management Skills (The Certified Sales Professional Library). Irwin Professional Pub, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Stephens, Claire Gatrell, and Patricia Franklin. School Library Collection Development. ABC-CLIO, LLC, 2012. http://dx.doi.org/10.5040/9798216011231.

Full text

Abstract:

This practical manual demystifies the process of creating and maintaining a quality school library collection—an invaluable resource for anyone working in a library media center. Today's school librarians have many different responsibilities, but arguably the most important aspect of their job is developing and maintaining a collection that their library customers love. School Library Collection Development: Just the Basics is an accessible, practical manual that explains the fundamentals of purchasing, developing, and managing a collection. Containing information useful to anyone from a parap

APA, Harvard, Vancouver, ISO, and other styles

5

Mulford, Sam McBane, and Ned A. Himmel. How Green is My Library? ABC-CLIO, LLC, 2009. http://dx.doi.org/10.5040/9798400666629.

Full text

Abstract:

While there is a broad spectrum of ecological sophistication within libraries nationwide and some regions are at the forefront of sustainable of sustainable design and operations, others are just beginning or have yet to integrate materials recycling into their daily practice. A few jurisdictions are mandating LEED certified buildings and carbon-neutral practices, while others do not yet have these concepts on their radars.

APA, Harvard, Vancouver, ISO, and other styles

6

Messner, Patricia A., and Brenda S. Copeland. School Library Management. ABC-CLIO, LLC, 2011. http://dx.doi.org/10.5040/9798216011309.

Full text

Abstract:

Written in clear, simple language, this book provides information that will help an aide or paraprofessional manage a school library. Setting up and managing a library media center is a complex task best handled by a certified and experienced librarian, but the fact of the matter is that many school districts have had to cut librarian positions and are attempting to fill the gaps with aides. School Library Management: Just the Basics describes the step-by-step process of setting up the management processes in a school library and outlines easy management concepts that will guide aides through

APA, Harvard, Vancouver, ISO, and other styles

7

Sapstead, Gareth. Ultimate Abs. Human Kinetics, 2022. http://dx.doi.org/10.5040/9781718225756.

Full text

Abstract:

“Ultimate Abs does more than give you workouts. It teaches the principles of core training, setting you up for sustainable, long-term success.” Ebenezer Samuel, CSCS Fitness Director at Men’s Health "You want a strong, jacked core? Ultimate Abs shows you a much better way to train your abs and obliques. It’s your workout guide for building an athletic core." Nick Tumminello Author of Your Workout Perfected “Ultimate Abs just set the new standard for core training in our field, and nothing is likely to surpass it.” Joel Seedman, PhD Neuromuscular Physiologist Performance Specialist Founder and

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Certified library"

1

Braibant, Thomas. "Coquet: A Coq Library for Verifying Hardware." In Certified Programs and Proofs. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25379-9_24.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Marco-Buzunariz, Miguel Ángel, and Marcos Rodríguez. "SIROCCO: A Library for Certified Polynomial Root Continuation." In Mathematical Software – ICMS 2016. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-42432-3_24.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Okada, Daisuke. "10,000 Newly Certified Librarians, 100 Secure Jobs." In Internationalization of Library and Information Science Education in the Asia-Pacific Region. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-2273-8.ch004.

Full text

Abstract:

This chapter discusses the status, challenges, and issues encountered in librarianship in Japan, especially school librarianship. Specifically, it focuses on the certifications for school library staff, the curriculum model, and the employability of certified librarians. Topics related to Library and Information Studies schools, training programs for certified librarians, summer and distance education, qualifications and accreditation of teacher librarians are discussed as well. Currently, librarianship and school librarianship are not close to implementing internationalization; however, this discussion cannot be avoided. Hence, this chapter argues that it is necessary to incorporate the specific trends in Japan along with global trends.

APA, Harvard, Vancouver, ISO, and other styles

4

Waheed, Zehra. "The British Council Lahore’s Green and LEED-certified Library Building." In Green Behavior and Corporate Social Responsibility in Asia. Emerald Publishing Limited, 2019. http://dx.doi.org/10.1108/978-1-78756-683-520191004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bohuski, Laura. "What If Your Library Can't Go Green?" In Advances in Library and Information Science. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-5225-9825-1.ch002.

Full text

Abstract:

Environmentalism and climate change are hot topics of conversation in society today, but libraries have long been a supporter of the environmental movement and going green. Often libraries have shown their agreement with green movement ideas through the construction or renovation of green libraries. However, with decreasing budgets, many libraries cannot afford new construction or the fees associated with becoming green certified. How then can libraries continue to support the green movement while on a budget? This chapter argues that while green certification is a good goal to have, if libraries would switch their focus to the wellness of their employees and patrons instead, then libraries could still have a positive impact on the well-being of their communities and enact healthy and environmentally sound initiatives, while also staying within their budget.

APA, Harvard, Vancouver, ISO, and other styles

6

Abdul Majid, Mayasari, and Shamila Mohamed Shuhidan. "Information Literacy Module." In Advances in Library and Information Science. IGI Global, 2022. http://dx.doi.org/10.4018/978-1-7998-8942-7.ch006.

Full text

Abstract:

The school library is recognized as an information center for learning, staffed by certified and professional school librarians, that collaborates with educators. This International School, known as IS1, offers library lesson periods for their primary and secondary students starting from January 2021 to assist and guide students equipping themselves with information literacy skills in supporting their academic purposes. The five information literacy modules were developed, namely Information Resources, OPAC & WEBPath Express (School Databases), Online Information Resources, Citation & References, and Basic Research Steps. After completing the information literacy modules, researchers interview the subject teachers about the perception of the implementation of the information literacy module with the students. Findings show that the implementation of the IL module was a good initiative to collaborate with school librarians to produce self-guided learning to boost student motivation and achievement.

APA, Harvard, Vancouver, ISO, and other styles

7

Atanda, Sambo Saliu. "Digital Preservation Challenges in Nigeria Libraries." In Advances in Library and Information Science. IGI Global, 2017. http://dx.doi.org/10.4018/978-1-5225-1653-8.ch003.

Full text

Abstract:

The population consists of 172 participants that were presence at 2nd Conference of Certified Librarians by Librarians' Registration Council of Nigeria held in Abuja, 2015.The instrument used to generate data is the questionnaire and data generated was analyzed using frequency, bar charts, percentages and mean. The outcome of the study revealed that many librarians do not have training on digital preservation management despite the awareness of digital preservation challenges. The findings revealed major challenges such as hardware and software obsolesces, lack of training, lack of backup/standard, lack of strategy policy, lack of fund and lack of legal right. Recommendations were made to protect and safeguard digital preservation challenges in the libraries. Such as training and retraining of librarians on new technology/ trend in managing library digital content, software and hardware technology should be improved, Nigerian Library Association (NLA) should create a standard policy and ensure compliance by all libraries for them to enjoy increased funding. Among others.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Certified library"

1

Paulson, Lawrence C. "Porting the HOL light analysis library: some lessons (invited talk)." In CPP '17: Certified Proofs and Programs. ACM, 2017. http://dx.doi.org/10.1145/3018610.3023366.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bauer, Andrej, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, and Bas Spitters. "The HoTT library: a formalization of homotopy type theory in Coq." In CPP '17: Certified Proofs and Programs. ACM, 2017. http://dx.doi.org/10.1145/3018610.3018615.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Guo, Yu, Xinyu Jiang, Yiyun Chen, and Chunxiao Lin. "A Certified Thread Library for Multithreaded User Programs." In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07). IEEE, 2007. http://dx.doi.org/10.1109/tase.2007.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Vindum, Simon Friis, Dan Frumin, and Lars Birkedal. "Mechanized verification of a fine-grained concurrent queue from meta’s folly library." In CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, 2022. http://dx.doi.org/10.1145/3497775.3503689.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lindeman, Elena, and Darya Moseeva. "Advanced professional education for library staff: Criteria for program selection and compromises." In The Book. Culture. Education. Innovations. Russian National Public Library for Science and Technology, 2020. http://dx.doi.org/10.33186/978-5-85638-223-4-2020-137-139.

Full text

Abstract:

The quality of programs in library and information activity offered by various advanced professional training centers are discussed along with the issues and vectors of advanced training of the RNPLS&T staff. The RNPLS&T has to choose between expensive courses when new knowledge and skills are guaranteed, and online express courses (fast, easy, cheaply) where no new competences are guaranteed though employees get standard certificates. This trend facilitates establishing more and more online training centers that are just making money due to the demand for standardized certification. T

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Certified library"

1

Rubin, M. Optical Data Library {number_sign}5 for use with the WINDOW 4.1 computer program including NFRC certified data. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/656862.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!