Sökning: "Functional tests"

Visar resultat 1 - 5 av 317 avhandlingar innehållade orden Functional tests.

1. 1. Functional Polytypic Programming

   Författare :Patrik Jansson; Chalmers University of Technology; []
   Nyckelord :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 University of Technology; []
   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; Göteborgs universitet; Gothenburg University; []
   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; Luleå tekniska universitet; []
   Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Polymeric Composite Materials; Polymera konstruktionsmaterial;

   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