Results 11 to 20 of about 30,676,854 (312)
Fast Library for Number Theory: An Introduction [PDF]
, 2010 We discuss FLINT (Fast Library for Number Theory), a library to support computations in number theory, including highly optimised routines for polynomial arithmetic and linear algebra in exact rings.
R. A. Carr +4 more
openaire +4 more sources
Identifying Metaverse Developments in Digital Libraries Based on Library Theory [PDF]
بازیابی دانش و نظامهای معناییIntroductionWith the tremendous growth of the Internet from the 1990s to the present, a variety of innovative technologies have emerged that enable users to interact virtually. Metaverse is one of the technologies that has attracted attention.
Jalal Rezaeenour, Rahele Karimian
doaj +2 more sources
The tensor network theory library [PDF]
Journal of Statistical Mechanics: Theory and Experiment, 2017 Abstract In this technical paper we introduce the tensor network theory (TNT) library—an open-source software project aimed at providing a platform for rapidly developing robust, easy to use and highly optimised code for TNT calculations. The objectives of this paper are (i) to give an overview of the structure of
Al-Assam, Sarah +2 more
openaire +5 more sources
A theory of mobile library service delivery [PDF]
Journal of Librarianship and Information Science, 2015 Research indicates there is widespread acceptance that nomadicity of library users is a phenomenon that will continue to increase; however, mobile learning is a resource that relatively few academic libraries appear to be taking advantage of. This paper presents a model developed during an investigation using a grounded theory approach into factors ...
Sarah-Jane Saravani, Gaby Haddow
openaire +4 more sources
Reachability Modulo Theory Library
EPiC Series in Computing, 2018 Reachability analysis of infinite-state systems plays a central role in many verification tasks. In the last decade, SMT-Solvers have been exploited within many verification tools to discharge proof obligations arising from reachability analysis. Despite this, as of today there is no standard language to deal with transition systems specified in the ...
Francesco Alberti +4 more
openaire +4 more sources
Cancer Informatics, 2009 Complementary and alternative therapies and medicines (CAM) such as acupuncture or mistletoe treatment are much asked for by cancer patients. With a growing interest in such therapies, physicians need a simple tool with which to get an overview of the ...
Thomas Ostermann +4 more
doaj +1 more source
Rethinking the dichotomy between libraries and prisons
Journal of New Librarianship, 2020 This piece considers the challenges of providing library services in a prison setting and offers insights from current prison library research being carried out in Northern Ireland.
Jayne Finlay
doaj +1 more source
Páginas a&b, 2020 Library Science needs an efficient educational guild in every university in Mexico or other Latin American countries, such as: Colombia, Costa Rica, Cuba and Peru.
Marisa Rico Bocanegra
doaj +1 more source
The OpenTheory Standard Theory Library [PDF]
, 2011 Interactive theorem proving is tackling ever larger formalization and verification projects, and there is a critical need for theory engineering techniques to support these efforts. One such technique is cross-prover package management, which has the potential to simplify the development of logical theories and effectively share theories between ...
openaire +1 more source
Poland’s first open library research data – from theory to practice
Forum Bibliotek Medycznych, 2020 Polish medical libraries jointly implement the project called Polish Medical Platform – a portal for knowledge and research potential management (PPM).
Agnieszka Milewska, Natalia Wiśniewska
doaj +1 more source