English
Related papers

Related papers: Non-repudiable provenance for clinical decision su…

200 papers

Analytic provenance can be visually encoded to help users track their ongoing analysis trajectories, recall past interactions, and inform new analytic directions. Despite its significance, provenance is often hardwired into analytics…

Human-Computer Interaction · Computer Science 2025-05-20 Arpit Narechania , Shunan Guo , Eunyee Koh , Alex Endert , Jane Hoffswell

Providing feedback on the argumentation of the learner is essential for developing critical thinking skills, however, it requires a lot of time and effort. To mitigate the overload on teachers, we aim to automate a process of providing…

Data provenance, or data lineage, describes the life cycle of data. In scientific workflows on HPC systems, scientists often seek diverse provenance (e.g., origins of data products, usage patterns of datasets). Unfortunately, existing…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-03 Runzhou Han , Mai Zheng , Suren Byna , Houjun Tang , Bin Dong , Dong Dai , Yong Chen , Dongkyun Kim , Joseph Hassoun , David Thorsley , Matthew Wolf

In this paper we present the probabilistic typed natural deduction calculus TPTND, designed to reason about and derive trustworthiness properties of probabilistic computational processes, like those underlying current AI applications.…

Logic in Computer Science · Computer Science 2025-02-14 Fabio Aurelio D'Asaro , Francesco Genco , Giuseppe Primiero

For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-08-24 Gabriel Ciobanu , Ross Horne

Agentic AI is rapidly proliferating across diverse real-world domains such as software engineering, yet public trust has not kept pace. The central reason is that responsibility, despite being widely discussed, remains a subjective and…

Artificial Intelligence · Computer Science 2026-05-19 Jinwei Hu , Xinmiao Huang , Qisong He , Youcheng Sun , Yi Dong , Xiaowei Huang

As an important type of cloud data, digital provenance is arousing increasing attention on improving system performance. Currently, provenance has been employed to provide cues regarding access control and to estimate data quality. However,…

Cryptography and Security · Computer Science 2020-01-08 Xinyu Fan , Faen Zhang , Jiahong Wu , Jingming Guo

Explaining why an answer is (or is not) returned by a query is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. In this work, we present the first practical…

Databases · Computer Science 2018-08-20 Seokki Lee , Bertram Ludaescher , Boris Glavic

Effective provenance tracking enhances reproducibility, governance, and data quality in array workflows. However, significant challenges arise in capturing this provenance, including: (1) rapidly evolving APIs, (2) diverse operation types,…

Databases · Computer Science 2025-06-24 Jinjin Zhao , Sanjay Krishnan

Data provenance (the process of determining the origin and derivation of data outputs) has applications across multiple domains including explaining database query results and auditing scientific workflows. Despite decades of research,…

Databases · Computer Science 2026-05-15 Chrysanthi Kosyfaki , Ruiyuan Zhang , Nikos Mamoulis , Xiaofang Zhou

In reaction to growing concerns about the potential harms of artificial intelligence (AI), societies have begun to demand more transparency about how AI models and systems are created and used. To address these concerns, several efforts…

Computers and Society · Computer Science 2024-03-13 David Piorkowski , John Richards , Michael Hind

In today's data-driven ecosystems, ensuring data integrity, traceability and accountability is important. Provenance polynomials constitute a powerful formalism for tracing the origin and the derivations made to produce database query…

Databases · Computer Science 2025-08-21 Paulo Pintor , Rogério Costa , José Moreira

In imperative programming, the Domain-Driven Design methodology helps in coping with the complexity of software development by materializing in code the invariants of a domain of interest. Code is cleaner and more secure because any…

Artificial Intelligence · Computer Science 2023-07-14 Mario Alviano , Giovambattista Ianni , Francesco Pacenza , Jessica Zangari

Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight…

Programming Languages · Computer Science 2017-08-23 Stefan Fehrenbach , James Cheney

Data provenance describes how data came to be in its present form. It includes data sources and the transformations that have been applied to them. Data provenance has many uses, from forensics and security to aiding the reproducibility of…

Cryptography and Security · Computer Science 2017-11-16 Thomas Pasquier , Xueyuan Han , Mark Goldstein , Thomas Moyer , David Eyers , Margo Seltzer , Jean Bacon

One of the foundations of science is that researchers must publish the methodology used to achieve their results so that others can attempt to reproduce them. This has the added benefit of allowing methods to be adopted and adapted for…

Databases · Computer Science 2014-06-05 Paolo Missier , Simon Woodman , Hugo Hiden , Paul Watson

Government policies aim to address public issues and problems and therefore play a pivotal role in peoples lives. The creation of public policies, however, is complex given the perspective of large and diverse stakeholders involvement,…

Databases · Computer Science 2018-03-20 Barkha Javed , Zaheer Khan , Richard McClatchey

Machine learning (ML) is an increasingly important scientific tool supporting decision making and knowledge generation in numerous fields. With this, it also becomes more and more important that the results of ML experiments are…

Machine Learning · Computer Science 2020-06-23 Sheeba Samuel , Frank Löffler , Birgitta König-Ries

Data provenance analysis has been used as an assistive measure for ensuring system integrity. However, such techniques are typically reactive approaches to identify the root cause of an attack in its aftermath. This is in part due to fact…

Cryptography and Security · Computer Science 2021-06-02 Shamaria Engram , Tyler Kaczmarek , Alice Lee , David Bigelow

Study reproducibility is essential to corroborate, build on, and learn from the results of scientific research but is notoriously challenging in bioinformatics, which often involves large data sets and complex analytic workflows involving…

Quantitative Methods · Quantitative Biology 2023-05-22 Christopher R. Keefe , Matthew R. Dillon , Chloe Herman , Mary Jewell , Colin V. Wood , Evan Bolyen , J. Gregory Caporaso