Avancerad sökning

Visar resultat 1 - 5 av 330 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Functional Polytypic Programming

    Författare :Patrik Jansson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; algebraic datatypes; functional programming; programming languages; polytypic programming; generic programming;

    Sammanfattning : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. LÄS MER

  3. 2. Functional Metallic Glasses

    Författare :Ansar Masood; Lyubov Belova; K. Venkat Rao; Lars Arnberg; KTH; []
    Nyckelord :Bulk Metallic glasses; glass forming ability; soft magnetism; thin films; magnetic properties; magnetic hardening; plasticity; biocompatibility;

    Sammanfattning : For decades, Metallic Glass, with its isotropic featureless structure while exhibiting outstanding mechanical properties was possible only at a high rate of quenching and with at least one dimension in the submicron regime.  This limitation was overcome with the discovery of Bulk Metallic glasses, BMGs, containing three or more elements following the additional two empirical rules of optimum geometric size differences and negative energy of mixing among the constituent elements. LÄS MER

  4. 3. Property-based testing for functional programs

    Författare :Nicholas Smallbone; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

    Sammanfattning : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. LÄS MER

  5. 4. Kinetic chain weight training, strength assessment, and functional performance testing: with reference to sports and rehabilitation

    Författare :Jesper Augustsson; Göteborgs universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; open kinetic chain; closed kinetic chain; weight training; strength assessment; functional tests; anterior cruciate ligament; reconstruction; fatigue;

    Sammanfattning : The overall purpose of the studies was to obtain knowledge about physical performance in healthy individuals and patients after anterior cruciate ligament (ACL) reconstruction. Data are presented that concerns closed and open kinetic chain exercise, adaptive response to weight training, the methodology of muscle strength assessment, and the development of a functional testing protocol performed under conditions of fatigue. LÄS MER

  7. 5. Multi-functional composite materials : CFRP thin film capacitors

    Författare :Tony Carlson; Patrik Fernberg; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Polymera konstruktionsmaterial; Polymeric Composite Materials;

    Sammanfattning : The use of lightweight materials in structural applications is ever increasing. Today, lightweight engineering materials are needed to realise greener, safer and more competitive products. LÄS MER