Expressing Ecumenical Systems in the ??-Calculus Modulo Theory

Systems in which classical and intuitionistic logics coexist are called ecumenical. Such a system allows for interoperability and hybridization between classical and constructive propositions and proofs. We study Ecumenical STT, a theory expressed in the logical framework of the ??-calculus modulo theory. We prove soudness and conservativity of four subtheories of Ecumenical STT with respect to constructive and classical predicate logic and simple type theory. We also prove the weak normalization of well-typed terms and thus the consistency of Ecumenical STT

Some axioms for type theories

The $\lambda\Pi$-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory $\mathcal{U}$, where proofs of several logical systems can be expressed. Moreover, we identify a sub-theory of $\mathcal{U}$ corresponding to each of these systems, and prove that, when a proof in $\mathcal{U}$ uses only symbols of a sub-theory, then it is a proof in that sub-theory

Fate of a larch unedited tRNA precursor expressed in potato mitochondria.

Abstract In higher plant mitochondria, post-transcriptional C to U conversion known as editing mostly affects mRNAs. However, three tRNAs were also shown to be edited. Among them, three editing sites were identified in larch mitochondrial tRNAHis. We have previously shown that only the edited version can undergo maturation in vitro. In this paper, we introduced via direct DNA uptake the edited or unedited version of larch mitochondrial trnH into isolated potato mitochondria and expressed them under the control of potato mitochondrial 18 S rRNA promoter. As expected, the edited form of larch mitochondrial tRNAHis precursor was processed in the isolated organelles. By contrast, no mature tRNAHis was detected when using the unedited version of trnH. However, precursor molecules could be characterized by reverse transcription-PCR. These data demonstrate that the potato mitochondrial editing machinery is not able to recognize these "foreign" editing sites and confirm that these unedited tRNA precursor molecules are not correctly processed in organello. As a consequence, the fate of these RNA precursor molecules is likely to be degradation. Indeed, we detected by PCR two 3′-end truncated precursor RNAs. Interestingly, both RNA species exhibit poly(A) tails, a hallmark of degradation in plant mitochondria. Taken together, these data suggest that, in plant mitochondria, a defective unedited RNA precursor that cannot be processed to give a mature stable tRNA, is degraded through a polyadenylation-dependent pathway

Parenting Practices, Life Satisfaction, and the Role of Self-Esteem in Adolescents

Introduction: Studies have shown significant associations between parenting practices, life satisfaction, and self-esteem, and the role of parenting practices in adolescent adjustment, emphasizing its influence on wellbeing. Objectives: To analyze the relationships between parenting practices, self-esteem, and life satisfaction, and test the mediating effect of self-esteem on the relationship between the different parenting practices and life satisfaction of adolescents. Method: The sample came to a total of 742 adolescents, with an average age of 15.63 (SD = 1.24; range 13–19). The Parenting Style Scale, the Rosenberg Self-Esteem Scale, and the Satisfaction with Life Scale were used. Results: Perception by adolescents of high levels of affect and communication, self-disclosure, and a sense of humor related to their parents, as well as low levels of psychological control, explained the life satisfaction of the adolescents. Self-esteem exerted a partial mediating effect on the relationship between parenting practices and satisfaction with the life of the adolescent. Finally, self-esteem also appeared to be a moderator variable, specifically in the effect of self-disclosure on the life satisfaction of the adolescent. Conclusions: The results reinforce the role of personal variables, especially self-esteem, in parent-child interaction and in the improved subjective wellbeing of the adolescent

Biphasic regulation of the transcription factor ABORTED MICROSPORES (AMS) is essential for tapetum and pollen development in Arabidopsis

