results in 41 of 186 (22%) hands, the palmaris longus tendon was absent and absence of the fifth flexor digitorum tendon was noted in eight (4.30 %). the median surface area in the hands without palmaris longus was meaningfully lower than the hands with it (p = 0.025), while the difference in the median surface area was not statistically significant with regard to presence of the fifth flexor d...

We present a calculational method for inverting programs by inverting the components separately. This is made possible by using assertions as commands and by permitting constructs that exhibit angelic nondeterminism. Rules are given for transforming inverted programs so that the angelic constructs are removed. A simple example illustrates the method.

BACKGROUND The nature of tendon neovascularisation associated with pain over time has not been studied. OBJECTIVE To prospectively study the patellar tendons in elite junior volleyball players. METHODS The patellar tendons in all students at the Swedish National Centre for high school volleyball were evaluated clinically and by ultrasonography (US) and Power Doppler (PD) sonography. RESUL...

BACKGROUND Clinical tendon injuries represent serious and unresolved issues of the case on how the injured tendons could be improved based on natural structure and mechanical strength. The aim of this studies the effect of aquatic activities and alogenic platelet rich plasma (PRP) injection in healing Achilles tendons of rats. METHODS Forty rats were randomly divided into 5 equal groups. Se...

The design and verification of cryptographic protocols is a notoriously difficulttask, even in symbolic models which take an abstract view of cryptography. This is mainlydue to the fact that protocols may interact with an arbitrary attacker which yields averification problem that has several sources of unboundedness (size of messages, numberof sessions, etc.).In this paper, ...

The applications of software benchmarks place an obvious demand on the precision of the benchmark results. An intu­ itive and frequently employed approach to obtaining precise enough benchmark results is having the benchmark collect a large number of samples that are simply averaged or other­ wise statistically processed. We show that this approach ignores an inherent and unavoidable nondetermi...

In this study postmortem changes in the character of the stress-strain limit cycle were analyzed for cat extensor communis and extensor lateralis tendons maintained in a stream of Ringer’s solution and loaded with a short series of symmetrical triangular-wave stress cycles. The mechanical behavior of these tendons was compared with that of similar tendons which had been preserved by freezing. I...