The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

Polymer-based microfluidic device for measuring membrane protein activities

Functional assays of membrane proteins are becoming increasingly important, both in research and drug discovery applications. The majority of current assays use the patch-clamp technology to measure the activity of ion channels which are over-expressed in cells. In future, in vitro assay systems will be available, which use reconstituted membrane proteins in free-standing lipid bilayers suspended in nano- or micrometer-sized pores. Such functional assays require (1) expression, purification and reconstitution of the membrane protein of interest, (2) a reliable method for lipid bilayer formation and membrane protein integration, and (3) a sensitive detection system. For practical applications, especially for automation, the reliable and controllable transport of fluids is essential. In order to achieve a stable free-standing lipid bilayer, a pore diameter in the micro- to nanometer range is essential. Novel microfluidic devices were developed by bonding a thick (300μm) polyether ether ketone foil, bearing a channel structure, to a thin (12μm) foil with a micropore of about 10μm diameter and then utilized for the formation of stable, free-standing lipid bilayers within the pore. A bacterial voltage-gated potassium channel is integrated therein by fusion and the ion channel activity detected by voltage clam

Cost-effectiveness of cervical cancer screening with primary human papillomavirus testing in Norway

Background: New screening technologies and vaccination against human papillomavirus (HPV), the necessary cause of cervical cancer, may impact optimal approaches to prevent cervical cancer. We evaluated the cost-effectiveness of alternative screening strategies to inform cervical cancer prevention guidelines in Norway. Methods: We leveraged the primary epidemiologic and economic data from Norway to contextualise a simulation model of HPV-induced cervical cancer. The current cytology-only screening was compared with strategies involving cytology at younger ages and primary HPV-based screening at older ages (31/34+ years), an option being actively deliberated by the Norwegian government. We varied the switch-age, screening interval, and triage strategies for women with HPV-positive results. Uncertainty was evaluated in sensitivity analysis. Results: Current cytology-only screening was less effective and more costly than strategies that involve switching to primary HPV testing in older ages. For unvaccinated women, switching at age 34 years to primary HPV testing every 4 years was optimal given the Norwegian cost-effectiveness threshold ($83 000 per year of life saved). For vaccinated women, a 6-year screening interval was cost-effective. When we considered a wider range of strategies, we found that an earlier switch to HPV testing (at age 31 years) may be preferred. Conclusions: Strategies involving a switch to HPV testing for primary screening in older women is expected to be cost-effective compared with current recommendations in Norway

MDM2 facilitates adipocyte differentiation through CRTC-mediated activation of STAT3

The ubiquitin ligase MDM2 is best known for balancing the activity of the tumor suppressor p53. We have previously shown that MDM2 is vital for adipocyte conversion through controlling Cebpd expression in a p53-independent manner. Here, we show that the proadipogenic effect of MDM2 relies on activation of the STAT family of transcription factors. Their activation was required for the cAMP-mediated induction of target genes. Interestingly, rather than influencing all cAMP-stimulated genes, inhibition of the kinases directly responsible for STAT activation, namely JAKs, or ablation of MDM2, each resulted in abolished induction of a subset of cAMP-stimulated genes, with Cebpd being among the most affected. Moreover, STATs were able to interact with the transcriptional cofactors CRTC2 and CRTC3, hitherto only reported to associate with the cAMP-responsive transcription factor CREB. Last but not least, the binding of CRTC2 to a transcriptional enhancer that interacts with the Cebpd promoter was dramatically decreased upon JAK inhibition. Our data reveal the existence of an unusual functional interplay between STATs and CREB at the onset of adipogenesis through shared CRTC cofactors

PIAS1 interacts with FLASH and enhances its co-activation of c-Myb

<p>Abstract</p> <p>Background</p> <p>FLASH is a huge nuclear protein involved in various cellular functions such as apoptosis signalling, NF-κB activation, S-phase regulation, processing of histone pre-mRNAs, and co-regulation of transcription. Recently, we identified FLASH as a co-activator of the transcription factor c-Myb and found FLASH to be tightly associated with active transcription foci. As a huge multifunctional protein, FLASH is expected to have many interaction partners, some which may shed light on its function as a transcriptional regulator.</p> <p>Results</p> <p>To find additional FLASH-associated proteins, we performed a yeast two-hybrid (Y2H) screening with FLASH as bait and identified the SUMO E3 ligase PIAS1 as an interaction partner. The association appears to involve two distinct interaction surfaces in FLASH. We verified the interaction by Y2H-mating, GST pulldowns, co-IP and ChIP. FLASH and PIAS1 were found to co-localize in nuclear speckles. Functional assays revealed that PIAS1 enhances the intrinsic transcriptional activity of FLASH in a RING finger-dependent manner. Furthermore, PIAS1 also augments the specific activity of c-Myb, and cooperates with FLASH to further co-activate c-Myb. The three proteins, FLASH, PIAS1, and c-Myb, are all co-localized with active RNA polymerase II foci, resembling transcription factories.</p> <p>Conclusions</p> <p>We conclude that PIAS1 is a common partner for two cancer-related nuclear factors, c-Myb and FLASH. Our results point to a functional cooperation between FLASH and PIAS1 in the enhancement of c-Myb activity in active nuclear foci.</p

