Search for dissertations about: "data resolution"

Showing result 1 - 5 of 1183 swedish dissertations containing the words data resolution.

  2. 1. SLDFA-resolution : computing answers for negative queries

    Author : Torbjörn Näslund; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The notion of SLDNF-resolution gives a theoretical foundation for implementation of logic programming languages. However, a major drawback of SLDNF-resolution is that for negative queries it can not produce answers other than yes or no. Thus, only a limited class of negative queries can be handled. READ MORE

  4. 2. Mapping incomplete relational data : networks in ecology & evolution

    Author : Daniel Edler; Martin Rosvall; Alexandre Antonelli; Renaud Lambiotte; Umeå universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURAL SCIENCES; network science; information theory; map equation; community detection; biogeography; evolution;

    Abstract : We live in an interconnected world full of complex systems that cannot be understood simply by analyzing their components. From how genes regulate biological functions to the distribution of life on Earth, we need methods that can analyze systems as a whole. READ MORE

  5. 3. Short Proofs May Be Spacious : Understanding Space in Resolution

    Author : Jakob Nordström; Johan Håstad; Albert Atserias; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; resolution; space; length; width; separation; lower bound; pebble game; pebbling formula; Beviskomplexitet; resolution; minne; längd; bredd; separation; undre gräns; pebblingspel; pebblingformel; Theoretical computer science; Teoretisk datalogi;

    Abstract : Om man ser på de bästa nu kända algoritmerna för att avgöra satisfierbarhet hos logiska formler så är de allra flesta baserade på den så kallade DPLL-metoden utökad med klausulinlärning. De två viktigaste gränssättande faktorerna för sådana algoritmer är hur mycket tid och minne de använder, och att förstå sig på detta är därför en fråga som har stor praktisk betydelse. READ MORE

  6. 4. Enhancing Salient Features in Volumetric Data Using Illumination and Transfer Functions

    Author : Daniel Jönsson; Anders Ynnerman; Kwan-Liu Ma; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY;

    Abstract : The visualization of volume data is a fundamental component in the medical domain. Volume data is used in the clinical work-flow to diagnose patients and is therefore of uttermost importance. READ MORE

  7. 5. Transport Analytics Based on Cellular Network Signalling Data

    Author : David Gundlegård; Johan M. Karlsson; Tommy Svensson; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY;

    Abstract : Cellular networks of today generate a massive amount of signalling data. A large part of this signalling is generated to handle the mobility of subscribers and contains location information that can be used to fundamentally change our understanding of mobility patterns. READ MORE