Advanced search
Showing result 1 - 5 of 391 swedish dissertations matching the above criteria.
-
1. National environmental evaluation systems : guiding towards sustainability?
Abstract : Background: Dealing with environmental threats is one of the largest, if not the largest, challenge contemporary societies face. One way to better deal with this challenge would be to produce knowledge that can be used to improve environmental work and environmental policy and thus ultimately contribute to sustainable development. READ MORE
-
2. A program manipulation system based on partial evaluation
Abstract : Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. READ MORE
-
3. Att utvärdera i praktiken : The practice of evalutation - a retrospective study for local change and development in public libraries
Abstract : The study is placed within the area of library and information science (LIS) known as ”evaluation research” and in particular, the area that relates to theory of evaluation practice. An analysis of previous research reveals that there is a need for conceptualising evaluation activities in the real life of libraries and information services and to reflect further on the conditions for evaluation in various institutional contexts. READ MORE
-
4. Evaluation of Swedish Ice Cleat Distribution Programs : From Program Design to Ice Cleat Use
Abstract : Winter conditions, characterized by snow and lowered temperatures, can make travel by foot difficult. Older adults aged 65 and above are especially at risk of slipping and falling on icy or snowy surfaces. Minor falls can result in severe injuries due to their frailty. READ MORE
-
5. Functional Program Correctness Through Types
Abstract : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. READ MORE