To set productivity standards and targets, and investigate inter-relationships between key measurements in swine breeding herds, farm productivity measurements were analyzed on 87 Japanese commercial farms in 14 prefectures. The 87 herds were ranked on the basis of number of pigs weaned per mated female per year (PWMFY), and 23 herds in the upper 25th percentile of this ranking were designated ...

Given the importance of olive growing, especially in Mediterranean countries, it is crucial that there a constant process modernization aimed at both environmental sustainability and maintenance high standards production. The use remote sensing (RS) allows intervention specific differentiated way groves, depending on their variability, managing different agronomic aspects. potentialities applic...

We show how to improve one of the constructors of separation algebras to increase modularity and expressibility. Our technique has advantages for both paper and mechanized proofs. Our results are implemented in Coq.