Search results for "overloading"
showing 3 items of 3 documents
MANAGEMENT OF PSYCHOSOCIAL RISKS IN THE EDUCATIONAL SECTOR OF LATVIA
2019
Risk management is gaining acknowledgement in organisational management due to the benefits it brings with it, such as ability of managers to forecast possible threats and plan the most appropriate prevention measures. Psychosocial risk group is one of the largest risk group types and is related to the aspects of staff overburning, lack of employee motivation, health problems due to stress, etc. Study carried in Latvia about risk management showed that psychosocial risks are significant for educational institutions. Empirical research carried out in Latvia has shown that the top risks perceived by the education sector professionals in Latvia are overloading of employees and lack of employee…
A systematic approach to deriving incremental type checkers
2020
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to Datalog, a carefully limited logic programming language for which incremental solvers exist. The key contribution of this paper is to discover an encoding of the infinite typing relation as a finite Datalog relation in a way that yields efficient incremental up…
Muscle‐tendon morphology and function following long‐term exposure to repeated and strenuous mechanical loading
2020
We mapped structural and functional characteristics of muscle‐tendon units in a population exposed to very long‐term routine overloading. Twenty‐eight military academy cadets (age: 21.00 ± 1.1 yrs; height: 176.1 ± 4.8 cm; mass: 73.8 ± 7.0 kg) exposed for over 24 months to repetitive overloading were profiled via ultrasonography with a senior subgroup of them (n = 11; age = 21.4 ± 1.0 yrs; height = 176.5 ± 4.8 cm; mass = 71.4 ± 6.6 kg) also tested while walking and marching on a treadmill. A group of eleven ethnicity‐ and aged‐matched civilians (age = 21.6 ± 0.7 yrs; height = 176.8 ± 4.3 cm; mass = 74.6 ± 5.6 kg) was also profiled and tested. Cadets and civilians exhibited similar morphology…