Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Conservation of the sequence and temporal expression of let-7 heterochronic regulatory RNA

Two small RNAs regulate the timing of Caenorhabditis elegans development(1,2). Transition from the first to the second larval stage fates requires the 22-nucleotide lin-4 RNA(1,3,4), and transition from late larval to adult cell fates requires the 21-nucleotide let-7 RNA 2. The lin-4 and let-7 RNA genes are not homologous to each other, but are each complementary to sequences in the 3' untranslated regions of a set of protein-coding target genes that are normally negatively regulated by the RNAs1,2,5,6. Here we have detected let-7 RNAs of similar to 21 nucleotides in samples from a wide range of animal species, including vertebrate, ascidian, hemichordate, mollusc, annelid and arthropod, but not in RNAs from several cnidarian and poriferan species, Saccharomyces cerevisiae, Escherichia coli or Arabidopsis. We did not detect lin-4 RNA in these species. We found that let-7 temporal regulation is also conserved: let-7 RNA expression is first detected at late larval stages in C. elegans and Drosophila, at 48 hours after fertilization in zebrafish, and in adult stages of annelids and molluscs. The let-7 regulatory RNA may control late temporal transitions during development across animal phylogeny.

Distinct microRNA Expression Profile in Prostate Cancer Patients with Early Clinical Failure and the Impact of let-7 as Prognostic Marker in High-Risk Prostate Cancer

Background The identification of additional prognostic markers to improve risk stratification and to avoid overtreatment is one of the most urgent clinical needs in prostate cancer (PCa). MicroRNAs, being important regulators of gene expression, are promising biomarkers in various cancer entities, though the impact as prognostic predictors in PCa is poorly understood. The aim of this study was to identify specific miRNAs as potential prognostic markers in high-risk PCa and to validate their clinical impact. Methodology and Principal Findings We performed miRNA-microarray analysis in a high-risk PCa study group selected by their clinical outcome (clinical progression free survival (CPFS) vs. clinical failure (CF)). We identified seven candidate miRNAs (let-7a/b/c, miR-515-3p/5p, -181b, -146b, and -361) that showed differential expression between both groups. Further qRT-PCR analysis revealed down-regulation of members of the let-7 family in the majority of a large, well-characterized high-risk PCa cohort (n = 98). Expression of let-7a/b/and -c was correlated to clinical outcome parameters of this group. While let-7a showed no association or correlation with clinical relevant data, let-7b and let-7c were associated with CF in PCa patients and functioned partially as independent prognostic marker. Validation of the data using an independent high-risk study cohort revealed that let-7b, but not let-7c, has impact as an independent prognostic marker for BCR and CF. Furthermore, we identified HMGA1, a non-histone protein, as a new target of let-7b and found correlation of let-7b down-regulation with HMGA1 over-expression in primary PCa samples. Conclusion Our findings define a distinct miRNA expression profile in PCa cases with early CF and identified let-7b as prognostic biomarker in high-risk PCa. This study highlights the importance of let-7b as tumor suppressor miRNA in high-risk PCa and presents a basis to improve individual therapy for high-risk PCa patients.

Let-7a Is a Direct EWS-FLI-1 Target Implicated in Ewing's Sarcoma Development.

Ewing's sarcoma family tumors (ESFT) are the second most common bone malignancy in children and young adults, characterized by unique chromosomal translocations that in 85% of cases lead to expression of the EWS-FLI-1 fusion protein. EWS-FLI-1 functions as an aberrant transcription factor that can both induce and suppress members of its target gene repertoire. We have recently demonstrated that EWS-FLI-1 can alter microRNA (miRNA) expression and that miRNA145 is a direct EWS-FLI-1 target whose suppression is implicated in ESFT development. Here, we use miRNA arrays to compare the global miRNA expression profile of human mesenchymal stem cells (MSC) and ESFT cell lines, and show that ESFT display a distinct miRNA signature that includes induction of the oncogenic miRNA 17-92 cluster and repression of the tumor suppressor let-7 family. We demonstrate that direct repression of let-7a by EWS-FLI-1 participates in the tumorigenic potential of ESFT cells in vivo. The mechanism whereby let-7a expression regulates ESFT growth is shown to be mediated by its target gene HMGA2, as let-7a overexpression and HMGA2 repression both block ESFT cell tumorigenicity. Consistent with these observations, systemic delivery of synthetic let-7a into ESFT-bearing mice restored its expression in tumor cells, decreased HMGA2 expression levels and resulted in ESFT growth inhibition in vivo. Our observations provide evidence that deregulation of let-7a target gene expression participates in ESFT development and identify let-7a as promising new therapeutic target for one of the most aggressive pediatric malignancies.

