English
Related papers

Related papers: A Virtual Library of Technical Publications

200 papers

There is a need for remote learning and virtual learning applications such as virtual reality (VR) and tablet-based solutions which the current pandemic has demonstrated. Creating complex learning scenarios by developers is highly…

Artificial Intelligence · Computer Science 2021-06-18 Claire Palmer , Ben Roullier , Muhammad Aamir , Leonardo Stella , Uchenna Diala , Ashiq Anjum , Frank Mcquade , Keith Cox , Alex Calvert

Following in the footsteps of the success of Mathlib - the centralised library of formalised mathematics in Lean - CSLib is a rapidly-growing centralised library of formalised computer science and software. In this paper, we present its…

Logic in Computer Science · Computer Science 2026-02-18 Christopher Henson , Fabrizio Montesi

Standing at the forefront of knowledge dissemination, digital libraries curate vast collections of scientific literature. However, these scholarly writings are often laden with jargon and tailored for domain experts rather than the general…

Computation and Language · Computer Science 2024-08-08 Haining Wang , Jason Clark

Public libraries play a crucial role in disseminating knowledge to society. However, most of their users do not have the specialized knowledge to understand the new research findings. Providing plain language summaries (PLSs) in public…

Information Retrieval · Computer Science 2023-08-01 Behrooz Rasuli

In this work, we present the ChemNLP library that can be used for 1) curating open access datasets for materials and chemistry literature, developing and comparing traditional machine learning, transformers and graph neural network models…

Materials Science · Physics 2024-02-19 Kamal Choudhary , Mathew L. Kelley

The aim of the Canadian publications in Library and Information Science (LIS) database is to help break down the silos in which the two main target audiences - LIS faculty members and academic librarians - conduct their research. As part of…

Digital Libraries · Computer Science 2024-12-17 Jean-Sébastien Sauvé , Madelaine Hare , Geoff Krause , Constance Poitras , Poppy Riddle , Philippe Mongeon

I describe a newly developed online scientific web-log (SciBlog). The online facility consists of several moduls needed in a common and conventional research activity. I show that this enables scientists around the world to perform an…

Computers and Society · Computer Science 2007-05-23 L. T. Handoko

Good research data management is essential in modern-day lab work. Various solutions exist that are either highly specific or need a significant effort to be customized appropriately. This paper presents an integrated solution for…

Computers and Society · Computer Science 2022-05-03 Simon Schubotz , Moritz Schubotz , Günter K Auernhammer

The lattice gauge theory community produces large volumes of data. Because the data produced by completed computations form the basis for future work, the maintenance of archives of existing data and metadata describing the provenance,…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Eric H. Neilsen , James Simone

Large Language Models (LLMs) often struggle with code generation tasks involving niche software libraries. Existing code generation techniques with only human-oriented documentation can fail -- even when the LLM has access to web search and…

Software Engineering · Computer Science 2025-05-09 Sandya Wijaya , Jacob Bolano , Alejandro Gomez Soteres , Shriyanshu Kode , Yue Huang , Anant Sahai

The idea of a World digital mathematics library (DML) has been around since the turn of the 21th century. We feel that it is time to make it a reality, starting in a modest way from successful bricks that have already been built, but with…

Digital Libraries · Computer Science 2011-01-25 Thierry Bouche

Virtual labs allow researchers to design high-throughput and macro-level experiments that are not feasible in traditional in-person physical lab settings. Despite the increasing popularity of online research, researchers still face many…

Human-Computer Interaction · Computer Science 2021-04-13 Abdullah Almaatouq , Joshua Becker , James P. Houghton , Nicolas Paton , Duncan J. Watts , Mark E. Whiting

Scientific digital libraries play a critical role in the development and dissemination of scientific literature. Despite dedicated search engines, retrieving relevant publications from the ever-growing body of scientific literature remains…

Information Retrieval · Computer Science 2021-06-29 Florian Boudin , Béatrice Daille , Evelyne Jacquey , Jian-Yun Nie

The COVID-19 pandemic highlighted the challenges of maintaining hands-on laboratory instruction in undergraduate physics education. In response, we developed and deployed an interactive online physics laboratory platform designed to closely…

Physics Education · Physics 2026-03-02 Ashadul Halder , Shibaji Banerjee

We describe a document database, developed for BTeV, which has now been adopted for use by other collaborations. A single web based database and archival system is used to maintain public and internal documents as well as documents for a…

High Energy Physics - Experiment · Physics 2007-05-23 E. W. Vaandering

Research papers in the biomedical field come with large and complex data sets that are shared with the scientific community as unstructured data files via public data repositories. Examples are sequencing, microarray, and mass spectroscopy…

Quantitative Methods · Quantitative Biology 2020-05-28 Michael Huttner , Claudio Lottaz , Christian Kohler , Rainer Spang

The concept of nanopublications was first proposed about six years ago, but it lacked openly available implementations. The library presented here is the first one that has become an official implementation of the nanopublication community.…

Digital Libraries · Computer Science 2015-08-21 Tobias Kuhn

Fermilab operates several clusters for lattice gauge computing. Minimal manpower is available to manage these clusters. We have written a number of tools and developed techniques to cope with this task. We describe our tools which use the…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-11-26 A. Singh , D. Holmgren , R. Rechenmacher , S. Epsteyn

If someone is looking for a certain publication in the field of computer science, the searching person is likely to use the DBLP to find the desired publication. The DBLP data set is continuously extended with new publications, or rather…

Computation and Language · Computer Science 2017-09-27 Paul Christian Sommerhoff

Digitizing cultural heritage collections has become crucial for preservation of historical artifacts and enhancing their availability to the wider public. Galleries, libraries, archives and museums (GLAM institutions) are actively…

Digital Libraries · Computer Science 2025-06-05 Jan Ignatowicz , Krzysztof Kutt , Grzegorz J. Nalepa