The present study characterized the persistent changes (ie, off-treatment) resulting from short-term antihypertensive treatments on mean arterial pressure (MAP) and structurally based vascular resistance. Rats were treated for 14 days with enalapril (30 mg x kg(-1) x d(-1)) with regular (ENAL, 0.4%) or low salt (ELS, 0.04%) diets, or a triple therapy (Triple: hydralazine 45 mg x kg(-1) x d(-1),...

In this paper, we present VATA, a versatile and efficient open-source tree automata library applicable, e.g., in formal verification. The library supports both explicit and semi-symbolic encoding of non-deterministic finite tree automata and provides efficient implementation of standard operations on both. The semi-symbolic encoding is intended for tree automata with large alphabets. For storin...

[Purpose] This study was performed to determine which set of below-knee working conditions minimizes upper extremity muscle activity and which of upward- or downward-direction workstations poses the greater risk of upper extremity disorder. [Subjects] The study population consisted of 15 young male workers. [Methods] EMG activities of the right anterior deltoid, biceps brachii, and lower trapez...