Counting CTL

The original publication is available at www.springerlink.com.International audienceThis paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying certain sub-formulas along paths. By selecting the combinations of Boolean and arithmetic operations allowed in constraints, one obtains several distinct logics generalizing CTL. We provide a thorough analysis of their expressiveness and of the complexity of their model-checking problem (ranging from P-complete to undecidable)

Counting LTL

The original publication is available at ieeexplore.ieee.org.International audienceThis paper presents a quantitative extension for the linear-time temporal logic LTL allowing to specify the number of states satisfying certain sub-formulas along paths. We give decision procedures for the satisfiability and model checking of this new temporal logic and study the complexity of the corresponding problems. Furthermore we show that the problems become undecidable when more expressive constraints are considered

Sub-Gap Structure in the Conductance of a Three-Terminal Josephson Junction

Three-terminal superconductor (S) - normal metal (N) - superconductor (S) Josephson junctions are investigated. In a geometry where a T-shape normal metal is connected to three superconducting reservoirs, new sub-gap structures appear in the differential resistance for specific combinations of the superconductor chemical potentials. Those correspond to a correlated motion of Cooper pairs within the device that persist well above the Thouless energy and is consistent with the prediction of quartets formed by two entangled Cooper pairs. A simplified nonequilibrium Keldysh Green's function calculation is presented that supports this interpretation.Comment: To appear in Physical Review

ODIN: a new model and ephemeris for the Pluto system

Reproduced with permission. Copyright ESO. The original publication is available at www.aanda.org.International audienceBecause of Pluto's distance from the Sun, the Pluto system has not yet completed a revolution since its discovery, hence an uncertain heliocentric distance. In this paper, we present the fitting of our dynamical model ODIN (Orbite, Dynamique et Intégration Numérique) to observations. The small satellites P4 and P5 are not taken into account. We fitted our model to the measured absolute coordinates (RA, DEC) of Pluto, and to the measured positions of the satellites relative to Pluto. The masses we found for the bodies of the system are consistent with those of previous studies. Yet the masses of the small satellites Nix and Hydra are artificially constrained by the number of observations of Charon. The best way to improve the determination of their masses would be to use observations of P4 and P5, but there are still not enough published observations. Concerning the heliocentric distance of the system, we compared the value we obtained using ODIN and those of other models. The difference between the models far exceeds the uncertainty needed (about 1000 km) for the mission New Horizons. A new astrometric reduction of old photographic plates may be an efficient way to constrain this distance. The ephemeris for Pluto's satellites is available on the web page of the IMCCE at http://www.imcce.fr/hosted_sites/saimirror/nssreq9hf.htm. The complete version of the ephemeris is available as a SPICE kernel at http://www.imcce.fr/~beauvalet/. Appendices A and B are available in electronic form at http://www.aanda.orgTable A.2 is only available at the CDS via anonymous ftp to cdsarc.u-strasbg.fr (130.79.128.5) or via http://cdsarc.u-strasbg.fr/viz-bin/qcat?J/A+A/553/A1

Solvent and water mediated structural variations in deoxynivalenol and their potential implications on the disruption of ribosomal function

Sherpa Romeo green journal: open accessFusarium head blight (FHB) is a disease of cereal crops caused by trichothecene producing Fusarium species. Trichothecenes, macrocylicic fungal metabolites composed of three fused rings (A–C) with one epoxidef unctionality, area class of mycotoxins known to inhibit protein synthesis in eukaryotic ribosomes. These toxins accumulate in the kernels of infected plants rendering them unsuitable for human and animal consumption. Among the four classes of trichothecenes (A–D) A and B are associated with FHB, where the type B trichothecene deoxynivalenol (DON) is most relevant. While it is known that these toxins inhibit protein synthesis by disrupting peptidyl transferase activity, the exact mechanism of this inhibition is poorly understood. The three-dimensional structures and H-bonding behavior of DON were evaluated using one-and two-dimensional nuclear magnetic resonance (NMR) spectroscopy techniques. Comparisons of the NMR structure presented here with the recently reported crystal structure of DON bound in the yeast ribosome reveal insights into the possible toxicity mechanism of this compound. The work described herein identifies a waterbinding pocket in the core structure of DON, where the 3OH plays an important role in this interaction. These results provide preliminary insights into how substitution at C3 reduces trichothecene toxicity. Further investigations along these lines will provide opportunities to develop trichothecene remediation strategies based on the disruption of water binding interactions with 3OH.Ye

Hydrogen-bonding interactions in T-2 toxin studies using solution and solid-state NMR

