Relationships between methane production and milk fatty acid profiles in dairy cattle

There is a need to develop simple ways of quantifying and estimating CH4 production in cattle. Our aim was to evaluate the relationship between CH4 production and milk fatty acid (FA) profile in order to use milk FA profiles to predict CH4 production in dairy cattle. Data from 3 experiments with dairy cattle with a total of 10 dietary treatments and 50 observations were used. Dietary treatments included supplementation with calcium fumarate, diallyldisulfide, caprylic acid, capric acid, lauric acid, myristic acid, extruded linseed, linseed oil and yucca powder. Methane was measured using open circuit indirect respiration calorimetry chambers and expressed as g/kg dry matter (DM) intake. Milk FA were analyzed by gas chromatography and individual FA expressed as a fraction of total FA. To determine relationships between milk FA profile and CH4 production, univariate mixed model regression techniques were applied including a random experiment effect. A multivariate model was developed using a stepwise procedure with selection of FA based on the Schwarz Bayesian Information Criterion. Dry matter intake was 17.7 ± 1.83 kg/day, milk production was 27.0 ± 4.64 kg/day, and methane production was 21.5 ± 1.69 g/kg DM. Milk C8:0, C10:0, C11:0, C14:0 iso, C15:0 iso, C16:0 and C17:0 anteiso were positively related (

From Event-B models to Dafny code contracts

International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification focuses on code level correctness and its verification. Therefore it would seem that the constructive and analytical approaches should complement each other well. To demonstrate this idea we present a case for linking two existing verification methods, Event-B (constructive) and Dafny (analytical). This approach combines the power of Event-B abstraction and its stepwise refinement with the verification capabilities of Dafny. We presented a small case study to demonstrate this approach and outline of the rules for transforming Event-B events to Dafny contracts. Finally, a tool for automatic generation of Dafny contracts from Event-B formal models is presented

Theory of asymmetric non-additive binary hard-sphere mixtures

We show that the formal procedure of integrating out the degrees of freedom of the small spheres in a binary hard-sphere mixture works equally well for non-additive as it does for additive mixtures. For highly asymmetric mixtures (small size ratios) the resulting effective Hamiltonian of the one-component fluid of big spheres, which consists of an infinite number of many-body interactions, should be accurately approximated by truncating after the term describing the effective pair interaction. Using a density functional treatment developed originally for additive hard-sphere mixtures we determine the zero, one, and two-body contribution to the effective Hamiltonian. We demonstrate that even small degrees of positive or negative non-additivity have significant effect on the shape of the depletion potential. The second virial coefficient $B_2$, corresponding to the effective pair interaction between two big spheres, is found to be a sensitive measure of the effects of non-additivity. The variation of $B_2$ with the density of the small spheres shows significantly different behavior for additive, slightly positive and slightly negative non-additive mixtures. We discuss the possible repercussions of these results for the phase behavior of binary hard-sphere mixtures and suggest that measurements of $B_2$ might provide a means of determining the degree of non-additivity in real colloidal mixtures

Dentistry handbook

2000 handbook for the faculty of Dentistr

A robust semantics hides fewer errors

In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics

Hard-Sphere Fluids in Contact with Curved Substrates

The properties of a hard-sphere fluid in contact with hard spherical and cylindrical walls are studied. Rosenfeld's density functional theory (DFT) is applied to determine the density profile and surface tension $\gamma$ for wide ranges of radii of the curved walls and densities of the hard-sphere fluid. Particular attention is paid to investigate the curvature dependence and the possible existence of a contribution to $\gamma$ that is proportional to the logarithm of the radius of curvature. Moreover, by treating the curved wall as a second component at infinite dilution we provide an analytical expression for the surface tension of a hard-sphere fluid close to arbitrary hard convex walls. The agreement between the analytical expression and DFT is good. Our results show no signs for the existence of a logarithmic term in the curvature dependence of $\gamma$.Comment: 15 pages, 6 figure

Testing interactive effects of global environmental changes on soil nitrogen cycling

Responses of soil nitrogen (N) cycling to simultaneous and potentially interacting global environmental changes are uncertain. Here, we investigated the combined effects of elevated CO2, warming, increased precipitation and enhanced N supply on soil N cycling in an annual grassland ecosystem as part of the Jasper Ridge Global Change Experiment (CA, USA). This field experiment included four treatments-CO2, temperature, precipitation, nitrogen-with two levels per treatment (ambient and elevated), and all their factorial combinations replicated six times. We collected soil samples after 7 and 8 years of treatments, and measured gross rates of N mineralization, N immobilization and nitrification, along with potential rates of ammonia oxidation, nitrite oxidation and denitrification. We also determined the main drivers of these microbial activities (soil ammonium and nitrate concentrations, soil moisture, soil temperature, soil pH, and soil CO2 efflux, as an indicator of soil heterotrophic activity). We found that gross N mineralization responded to the interactive effects of the CO2, precipitation and N treatments: N addition increased gross N mineralization when CO2 and precipitation were either both at ambient or both at elevated levels. However, we found limited evidence for interactions among elevated CO2, warming, increased precipitation, and enhanced N supply on the other N cycling processes examined: statistically significant interactions, when found, tended not to persist across multiple dates. Soil N cycling responded mainly to single-factor effects: long-term N addition increased gross N immobilization, potential ammonia oxidation and potential denitrification, while increased precipitation depressed potential nitrite oxidation and increased potential ammonia oxidation and potential denitrification. In contrast, elevated CO2 and modest warming did not significantly affect any of these microbial N transformations. These findings suggest that global change effects on soil N cycling are primarily additive, and therefore generally predictable from single factor studies

The anti-tumor effect of RANKL inhibition in malignant solid tumors - A systematic review

Diabetes mellitus: pathophysiological changes and therap

Self-assembly of "Mickey Mouse" shaped colloids into tube-like structures: experiments and simulations

Biological and Soft Matter Physic