BACKGROUND Soundness is important for welfare and utility of the riding horse. Musculoskeletal disorders are the most common causes of interruption in training and of culling. Despite great importance, heritability of a majority of health traits in horses has previously not been estimated. The objective was to perform genetic analyses of medical and orthopaedic health traits in young riding hor...

When developing a new language with semantics described by Structural Operational Semantics (SOS), one often wants an axiomatisation of this language (w.r.t. to some equivalence) as well. We describe a method for automating the straightforward soundness proofs for the axioms of such an axiomatisation.

correlation between breeding value of crude milk (cm) and energy-corrected milk (ecm) was studied based on a total of 774,013 test day records belongs to 88,456 first-parity holsteins dairy cattle calving during 1997-2009 in 165 herds (from six provinces). genetic analysis of the traits was carried out by a fixed regression test day model. in the model, effects of herd, calving year, production...

Testicles were isolated from dromedary camels in a local slaughterhouse at breeding and non-breeding seasons. Sperms were recovered from different parts of the epididymis (caput, corpus and cauda) and stained separately on slide glasses by eosin nigrosin staining method and dried by a hair dryer and carried to the laboratory. In the lab, slides were observed for evaluation of the proportion of ...

This paper discusses the relationship between tabulation and goal-oriented bottom-up evaluation of logic programs. Some diierences emerge when one tries to identify features of one evaluation method in the other. We show that to obtain the same eeect as tabulation in top-down, one has to perform a careful adornment in programs to be evaluated bottom-up. Furthermore we propose an eecient algorit...