Search for dissertations about: "Pure science"

Showing result 1 - 5 of 380 swedish dissertations containing the words Pure science.

  1. 1. Pure Functional Parsing - an advanced tutorial

    University dissertation from Chalmers University of Technology

    Author : Peter Ljunglöf; Göteborgs universitet.; University of Gothenburg.; Göteborgs universitet.; Gothenburg University.; [2002]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Språkteknologi; Language technology; Datalogi; Computer science; context-free grammars; parsing algorithms; parser combinators; functional programming;

    Abstract : .... READ MORE

  2. 2. Pure Type Systems with an Internalized Parametricity Theorem

    University dissertation from Chalmers University of Technology

    Author : Guilhem Moulin; Chalmers tekniska högskola.; Chalmers University of Technology.; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Polymorphism; Parametricity; Type structure; Lambda Calculus.;

    Abstract : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although they can be stated as internal propositions, they cannot be proved internally. READ MORE

  3. 3. Adaptive Semi-structured Information Extraction

    University dissertation from Institutionen för datavetenskap

    Author : Anders Arpteg; Linköpings universitet.; Linköpings universitet.; [2003]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Information extraction; Artificial intelligence; Semi-structured data; Reinforced learning; Knowledge management;

    Abstract : The number of domains and tasks where information extraction tools can be used needs to be increased. One way to reach this goal is to construct user-driven information extraction systems where novice users are able to adapt them to new domains and tasks. READ MORE

  4. 4. Antioxidative Properties of Herring (Clupea harengus) Press Juice in Food, In Vitro and In Vivo Model Systems

    University dissertation from Chalmers University of Technology

    Author : Thippeswamy Sannaveerappa; Chalmers tekniska högskola.; Chalmers University of Technology.; [2007]
    Keywords : LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; Livsmedelsvetenskap; Food science; herring; Clupea harengus; press juice; antioxidants; washed cod mince; alpha-tocopherol; hemoglobin; monocytes; oxidation; ORAC; LDL oxidation; in vitro digestion.;

    Abstract : Some species like herring (Clupea harengus) are currently under-utilized due to their small size, dark colour and susceptibility to lipid oxidation. Our hypothesis has been that the high susceptibility of herring to oxidation makes it well equipped with natural antioxidants, both fat and water soluble ones. READ MORE

  5. 5. Nanocomposites for Use in Sliding Electrical Contacts

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Benny André; Uppsala universitet.; [2011]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; tribology; materials science; Materialvetenskap; Materials Science; Teknisk fysik med inriktning mot materialvetenskap; Engineering Science with specialization in Materials Science; Teknisk fysik med inriktning mot tribomaterial; Engineering Science with specialization in Tribo Materials;

    Abstract : In this thesis nanocomposite materials for use in high performance electrical contacts are tested. Self mating silver as coatings on cupper substrates are the most used material combination in power connectors today. In this work two new concepts were tested. READ MORE