Let there be light in the nucleus!

Ambient light conditions trigger both developmental transitions, such as the induction of flowering, and a suite of adaptive responses, exemplified by the shade-avoidance syndrome. These responses are initiated by three families of photoreceptors that are conserved in all higher plants: the phototropins, cryptochromes and phytochromes (phyA--phyE, cry1--cry3, phot1 and phot2 in Arabidopsis). Molecular genetic studies performed mainly in Arabidopsis indicate that photon capture by these light sensors usually initiates rapid changes in the gene expression profile, leading to plant adaptation to their environment. Interestingly, numerous transcription factors are early targets of light regulation, both at the transcriptional and post-transcriptional levels.

The Lin28/let-7 axis regulates glucose metabolism.

The let-7 tumor suppressor microRNAs are known for their regulation of oncogenes, while the RNA-binding proteins Lin28a/b promote malignancy by inhibiting let-7 biogenesis. We have uncovered unexpected roles for the Lin28/let-7 pathway in regulating metabolism. When overexpressed in mice, both Lin28a and LIN28B promote an insulin-sensitized state that resists high-fat-diet induced diabetes. Conversely, muscle-specific loss of Lin28a or overexpression of let-7 results in insulin resistance and impaired glucose tolerance. These phenomena occur, in part, through the let-7-mediated repression of multiple components of the insulin-PI3K-mTOR pathway, including IGF1R, INSR, and IRS2. In addition, the mTOR inhibitor, rapamycin, abrogates Lin28a-mediated insulin sensitivity and enhanced glucose uptake. Moreover, let-7 targets are enriched for genes containing SNPs associated with type 2 diabetes and control of fasting glucose in human genome-wide association studies. These data establish the Lin28/let-7 pathway as a central regulator of mammalian glucose metabolism.

IMP2 provides an alternative to LIN28B for LET-7 target gene protection and glioma stem cell maintenance

