Arboreal Categories: an Axiomatic Theory of Resources

Game comonads provide a categorical syntax-free approach to finite model theory, and their Eilenberg-Moore coalgebras typically encode important combinatorial parameters of structures. In this paper, we develop a framework whereby the essential properties of these categories of coalgebras are captured in a purely axiomatic fashion. To this end, we introduce arboreal categories, which have an intrinsic process structure, allowing dynamic notions such as bisimulation and back-and-forth games, and resource notions such as number of rounds of a game, to be defined. These are related to extensional or “static” structures via arboreal covers, which are resource-indexed comonadic adjunctions. These ideas are developed in a general, axiomatic setting, and applied to relational structures, where the comonadic constructions for pebbling, Ehrenfeucht-Fraïssé and modal bisimulation games recently introduced by Abramsky, Dawar et al. are recovered, showing that many of the fundamental notions of finite model theory and descriptive complexity arise from instances of arboreal covers

Two-phase flow expansion: Development of an innovative test-rig for flow characterisation and CFD validation

The aim of this work is to describe the design of an innovative test rig for investigating the expansion of saturated fluids in the two-phase region. The experimental test rig was thought up and built by TPG of the University of Genoa. It will be equipped by probes and some optical accesses that permit high speed video recording and laser measurements. It will be useful for the study of the quality ratio, vapour and liquid droplet thermodynamic properties and their speed

Controlling TcT_c of Iridium films using interfacial proximity effects

High precision calorimetry using superconducting transition edge sensors requires the use of superconducting films with a suitable $T_c$, depending on the application. To advance high-precision macrocalorimetry, we require low-$T_c$ films that are easy to fabricate. A simple and effective way to suppress $T_c$ of superconducting Iridium through the proximity effect is demonstrated by using Ir/Pt bilayers as well as Au/Ir/Au trilayers. While Ir/Au films fabricated by applying heat to the substrate during Ir deposition have been used in the past for superconducting sensors, we present results of $T_c$ suppression on Iridium by deposition at room temperature in Au/Ir/Au trilayers and Ir/Pt bilayers in the range of $\sim$20-100~mK. Measurements of the relative impedance between the Ir/Pt bilayers and Au/Ir/Au trilayers fabricated show factor of $\sim$10 higher values in the Ir/Pt case. These new films could play a key role in the development of scalable superconducting transition edge sensors that require low-$T_c$ films to minimize heat capacity and maximize energy resolution, while keeping high-yield fabrication methods.Comment: 5 journal pages, 4 figure

Janus effect of glucocorticoids on differentiation of muscle fibro/adipogenic progenitors

Muscle resident fibro-adipogenic progenitors (FAPs), support muscle regeneration by releasing cytokines that stimulate the differentiation of myogenic stem cells. However, in non-physiological contexts (myopathies, atrophy, aging) FAPs cause fibrotic and fat infiltrations that impair muscle function. We set out to perform a fluorescence microscopy-based screening to identify compounds that perturb the differentiation trajectories of these multipotent stem cells. From a primary screen of 1,120 FDA/EMA approved drugs, we identified 34 compounds as potential inhibitors of adipogenic differentiation of FAPs isolated from the murine model (mdx) of Duchenne muscular dystrophy (DMD). The hit list from this screen was surprisingly enriched with compounds from the glucocorticoid (GCs) chemical class, drugs that are known to promote adipogenesis in vitro and in vivo. To shed light on these data, three GCs identified in our screening efforts were characterized by different approaches. We found that like dexamethasone, budesonide inhibits adipogenesis induced by insulin in sub-confluent FAPs. However, both drugs have a pro-adipogenic impact when the adipogenic mix contains factors that increase the concentration of cAMP. Gene expression analysis demonstrated that treatment with glucocorticoids induces the transcription of Gilz/Tsc22d3, an inhibitor of the adipogenic master regulator PPARγ, only in anti-adipogenic conditions. Additionally, alongside their anti-adipogenic effect, GCs are shown to promote terminal differentiation of satellite cells. Both the anti-adipogenic and pro-myogenic effects are mediated by the glucocorticoid receptor and are not observed in the presence of receptor inhibitors. Steroid administration currently represents the standard treatment for DMD patients, the rationale being based on their anti-inflammatory effects. The findings presented here offer new insights on additional glucocorticoid effects on muscle stem cells that may affect muscle homeostasis and physiology

Cancer cells adapt FAM134B/BiP mediated ER-phagy to survive hypoxic stress

In the tumor microenvironment, cancer cells experience hypoxia resulting in the accumulation of misfolded/unfolded proteins largely in the endoplasmic reticulum (ER). Consequently, ER proteotoxicity elicits unfolded protein response (UPR) as an adaptive mechanism to resolve ER stress. In addition to canonical UPR, proteotoxicity also stimulates the selective, autophagy-dependent, removal of discrete ER domains loaded with misfolded proteins to further alleviate ER stress. These mechanisms can favor cancer cell growth, metastasis, and long-term survival. Our investigations reveal that during hypoxia-induced ER stress, the ER-phagy receptor FAM134B targets damaged portions of ER into autophagosomes to restore ER homeostasis in cancer cells. Loss of FAM134B in breast cancer cells results in increased ER stress and reduced cell proliferation. Mechanistically, upon sensing hypoxia-induced proteotoxic stress, the ER chaperone BiP forms a complex with FAM134B and promotes ER-phagy. To prove the translational implication of our mechanistic findings, we identified vitexin as a pharmacological agent that disrupts FAM134B-BiP complex, inhibits ER-phagy, and potently suppresses breast cancer progression in vivo

Trafficking

In cities the world over we are able to determine stability in daily existence, to identify with our social spaces, because modes of transport have become essential components of subjective autonomy. But would it not be just as accurate to say that in transit modern life puts the self in abeyance? I argue that the ways we allow ourselves to be moved around in ‘traffic space’ creates a passivity that renders almost invisible the complex mechanics of movement, which we only become alert to at the moment of breakdown, precisely when they become a threat to autonomy. Our trafficking, I conclude, has an almost narcotic effect, rendering us immobile against the continual movements that constitute urban life, one that also magnifies out of all proportion the accidents or aberrations that sometimes disturb our traffic space, making it seem as if we may easily descend into an uncontrollable chaos

Thienopyrimidine Derivatives as GPR55 Receptor Antagonists: Insight into Structure-Activity Relationship

GPR55 is an orphan G-protein coupled receptor involved in various pathophysiological conditions. However, there are only a few noncannabinoid GPR55 ligands reported so far. The lack of potent and selective GPR55 ligands precludes a deep exploration of this receptor. The studies presented here focused on a thienopyrimidine scaffold based on the GPR55 antagonist ML192, previously discovered by high-throughput screening. The GPR55 activities of the new synthesized compounds were assessed using β-arrestin recruitment assays in Chinese hamster ovary cells overexpressing human GPR55. Some derivatives were identified as GPR55 antagonists with functional efficacy and selectivity versus CB1 and CB2 cannabinoid receptors.M.E.A., P.H.R., and N.J. are supported by National Institutes of Health grant R01 DA0455698. M.E.A. and P.Z. thank the financial support NIH P30 DA013429. P.M. and N.J. are supported by the Ministry of Science, Innovation, and Universities, Spain (MCIU)/FEDER grant RTI2018-095544-B-I00 and the Spanish National Research Council (CSIC) grant PIE-201580E033. P.M. acknowledges the Comunidad de Madrid (CM) programme “Atraccion de Talento” number 2018-T2/BMD-10819 and “Juan de la Cierva Incorporación Programme-MICIU” (IJC 2019-042182-I