Filters








139,360 Hits in 3.0 sec

Validating Library Usage Interactively [chapter]

William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha
2013 Lecture Notes in Computer Science  
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

Ruby Muriel Lavallee Warren
2017 Evidence Based Library and Information Practice  
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

Mohamad Rahimi Mohamad Rosman, Mohd Nasir Ismail, Mohamad Noorman Masrek
2022 International Journal of Power Electronics and Drive Systems (IJPEDS)  
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

Feng-Hsiung Hou
2003 Journal of Educational Media & Library Sciences  
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

A Huang, S Xu, X Cai
2014 Heredity  
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

Jennifer Kaari
2021 Evidence Based Library and Information Practice  
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

Junren Ming, Rong Chen, Ruide Tu
2020 Data and Information Management  
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

Ezeala, Lily Oluebube
2016 IOSR Journal of Humanities and Social Science  
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

Yuki Yano, Raula Gaikovina Kula, Takashi Ishio, Katsuro Inoue
2015 2015 IEEE 23rd International Conference on Program Comprehension  
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  
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]

Mohamed Aymen Saied, Ali Ouni, Houari Sahraoui, Raula Gaikovina Kula, Katsuro Inoue, David Lo
2016 arXiv   pre-print
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

Nick Fine, Willem-Paul Brinkman
2004 Proceedings of the 2nd European Union symposium on Ambient intelligence - EUSAI '04  
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

Augustin Luna, Evrim I Karac, Margot Sunshine, Lucas Chang, Ruth Nussinov, Mirit I Aladjem, Kurt W Kohn
2011 BMC Bioinformatics  
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

Keith E. Maull, Manuel Gerardo Saldivar, Tamara Sumner
2011 Proceeding of the 11th annual international ACM/IEEE joint conference on Digital libraries - JCDL '11  
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

Mohamed Aymen Saied, Ali Ouni, Houari Sahraoui, Raula Gaikovina Kula, Katsuro Inoue, David Lo
2018 Journal of Systems and Software  
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