Glioblastoma multiforme (GBM) is the most frequent and lethal primary brain tumor in adults. Accumulating evidence suggests that tumors comprise a hierarchical organization that is, at least partially, not genetically driven. Cells that reside at the apex of this hierarchy are commonly referred to as cancer stem cells (CSCs) and are believed to largely contribute to recurrence and therapeutic failure. Although the complexity of epigenetic regulation of the genome precludes prediction as to which epigenetic changes dominate CSC specification in different cancer types, the ability of microRNAs (miRNAs) to fine-tune expression of entire gene networks places them among prime candidates for establishing CSC properties. In this study we characterized the miRNA expression profile of primary GBM grown either under conditions that enrich for GSCs or their differentiated non-tumorigenic progeny (DGCs). Although, we identified a subset of miRNAs that was strongly differentially expressed between GSCs and DGCs, we observed that in GSCs both let-7 and, paradoxically, their target genes are highly expressed, suggesting protection against let-7 action. Using PAR-CLIP we show that insulin-like growth factor-2 mRNA-binding protein 2 (IMP2) provides a mechanism for let-7 target gene protection that represents an alternative to LIN28A/B, which abrogates let-7 biogenesis in normal embryonic and certain malignant stem cells. By direct binding to miRNA recognition elements, IMP2 protects its targets from let-7 mediated decay. Importantly, depletion of IMP2 in GSCs strongly impairs their self- renewal properties and tumorigenicity in vivo, a phenotype that can be rescued by expression of LIN28B, suggesting that IMP2 mainly contributes to GSC maintenance by protecting let-7 target genes from silencing. Using mouse models, we show that depletion of IMP2 in neural stem cells (NSCs) induces let-7 target gene down-regulation, impairs their clonogenic capacity, and affects differentiation. Taken together, our observations describe a novel regulatory function of IMP2 in the let-7 axis whereby it supports GSC and NSC specification. Résumé (Français) Le glioblastome (GBM) est la tumeur primaire maligne du cerveau la plus fréquente. De nombreuses études ont démontré l'existence d'une organisation hiérarchique des cellules cancéreuses liée à des mécanismes épigénétiques. Les cellules qui se trouvent au sommet de cette hiérarchie sont appelées cellules souches cancéreuses (CSC), et contribuent à l'échec thérapeutique. Bien que la complexité des régulateurs épigénétiques permette difficilement de prédire quel mécanisme contribue le plus aux propriétés des CSC, la capacité des microRNAs (miRNAs) de réguler des réseaux entiers de gènes, les placent comme des candidats de premiers choix. Ici, nous avons caractérisé le profil d'expression des miRNAs dans des tumeurs primaires de GBM cultivées dans des conditions qui enrichissent soit pour les CSC, soit pour leur contrepartie de cellules cancéreuses différences (CCD). De manière surprenante et paradoxale la famille de miRNA let-7 et leurs gènes cibles étaient hautement exprimés dans les CSC, suggérant un mécanisme de protection contre l'action des let-7. Avec l'aide de la technologie PAR-CLIP, nous démontrons que la protéine IMP2, protège les mRNAs de l'action des let-7 et représente une alternative à Lin28A/B, qui d'ordinaire réprime fortement la maturation des let-7 dans les cellules souches embryonnaires et divers cancers. En se liant à la région ciblée par les let-7, IMP2 protège ses transcrits de l'action de cette classe de microRNA qui est tumoro-supressive. La déplétion d'IMP2 dans des CSC de GBM réduit fortement leur clonogénicité in vitro et leur tumorigénicité in vivo. Ceci peut être reversé en introduisant Lin28B dans des CSC de GBM, suggérant qu'IMP2 exerce ses fonctions pro-tumorigéniques en modulant l'axe let-7. Avec l'aide de modèles murins, nous observons que la déplétion de IMP2 dans les cellules souches neurales (CSN) induit une baisse de leur clonogénicité et des cibles des miRNAs let-7, suggérant une conservation de ce mécanisme entre les CSC de GBM et les CSN. En résumé, nos observations définissent une nouvelle fonction de IMP2 dans l'axe let-7 par lequel il contribue au maintien des propriétés des CSC et des CSN.

Let Go and Remember. How Finnish Communities Experienced and Memorialized School Shootings

