________________________________________________________________________________ Abstract The aim of the study was to determine if the breeding potential of 25-month old Bonsmara beef bulls could be predicted from production characteristics. Forty-one Bonsmara bulls were included in an on-farm performance test (also known as the Phase D growth test) for a period of 180 days. At an average age o...

Statistics for weaner production over the last few years in Germany clearly show a continuous decline in the use of purebreds and an increase in the use of crossbred piglets. Most of the crossbred piglets (about 60 percent) are produced by breeding companies. About 20 different breeding companies are established in Germany. Besides these breeding companies the former pedigree breeders have also...

This paper presents a novel type-and-effect analysis for predicting upper-bounds on memory allocation costs for co-recursive definitions in a simple lazily-evaluated functional language. We show the soundness of this system against an instrumented variant of Launchbury’s semantics for lazy evaluation which serves as a formal cost model. Our soundness proof requires an intermediate semantics emp...

An abstraction is a property-preserving contraction of a program’s model into a smaller one that is suitable for automated analysis. An abstraction must be sound, and ideally, complete. Soundness and completeness arguments are intimately connected to the abstraction process, and approaches based on homomorphisms and Galois connections are commonly employed to define abstractions and prove their...

This report is concerned with a new method of evaluation for the Linguistic Word Recognition component of the Verbmobil-Project: Architektur. A two stage model of diagnostic evaluation is presented consisting of logical and empirical evaluation steps. Logical evaluation is carried out according to a data model which acts as optimal input in order that each component participating in the evaluat...

throughout the present study the effect of using markers close to genes affecting a trait, ascompared with the use of all the markers of a genome, and also the effect of on increase in thenumber of reference groups, on the accuracy of a genetic evaluation, was investigated. genomicevaluation was done using blup method. the results indicated that use of markers close to genesaffecting a trait an...