Essays about: "Jumps"

Showing result 21 - 25 of 87 essays containing the word Jumps.

  1. 21. Associations between vertical jumps, agility and success in elite male and female volleyball players

    University essay from Högskolan i Halmstad

    Author : Marcus Nilsson; [2021]
    Keywords : ;

    Abstract : Background: Volleyball is a physically demanding sport, not because of physical contacts between players but because of the quick movements and changes of directions that occurs both horizontally and vertically. Many coaches consider vertical jump and agility as the most important skills for a successful volleyball player to possess. READ MORE

  3. 22. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Adrian Westerberg; [2021]
    Keywords : Formal verification; Binary analysis; Interactive theorem proving; Indirect jump resolution; Formell verifiering; Binär analys; Interaktiv teorembevisning; Indirekt hopp bestämning;

    Abstract : HolBA is a binary analysis library that can be used to formally verify binary programs using contracts. It is developed in the interactive theorem prover HOL4 to achieve a high degree of trust in verification, the result of verification is a machine-checked proof demonstrating its correctness. This thesis presents two proof-producing procedures. READ MORE

  4. 23. Concurrent Validity, Inra-unit, and Inter-unit Reliability of the Vmaxpro for Measuring Velocity

    University essay from Umeå universitet/Avdelningen för idrottsmedicin

    Author : Elias Ståhl; [2021]
    Keywords : Velocity-based training; VBT; 1080 Quantum; test equipment; training prescription; performance assessments; Vmaxpro; Enode Pro; accelerometer;

    Abstract : The purpose of the present study was to evaluate the concurrent validity, intra-unit, and interunit reliability of the IMU Vmaxpro for measuring velocity for VBT purposes. Two protocols were constructed to cover velocities seen in the practical environment. Utilizing the 1080 Quantum the first protocol collected data without the use of subjects. READ MORE

  5. 24. Detecting anomalies in data streams driven by ajump-diffusion process

    University essay from Umeå universitet/Institutionen för fysik

    Author : Carl Paulin; [2021]
    Keywords : machine learning; ML; random forest; anomaly; detection; outlier; analysis; financial modelling; merton; jump-diffusion process; stochastic process; isolation forest; IF; robust random cut forest; RRCF;

    Abstract : Jump-diffusion processes often model financial time series as they can simulate the random jumps that they frequently exhibit. These jumps can be seen as anomalies and are essential for financial analysis and model building, making them vital to detect. READ MORE

  6. 25. Development of innovative multi-physics solutions to optimize biological measure performance

    University essay from KTH/Skolan för kemi, bioteknologi och hälsa (CBH)

    Author : Mathilde Aubret; [2020]
    Keywords : Camera variability; statistics; image processing; LFIA; microfluidic; modelling;

    Abstract : Paper strips are becoming widely used for blood testing and particularly with embedded immunoassays. Among the so called "Point of Care" devices, the association of LFIA tests with a reading technology able to capture the strip and analyze its composition to output the biological result is advantageous in many ways. READ MORE