Minimal breast milk transfer of rituximab, a monoclonal antibody used in neurological conditions.

ObjectiveTo determine the transfer of rituximab, an anti-CD20 monoclonal antibody widely used for neurologic conditions, into mature breast milk.MethodsBreast milk samples were collected from 9 women with MS who received rituximab 500 or 1,000 mg intravenous once or twice while breastfeeding from November 2017 to April 2019. Serial breast milk samples were collected before infusion and at 8 hours, 24 hours, 7 days, and 18-21 days after rituximab infusion in 4 patients. Five additional patients provided 1-2 samples at various times after rituximab infusion.ResultsThe median average rituximab concentration in mature breast milk was low at 0.063 μg/mL (range 0.046-0.097) in the 4 patients with serial breast milk collection, with an estimated median absolute infant dose of 0.0094 mg/kg/d and a relative infant dose (RID) of 0.08% (range 0.06%-0.10%). Most patients had a maximum concentration at 1-7 days after infusion. The maximum concentration occurred in a woman with a single breast milk sample and was 0.29 μg/mL at 11 days postinfusion, which corresponds with an estimated RID of 0.33%. Rituximab concentration in milk was virtually undetectable by 90 days postinfusion.ConclusionsWe determined minimal transfer of rituximab into mature breast milk. The RID for rituximab was less than 0.4% and well below theoretically acceptable levels of less than 10%. Low oral bioavailability would probably also limit the absorption of rituximab by the newborn. In women with serious autoimmune neurologic conditions, monoclonal antibody therapy may afford an acceptable benefit to risk ratio, supporting both maternal treatment and breastfeeding

Fluctuating magnetic moments in liquid metals

We re-analyze literature data on neutron scattering by liquid metals to show that non-magnetic liquid metals possess a magnetic moment that fluctuates on a picosecond time scale. This time scale follows the motion of the cage-diffusion process in which an ion rattles around in the cage formed by its neighbors. We find that these fluctuating magnetic moments are present in liquid Hg, Al, Ga and Pb, and possibly also in the alkali metals.Comment: 17 pages, 5 figures, submitted to PR

Causal effects of PetroCaribe on sustainable development: a synthetic control analysis

We examine the causal effects of the energy subsidy programme PetroCaribe in the three dimensions of sustainable development: economic, social and environmental. We use the synthetic control method to construct a counterfactual and compare it to the outcomes of the beneficiary countries and thus estimate the magnitude and direction of the PetroCaribe effect. PetroCaribe had a positive effect on economic growth in most of the beneficiary countries; however, this economic boost was not followed by an improvement in social development. Environmentally, PetroCaribe did not negatively or positively impact the environmental quality of the member countries, in the sense that we do not find a significant effect on the trend of urn:x-wiley:14636786:media:manc12275:manc12275-math-0001 emissions per capita

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

The effect of particulate matter on paper degradation

Background: In this work we explore the chemical effects of particulate matter on paper. We exposed paper made of pure cellulose to the environment in different locations in central London, outdoors (in sheltered conditions) and indoors, for a period of up to 6 months. We monitored particulate matter (PM) deposition by counting the particles deposited every month with a scanning electron microscope. We analysed elemental composition of the deposited particles using inductively coupled plasma mass spectrometry. After accelerated degradation of the exposed samples, we determined the degree of polymerisation using viscometry. Results: We observed higher deposition rates and higher metal concentration outdoors than indoors. Elemental analysis of the deposited particles revealed the presence of some transition metals (Fe, Cu, Cr) that can contribute to the degradation of cellulose fibres through the Fenton reaction. By comparing the degree of polymerisation of pro‑ tected, unprotected and unexposed samples we could determine the relative contribution of PM deposition on the increase of the degradation rate. We found that the surface concentration of iron correlates with the reduction in the degree of polymerisation of the exposed paper. Conclusions: The results suggest that the presence of Fenton metals in PM has a significant effect on the accelera‑ tion of the degradation of cellulose. However, we estimate that this will unlikely occur at the levels of area coverage by PM that are typically avoided in indoor heritage through preventive maintenance and cleaning

Local cellular neighbourhood controls proliferation in cell competition

Cell competition is a quality control mechanism through which tissues eliminate unfit cells. Cell competition can result from short-range biochemical inductions or long-range mechanical cues. However, little is known about how cell-scale interactions give rise to population shifts in tissues, due to the lack of experimental and computational tools to efficiently characterise interactions at the single-cell level. Here, we address these challenges by combining long-term automated microscopy with deep learning image analysis to decipher how single-cell behaviour determines tissue make-up during competition. Using our high-throughput analysis pipeline, we show that competitive interactions between MDCK wild-type cells and cells depleted of the polarity protein scribble are governed by differential sensitivity to local density and the cell-type of each cell's neighbours. We find that local density has a dramatic effect on the rate of division and apoptosis under competitive conditions. Strikingly, our analysis reveals that proliferation of the winner cells is upregulated in neighbourhoods mostly populated by loser cells. These data suggest that tissue-scale population shifts are strongly affected by cellular-scale tissue organisation. We present a quantitative mathematical model that demonstrates the effect of neighbour cell-type dependence of apoptosis and division in determining the fitness of competing cell lines

Formal Verification of Hardware Synthesis

Original manuscript: January 21, 2013We report on the implementation of a certified compiler for a high-level hardware description language (HDL) called Fe-Si (FEatherweight SynthesIs). Fe-Si is a simplified version of Bluespec, an HDL based on a notion of guarded atomic actions. Fe-Si is defined as a dependently typed deep embedding in Coq. The target language of the compiler corresponds to a synthesisable subset of Verilog or VHDL. A key aspect of our approach is that input programs to the compiler can be defined and proved correct inside Coq. Then, we use extraction and a Verilog back-end (written in OCaml) to get a certified version of a hardware design.United States. Defense Advanced Research Projects Agency (Agreement FA8750-12-2-0110