Sökning: "Anders Danielsson"

Hittade 4 avhandlingar innehållade orden Anders Danielsson.

  1. 1. Development of Protocols for Metabolomics in Biomedical Research using Chemometrics

    Detta är en avhandling från Department of Chemistry, Lund University

    Författare :Anders Danielsson; Lunds universitet.; Lund University.; Lunds universitet.; Lund University.; Lunds universitet.; Lund University.; [2010]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; mass spectrometry; gas chromatography; design of experiments; Metabolomics; chemometrics; diabetes; metabolism; multivariate analysis;

    Sammanfattning : Metabolomics is a rapidly growing research field. It aims for quantification of all the metabolites in a biological sample such as plasma, saliva, cerebrospinal fluid or cells. LÄS MER

  2. 2. Functional Program Correctness Through Types

    Detta är en avhandling från Department of Chemistry, Lund University

    Författare :Nils Anders Danielsson; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

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

  3. 3. Precise Reasoning About Non-strict Functional Programs; How to Chase Bottoms, and How to Ignore Them

    Detta är en avhandling från Department of Chemistry, Lund University

    Författare :Nils Anders Danielsson; [2005]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; partial; inductive; coinductive; non-strict; equational reasoning; lifted; infinite; functional programming;

    Sammanfattning : This thesis consists of two parts. Both concern reasoning about non-strict functional programming languages with partial and infinite values and lifted types, including lifted function spaces.The first part is a case study in program verification: We have written a simple parser and a corresponding pretty-printer in Haskell. LÄS MER

  4. 4. Ångermanna hushollning nordan skogen, i ett snilleprof vid kongl. lärohuset i Upsala under ... Anders Berchs öfvervaro föreställd af Jon Boding Danielsson, ångermannländinge. I gustaviska hörehuset then 29 april, år 1747. Första stycket

    Detta är en avhandling från Stockholm tryckt hos Lars Salvius

    Författare :Anders Berch; Uppsala universitet.; [1747]
    Nyckelord :Agriculture; Forests and forestry; Nationalekonomi; Sverige; Ekonomiska förhållanden; Sverige; Skogsbruk; Lantbruk;

    Sammanfattning : .... LÄS MER