Search for dissertations about: "datavetenskap datalogi"

Showing result 1 - 5 of 342 swedish dissertations containing the words datavetenskap datalogi.

  2. 1. Decision support in dementia care : developing systems for interactive reasoning

    Author : Helena Lindgren; Patrik Eklund; Klaus-Peter Adlassnig; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Artificial intelligence; human-computer interaction; activity theory; argumentation; fuzzy logic; general logics; clinical decision support systems; cognitive disorder; dementia; differential diagnosis; clinical practice guideline; knowledge engineering; knowledge representation; cognitive ergonomics; interactive reasoning; Computer science; Datavetenskap; Computer Science; datalogi;

    Abstract : Demensvården i Sverige och i andra delar av världen har på olika sätt varit i fokus de senaste åren där man påtalat behovet att utveckla metoder och riktlinjer för hur vården ska bedrivas. Detta för att möta den växande andelen äldre människor som också utvecklar demenssjukdomar. READ MORE

  4. 2. Efficient Implementation of Concurrent Programming Languages

    Author : Erik Stenman; Simon Peyton Jones; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Datavetenskap; Computer Science;

    Abstract : Dissertation in Computer Science to be publicly examined in Häggsalen, Ångströmlaboratoriet, Uppsala University, on Friday, November 1, 2002 at 1:00 pm for the degree of doctor of philosophy. The examination will be conducted in English. READ MORE

  5. 3. From Declarative Models to Local Search

    Author : Gustav Björdal; Pierre Flener; Justin Pearson; Laurent Michel; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; discrete optimisation; combinatorial optimisation; local search; large-neighbourhood search; MiniZinc; constraint programming; declarative modelling; declarative neighbourhoods; Computer Science; Datavetenskap;

    Abstract : A solver is a general-purpose software for solving optimisation problems. It takes as input a description of a problem, called a model, and uses a collection of algorithms, called its solving technology, to ideally produce an optimal solution as output. Most solvers have a modelling language that cannot be processed by other solvers. READ MORE

  6. 4. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

    Author : Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

    Abstract : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. READ MORE

  7. 5. Diversified Retrieval of Spatial Data with Context

    Author : Georgios Kalamatianos; Georgios J Fakas; Aristides Gionis; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Proportionality; Diversity; Keyword Search; Spatial Data; Ranking; Computer Science; Datavetenskap;

    Abstract : The abundance and ubiquity of spatial datasets necessitates their effective and efficient retrieval. For instance, on the web, there are datasets with GIS objects or POIs (e.g. Spatialhadoop datasets), datasets with geo-tagged photographs (e. READ MORE