Search for dissertations about: "normalisation by evaluation"

Showing result 1 - 5 of 13 swedish dissertations containing the words normalisation by evaluation.

  2. 1. Functional Program Correctness Through Types

    Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent 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

  4. 2. Spelling Normalisation and Linguistic Analysis of Historical Text for Information Extraction

    Author : Eva Pettersson; Joakim Nivre; Beáta Megyesi; Michael Piotrowski; Uppsala universitet; []
    Keywords : NLP for historical text; spelling normalisation; digital humanities; information extraction; character-based statistical machine translation; SMT; Levenshtein edit distance; language technology; computational linguistics; Computational Linguistics; Datorlingvistik;

    Abstract : Historical text constitutes a rich source of information for historians and other researchers in humanities. Many texts are however not available in an electronic format, and even if they are, there is a lack of NLP tools designed to handle historical text. READ MORE

  5. 3. Development of a Method for Comparing Amphetamine Samples

    Author : Kjell Andersson; Kimmo Himberg; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The studies presented in this thesis were part of a pan-European project, and they describe the research performed to develop a method for comparing amphetamine samples. The work included the following: optimisation of a method for profiling of amphetamine by gaschromatography (GC); optimisation of a technique for preparing samples for GC analysis; testing and evaluation of the abilities of a number of distance metrics to discern links between amphetamine samples originating from the same batch of synthesis analysed using the method developed in the current studies. READ MORE

  6. 4. Advances in brain SPECT : methodological and human investigations

    Author : Marco Pagani; Karolinska Institutet; Karolinska Institutet; []
    Keywords : SPECT; 99Tcm-HMPAO; Computerised Brain Atlas; rC13F; Control Subjects; Alzheimer s Disease; Frontal Lobe Dementia;

    Abstract : The aim of this work was to optimise and validate a new approach for examination of die regional cerebral blood flow (rCBF) using Single Photon Emission Computed Tomography (SPECT) for application in clinical research and patient care. It also involved the implementation of a software system for evaluation and analysis of rCBF. READ MORE

  7. 5. Safety as a process : From risk perception to safety activity

    Author : Christina Stave; Tore J Larsson; Institutionen för produkt- och produktionsutveckling Chalmers Tekniska Högskola; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Accident prevention; Occupation; Risk; Perception; Safety; Food; Industry; V Medicine; V Medicine; Oha Labour and labour market; Oha Labour and labour market;

    Abstract : The frequency of occupational accidents in the Swedish food industry and agriculture is high. This thesis has therefore explored the 'process of safety' in order to detect and analyse factors that either hinder or facilitate safety activity and to further develop intervention methods towards increased safety activity. READ MORE