Search

International audience; Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties. When session types and session primitives are added to the syntax of standard π-calculus types and terms, they give rise to additional separate syntactic categories. As a consequence, when new type features are added, there is duplication of efforts in the theory: the proofs of properties must be checked both on ordinary types and on session types. We show that session types are encodable in ordinary π types, relying on linear and variant types. Besides being an expressivity result, the encoding (i) removes the above redundancies in the syntax, and (ii) the properties of session types are derived as straightforward corollaries, exploiting the corresponding properties of ordinary π types. The robustness of the encoding is tested on a few extensions of session types, including subtyping, polymorphism and higher-order communications.

The relationship between linear type traits and productional, longevity traits were analysed for 645 cows first calved between 2000-2016. The aim of study was to evaluate realionships of individual 20 type traits and 4 general conformation characteristics. For analysed herd was evaluated impact of individual type traits to first lactation milk yield in kg, lifetime milk yield in kg and functional longevity in days. Results proved important relations between folowing linear type traits and first lactation milk yield in kg: rump lenght, rump width, body depth, muscularity, pastern, fore udder lenght, rear udder attachment, central ligament, udder depth and front teat placement. Statisticly important relationships were found between all general conformation characteristics and first lactation milk yield. Proved impact between individual linear type traits and lifetime milk yield were found for rump angle, hock and front teat placement. Relationships between general conformation characteristics and lifetime milk yield were not statisticly proved. For analysed herd were also found important relations between rump angle and hock to functional longevity. Important relationships between general conformation characteristics and functional longevity were not found. In overall 192 cows were culled in analysed herd in 2016. The most frequent reason of culling a cow out of breed was caused by fertility disorders which participated in overall culling reasons in 34,9 %.

We are developing the numerical model called the RIAM-COMPACT (Research Institute for Applied Mechanics, Kyushu University, Computational Prediction of Airflow over Complex Terrain). The object domain of this numerical model is from several m to several km, and can predict airflow over complex terrain with high precision. In this paper, the RIAM-COMPACT was applied to gas diffusion over an isolated three-dimensional hill and complex terrain under two types of stable conditions. One is a linear type of temperature profile, and the other is a polynomial type. Typical characteristics were observed in the numerical results.

Long-term selection on production results in increased environmental sensitivity. This often is expressed through decreased fertility and increased health problems. The phenomenon has been described in all common farm animal species. One theory is that potential resource intake is insufficient to express production potential. Additional resources are drawn away from fitness-related traits, such as fertility and health, to further increase observed production. In addition, resources for maintaining fitness depend on the demands by the environment. In a harsh environment, more resources are required for fitness-related traits than in an optimal environment. Literature results show that selection in an optimal environment will increase sensitivity to less optimal environments. The objectives of this paper were to increase understanding of the underlying mechanism behind the development of environmental sensitivity and to gain insight into correlated response(s) when selection is on observed production. A resource allocation model was defined where observed production depended on production potential, resource intake potential, and the allocation of resources to production or fitness, including maintenance, health, and reproduction. Penalties for reproductive performance and probability of survival were included when the proportion of resources assigned to fitness dropped below a certain, environment-related, threshold. Mass selection was practiced on observed production during 40 generations using stochastic simulation. Depending on the heritabilities of the underlying components and on the environment, selection on observed production resulted in a decrease in reproductive rate and in the development of environmental sensitivity when resource intake becomes limiting. Correlations of observed production with underlying components changed across generations, following a nonlinear pattern. The proposed model is simple, but increases the understanding of underlying mechanisms and consequences of selection for production when resources are limiting.