Open accessThe structure of T-2 toxin in the solid-state is limited to X-ray crystallographic studies, which lack sufficient resolution to provide direct evidence for hydrogen-bonding interactions. Furthermore, its solution-structure, despite extensive Nuclear Magnetic Resonance (NMR) studies, has provided little insight into its hydrogen-bonding behavior, thus far. Hydrogen-bonding interactions are often an important part of biological activity. In order to study these interactions, the structure of T-2 toxin was compared in both the solution- and solid-state using NMR Spectroscopy. It was determined that the solution- and solid-state structure differ dramatically, as indicated by differences in their carbon chemical shifts, these observations are further supported by solution proton spectral parameters and exchange behavior. The slow chemical exchange process and cross-relaxation dynamics with water observed between the hydroxyl hydrogen on C-3 and water supports the existence of a preferential hydrogen bonding interaction on the opposite side of the molecule from the epoxide ring, which is known to be essential for trichothecene toxicity. This result implies that these hydrogen-bonding interactions could play an important role in the biological function of T-2 toxin and posits towards a possible interaction for the trichothecene class of toxins and the ribosome. These findings clearly illustrate the importance of utilizing solid-state NMR for the study of biological compounds, and suggest that a more detailed study of this whole class of toxins, namely trichothecenes, should be pursued using this methodology.Ye

The second ACTRIS inter-comparison (2016) for Aerosol Chemical Speciation Monitors (ACSM) : Calibration protocols and instrument performance evaluations

AbstractThis work describes results obtained from the 2016 Aerosol Chemical Speciation Monitor (ACSM) intercomparison exercise performed at the Aerosol Chemical Monitor Calibration Center (ACMCC, France). Fifteen quadrupole ACSMs (Q_ACSM) from the European Research Infrastructure for the observation of Aerosols, Clouds and Trace gases (ACTRIS) network were calibrated using a new procedure that acquires calibration data under the same operating conditions as those used during sampling and hence gets information representative of instrument performance. The new calibration procedure notably resulted in a decrease in the spread of the measured sulfate mass concentrations, improving the reproducibility of inorganic species measurements between ACSMs as well as the consistency with co-located independent instruments. Tested calibration procedures also allowed for the investigation of artifacts in individual instruments, such as the overestimation of m/z 44 from organic aerosol. This effect was quantified by the m/z (mass-to-charge) 44 to nitrate ratio measured during ammonium nitrate calibrations, with values ranging from 0.03 to 0.26, showing that it can be significant for some instruments. The fragmentation table correction previously proposed to account for this artifact was applied to the measurements acquired during this study. For some instruments (those with high artifacts), this fragmentation table adjustment led to an ?overcorrection? of the f44 (m/z 44/Org) signal. This correction based on measurements made with pure NH4NO3, assumes that the magnitude of the artifact is independent of chemical composition. Using data acquired at different NH4NO3 mixing ratios (from solutions of NH4NO3 and (NH4)2SO4) we observe that the magnitude of the artifact varies as a function of composition. Here we applied an updated correction, dependent on the ambient NO3 mass fraction, which resulted in an improved agreement in organic signal among instruments. This work illustrates the benefits of integrating new calibration procedures and artifact corrections, but also highlights the benefits of these intercomparison exercises to continue to improve our knowledge of how these instruments operate, and assist us in interpreting atmospheric chemistry.Peer reviewe

Current and Future Experimental Strategies for Structural Analysis of Trichothecene Mycotoxins-A Prospectus

Fungal toxins, such as those produced by members of the order Hypocreales, have widespread effects on cereal crops, resulting in yield losses and the potential for severe disease and mortality in humans and livestock. Among the most toxic are the trichothecenes. Trichothecenes have various detrimental effects on eukaryotic cells including an interference with protein production and the disruption of nucleic acid synthesis. However, these toxins can have a wide range of toxicity depending on the system. Major differences in the phytotoxicity and cytotoxicity of these mycotoxins are observed for individual members of the class, and variations in toxicity are observed among different species for each individual compound. Furthermore, while diverse toxicological effects are observed throughout the whole cellular system upon trichothecene exposure, the mechanism of toxicity is not well understood. In order to comprehend how these toxins interact with the cell, we must first have an advanced understanding of their structure and dynamics. The structural analysis of trichothecenes was a subject of major interest in the 1980s, and primarily focused on crystallographic and solution-state Nuclear Magnetic Resonance (NMR) spectroscopic studies. Recent advances in structural determination through solution- and solid-state NMR, as well as computation based molecular modeling is leading to a resurgent interest in the structure of these and other mycotoxins, with the focus shifting in the direction of structural dynamics. The purpose of this work is to first provide a brief overview of the structural data available on trichothecenes and a characterization of the methods commonly employed to obtain such information. A summary of the current understanding of the relationship between structure and known function of these compounds is also presented. Finally, a prospectus on the application of new emerging structural methods on these and other related systems is discussed

Abregé Chronologique De L'Histoire De France

ABREGÉ CHRONOLOGIQUE DE L'HISTOIRE DE FRANCE Abregé Chronologique De L'Histoire De France ( -