Search for dissertations about: "datavetenskap datalogi"
Showing result 1 - 5 of 342 swedish dissertations containing the words datavetenskap datalogi.
-
1. Decision support in dementia care : developing systems for interactive reasoning
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
-
2. Efficient Implementation of Concurrent Programming Languages
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
-
3. From Declarative Models to Local Search
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
-
4. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading
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
-
5. Diversified Retrieval of Spatial Data with Context
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