Sökning: "Datavetenskap datalogi"

Visar resultat 1 - 5 av 343 avhandlingar innehållade orden Datavetenskap datalogi.

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

    Författare :Helena Lindgren; Patrik Eklund; Klaus-Peter Adlassnig; Umeå universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 2. Efficient Implementation of Concurrent Programming Languages

    Författare :Erik Stenman; Simon Peyton Jones; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Datavetenskap; Computer Science;

    Sammanfattning : 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. LÄS MER

  4. 3. From Declarative Models to Local Search

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 5. Diversified Retrieval of Spatial Data with Context

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

    Sammanfattning : 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. LÄS MER