Sökning: "Anders Danielsson"

Hittade 5 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; Lund University.; Lunds universitet.; Lund University.; Lunds universitet.; Lund University.; Lunds universitet.; [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. Further Investigations of Convergence Results for Homogenization Problems with Various Combinations of Scales

    Detta är en avhandling från Sundsvall : Mid Sweden University

    Författare :Tatiana Danielsson; Anders Holmbom; Liselott Flodén; Marianne Olsson Lindberg; Erika Schagatay; Peter Wall; [2020]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is based on six papers. We study the homogenization of selected parabolic problems with one or more microscopic scales in space and time, respectively. LÄS MER

  5. 5. Å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