Search for dissertations about: "ANA"

Showing result 16 - 20 of 183 swedish dissertations containing the word ANA.

  2. 16. General Recursion in Type Theory

    Author : Ana Bove; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis deals with the use of constructive type theory as a programming language. In particular, it presents a method to translate general recursive functional programs into their type-theoretic equivalents. A key notion in functional programming is recursion, which allows that the object being defined refers to itself. READ MORE

  4. 17. Programming in Martin-Löf Type Theory: Unification - A non-trivial Example

    Author : Ana Bove; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  5. 18. Environmental influence on alpha-helical peptides

    Author : Ana Caballero Herrera; Karolinska Institutet; Karolinska Institutet; []
    Keywords : MD alpha helix; C-peptide; membrane proteins; hydrogen bonds; packing; dynamics;

    Abstract : Most proteins at physiological conditions fold into a native functional three-dimensional conformation. The stability of the Native state is a balance between different interactions within the protein and with the solvent. READ MORE

  6. 19. Strategies for improving mechanical properties of polypropylene/cellulose composites

    Author : Ana Espert; Sigbritt Karlsson; Carlos Gonzalez Sanchez; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Chemistry; polymer technology; chemical engineering; materials science; polymer; Kemi; Chemistry; Kemi;

    Abstract : The interest for polypropylene/cellulose composites has experienced a great increase in different applications such as car interiors and construction materials. Cellulose fibres are inexpensive, renewable, biodegradable, they present lower density and their mechanical properties can be compared to those of inorganic fillers. READ MORE

  7. 20. Entropy-stabilized transition metal diborides for high-temperature applications

    Author : Ana Carolina Feltrin; Farid Akhtar; Alberto Vomiero; Laura Silvestroni; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering Materials; Materialteknik;

    Abstract : Ultra-high temperature ceramics (UHTCs) are on the cutting edge as structural or protective materials that can withstand extreme environments such as hypersonic vehicles, nuclear reactors, and advanced turbine engines. These materials stand out for their melting temperatures above 2500 °C, high chemical stability, and retained mechanical resistance at temperatures higher than 1650 °C. READ MORE