A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and faithful embedding into a monoidal closed bifibration living now over the compact closed category of small categories and distributors. Besides revealing dualities which are not immediately apparent in the traditional presentation of the presheaf hyperdoctrine, this reconstruction leads us to an axiomatic treatment of directed equality predicates (modelled by hom presheaves), realizing a vision initially set out by Lawvere (1970). It also leads to a simple calculus of string diagrams (representing presheaves) that is highly reminiscent of C. S. Peirce's existential graphs for predicate logic, refining an earlier interpretation of existential graphs in terms of Boolean hyperdoctrines by Brady and Trimble. Finally, we illustrate how this work extends to a bifibrational setting a number of fundamental ideas of linear logic.Comment: Identical to the final version of the paper as appears in proceedings of LICS 2016, formatted for on-screen readin

An Action Research Project: Students’ Responses to and Perceptions of Training to Develop Effective Vocabulary Learning Strategies

This article reports on a small-scale action research study aimed at exploring the impact of vocabulary learning strategies (VLS) awareness-raising and training sessions on two groups of Spanish as a Foreign Language beginners. The exploration focused on identifying changes to strategy use and students’ experience of strategy effectiveness after a series of VLS awareness-raising and training sessions that took place on a Spanish beginners’ course. In addition, feedback on the sessions was sought from the students. Data were collected through semi-structured questionnaires and interviews. Responses from the participants were coded using an adaptation of VLS from Schmitt, N. (1997) classification: additional VLS that emerged from the data was also added. Emergent themes from the questionnaires and interviews were analyzed and included in the findings. The results revealed changes in strategy use and suggest that students benefited from the VLS awareness-raising and training sessions. Furthermore, the results provide insights into factors that affect strategy effectiveness and students’ perceptions of what made strategies particularly effective for them when learning Spanish

FUS-CHOP promotes invasion in myxoid liposarcoma through a SRC/FAK/RHO/ROCK-dependent pathway

Deregulated SRC/FAK signaling leads to enhanced migration and invasion in many types of tumors. In myxoid and round cell liposarcoma (MRCLS), an adipocytic tumor characterized by the expression of the fusion oncogene FUS-CHOP, SRC have been found as one of the most activated kinases. Here we used a cell-of-origin model of MRCLS and an MRCLS cell line to thoroughly characterize the mechanisms of cell invasion induced by FUS-CHOP using in vitro (3D spheroid invasion assays) and in vivo (chicken chorioallantoic membrane model) approaches. FUS-CHOP expression activated SRC-FAK signaling and increased the invasive ability of MRCLS cells. In addition, FAK expression was found to significantly correlate with tumor aggressiveness in sarcoma patient samples. The involvement of SRC/FAK activation in FUS-CHOP–mediated invasion was further confirmed using the SRC inhibitor dasatinib, the specific FAK inhibitor PF-573228, and FAK siRNA. Notably, dasatinib and PF573228 could also efficiently block the invasion of cancer stem cell subpopulations. Downstream of SRC/FAK signaling, we found that FUS-CHOP expression increases the levels of the RHO/ROCK downstream effector phospho-MLC2 (T18/S19) and that this activation was prevented by dasatinib or PF573228. Moreover, the ROCK inhibitor RKI-1447 was able to completely abolish invasion in FUS-CHOP–expressing cells. These data uncover the involvement of SRC/FAK/RHO/ROCK signaling axis in FUS-CHOP–mediated invasion, thus providing a rationale for testing inhibitors of this pathway as potential novel antimetastatic agents for MRCLS treatmentPeer ReviewedPostprint (author's final draft

Espondilitis tuberculosa no es una metástasis vertebral: diagnóstico diferencial y tratamiento quirúrgico. A propósito de un caso

Presentamos el caso de una paciente con dorsalgia y clínica neurológica de varios meses de evolución que ante las pruebas de imagen fue erróneamente diagnosticada de metástasis vertebral sin confirmación previa con biopsia. El deterioro progresivo neurológico y las nuevas pruebas de imagen confirmaron el diagnóstico de tuberculosis vertebral. La paciente fue tratada mediante curetaje, desbridamiento, fusión intersomática y osteosíntesis anterior además del tratamiento médico. Hubo una recuperación neurológica de la función sensitiva, motora y esfinteriana prácticamente completa al mes de la intervención. Tras 20 meses de evolución la paciente está asintomática sin evidencia de progresión de la enfermedadWe report a patient with back pain and neurological symptoms several months of evolution to the test image was wrongly diagnosed with spinal metastases without prior confirmation with biopsy. The progressive deterioration of neurological and new imaging confirmed the diagnosis of spinal tuberculosis. The patient was treated by curettage, debridement, anterior interbody fusion and internal fixation in addition to medical treatment. There neurological recovery of sensory function, motor and sphincter almost complete month after the intervention. After 20 months of evolution, the patient is asymptomatic without evidence of disease progressio

The Role of Green Infrastructure in Urban and Peri-urban Areas in Latin American: a Case Study in Cuenca, Ecuador

Source: ICHE Conference Archive - https://mdi-de.baw.de/icheArchive

Prostate cancer, PI3K, PTEN and prognosis

Loss of function of the PTEN tumour suppressor, resulting in dysregulated activation of the phosphoinositide 3-kinase (PI3K) signalling network, is recognized as one of the most common driving events in prostate cancer development. The observed mechanisms of PTEN loss are diverse, but both homozygous and heterozygous genomic deletions including PTEN are frequent, and often accompanied by loss of detectable protein as assessed by immunohistochemistry (IHC). The occurrence of PTEN loss is highest in aggressive metastatic disease and this has driven the development of PTEN as a prognostic biomarker, either alone or in combination with other factors, to distinguish indolent tumours from those likely to progress. Here, we discuss these factors and the consequences of PTEN loss, in the context of its role as a lipid phosphatase, as well as current efforts to use available inhibitors of specific components of the PI3K/PTEN/TOR signalling network in prostate cancer treatment.</jats:p