Body condition score (BCS), energy content (EC), cumulative effective energy balance (CEEB), and blood serum concentrations of glucose, beta-hydroxybutyrate (BHBA), and nonesterified fatty acids ( NEFA) were measured throughout first lactation in 497 Holstein cows raised on a large commercial farm in northern Greece. All these traits are considered to be indicators of a cow's energy balance. An additional measure of BCS, EC, and blood serum glucose, BHBA, and NEFA concentrations were taken approximately 2 mo (61 +/- 23 d) before first calving. During first lactation, first service conception rate, conception rate in the first 305 d of lactation, interval from calving to conception, number of inseminations per conception, incidence of metritis, and incidence of reproductive problems of these cows were recorded; interval between first and second calving, and second lactation first service conception rate were also recorded. Random regression models were used to calculate weekly animal breeding values for first lactation BCS, EC, CEEB, glucose, BHBA, and NEFA. Single trait animal models were used to calculate breeding values for these traits measured on pregnant heifers before calving. Reproductive records were then regressed on animal breeding values for these energy balance-related traits to derive estimates of their genetic correlations. Several significant estimates were obtained. In general, traits that are known to be positively correlated with energy balance (BCS, EC, CEEB, and glucose) were found to have a favorable genetic relationship with reproduction, meaning that increased levels of the former will lead to an enhancement of the latter. On the other hand, traits known to be negatively correlated with energy balance (BHBA and NEFA) were found to have an unfavorable genetic association with reproductive traits. Body condition score, BHBA, and NEFA recorded early in lactation, and glucose concentrations measured in pregnant heifers had the highest genetic correlation with future reproductive performance. Results suggest that genetic selection for body energy and blood metabolites could facilitate the genetic improvement of fertility and overall reproductive efficiency of dairy cows.

Long-term selection on production results in increased environmental sensitivity. This often is expressed through decreased fertility and increased health problems. The phenomenon has been described in all common farm animal species. One theory is that potential resource intake is insufficient to express production potential. Additional resources are drawn away from fitness-related traits, such as fertility and health, to further increase observed production. In addition, resources for maintaining fitness depend on the demands by the environment. In a harsh environment, more resources are required for fitness-related traits than in an optimal environment. Literature results show that selection in an optimal environment will increase sensitivity to less optimal environments. The objectives of this paper were to increase understanding of the underlying mechanism behind the development of environmental sensitivity and to gain insight into correlated response(s) when selection is on observed production. A resource allocation model was defined where observed production depended on production potential, resource intake potential, and the allocation of resources to production or fitness, including maintenance, health, and reproduction. Penalties for reproductive performance and probability of survival were included when the proportion of resources assigned to fitness dropped below a certain, environment-related, threshold. Mass selection was practiced on observed production during 40 generations using stochastic simulation. Depending on the heritabilities of the underlying components and on the environment, selection on observed production resulted in a decrease in reproductive rate and in the development of environmental sensitivity when resource intake becomes limiting. Correlations of observed production with underlying components changed across generations, following a nonlinear pattern. The proposed model is simple, but increases the understanding of underlying mechanisms and consequences of selection for production when resources are limiting.

Body weight (BW) observations on dairy cattle taken on average 35 times between birth and 1,000 d of life were used to estimate daily heritabilities and predict daily breeding values for both pregnancy-adjusted BW (PABW) and growth rate. Daily heritabilities for PABW were moderate to high, ranging from 0.41 (+/- 0.027) to 0.82 (+/- 0.041). Daily heritabilities for growth rate were high (> 0.68 +/- 0.034). The genetic association between various health events, including mastitis and lameness, and weight and growth was investigated by regressing the incidence of health events on breeding values for weight at birth, weaning, calving, and growth rate at 56 d after calving, growth rate at 110 d after calving, and maximum growth rate. Growth at weaning was the only BW measure to significantly affect mastitis (r(g) = 0.24), indicating that cows growing faster at weaning are more prone to mastitis. Increased weight (r(g) = 0.65) and growth rate at weaning (r(g) = 0.38) and increased maximum growth rate (r(g) = 0.71) all contributed to increased feet disorders. The only significant negative genetic association was obtained between reproduction and weight at calving (r(g) = -0.61).