This study examines the aftermath of mass violence in local communities. Two rampage school shootings that occurred in Finland are analyzed and compared to examine the ways in which communities experience, make sense of, and recover from sudden acts of mass violence. The studied cases took place at Jokela High School, in southern Finland, and at a polytechnic university in Kauhajoki, in western Finland, in 2007 and 2008 respectively. Including the perpetrators, 20 people lost their lives in these shootings. These incidents are part of the global school shooting phenomenon with increasing numbers of incidents occurring in the last two decades, mostly in North America and Europe. The dynamic of solidarity and conflict is one of the main themes of this study. It builds upon previous research on mass violence and disasters which suggests that solidarity increases after a crisis, and that this increase is often followed by conflict in the affected communities. This dissertation also draws from theoretical discussions on remembering, narrating, and commemorating traumatic incidents, as well as the idea of a cultural trauma process in which the origins and consequences of traumas are negotiated alongside collective identities. Memorialization practices and narratives about what happened are vital parts of the social memory of crises and disasters, and their inclusive and exclusive characteristics are discussed in this study. The data include two types of qualitative interviews; focused interviews with 11 crisis workers, and focused, narrative interviews with 21 residents of Jokela and 22 residents of Kauhajoki. A quantitative mail survey of the Jokela population (N=330) provided data used in one of the research articles. The results indicate that both communities experienced a process of simultaneous solidarity and conflict after the shootings. In Jokela, the community was constructed as a victim, and public expressions of solidarity and memorialization were promoted as part of the recovery process. In Kauhajoki, the community was portrayed as an incidental site of mass violence, and public expressions of solidarity by distant witnesses were labeled as unnecessary and often criticized. However, after the shooting, the community was somewhat united in its desire to avoid victimization and a prolonged liminal period. This can be understood as a more modest and invisible process of “silent solidarity”. The processes of enforced solidarity were partly made possible by exclusion. In some accounts, the family of the perpetrator in Jokela was excluded from the community. In Kauhajoki, the whole incident was externalized. In both communities, this exclusion included associating the shooting events, certain places, and certain individuals with the concept of evil, which helped to understand and explain the inconceivable incidents. Differences concerning appropriate emotional orientations, memorialization practices and the pace of the recovery created conflict in both communities. In Jokela, attitudes towards the perpetrator and his family were also a source of friction. Traditional gender roles regarding the expression of emotions remained fairly stable after the school shootings, but in an exceptional situation, conflicting interpretations arose concerning how men and women should express emotion. The results from the Jokela community also suggest that while increased solidarity was seen as important part of the recovery process, some negative effects such as collective guilt, group divisions, and stigmatization also emerged. Based on the results, two simultaneous strategies that took place after mass violence were identified; one was a process of fast-paced normalization, and the other was that of memorialization. Both strategies are ways to restore the feeling of security shattered by violent incidents. The Jokela community emphasized remembering while the Kauhajoki community turned more to the normalization strategy. Both strategies have positive and negative consequences. It is important to note that the tendency to memorialize is not the only way of expressing solidarity, as fast normalization includes its own kind of solidarity and helps prevent the negative consequences of intense solidarity.

Voluntary exercise prior to traumatic brain injury alters miRNA expression in the injured mouse cerebral cortex

MicroRNAs (miRNAs) may be important mediators of the profound molecular and cellular changes that occur after traumatic brain injury (TBI). However, the changes and possible roles of miRNAs induced by voluntary exercise prior to TBI are still not known. In this report, the microarray method was used to demonstrate alterations in miRNA expression levels in the cerebral cortex of TBI mice that were pretrained on a running wheel (RW). Voluntary RW exercise prior to TBI: i) significantly decreased the mortality rate and improved the recovery of the righting reflex in TBI mice, and ii) differentially changed the levels of several miRNAs, upregulating some and downregulating others. Furthermore, we revealed global upregulation of miR-21, miR-92a, and miR-874 and downregulation of miR-138, let-7c, and miR-124 expression among the sham-non-runner, TBI-non-runner, and TBI-runner groups. Quantitative reverse transcription polymerase chain reaction data (RT-qPCR) indicated good consistency with the microarray results. Our microarray-based analysis of miRNA expression in mice cerebral cortex after TBI revealed that some miRNAs such as miR-21, miR-92a, miR-874, miR-138, let-7c, and miR-124 could be involved in the prevention and protection afforded by voluntary exercise in a TBI model.

Caractérisation de l’interaction entre la protéine Lin28 et le précurseur du microARN let-7g

