Sökning: "Datavetenskap datalogi"
Visar resultat 1 - 5 av 343 avhandlingar innehållade orden Datavetenskap datalogi.
1. Decision support in dementia care : developing systems for interactive reasoning
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
2. Efficient Implementation of Concurrent Programming Languages
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
3. From Declarative Models to Local Search
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
4. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading
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
5. Diversified Retrieval of Spatial Data with Context
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