Effects of level of social contact on dairy calf behavior and health

Housing preweaned dairy calves in pairs rather than individually has been found to positively affect behavioral responses in novel social and environmental situations, but concerns have been raised that close contact among very young animals may impair their health. In previous studies, the level of social contact permitted in individual housing has been auditory, visual, or physical contact. It is unclear how these various levels of social contact compare with each other and to pair housing, when their effects on behavior and health are considered, and whether the timing of pair housing has an effect. To investigate this, 110 Holstein calves (50 males, 60 females) in 11 blocks were paired according to birth date. Within 60 h of birth, each pair of calves was allocated to 1 of 5 treatments: individual housing with auditory contact (I), individual housing with auditory and visual contact (V), individual housing with auditory, visual, and tactile contact (T), pair housing (P), or individual housing with auditory and visual contact the first 2 wk followed by pair housing (VP). At 6 wk of age, calves were subjected to a social test and a novel environment test. In the social test, all pair-housed calves (P and VP) had a shorter latency to sniff an unfamiliar calf than did individually housed calves (I, V, and T), whereas calves with physical contact (T, P, and VP) sniffed the unfamiliar calf for longer than calves on the remaining treatments (I and V). In the novel environment test, calves with physical contact (T, P, and VP) had a lower heart rate, and more of these calves vocalized during the test compared with calves without physical contact (I and V). No effect of treatment was found for clinical scores, levels of the 5 most common pathogens in feces, or in development of serum antibodies against the 3 most common respiratory pathogens. Calves housed individually are more fearful of unfamiliar calves than are pair-housed calves. Contrary to common belief, the allowance of physical contact and pair housing had no effects on the health of the calves.     

A TEM study of morphological and structural degradation phenomena in LiFePO4‐CB cathodes

LiFePO₄‐based cathodes suffer from various degradation mechanisms, which influences the battery performance. In this paper, morphological and structural degradation phenomena in laboratory cathodes made of LiFePO₄ mixed with carbon black (CB) in a 1 mol/L LiPF₆ in EC : DMC (1:1 by weight) electrolyte are investigated by transmission electron microscopy at various preparation, assembling, storage, and cycling stages. High‐resolution transmission electron microscopy imaging shows that continuous SEI layers are formed on the LiFePO₄ particles and that both storage and cycling affect the formation. Additionally, loss of CB crystallinity, CB aggregation, and agglomeration is observed. Charge–discharge curves and impedance spectra measured during cycling confirm that these degradation mechanisms reduce the cathode conductivity and capacity. Copyright © 2016 John Wiley & Sons, Ltd.     

Why are Tailored Messages More Effective? A Multiple Mediation Analysis of a Breast Cancer Screening Intervention

Past research has found that tailoring increases the persuasive effectiveness of a message. However, the observed effect has been small and the explanatory mechanism remains unknown. To address these shortcomings, a tailoring software program was created that personalized breast cancer screening pamphlets according to risk, health belief model constructs, and visual preference. Women aged 40 and older (N = 119) participated in a 2 (Tailored vs. Stock Message) × 2 (Charts/Graphs vs. Illustrated Visuals) × 3 (Nested Replications of the Visuals) experiment. Participants provided with tailored illustrated pamphlets expressed greater breast cancer screening intentions than those provided with other pamphlets. In a test of 10 different mediators, perceived message relevance was found to fully mediate the Tailoring × Visual interaction.     

Chemically Synthesized 58‐mer LysM Domain Binds Lipochitin Oligosaccharide