Viable pollen is essential for plant reproduction and crop yield. Its production requires coordinated expression at specific stages during anther development, involving early meiosis-associated events and late pollen wall formation. The ABORTED MICROSPORE (AMS) transcription factor is a master regulator of sporopollenin biosynthesis, secretion and pollen wall formation in Arabidopsis. Here we show it has complex regulation and additional essential roles earlier in pollen formation. • An inducible-AMS reporter was created for functional rescue, protein expression pattern analysis and to distinguish between direct and indirect targets. Mathematical modelling was used to create regulatory networks based on wildtype RNA and protein expression. • Dual activity of AMS was defined by biphasic protein expression in anther tapetal cells, with an initial peak around pollen meiosis and then later during pollen wall development. Direct AMS-regulated targets exhibit temporal regulation, indicating additional factors are associated with their regulation. • We demonstrate that AMS biphasic expression is essential for pollen development and defines distinct functional activities during early and late pollen development. Mathematical modelling suggests AMS may competitively form a protein complex with other tapetum-expressed transcription factors, and that biphasic regulation is due to repression of upstream regulators and promotion of AMS protein degradation

Intergenerational Transmission of Attachment in Abused and Neglected Mothers: The Role of Trauma-Specific Reflective Functioning

There are still important gaps in our knowledge regarding the intergenerational transmission of attachment from mother to child, especially in mothers with childhood histories of abuse and neglect (CA&N). This study examined the contributions of reflective function concerning general attachment relationships, and specifically concerning trauma, as well as those of maternal attachment states of mind to the prediction of infant attachment disorganization in a sample of mothers with CA&N and their infants, using a 20-month follow-up design. Attachment and reflective functioning were assessed during pregnancy with the Adult Attachment Interview. Infant attachment was evaluated with the Strange Situation Procedure. The majority (83%) of infants of abused and neglected mothers were classified as insecure, and a significant proportion (44%) manifested attachment disorganization. There was a strong concordance between mother and child attachment, indicative of intergenerational transmission of attachment in parents with CA&N and their infants. Both unresolved trauma and trauma-specific reflective function made significant contributions to explaining variance in infant attachment disorganization. The findings of this study highlight the importance of trauma-specific mentalization in the intergenerational transmission of attachment by mothers with a history of childhood maltreatment, and provide new evidence of the importance of the absence of mentalization regarding trauma for infant attachment

GeneFarm, structural and functional annotation of Arabidopsis gene and protein families by a network of experts

Genomic projects heavily depend on genome annotations and are limited by the current deficiencies in the published predictions of gene structure and function. It follows that, improved annotation will allow better data mining of genomes, and more secure planning and design of experiments. The purpose of the GeneFarm project is to obtain homogeneous, reliable, documented and traceable annotations for Arabidopsis nuclear genes and gene products, and to enter them into an added-value database. This re-annotation project is being performed exhaustively on every member of each gene family. Performing a family-wide annotation makes the task easier and more efficient than a gene-by-gene approach since many features obtained for one gene can be extrapolated to some or all the other genes of a family. A complete annotation procedure based on the most efficient prediction tools available is being used by 16 partner laboratories, each contributing annotated families from its field of expertise. A database, named GeneFarm, and an associated user-friendly interface to query the annotations have been developed. More than 3000 genes distributed over 300 families have been annotated and are available at http://genoplante-info.infobiogen.fr/Genefarm/. Furthermore, collaboration with the Swiss Institute of Bioinformatics is underway to integrate the GeneFarm data into the protein knowledgebase Swiss-Pro

GeneFarm, structural and functional annotation of Arabidopsis gene and protein families by a network of experts

Genomic projects heavily depend on genome annotations and are limited by the current deficiencies in the published predictions of gene structure and function. It follows that, improved annotation will allow better data mining of genomes, and more secure planning and design of experiments. The purpose of the GeneFarm project is to obtain homogeneous, reliable, documented and traceable annotations for Arabidopsis nuclear genes and gene products, and to enter them into an added-value database. This re-annotation project is being performed exhaustively on every member of each gene family. Performing a family-wide annotation makes the task easier and more efficient than a gene-by-gene approach since many features obtained for one gene can be extrapolated to some or all the other genes of a family. A complete annotation procedure based on the most efficient prediction tools available is being used by 16 partner laboratories, each contributing annotated families from its field of expertise. A database, named GeneFarm, and an associated user-friendly interface to query the annotations have been developed. More than 3000 genes distributed over 300 families have been annotated and are available at http://genoplante-info.infobiogen.fr/Genefarm/. Furthermore, collaboration with the Swiss Institute of Bioinformatics is underway to integrate the GeneFarm data into the protein knowledgebase Swiss-Prot