Blar i Department of Informatics på tittel
Viser treff 1119-1123 av 1123
-
WSDL Workshop. Semantic web application in HTML5 for the discovery, construction and analysis of workflows
(Master thesis, 2013-11-20)WSDL-Workshop is a HTML5 web application for the discovery and exploration of web services and for analysing the compatibility between web services. This is the result of a mathematical model developed from WSDL1.1. The ... -
WSDL Workshop: Semantic web application in HTML5 for the discovery, construction and analysis of workfows
(Master thesis, 2013)WSDL-Workshop is a HTML5 web application for the discovery and exploration of web services and for analyzing the compatibility between web services. This is the result of a mathematical model developed from WSDL1.1. The ... -
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 ...