The regularized visible fold revisited

The planar visible fold is a simple singularity in piecewise smooth systems. In this paper, we consider singularly perturbed systems that limit to this piecewise smooth bifurcation as the singular perturbation parameter $\epsilon\rightarrow 0$. Alternatively, these singularly perturbed systems can be thought of as regularizations of their piecewise counterparts. The main contribution of the paper is to demonstrate the use of consecutive blowup transformations in this setting, allowing us to obtain detailed information about a transition map near the fold under very general assumptions. We apply this information to prove, for the first time, the existence of a locally unique saddle-node bifurcation in the case where a limit cycle, in the singular limit $\epsilon\rightarrow 0$, grazes the discontinuity set. We apply this result to a mass-spring system on a moving belt described by a Stribeck-type friction law

Low-level APC mutational mosaicism is the underlying cause in a substantial fraction of unexplained colorectal adenomatous polyposis cases

BACKGROUND: In 30-50% of patients with colorectal adenomatous polyposis, no germline mutation in the known genes APC, causing familial adenomatous polyposis, MUTYH, causing MUTYH-associated polyposis, or POLE or POLD1, causing polymerase-proofreading-associated polyposis can be identified, although a hereditary aetiology is likely. This study aimed to explore the impact of APC mutational mosaicism in unexplained polyposis. METHODS: To comprehensively screen for somatic low-level APC mosaicism, high-coverage next-generation sequencing of the APC gene was performed using DNA from leucocytes and a total of 53 colorectal tumours from 20 unrelated patients with unexplained sporadic adenomatous polyposis. APC mosaicism was assumed if the same loss-of-function APC mutation was present in ≥2 anatomically separated colorectal adenomas/carcinomas per patient. All mutations were validated using diverse methods. RESULTS: In 25% (5/20) of patients, somatic mosaicism of a pathogenic APC mutation was identified as underlying cause of the disease. In 2/5 cases, the mosaic level in leucocyte DNA was slightly below the sensitivity threshold of Sanger sequencing; while in 3/5 cases, the allelic fraction was either very low (0.1-1%) or no mutations were detectable. The majority of mosaic mutations were located outside the somatic mutation cluster region of the gene. CONCLUSIONS: The present data indicate a high prevalence of pathogenic mosaic APC mutations below the detection thresholds of routine diagnostics in adenomatous polyposis, even if high-coverage sequencing of leucocyte DNA alone is taken into account. This has important implications for both routine work-up and strategies to identify new causative genes in this patient group

Trim17, novel E3 ubiquitin-ligase, initiates neuronal apoptosis

Accumulating data indicate that the ubiquitin-proteasome system controls apoptosis by regulating the level and the function of key regulatory proteins. In this study, we identified Trim17, a member of the TRIM/RBCC protein family, as one of the critical E3 ubiquitin ligases involved in the control of neuronal apoptosis upstream of mitochondria. We show that expression of Trim17 is increased both at the mRNA and protein level in several in vitro models of transcription-dependent neuronal apoptosis. Expression of Trim17 is controlled by the PI3K/Akt/GSK3 pathway in cerebellar granule neurons (CGN). Moreover, the Trim17 protein is expressed in vivo, in apoptotic neurons that naturally die during post-natal cerebellar development. Overexpression of active Trim17 in primary CGN was sufficient to induce the intrinsic pathway of apoptosis in survival conditions. This pro-apoptotic effect was abolished in Bax(-/-) neurons and depended on the E3 activity of Trim17 conferred by its RING domain. Furthermore, knock-down of endogenous Trim17 and overexpression of dominant-negative mutants of Trim17 blocked trophic factor withdrawal-induced apoptosis both in CGN and in sympathetic neurons. Collectively, our data are the first to assign a cellular function to Trim17 by showing that its E3 activity is both necessary and sufficient for the initiation of neuronal apoptosis. Cell Death and Differentiation (2010) 17, 1928-1941; doi: 10.1038/cdd.2010.73; published online 18 June 201

Evaluering av utprøving av digital hjemmeoppfølging: Delrapport II

Med støtte fra Helsedirektoratet prøver seks lokale prosjekter i kommunal regi ut digital hjemmeoppfølging av personer med kronisk sykdom. Utprøvingen gjennomføres i perioden 2018-2021 som en del av Nasjonalt velferdsteknologiprogram. Formålet med utprøvingen er å få tilstrekkelig kunnskap om digital hjemmeoppfølging til å gi nasjonale anbefalinger om implementering av tiltaket. Utprøvingen evalueres av forskere fra Universitetet i Oslo, Oslo Economics og Nasjonal senter for distriksmedisin. I denne delrapporten beskriver vi erfaringer med og effekter av digital hjemmeoppfølging til og med høsten 2020