English
Related papers

Related papers: 10 Years Later: The Mathematics Subject Classifica…

200 papers

We mark up a corpus of LaTeX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from…

Digital Libraries · Computer Science 2010-04-21 Catalin David , Michael Kohlhase , Christoph Lange , Florian Rabe , Nikita Zhiltsov , Vyacheslav Zholudev

Scene segmentation and classification (SSC) serve as a critical step towards the field of video structuring analysis. Intuitively, jointly learning of these two tasks can promote each other by sharing common information. However, scene…

Computer Vision and Pattern Recognition · Computer Science 2022-07-05 Ye Liu , Lingfeng Qiao , Di Yin , Zhuoxuan Jiang , Xinghua Jiang , Deqiang Jiang , Bo Ren

Classical model selection seeks to find a single model within a particular class that optimizes some pre-specified criteria, such as maximizing a likelihood or minimizing a risk. More recently, there has been an increased interest in model…

Methodology · Statistics 2025-11-17 Ryan Cecil , Lucas Mentch

The MS MARCO ranking dataset has been widely used for training deep learning models for IR tasks, achieving considerable effectiveness on diverse zero-shot scenarios. However, this type of resource is scarce in languages other than English.…

Computation and Language · Computer Science 2022-08-18 Luiz Bonifacio , Vitor Jeronymo , Hugo Queiroz Abonizio , Israel Campiotti , Marzieh Fadaee , Roberto Lotufo , Rodrigo Nogueira

Radiology reports contain rich clinical information that can be used to train imaging models without relying on costly manual annotation. However, existing approaches face critical limitations: rule-based methods struggle with linguistic…

The complex systems keyword diagram generated by the author in 2010 has been used widely in a variety of educational and outreach purposes, but it definitely needs a major update and reorganization. This short paper reports our recent…

Digital Libraries · Computer Science 2025-10-14 Hiroki Sayama

In recent years, there has been remarkable progress in leveraging Language Models (LMs), encompassing Pre-trained Language Models (PLMs) and Large-scale Language Models (LLMs), within the domain of mathematics. This paper conducts a…

Computation and Language · Computer Science 2025-01-03 Wentao Liu , Hanglei Hu , Jie Zhou , Yuyang Ding , Junsong Li , Jiayi Zeng , Mengliang He , Qin Chen , Bo Jiang , Aimin Zhou , Liang He

We introduce a large scale MAchine Reading COmprehension dataset, which we name MS MARCO. The dataset comprises of 1,010,916 anonymized questions---sampled from Bing's search query logs---each with a human generated answer and 182,669…

Mathematical symbols and descriptions appear in various forms across document section boundaries without explicit markup. In this paper, we present a new large-scale dataset that emphasizes extracting symbols and descriptions in scientific…

Computation and Language · Computer Science 2022-04-27 Viet Dac Lai , Amir Pouran Ben Veyseh , Franck Dernoncourt , Thien Huu Nguyen

A significant part of the largest Knowledge Graph today, the Linked Open Data cloud, consists of metadata about documents such as publications, news reports, and other media articles. While the widespread access to the document metadata is…

Digital Libraries · Computer Science 2017-09-28 Lukas Galke , Florian Mai , Alan Schelten , Dennis Brunsch , Ansgar Scherp

In this work, we introduce metrics to evaluate the use of simplified time series in the context of interpretability of a TSC -- a Time Series Classifier. Such simplifications are important because time series data, in contrast to text and…

Machine Learning · Computer Science 2025-11-04 Brigt Håvardstun , Felix Marti-Perez , Cèsar Ferri , Jan Arne Telle

We present an overview of the SCIDOCA 2025 Shared Task, which focuses on citation discovery and prediction in scientific documents. The task is divided into three subtasks: (1) Citation Discovery, where systems must identify relevant…

Digital Libraries · Computer Science 2025-09-30 An Dao , Vu Tran , Le-Minh Nguyen , Yuji Matsumoto

Record linkage is the process of finding matches and linking records from different data sources so that the linked records belong to the same entity. There is an increasing number of applications of record linkage in statistical, health,…

Computation · Statistics 2020-09-30 Shovanur Haque , Kerrie Mengersen , Steven Stern

Since the middle of the 1940's scientists have used Monte Carlo (MC) simulations to obtain information about physical processes. This has proved a accurate and and reliable method to obtain this information. Through out resent years…

Astrophysics of Galaxies · Physics 2012-07-02 Thomas Amby Ottosen

I developed a new version of Latent Semantic Scaling (LSS) employing word2vec as a masked language model. Unlike original spatial models, it assigns polarity scores to words and documents as predicted probabilities of seed words to occur in…

Computation and Language · Computer Science 2026-04-30 Kohei Watanabe

Modern technologies are enabling scientists to collect extraordinary amounts of complex and sophisticated data across a huge range of scales like never before. With this onslaught of data, we can allow the focal point to shift towards…

Computer science (CS) is increasingly becoming part of the curricula of K-12 education in different countries. However, there are few K-12 CS teachers, and tools to offer K-12 CS education are often limited. Massive Open Online Courses…

Computers and Society · Computer Science 2025-02-03 L. M. van der Lubbe , S. P van Borkulo , J. T. Jeuring

Scholarly knowledge graphs are valuable sources of information in several research fields. Despite the number of existing datasets related to publications and researchers, resource quality, coverage and accessibility are still limited. This…

Digital Libraries · Computer Science 2022-03-18 Laura Pollacci

Using Large Language Models for complex mathematical reasoning is difficult, primarily due to the complexity of multi-step reasoning. The main challenges of this process include (1) selecting critical intermediate results to advance the…

Artificial Intelligence · Computer Science 2024-02-29 Zilong Zhao , Yao Rong , Dongyang Guo , Emek Gözlüklü , Emir Gülboy , Enkelejda Kasneci

Linked Data (LD) as a web--based technology enables in principle the seamless, machine--supported integration, interplay and augmentation of all kinds of knowledge, into what has been labeled a huge knowledge graph. Despite decades of web…

Digital Libraries · Computer Science 2022-05-02 Rick Szostak , Richard P. Smiraglia , Andrea Scharnhorst , Aida Slavic , Daniel Martínez-Ávila , Tobias Renwick