Search for dissertations about: "Anders Danielsson"

Showing result 1 - 5 of 12 swedish dissertations containing the words Anders Danielsson.

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

   Author : Anders Danielsson; Centrum för analys och syntes; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; mass spectrometry; gas chromatography; design of experiments; Metabolomics; chemometrics; diabetes; metabolism; multivariate analysis;

   Abstract : 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. READ MORE

4. 2. Development of a new protective group for tryptophan

   Author : Marie Danielsson; Anders Undén; Amelie Karlström; Stockholms universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Neurochemistry; Neurokemi; neurokemi med molekylär neurobiologi; Neurochemistry with Molecular Neurobiology;

   Abstract : A new protective group for the indole nitrogen of the amino acid tryptophan, the Boc-sarcosinoyl-sarcosinolyl (Boc-Sar-Sar) is described. This protective group shows good stability to the reaction conditions used in solid phase peptide synthesis and is incorporated into the peptide as FmocTrp(BocSarSar)OH. READ MORE

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

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

   Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; partial; inductive; coinductive; non-strict; equational reasoning; lifted; infinite; functional programming;

   Abstract : 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. READ MORE

7. 5. Further Investigations of Convergence Results for Homogenization Problems with Various Combinations of Scales

   Author : Tatiana Danielsson; Anders Holmbom; Liselott Flodén; Marianne Olsson Lindberg; Erika Schagatay; Peter Wall; Mittuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : 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. READ MORE