Results 51 to 60 of about 294,838 (300)
Automated library recommendation
2013 20th Working Conference on Reverse Engineering (WCRE), 2013 Many third party libraries are available to be downloaded and used. Using such libraries can reduce development time and make the developed software more reliable. However, developers are often unaware of suitable libraries to be used for their projects and thus they miss out on these benefits.
THUNG, Ferdian, LO, David, LAWALL, Julia
openaire +4 more sources
Impact of Open Source Library Automation System on Public Library Users [PDF]
, 2011 poster abstractThis study examined the implementation of an open source library automation system, Evergreen, in Indiana public libraries and its impact to library users.
Albee, Barbara, Chen, Hsin-liang
core
Retractions in Rheumatology: Trends, Causes, and Implications for Research Integrity
Arthritis Care &Research, EarlyView.Objective We aimed to describe the trends and main reasons for study retraction in rheumatology literature. Methods We reviewed the Retraction Watch database to identify retracted articles in rheumatology. We recorded the main study characteristics, authors’ countries, reasons for retraction, time from publication to retraction, and trends over time ...
Anna Maria Vettori, Michele Iudici
wiley +1 more source
Digital Tools of the Academic Library: Automation of Publication Activity Monitoring
University Library at a New Stage of Social Communications DevelopmentObjective. This publication studies the potential for using artificial intelligence and open APIs (Application Programming Interface) to automate publication activity monitoring. Methods.
O. A. SHEVCHUK, A. A. SALTYKOVA
doaj +1 more source
The hybrid information environment and our Intranet solution to access it [PDF]
, 1997 In the first part, a theoretical discussion points out two main reorientations in the goals of recent library automation. It is stated that technical innovations created possibilities and needs for new end-user services. A first reorientation, enabled by
De Pessemier, Tobias +2 more
core +1 more source
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
, 2019 We introduce Meta-F*, a tactics and metaprogramming framework for the F* program verifier. The main novelty of Meta-F* is allowing the use of tactics and metaprogramming to discharge assertions not solvable by SMT, or to just simplify them into well ...
Ahman, Danel +12 more
core +3 more sources
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Conversion of HOL Light proofs into Metamath
, 2015 We present an algorithm for converting proofs from the OpenTheory interchange format, which can be translated to and from any of the HOL family of proof languages (HOL4, HOL Light, ProofPower, and Isabelle), into the ZFC-based Metamath language.
Carneiro, Mario
core +2 more sources
Advanced Engineering Materials, EarlyView.This study presents an infrared monitoring approach for direct laser interference patterning (DLIP) combined with a convolutional neural network (CNN). Thermal emission data captured during structuring are used to predict surface topography parameters.
Lukas Olawsky +5 more
wiley +1 more source