La régulation de l’expression des gènes est ce qui permet à nos cellules de s’adapter à leur environnement, de combattre les infections ou, plus généralement, de produire la quantité exacte de protéine nécessaire pour répondre à un besoin spécifique. Parmi les joueurs les plus importants dans cette régulation de l’expression des gènes on retrouve les microARN (miARN). Ces petits ARN de 22 nucléotides sont présents chez la majorité des espèces multicellulaires et sont responsables du contrôle direct de plus de 30% des gènes exprimant des protéines chez les vertébrés. La famille de miARN lethal-7 (let-7) est composée de miARN parmi les plus connus et ayant des fonctions cruciales pour la cellule. La régulation du niveau des miARN let-7 est essentielle au bon développement cellulaire. La biogenèse de ces miARN, du transcrit primaire jusqu’à leur forme mature, est régulée principalement par Lin28, une protéine pluripotente très conservée. Cette protéine est composée d’un domaine cold shock (CSD) et de deux domaines de liaison au zinc. C’est grâce à ces domaines de liaison à l’ARN que Lin28 peut lier et inhiber la maturation des miARN let-7. L’objectif de cette thèse est de caractériser l’interaction entre Lin28 et le microARN précurseur let-7g afin de mieux comprendre le rôle de cette protéine dans l’inhibition de la biogenèse du miARN. À l’aide de techniques biochimiques et biophysiques, nous avons d’abord défini les principaux déterminants de l’interaction entre Lin28 et la boucle terminale du miARN précurseur let-7g (TL-let-7g). Nous avons conclu que le domaine C-terminal de Lin28, composé d’un motif riche en lysines et arginines ainsi que de deux motifs de liaison au zinc, permet à la protéine de lier spécifiquement et avec haute affinité un renflement riche en guanine conservé chez les précurseurs de la famille let-7. Aussi, parce que la séquence et la spécificité de liaison à l’ARN de ce domaine C-terminal sont semblables à celles de la protéine NCp7 du VIH, nous avons défini ce dernier comme le domaine NCp7-like de Lin28. Par la suite, nous avons caractérisé la multimérisation de trois protéines Lin28 sur la boucle terminale de pre-let-7g. Ceci a permis de réconcilier d’apparentes contradictions retrouvées dans la littérature actuelle concernant les sites de liaison de Lin28 lors de sa liaison aux miARN précurseurs. Nous avons identifié trois sites de liaison à haute affinité sur TL-let-7g qui sont liés dans un ordre précis par trois protéines Lin28. Lors de la formation du complexe multimérique, le CSD permet une déstabilisation de l’ARN, ce qui rend accessible plusieurs sites de liaison. Le domaine NCp7-like permet plutôt un assemblage ordonné de la protéine et facilite la liaison initiale de cette dernière. Ces nouveaux résultats rendent possible la mise au point d’un nouveau modèle de l’interaction entre Lin28 et le miARN précurseur let-7g. En conclusion, les études réalisées dans cette thèse apportent une meilleure compréhension des mécanismes moléculaires impliqués dans la régulation post-transcriptionnelle d’une importante famille de miARN et permettront de guider les futures études dans le domaine de recherche en pleine effervescence qu’est celui de la biogenèse des miARN.

Modulation de l'expression de Sirt-1 induite par l'endothéline-1 dans les cellules musculaires lisses vasculaires

Au cours des maladies cardiovasculaires (MCV), il peut se produire divers problèmes de santé, telle que l’insuffisance cardiaque ou encore l’HTA. Ces phénomènes se caractérisent, entre autres, par une augmentation de synthèse d’endotheline-1 (ET-1), un neuropeptide synthétisé par les cellules endothéliales ayant un effet vasoconstricteur sur les cellules musculaires lisses vasculaires (CMLV). Ainsi, la surexpression de ce vasopeptide, mène à terme, au maintien de l’HTA aggravée des sujets, précédée ou concomitante à l’athérosclérose ou à la resténose, cliniquement illustrées par une prolifération et une migration anormale des CMLV de la media vers l’intima des vaisseaux sanguins. Parallèlement, il a été observé que la protéine sirtuine-1 (Sirt-1), membre de la famille des protéines histones déacétylases (HDAC), présente des propriétés anti-athérosclérotiques par sa capacité d’atténuer la prolifération et la migration des CMLV. Des travaux récents ont aussi montré qu’au cours de l’HTA la protéine Sirt-1 est faiblement exprimée dans les CMLV. Son implication dans le développement des pathologies vasculaires semble apparente, mais des études demeurent nécessaires pour décrire son rôle exact dans la pathogenèse des MCV. Dans cette optique, l’objectif de cette étude a été d’observer la variation d’expression de Sirt-1 dans les CMLV, isolées de l’aorte ascendante de rat, en réponse à l’ET-1. On a remarqué qu’une heure de stimulation des CMLV avec l’ET-1 induit une diminution de l’expression de Sirt-1 via l’activation des récepteurs ETA. Ces résultats suggèrent que la capacité d’ET-1 à atténuer l’expression de Sirt-1 serait un éventuel mécanisme d’action avec des effets favorisant les MCV.

The ideal self at play: the appeal of video games that let you be all you can be

