A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Validating Library Usage Interactively
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
In this work, we present an interactive program analysis that a programmer can apply to validate that his optimization does not change his program's semantics. ...
Our analysis solves the abductive equivalence problem by interacting with the programmer so that the programmer implements a solver for a logical theory that models library functions invoked by the program ...
Interact(A) returns a simulation relation under a library condition that implies A and is validated by O m . ...
doi:10.1007/978-3-642-39799-8_56
fatcat:wulx4wvkrrd6hgruk74tldnb5i
Usage Volume and Trends Indicate Academic Library Online Learning Objects and Tutorials Are Being Used
2017
Evidence Based Library and Information Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Conclusions – The researchers concluded that despite the limitations of the study, the usage volume and trends identified indicate that the Libraries' online learning objects and tutorials are being used ...
College & Undergraduate Libraries, 23(2), 168-183. http://dx.doi.org/10.1080/10691316.2014.963274 Abstract Objective – To discover how users interact with a new online interface for learning objects, user ...
This study scored a 75% overall validity rating using Glynn's critical appraisal tool for library and information science research (2006) , chiefly due to Section C Study Design (rated 25%) and Section ...
doi:10.18438/b8kg98
fatcat:d35hqmt3d5bfhpiengu5kqwboq
Development and validation of a tool for measuring digital library engagement
2022
International Journal of Power Electronics and Drive Systems (IJPEDS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Digital library engagement can be defined as the extensive usage of the services, functions, and tools provided by the digital library (DL). ...
Although many instruments have been developed to measure digital library usage, however, the instruments were only measuring a limited aspect of usage, such as behavioral perspective. ...
Without their passionate participation and input, the predictors' selection and validation could not have been successfully conducted. ...
doi:10.11591/ijece.v12i4.pp4146-4154
fatcat:6z4siwn2h5amra7vck2fxfhqba
A Research on the Impact of Internet Use in American Elementary School Libraries
2003
Journal of Educational Media & Library Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This study may offer important information about the impact of Internet usage for elementary school library s operations. ...
Results indicated that there was a significant impact of the Internet usage in American elementary school libraries operations. ...
Instrument validity for Survey of the Impact of Internet Use in the Library, according to the author, enhances the validity by enhancing face and content validity. ...
doaj:88a09de5621940f0919857bf00ac8c42
fatcat:3ad5fkazbratpbxzaocislx4ki
Empirical Bayesian elastic net for multiple quantitative trait locus mapping
2014
Heredity
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
controls degree of shrinkage, and is obtained via Cross Validation (CV). ...
Corresponding to the response of BASIS
Usage
data(y)
Source
Examples
data(y)
Description
Usage
data(yBinomial)
Source
Examples
data(BASISbinomial)
Index
* Topic datasets ...
doi:10.1038/hdy.2014.79
pmid:25204301
pmcid:PMC4815589
fatcat:igpov755r5hpvdz4zu2slu4sly
Faculty in the Applied and Pure Sciences May Have Limited Experience with E-books
2021
Evidence Based Library and Information Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The interviews were structured into three sections: opening questions about e-book usage, an interactive demonstration and discussion of two preselected e-books, and final follow-up questions. ...
Science & technology libraries, 29(1-2), 69-91. https://doi.org/10.1080/01942620903579393 Abstract Objective – To determine the usage of and attitudes toward e-books among faculty in the applied and pure ...
Based on Glynn's critical appraisal tool for library and information science, this study had a 77% validity (2006) . ...
doi:10.18438/eblip29939
fatcat:s72kagfpf5egroedqo2kevq74a
Factors Influencing User Behavior Intention to Use Mobile Library Application: A Theoretical and Empirical Research based on Grounded Theory
2020
Data and Information Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Furthermore, system feature and interface feature are the external driver of user's usage behavior intention, and individual difference is the internal driver of user's usage behavior intention. ...
To help libraries and mobile application, developers better understand factors influencing user behavior intention and jointly improve the mobile service quality of library. ...
Validity refers to the fact that the items can indeed measure the variables and have validity, including the validity of content and the validity of construct. ...
doi:10.2478/dim-2020-0037
fatcat:dbox22chyfc6hp5ewixjcqnocy
Home Variables as correlates of University of Jos students aAchievement in Library and Information Science
2016
IOSR Journal of Humanities and Social Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The instrument consisted of a valid home environmental variable questionnaire (HEVQ) an achievement test. ...
However, five of the variables could be used to predict students' achievement in library and information science with availability and usage of instructional material at home being the most potent contributor ...
INSTRUMENTATION Two valid and reliable instruments were used to collect date for the study. 1. ...
doi:10.9790/0837-2108050609
fatcat:m7734oz7wnfm7kdfxo7qkbjjeq
VerXCombo: An Interactive Data Visualization of Popular Library Version Combinations
2015
2015 IEEE 23rd International Conference on Program Comprehension
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Through data interactions, VerXCombo leverages parallel sets to break-down large and complex dataset into distinguishable patterns of 1.) popular and 2.) latest library dependency release combinations. ...
In large software systems, it is common practice to adopt third-party libraries. ...
OSS third-party library adoption have become widespread. Usage in both open and industrial settings has validated OSS library usage [1] . ...
doi:10.1109/icpc.2015.43
dblp:conf/iwpc/YanoKII15
fatcat:2golf3d5ivcp7lgbqfjbtnt2fy
Effectiveness Measurement of Digital Library in Higher Education
2022
Information and Knowledge Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The purpose of this research is to fill the gap between the student expectation and service provided by the digital library in terms of the service quality offering in the library. ...
The user satisfaction of digital library was measured quantitatively through online questionnaire and analysed to establish relationship between the user satisfaction and its antecedents in order to identify ...
These scales had proved validity and reliability; however, as they were modified to suit to the context of digital library some of the items were slightly modified. ...
doi:10.7176/ikm/12-2-03
fatcat:imubm4gg3renjkrp63fv5czrbu
Automated Inference of Software Library Usage Patterns
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our approach employs hierarchical clustering technique to group together software libraries based on external client usage. ...
In this paper, we present a novel approach to automatically identify third-party library usage patterns, i.e., collections of libraries that are commonly used together by developers. ...
API Usage Visualization: Other contributions tried to enhance understanding API usage through explorative and interactive methods [28] , [29] , [30] , [31] , [32] . ...
arXiv:1612.01626v1
fatcat:n4qrq6ftgjclllifk4mwhvwbwa
Informing intelligent environments
2004
Proceedings of the 2nd European Union symposium on Ambient intelligence - EUSAI '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The PROSKIN project is researching whether subsets of users can be identified and grouped by distinguishing interactive behaviours so that a more personally optimised interaction can be designed. ...
When the skins are redesigned by designers and redistributed to users, the resulting usage data provides a next level of validation if interaction is selectively improved for the targeted user groups. ...
The questionnaire data collected is used for research purposes to validate the interaction profiles. ...
doi:10.1145/1031419.1031423
fatcat:eqwcbppf7ne6pf6xdx4hkt7vju
A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format, an API, and a validation method
2011
BMC Bioinformatics
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
The Molecular Interaction Map (MIM) notation offers a standard set of symbols and rules on their usage for the depiction of cellular signaling network diagrams. ...
Source code, libraries, documentation, and examples are available at http:// discover.nci.nih.gov/mim. ...
participate in additional valid interactions. ...
doi:10.1186/1471-2105-12-167
pmid:21586134
pmcid:PMC3118169
fatcat:iyuqreklh5bgdgnu3dsjsbf2vy
Understanding digital library adoption
2011
Proceeding of the 11th annual international ACM/IEEE joint conference on Digital libraries - JCDL '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This typology was validated through comparison with qualitative and quantitative data collected using traditional educational field research methods. ...
The resulting fine-grained user typology identified five different types of teacher-users, including "interactive resource specialists" and "community seeker specialists." ...
to not spend much of their CCS usage time exploring interactive resources. ...
doi:10.1145/1998076.1998126
dblp:conf/jcdl/MaullSS11
fatcat:m35lt5iwcrgf5pgl66wffepf54
Improving reusability of software libraries through usage pattern mining
2018
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our approach employs a hierarchical clustering technique to group together software libraries based on external client usage. ...
In this paper, we present a novel approach to automatically identify third-party library usage patterns, i.e., collections of libraries that are commonly used together by developers. ...
Discussion and threats to validity We applied our approach to over 6000 popular third-party libraries in order to detect possible library usage patterns. ...
doi:10.1016/j.jss.2018.08.032
fatcat:fq6gfhdhmjahllfvrhytni6rjy
« Previous
Showing results 1 — 15 out of 139,360 results