English
Related papers

Related papers: Provenance and evidence in UniProtKB

200 papers

The task of fact-checking deals with assessing the veracity of factual claims based on credible evidence and background knowledge. In particular, scientific fact-checking is the variation of the task concerned with verifying claims rooted…

Computation and Language · Computer Science 2023-05-29 Juraj Vladika , Florian Matthes

We present an analytic provenance data repository that can be used to study human analysis activity, thought processes, and software interaction with visual analysis tools during exploratory data analysis. We conducted a series of user…

Human-Computer Interaction · Computer Science 2018-01-17 Sina Mohseni , Andrew Pachuilo , Ehsanul Haque Nirjhar , Rhema Linder , Alyssa Pena , Eric D. Ragan

Research in Computational Linguistics is dependent on text corpora for training and testing new tools and methodologies. While there exists a plethora of annotated linguistic information, these corpora are often not interoperable without…

Computation and Language · Computer Science 2020-11-03 Timo Lek , Anna de Groot , Tobias Kuhn , Roser Morante

The high incidence of irreproducible research has led to urgent appeals for transparency and equitable practices in open science. For the scientific disciplines that rely on computationally intensive analyses of large data sets, a granular…

Tracing the source of research papers is a fundamental yet challenging task for researchers. The billion-scale citation relations between papers hinder researchers from understanding the evolution of science efficiently. To date, there is…

Digital Libraries · Computer Science 2024-02-27 Fanjin Zhang , Kun Cao , Yukuo Cen , Jifan Yu , Da Yin , Jie Tang

Scientists increasingly recognize the importance of providing rich, standards-adherent metadata to describe their experimental results. Despite the availability of sophisticated tools to assist in the process of data annotation,…

Argumentation is a promising model for reasoning with uncertain knowledge. The key concept of acceptability enables to differentiate arguments and counterarguments: The certainty of a proposition can then be evaluated through the most…

Artificial Intelligence · Computer Science 2013-02-01 Leila Amgoud , Claudette Cayrol

The increasing rate at which scientific knowledge is discovered and health claims shared online has highlighted the importance of developing efficient fact-checking systems for scientific claims. The usual setting for this task in the…

Computation and Language · Computer Science 2024-02-06 Juraj Vladika , Florian Matthes

Modern enterprise networks comprise diverse and heterogeneous systems that support a wide range of services, making it challenging for administrators to track and analyze sophisticated attacks such as advanced persistent threats (APTs),…

Cryptography and Security · Computer Science 2025-11-13 Seunghyeon Lee , Hyunmin Seo , Hwanjo Heo , Anduo Wang , Seungwon Shin , Jinwoo Kim

Adoption of machine learning models in healthcare requires end users' trust in the system. Models that provide additional supportive evidence for their predictions promise to facilitate adoption. We define consistent evidence to be both…

Computer Vision and Pattern Recognition · Computer Science 2021-11-16 Peiqi Wang , Ruizhi Liao , Daniel Moyer , Seth Berkowitz , Steven Horng , Polina Golland

Predicate constraints of general-purpose knowledge bases (KBs) like Wikidata, DBpedia and Freebase are often limited to subproperty, domain and range constraints. In this demo we showcase CounQER, a system that illustrates the alignment of…

Information Retrieval · Computer Science 2020-05-08 Shrestha Ghosh , Simon Razniewski , Gerhard Weikum

Automated claim checking is the task of determining the veracity of a claim given evidence found in a knowledge base of trustworthy facts. While previous work has taken the knowledge base as given and optimized the claim-checking pipeline,…

Computation and Language · Computer Science 2022-03-14 Dominik Stammbach , Boya Zhang , Elliott Ash

Why and why-not provenance have been studied extensively in recent years. However, why-not provenance, and to a lesser degree why provenance, can be very large resulting in severe scalability and usability challenges. In this paper, we…

Databases · Computer Science 2020-04-28 Seokki Lee , Bertram Ludaescher , Boris Glavic

The discipline of process mining aims to study processes in a data-driven manner by analyzing historical process executions, often employing Petri nets. Event data, extracted from information systems (e.g. SAP), serve as the starting point…

Artificial Intelligence · Computer Science 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

Despite the burgeoning body of work on distribution shifts, provenance shift-where the relationship between data source and label changes at deployment-remains poorly understood and under-addressed. In this paper, we establish a formal…

Machine Learning · Computer Science 2026-05-13 Yongsen Tan , Zhecheng Sheng , Xiruo Ding , Serguei V. S. Pakhomov , Trevor Cohen

This article presents a discussion on the main linguistic phenomena which cause difficulties in the analysis of user-generated texts found on the web and in social media, and proposes a set of annotation guidelines for their treatment…

Data is the foundation of any scientific, industrial or commercial process. Its journey typically flows from collection to transport, storage, management and processing. While best practices and regulations guide data management and…

Computers and Society · Computer Science 2025-01-08 Florian Guitton , Axel Oehmichen , Étienne Bossé , Yike Guo

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the…

Artificial Intelligence · Computer Science 2013-03-08 Salem Benferhat , Didier Dubois , Henri Prade

Feature extraction is an unavoidable task, especially in the critical step of preprocessing biological sequences. This step consists for example in transforming the biological sequences into vectors of motifs where each motif is a…

Machine Learning · Computer Science 2016-08-24 Rabie Saidi , Sabeur Aridhi , Mondher Maddouri , Engelbert Mephu Nguifo

The ongoing functional annotation of proteins relies upon the work of curators to capture experimental findings from scientific literature and apply them to protein sequence and structure data. However, with the increasing use of…

Genomics · Quantitative Biology 2015-06-12 Alexandra M. Schnoes , David C. Ream , Alexander W. Thorman , Patricia C. Babbitt , Iddo Friedberg