Video games constitute a popular form of entertainment that allows millions of people to adopt virtual identities. In our research, we explored the idea that the appeal of games is due in part to their ability to provide players with novel experiences that let them “try on” ideal aspects of their selves that might not find expression in everyday life. We found that video games were most intrinsically motivating and had the greatest influence on emotions when players’ experiences of themselves during play were congruent with players’ conceptions of their ideal selves. Additionally, we found that high levels of immersion in gaming environments, as well as large discrepancies between players’ actual-self and ideal-self characteristics, magnified the link between intrinsic motivation and the experience of ideal-self characteristics during play.

Effects of let-7 microRNA on Cell Growth and Differentiation of Papillary Thyroid Cancer

Papillary thyroid carcinoma (PTC) is the most common endocrine malignancy and RET/PTC rearrangements represent key genetic events frequently associated to this cancer, enhancing proliferation and dedifferentiation by activation of the RET/PTC-RAS-BRAF-mitogen-activated protein kinase (MAPK) pathway. Recently, let-7 microRNA was found to reduce RAS levels in lung cancer, acting as a tumor suppressor gene. Here, we report that RET/PTC3 oncogenic activation in PCCL3 rat thyroid cells markedly reduces let-7f expression. Moreover, stable transfection of let-7 microRNA in TPC-1 cells, which harbor RET/PTC1 rearrangement, inhibits MAPK activation. As a result, let-7f was capable of reducing TPC-1 cell growth, and this might be explained, at least in part, by decreased messenger RNA (mRNA) expression of cell cycle stimulators such as MYC and CCND1 (cyclin D1) and increased P21 cell cycle inhibitor mRNA. In addition, let-7 enhanced transcriptional expression of molecular markers of thyroid differentiation such as TITF1 and TG. Thus, reduced expression of let-7f might be an essential molecular event in RET/PTC malignant transformation. Moreover, let-7f effects on thyroid growth and differentiation might attenuate neoplastic process of RET/PTC papillary thyroid oncogenesis through impairment of MAPK signaling pathway activation. This is the first functional demonstration of an association of let-7 with thyroid cancer cell growth and differentiation.

MicroRNAs miR-146-5p and let-7f as prognostic tools for aggressive papillary thyroid carcinoma: a case report

Papillary thyroid cancer (PTC) is the most incident histotype of thyroid cancer. A certain fraction of PTC cases (5%) are irresponsive to conventional treatment, and refractory to radioiodine therapy. The current prognostic factors for aggressiveness are mainly based on tumor size, the presence of lymph node metastasis, extrathyroidal invasion and, more recently, the presence of the BRAFT(1799A) mutation. MicroRNAs (miRNAs) have been described as promising molecular markers for cancer as their deregulation is observed in a wide range of tumors. Recent studies indicate that the over-expression of miR-146b-5p is associated with aggressiveness and BRAFT(1799A) mutation. Furthermore, down-regulation of let-7f is observed in several types of tumors, including PTC. In this study, we evaluated the miR146b-5p and let-7f status in a young male patient with aggressive, BRAFT(1799A)-positive papillary thyroid carcinoma, with extensive lymph node metastases and short-time recurrence. The analysis of miR-146b-5p and let-7f expression revealed a distinct pattern from a cohort of PTC patients, suggesting caution in evaluating miRNA expression data as molecular markers of PTC diagnosis and prognosis. Arq Bras Endocrinol Metab. 2012;56(8):552-7

Differential MiRNA expression in childhood acute lymphoblastic leukemia and association with clinical and biological features

The present study aimed to analyze the expression profile of the microRNAs previously described as associated with childhood ALL, miR-92a, miR-100, miR-125a-5p, miR-128a, miR-181b, miR-196b and let-7e, and their association with biological/prognostic features in 128 consecutive samples of childhood acute lymphoblastic leukemia (ALL) by quantitative real-time PCR. A significant association was observed between higher expression levels of miR-196b and T-ALL, miR-100 and patients with low white blood cell count at diagnosis and t(12;21) positive ALL. These findings suggest a potential activity of these microRNAs in pediatric ALL biology. (C) 2011 Elsevier Ltd. All rights reserved.