Pyridinoline Cross-links in Bovine Muscle Collagen

Development of muscle collagen cross-linkage was investigated by determining hydroxylysylpyridinoline and lysylpyridinoline contents of longissimus dorsi, semitendinosus and extensor carpi ulnaris muscles. These were removed from male, female and castrated German Simmental cattle (150–620 days old) fattened on different energy levels and related to possible influences of sex, feeding intensity and type of muscle. In intramuscular collagen, an age-related increase in pyridinoline content was found. Cross-link formation was also influenced by sex and feeding intensity. Epimysia exhibited differences in pyridinoline content which were probably due to differences in physical strain of the muscles.     

Strategy Compliant Multi-Threaded Term Completion

We report on the design, implementation, and performance,of the parallel term-rewriting system PaReDuX.We discuss the parallelization of three term completion procedures: Knuth-Bendix completion, completion modulo AC, and unfailing completion. Our parallelization is strategy-compliant, i.e., the parallel code performs exactly the same work as the sequential code, but the work load is shared by many processors. PaReDuX is designed for shared memory parallel architectures, such as multi-processor workstations, where it shows good performance on a variety of examples.