Related Experiment Video
Updated: May 30, 2026

Proofreading and DNA Repair Assay Using Single Nucleotide Extension and MALDI-TOF Mass Spectrometry Analysis
Published on: June 19, 2018
Validation and mismatch repair of workflows through typed data streams
Gagarine Yaikhom1, Malcolm P Atkinson, Jano I van Hemert
1School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9AB, UK. gyaikhom@gmail.com
Abstract:
The type system of a language guarantees that all of the operations on a set of data comply with the rules and conditions set by the language. While language typing is a fundamental requirement for any programming language, the typing of data that flow between processing elements within a workflow is currently being treated as optional. In this paper, we introduce a three-level type system for typing workflow data streams. These types are parts of the Data Intensive System Process Engineering Language programming language, which empowers users with the ability to validate the connections inside a workflow composition, and apply appropriate data type conversions when necessary. Furthermore, this system enables the enactment engine in carrying out type-directed workflow optimizations.
Related Concept Videos
Mismatch Repair
Mismatch Repair
Mismatch Repair
The Mutator Protein Family Plays a Key Role in DNA Mismatch Repair
The human genome has more than 3 billion base pairs of DNA per cell. Prior to cell division, that vast amount of genetic...
Data Validation
Nursing assessment guides are generally based on holistic models rather than medical...
Data Validation
Key parameters for method validation include:
Types of Errors: Detection and Minimization
Absolute error in a measurement is the numerical difference from the true or central value. Relative error is the ratio between absolute error and the true or central value, expressed as a percentage.
Errors can be classified by source, magnitude, and sign. There are three types of errors: systematic, random, and gross.
Systematic or...