Blar i Department of Informatics på tittel
Viser treff 1117-1119 av 1119
-
XHM: A system for detection of potential cross hybridizations in DNA microarrays
(Peer reviewed; Journal article, 2004-08-27)Background: Microarrays have emerged as the preferred platform for high throughput gene expression analysis. Cross-hybridization among genes with high sequence similarities can be a source of error reducing the reliability ... -
XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure
(Journal article; Peer reviewed, 2022)In this paper, we showcase the class XNLP as a natural place for many hard problems parameterized by linear width measures. This strengthens existing W[1]-hardness proofs for these problems, since XNLP-hardness implies ... -
λ' is Confluent
(Master thesis, 2023-11-20)The λ-calculus is a well-known model of computation, characterised by its simplicity and adapted for the implementation of functional programming languages. We present an extension of the λ-calculus proposed by ...