-
Chapter and Conference Paper
ISO 23494: Biotechnology – Provenance Information Model for Biological Specimen And Data
Exchange of research data and samples in biomedical research has become a common phenomenon, demanding for their effective quality assessment. At the same time, several reports address reproducibility of resea...
-
Chapter and Conference Paper
COVID-19 Analytics in Jupyter: Intuitive Provenance Integration Using ProvIt
Whilst the need to record and understand the evolution of data, together with the processes and users associated with those changes, is now widely appreciated, the uptake of solutions to these issues remains s...
-
Chapter and Conference Paper
Correction to: ISO 23494: Biotechnology – Provenance Information Model for Biological Specimen And Data
In the originally published version, the DOI in Reference 7 “Wittner, R., et al.: EOSClife common provenance model. EOSC-Life deliverable D6.2 (2021)” on p.225 was missing. The DOI “10.5281/zenodo.4705074” has...
-
Chapter and Conference Paper
Non-repudiable Provenance for Clinical Decision Support Systems
Provenance templates are now a recognised methodology for the construction of data provenance records. Each template defines the provenance of a domain-specific action in abstract form, which may then be insta...
-
Chapter and Conference Paper
A Delayed Instantiation Approach to Template-Driven Provenance for Electronic Health Record Phenoty**
Provenance templates are an established methodology for the capture of provenance data. Each template defines the provenance of a domain-specific action in abstract form, which may then be instantiated as requ...
-
Chapter and Conference Paper
Architecture for Template-Driven Provenance Recording
Provenance templates define abstract patterns of provenance data and have been shown to be useful when implementing support for provenance capture in existing software tools. Their strength is in exposing only...
-
Chapter and Conference Paper
Implementing Data Provenance in Health Data Analytics Software
Data provenance is a technique that describes the history of digital objects. In health applications, it can be used to deliver auditability and transparency, leading to increased trust in software. When imple...
-
Chapter and Conference Paper
Simulated Domain-Specific Provenance
The main driver for provenance adoption is the need to collect and understand knowledge about the processes and data that occur in some environment. Before analytical and storage tools can be designed to addre...
-
Chapter and Conference Paper
Principal Types for Nominal Theories
We define rank 1 polymorphic types for nominal rewrite rules and equations. Ty** environments type atoms, variables, and function symbols, and since we follow a Curry-style approach there is no need to fully...