Browsing Department of Informatics by Title

Now showing items 1114-1122 of 1122

    • A wide-range algorithm for minimal triangulation from an arbitrary ordering 

      Berry, Anne; Bordat, Jean-Paul; Heggernes, Pinar; Simonet, Genevieve; Villanger, Yngve (Journal article, 2006)

    • Width Notions for Ordering-Related Problems 

      Arrighi, Emmanuel; Fernau, Henning; De Oliveira Oliveira, Mateus; Wolf, Petra (Journal article; Peer reviewed, 2020)
      We are studying a weighted version of a linear extension problem, given some finite partial order ρ, called Completion of an Ordering. While this problem is NP-complete, we show that it lies in FPT when parameterized by ...

    • WiRoM: a High-level Mission Planning System for Heterogeneous Multi-Robot Simulations 

      Grutle, Joakim Moss (Master thesis, 2020-06)
      Robots are complicated machines. Today we have a lot of different types of robots, each with different types of sensors and actuators which have their own practical (and impractical) applications. Utilizing the benefits ...

    • Workflow management systems 

      Imsland, Geir Inge Struen (Master thesis, 2007-12-01)
      This master's thesis gives an insight to workflow technologies used to improve efficiency of business processes. Ways to use such technologies in order to help users through tasks in MIPS (Material Integrated Production ...

    • WSDL Workshop. Semantic web application in HTML5 for the discovery, construction and analysis of workflows 

      Nozal Canadas, Rafael Adolfo (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 

      Cañadas, Rafael Adolfo Nozal (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 

      Flikka, Kristian; Yadetie, Fekadu; Lægreid, Astrid; Jonassen, Inge (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 

      Bodlaender, Hans L.; Groenland, Carla; Jacob, Hugo; Jaffke, Lars; Lima, Paloma Thome de (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 

      Passeniouk, Yan (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 ...