Recognition of carbohydrates by proteins is a ubiquitous biochemical process. In legume–rhizobium symbiosis, lipochitin oligosaccharides, also referred to as nodulation (nod) factors, function as primary rhizobial signal molecules to trigger root nodule development. Perception of these signal molecules is receptor mediated, and nod factor receptor 5 (NFR5) from the model legume Lotus japonicus is predicted to contain three LysM domain binding sites. Here we studied the interactions between nod factor and each of the three NFR5 LysM domains, which were chemically synthesized. LysM domain variants (up to 58 amino acids) designed to optimize solubility were chemically assembled by solid‐phase peptide synthesis (SPPS) with microwave heating. Their interaction with nod factors and chitin oligosaccharides was studied by isothermal titration calorimetry and circular dichroism (CD) spectroscopy. LysM2 showed a change in folding upon nod factor binding, thus providing direct evidence that the LysM domain of NFR5 recognizes lipochitin oligosaccharides. These results clearly show that the L. japonicus LysM2 domain binds to the nod factor from Mesorhizobium loti, thereby causing a conformational change in the LysM2 domain. The preferential affinity for nod factors over chitin oligosaccharides was demonstrated by a newly developed glycan microarray. Besides the biological implications, our approach shows that carbohydrate binding to a small protein domain can be detected by CD spectroscopy.     

Membrane treatment of side-stream cooling tower water for reduction of water usage

A pilot study was conducted to determine whether membrane treatment on a side stream of recirculating cooling-tower water could reduce overall water usage and discharge. The treated permeate was returned to the cooling tower while the concentrate was discharged to the sanitary sewer. Flow rates, pressures and water chemistry were monitored. The pilot demonstrated potential substantial water savings. Maximum make-up water and discharge reduction were 16% and 49%, respectively. As high as possible permeate recovery is needed to maximize water conservation. Silica scaling on the membranes limited water savings in this pilot. Development of membranes with a solute-rejection capacity less than the 92% average of the membranes used in the pilot would assist in optimizing water savings. Decreased water outlays compensated for the additional energy used by membrane treatment. Scaling control is critical for economic operation.     

Optimization of bistable viscoelastic systems

We consider the flow of a viscoelastic fluid in a symmetric cross geometry. For small driving pressures the flow is symmetric, but beyond a certain critical pressure the symmetric flow becomes unstable; two stable asymmetric solutions appear, and forcing of the unstable symmetric flow beyond the critical pressure gives rise to increased hydraulic resistance. We have combined a state-of-the-art implementation for viscoelastic flow modeling with topology optimization in a high level finite element package (COMSOL). We use this framework on the cross geometry with the aim to reduce the critical driving pressure corresponding to the point of bistability, such that the effect is enhanced. The point of bistability is, however, not explicitly contained in the solution, so we opt for a heuristic approach based on the dissipation ratio between the asymmetric and unstable symmetric flow solutions. We find a design that significantly reduces the driving pressure required for bistability, and furthermore is in agreement with the approach followed by experimental researchers. Furthermore, by comparing the two asymmetric solutions, we succesfully apply the same approach to a problem with two fluids meeting in the cross.     

How verified (or tested) is my code? Falsification-driven verification and testing

Formal verification has advanced to the point that developers can verify the correctness of small, critical modules. Unfortunately, despite considerable efforts, determining if a “verification” verifies what the author intends is still difficult. Previous approaches are difficult to understand and often limited in applicability. Developers need verification coverage in terms of the software they are verifying, not model checking diagnostics. We propose a methodology to allow developers to determine (and correct) what it is that they have verified, and tools to support that methodology. Our basic approach is based on a novel variation of mutation analysis and the idea of verification driven by falsification. We use the CBMC model checker to show that this approach is applicable not only to simple data structures and sorting routines, and verification of a routine in Mozilla’s JavaScript engine, but to understanding an ongoing effort to verify the Linux kernel read-copy-update mechanism. Moreover, we show that despite the probabilistic nature of random testing and the tendency to incompleteness of testing as opposed to verification, the same techniques, with suitable modifications, apply to automated test generation as well as to formal verification. In essence, it is the number of surviving mutants that drives the scalability of our methods, not the underlying method for detecting faults in a program. From the point of view of a Popperian analysis where an unkilled mutant is a weakness (in terms of its falsifiability) in a “scientific theory” of program behavior, it is only the number of weaknesses to be examined by a user that is important.