MicroRNAs regulate Ca2+ homeostasis in murine embryonic stem cells

MicroRNAs (miRNAs) are important regulators of embryonic stem cell (ESC) biology, and their study has identified key regulatory mechanisms. To find novel pathways regulated by miRNAs in ESCs, we undertook a bioinformatics analysis of gene pathways differently expressed in the absence of miRNAs due to the deletion of Dicer, which encodes an RNase that is essential for the synthesis of miRNAs. One pathway that stood out was Ca2+ signaling. Interestingly, we found that Dicer-/- ESCs had no difference in basal cytoplasmic Ca2+ levels but were hyperresponsive when Ca2+ import into the endoplasmic reticulum (ER) was blocked by thapsigargin. Remarkably, the increased Ca2+ response to thapsigargin in ESCs resulted in almost no increase in apoptosis and no differences in stress response pathways, despite the importance of miRNAs in the stress response of other cell types. The increased Ca2+ response in Dicer-/- ESCs was also observed during purinergic receptor activation, demonstrating a physiological role for the miRNA regulation of Ca2+ signaling pathways. In examining the mechanism of increased Ca2+ responsiveness to thapsigargin, neither store-operated Ca2+ entry nor Ca2+ clearance mechanisms from the cytoplasm appeared to be involved. Rather, it appeared to involve an increase in the expression of one isoform of the IP3 receptors (Itpr2). miRNA regulation of Itpr2 expression primarily appeared to be indirect, with transcriptional regulation playing a major role. Therefore, the miRNA regulation of Itpr2 expression offers a unique mechanism to regulate Ca2+ signaling pathways in the physiology of pluripotent stem cells

MicroRNAs Regulate Ca2+ Homeostasis in Murine Embryonic Stem Cells

MicroRNAs (miRNAs) are important regulators of embryonic stem cell (ESC) biology, and their study has identified key regulatory mechanisms. To find novel pathways regulated by miRNAs in ESCs, we undertook a bioinformatics analysis of gene pathways differently expressed in the absence of miRNAs due to the deletion of Dicer, which encodes an RNase that is essential for the synthesis of miRNAs. One pathway that stood out was Ca2+ signaling. Interestingly, we found that Dicer−/− ESCs had no difference in basal cytoplasmic Ca2+ levels but were hyperresponsive when Ca2+ import into the endoplasmic reticulum (ER) was blocked by thapsigargin. Remarkably, the increased Ca2+ response to thapsigargin in ESCs resulted in almost no increase in apoptosis and no differences in stress response pathways, despite the importance of miRNAs in the stress response of other cell types. The increased Ca2+ response in Dicer−/− ESCs was also observed during purinergic receptor activation, demonstrating a physiological role for the miRNA regulation of Ca2+ signaling pathways. In examining the mechanism of increased Ca2+ responsiveness to thapsigargin, neither store-operated Ca2+ entry nor Ca2+ clearance mechanisms from the cytoplasm appeared to be involved. Rather, it appeared to involve an increase in the expression of one isoform of the IP3 receptors (Itpr2). miRNA regulation of Itpr2 expression primarily appeared to be indirect, with transcriptional regulation playing a major role. Therefore, the miRNA regulation of Itpr2 expression offers a unique mechanism to regulate Ca2+ signaling pathways in the physiology of pluripotent stem cells

Density, extractives and decay resistance variabilities within branch wood from four agroforestry hardwood species

Agroforestry practices like pruning trees to control the light flux to crops produce every year a large volume of branches which is valorized by farmers as mulching or energy fuel. However, according to the literature, the wood of branches shows higher rates of polyphenols than stem wood and this can open some new perspectives for branch exploitation. In this study, the wood properties (density, mechanical properties, extractive content and decay resistance) were determined on branches of different sizes from oak, chestnut, poplar and walnut trees collected in two agroforestry systems. These properties were evaluated according to the wood age and the sampling position along the radial and longitudinal axes of the branch. All samples were analyzed by NIR-Spectroscopy and a predicting model aimed to assess the branch wood properties has been developed. Wood characteristics largely vary between species and do not exactly follow the same trends from one species to another. Overall, hardwood density of branches is similar to that of trunks, the content in wood extractives follows similar evolutions, and the decay resistance of branch wood does not seem to be really impacted by its position along the branch. Reliable NIRS models were built to easily predict the wood density and extractives content of agroforestry branches. The extractives content and the decay resistance of branch hardwood appear to be substantially lower than those of trunks, which suggests a non-suitability of branch wood for developing highvalued green chemistry

False identity documents forensic profiling: study of known-sources and cross-border seizures

A forensic intelligence process was conducted over cross-border seizures of false identity documents whose sources were partly known to be the same. Visual features of 300 counterfeit Portuguese and French identity cards seized in France and Switzerland were observed and integrated in a structured database developed to detect and analyze forensic links. Based on a few batches of documents known to come from common sources, the forensic profiling method could be validated and its performance evaluated. The method also proved efficient and complementary to conventional means of detecting connections between cases. Cross-border links were detected, highlighting the need for more collaboration. Forensic intelligence could be produced, uncovering the structure of counterfeits' illegal trade, the concentration of their sources and the evolution of their quality over time. In addition, two case examples illustrated how forensic profiling may support specific investigations. The forensic intelligence process and its results will underline the need to develop such approaches to support the fight against fraudulent documents and organized crime

The systematic profiling of false identity documents: method validation and performance evaluation using seizures known to originate from common and different sources

False identity documents constitute a potential powerful source of forensic intelligence because they are essential elements of transnational crime and provide cover for organized crime. In previous work, a systematic profiling method using false documents' visual features has been built within a forensic intelligence model. In the current study, the comparison process and metrics lying at the heart of this profiling method are described and evaluated. This evaluation takes advantage of 347 false identity documents of four different types seized in two countries whose sources were known to be common or different (following police investigations and dismantling of counterfeit factories). Intra-source and inter-sources variations were evaluated through the computation of more than 7500 similarity scores. The profiling method could thus be validated and its performance assessed using two complementary approaches to measuring type I and type II error rates: a binary classification and the computation of likelihood ratios. Very low error rates were measured across the four document types, demonstrating the validity and robustness of the method to link documents to a common source or to differentiate them. These results pave the way for an operational implementation of a systematic profiling process integrated in a developed forensic intelligence model

Proving ML type soundness within Coq

Abstract. We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in the framework of a reduction semantics. For that purpose, we use a syntax-directed version of the typing rules: we prove mechanically its equivalence with the initial type system provided by Damas and Milner. This work is complementary to the certification of the ML type inference algorithm done previously by the author and Valérie Ménissier-Morain.