Search for dissertations about: "Pure science"

Showing result 1 - 5 of 354 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.; Göteborgs universitet.; University of Gothenburg.; [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 tekniska högskola.; Chalmers University of Technology.; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Polymorphism; Parametricity; Type structure; Lambda Calculus.;

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

  5. 5. A program manipulation system based on partial evaluation

    University dissertation from Linköping : Linköpings universitet

    Author : Anders Haraldsson; Linköpings universitet.; Linköpings universitet.; [1977]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program manipulation; partial evaluation; program optimization; LISP; beta-expansion; macro-expansion; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. READ MORE