Complex magnetism in Ni₃TeO₆-type Co₃TeO₆ and high-pressure polymorphs of Mn_3-xCo_xTeO₆ solid solutions

International audienceNew Ni3TeO6-type (NTO) and double perovskite (DPv) polymorphs of Co3TeO6 are synthesised at pressures of 15 GPa. A complex elliptic helical magnetic order is observed in the NTO polymorph (TN1 = 58 K) that reorientates (42 K) and further splits (TN2 = 23.5 K) creating a coexisting helix. Increasing Co content within the Mn3-xCoxTeO6 system changes the dominant DPv phase to NTO structural type and drastically modifies the magnetic behaviour. DPv Co3TeO6 is the first A-site double cobaltite

Oxocentered Cu(II) lead selenite honeycomb lattices hosting Cu(I)Cl2 groups obtained by chemical vapor transport reactions

Chemical vapor transport (CVT) reactions were used to prepare three modular mixed-valent Cu(I)-Cu(II) compounds, (Pb2Cu(2+)9O4)(SeO3)4(Cu(+)Cl(2))Cl5 (1), (PbCu(2+)5O2)(SeO3)2(Cu(+)Cl2)Cl3 (2), and (Pb(x)Cu(2+)(6-x)O2)(SeO3)2(Cu(+)Cl2)K(1-x)Cl(4-x) (x = 0.20) (3). In their crystal structures chains of anion-centered (OCu(2+)4) and (OCu(2+)3Pb) tetrahedra form honeycomb-like double layers with cavities occupied by linear [Cu(+)Cl2](-) groups

Extensions to the Visual Predictive Check to facilitate model performance evaluation

The Visual Predictive Check (VPC) is a valuable and supportive instrument for evaluating model performance. However in its most commonly applied form, the method largely depends on a subjective comparison of the distribution of the simulated data with the observed data, without explicitly quantifying and relating the information in both. In recent adaptations to the VPC this drawback is taken into consideration by presenting the observed and predicted data as percentiles. In addition, in some of these adaptations the uncertainty in the predictions is represented visually. However, it is not assessed whether the expected random distribution of the observations around the predicted median trend is realised in relation to the number of observations. Moreover the influence of and the information residing in missing data at each time point is not taken into consideration. Therefore, in this investigation the VPC is extended with two methods to support a less subjective and thereby more adequate evaluation of model performance: (i) the Quantified Visual Predictive Check (QVPC) and (ii) the Bootstrap Visual Predictive Check (BVPC). The QVPC presents the distribution of the observations as a percentage, thus regardless the density of the data, above and below the predicted median at each time point, while also visualising the percentage of unavailable data. The BVPC weighs the predicted median against the 5th, 50th and 95th percentiles resulting from a bootstrap of the observed data median at each time point, while accounting for the number and the theoretical position of unavailable data. The proposed extensions to the VPC are illustrated by a pharmacokinetic simulation example and applied to a pharmacodynamic disease progression example

Encoding TLA+ into Many-Sorted First-Order Logic

International audienceThis paper presents an encoding of a non-temporal fragment of the TLA+ language, which includes untyped set theory, functions, arithmetic expressions, and Hilbert's ε operator, into many-sorted first-order logic, the input language of state-of-the-art SMT solvers. This translation, based on encoding techniques such as boolification, injection of unsorted expressions into sorted languages, term rewriting, and abstraction, is the core component of a back-end prover based on SMT solvers for the TLA+ Proof System

A New Calibrated Bayesian Internal Goodness-of-Fit Method: Sampled Posterior p-Values as Simple and General p-Values That Allow Double Use of the Data

Background: Recent approaches mixing frequentist principles with Bayesian inference propose internal goodness-of-fit (GOF) p-values that might be valuable for critical analysis of Bayesian statistical models. However, GOF p-values developed to date only have known probability distributions under restrictive conditions. As a result, no known GOF p-value has a known probability distribution for any discrepancy function. Methodology/Principal Findings: We show mathematically that a new GOF p-value, called the sampled posterior p-value (SPP), asymptotically has a uniform probability distribution whatever the discrepancy function. In a moderate finite sample context, simulations also showed that the SPP appears stable to relatively uninformative misspecifications of the prior distribution. Conclusions/Significance: These reasons, together with its numerical simplicity, make the SPP a better canonical GOF p-value than existing GOF p-values

Water dynamics in Shewanella oneidensis at ambient and high pressure using quasi-elastic neutron scattering

Quasielastic neutron scattering (QENS) is an ideal technique for studying water transport and relaxation dynamics at pico- to nanosecond timescales and at length scales relevant to cellular dimensions. Studies of high pressure dynamic effects in live organisms are needed to understand Earth’s deep biosphere and biotechnology applications. Here we applied QENS to study water transport in Shewanella oneidensis at ambient (0.1 MPa) and high (200 MPa) pressure using H/D isotopic contrast experiments for normal and perdeuterated bacteria and buffer solutions to distinguish intracellular and transmembrane processes. The results indicate that intracellular water dynamics are comparable with bulk diffusion rates in aqueous fluids at ambient conditions but a significant reduction occurs in high pressure mobility. We interpret this as due to enhanced interactions with macromolecules in the nanoconfined environment. Overall diffusion rates across the cell envelope also occur at similar rates but unexpected narrowing of the QENS signal appears between momentum transfer values Q = 0.7–1.1 Å−1 corresponding to real space dimensions of 6–9 Å. The relaxation time increase can be explained by correlated dynamics of molecules passing through Aquaporin water transport complexes located within the inner or outer membrane structures