Moderate lameness leads to marked behavioral changes in dairy cows

Lameness is one of the most prevalent diseases affecting the welfare of cows in modern dairy production. Lameness leads to behavioral changes in severely lame cows, which have been investigated in much detail. For early detection of lameness, knowledge of the effects of moderate lameness on cow behavior is crucial. Therefore, the behavior of nonlame and moderately lame cows was compared on 17 Swiss dairy farms. On each farm, 5 to 11 nonlame (locomotion score 1 of 5) and 2 to 7 moderately lame (locomotion score 3 of 5) cows were selected for data collection in two 48-h periods (A, B) separated by an interval of 6 to 10 wk. Based on visual locomotion scoring, 142 nonlame and 66 moderately lame cows were examined in period A and 128 nonlame and 53 moderately lame cows in period B. Between these 2 periods, the cows underwent corrective hoof trimming. Lying behavior, locomotor activity, and neck activity were recorded by accelerometers (MSR145 data logger, MSR Electronics GmbH, Seuzach, Switzerland), and feeding and rumination behaviors by noseband sensors (RumiWatch halter, ITIN + HOCH GmbH, Liestal, Switzerland). Furthermore, visits to the brush and the concentrate feeder, and the milking order position were recorded. In comparison with nonlame cows, moderately lame cows had a longer lying duration, a longer average lying bout duration, and a greater lateral asymmetry in lying duration. Average locomotor activity, locomotor activity during 1 h after feed delivery or push-ups, and average neck activity were lower in moderately lame cows. Eating time and the number of eating chews (jaw movements) were reduced in moderately lame compared with nonlame cows, whereas no effect of moderate lameness was evident for ruminating time, number of ruminating chews and boluses, and average number of ruminating chews per bolus. Moderately lame cows visited the concentrate feeder and the brush less frequently, and they were further back in the milking order compared with nonlame cows. In conclusion, nonlame and moderately lame cows differed in a biologically relevant way in many of the behavioral variables investigated in this study. Therefore, the use of these behavioral changes seems to be promising to develop a tool for early lameness detection.     

Deformation of a surface layer and coating application using a flexible tool

The microstructure and properties of the functional coatings formed by impact friction processing of product surfaces with a flexible tool are studied. It is established that the processing produces a hard nanostructured surface layer with fragments up to 0.13 µm in size, as it is achieved by severe plastic deformation.     

Piperacillin/tazobactam‐induced neurotoxicity in a hemodialysis patient: A case report

Antibiotics are potentially a cause of neurotoxicity in dialysis patients, the most common are the beta‐lactams as ceftazidime and cefepime, and few cases have been reported after piperacillin/tazobactam use. This report presents a case of a hypertensive and diabetic 67‐year‐old woman in regular hemodialysis, which previously had a stroke. She was hospitalized presenting pneumonia, which was initially treated with cefepime. Two days after treatment, she presented dysarthria, left hemiparesis, ataxia, and IX and X cranial nerves paresis. Computed tomography showed no acute lesions and cefepime neurotoxicity was hypothesized, and the antibiotic was replaced by piperacillin/tazobactam. The neurologic signs disappeared; however, 4 days after with piperacillin/tazobactam treatment, the neurological manifestations returned. A new computed tomography showed no new lesions, and the second antibiotic regimen withdrawn. After two hemodialysis sessions, the patient completely recovered from neurological manifestations. The patient presented sequentially neurotoxicity caused by two beta‐lactams antibiotics. This report meant to alert clinicians that these antibiotics have dangerous neurological effects in chronic kidney disease patients.     

Inferring kinetic dissolution of NaCl in aqueous glycol solution using a low-cost apparatus and population balance model

An experimental methodology for inferring brine dissolution rate in monoethylene glycol (MEG) solutions at different temperatures using a webcam combined with a mathematical model is presented. The measurement system is designed to track the RGB (red, green, and blue) colour variations during the dissolution process. A dynamic model augmented with the population balance equation is applied to describe the dissolution process. Moreover, the dissolution rate is consistently related to the temperature and MEG concentration through the driving force based on the Gibbs energy and chemical affinity. The applied low-cost measurement apparatus proved to be a useful resource for tracking the dissolution dynamics in a wide range of undersaturation.     

Plasmonic-excitonic multi-hybrid glass-based nanocomposites incorporating Ag plus core-shell CdSe/CdS and alloyed CdSxSe1−x nanoparticles

Successful fabrication of glass-based hybrid nanocomposites (GHNCs) incorporating Ag, core-shell CdSe/CdS and CdS_xSe_1?x nanoparticles (NPs) is herein reported. Both metallic (Ag) and semiconductor (CdSe/CdS) NPs were pre-synthesized, suspended in colloids and added into the sol-gel reaction medium which was used to fabricate the GHNCs. During fabrication of the nanocomposites a fraction (20–60%) of core-shell CdSe/CdS NPs was alloyed into CdS_xSe_1?x (0.20 < x < 0.35) NPs without changing morphology. Modulation of in situ alloying is possible via the relative content of organics added into the sol-gel protocol. Within colloids Ag (core-shell CdSe/CdS) NPs presented average diameter and polydispersity index of 49.5 nm (4.2 nm) and 0.41 (0.21), respectively. On the other hand, the Ag (core-shell CdSe/CdS) NPs’ average diameter and polydispersity index assessed from the GHNCs were respectively 51.5 nm (4.1 nm) and 0.43 (0.25), revealing negligible aggregation of the nanophases within the glass template. The new GHNCs herein introduced presented two independent excitonic transitions associated to homogenously dispersed semiconductor NPs, peaking around 420 nm (core-shell CdSe/CdS) and 650 nm (CdS_xSe_1?x) and matching the plasmonic resonance (Ag NPs) in the 400–500 nm range. We envisage that the new GHNCs represent very promising candidates for superior light manipulation while illuminated with multiple laser beams in quantum interference-based devices.     

Temperature cycling and its effect on mechanical behaviours of highporosity chalks

Temperature history can have a significant effect on the strength of water-saturated chalk.In this study,hydrostatic stress cycles are applied to understand the mechanical response of chalk samples exposed to temperature cycling between each stress cycle,compared to the samples tested at a constant temperature.The total accumulated strain during a stress cycle and the irreversible strain are reported.Chalk samples from Kansas(USA)and Mons(Belgium),with different degrees of induration(i.e.amount of contact cementation),were used.The samples were saturated with equilibrated water(polar)and nonpolar Isopar H oil to quantify water weakening.All samples tested during 10 stress cycles with varying temperature(i.e.temperature cycled in between each stress cycle)accumulated more strain than those tested at constant temperatures.All the stress cycles were performed at 30℃.The two chalk types behaved similarly when saturated with Isopar H oil,but differently when saturated with water.When saturated with water,the stronger Kansas chalk accumulated more total strain and more irreversible strain within each stress cycle than the weaker Mons chalk.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.