Results 81 to 90 of about 552,801 (329)

Certification of Confluence Proofs using CeTA [PDF]

, 2015
CeTA was originally developed as a tool for certifying termination proofs which have to be provided as certificates in the CPF-format. Its soundness is proven as part of IsaFoR, the Isabelle Formalization of Rewriting.
Nagele, Julian, Thiemann, René
core   +1 more source

Glycosylated LGALS3BP is highly secreted by bladder cancer cells and represents a novel urinary disease biomarker

Molecular Oncology, EarlyView.
Urinary LGALS3BP is elevated in bladder cancer patients compared to healthy controls as detected by the 1959 antibody–based ELISA. The antibody shows enhanced reactivity to the high‐mannose glycosylated variant secreted by cancer cells treated with kifunensine (KIF).
Asia Pece, Giulio Lovato, Ilaria Cela, Arianna Mercatelli, Benedetta Ferro, Jussi Nikkola, Sara Pagotto, Tommaso Grottola, Vincenzo De Laurenzi, Rossella Cicchetti, Antonio Marchetti, Luigi Schips, Rossano Lattanzio, Stefano Iacobelli, Emily Capone, Peter Black, Mads Daugaard, Michele Marchioni, Gianluca Sala   +18 more
wiley   +1 more source

Introduction: Trying to Define Literature’s Confluences

Études Britanniques Contemporaines, 2017
Previous issues of Études britanniques contemporaines chose to focus on the agonistic dynamics of British literature and the arts. The present issue explores a paradigm which has hitherto received very little critical attention. The notion of ‘confluence’
Catherine Bernard
doaj   +1 more source

Characterizing PSPACE with Shallow Non-Confluent P Systems [PDF]

, 2018
In P systems with active membranes, the question of understanding the power of non-confluence within a polynomial time bound is still an open problem.
Leporati, Alberto, Manzoni, Luca, Mauri, Giancarlo, Porreca, Antonio E., Zandron, Claudio   +4 more
core  

Survivin and Aurora Kinase A control cell fate decisions during mitosis

Molecular Oncology, EarlyView.
Aurora A interacts with survivin during mitosis and regulates its centromeric role. Loss of Aurora A activity mislocalises survivin, the CPC and BubR1, leading to disruption of the spindle checkpoint and triggering premature mitotic exit, which we refer to as ‘mitotic slippage’.
Hana Abdelkabir, Shalitha Wickrama Arachchige, Sally P. Wheatley   +2 more
wiley   +1 more source

Three models for gene assembly in ciliates: a comparison [PDF]

Computer Science Journal of Moldova, 2010
We survey in this paper the main differences among three variants of an intramolecular model for gene assembly: the general, the simple, and the elementary models.
Miika Langille, Ion Petre, Vladimir Rogojin   +2 more
doaj  

Numerical Simulation of Turbulent Flow in Bends and Confluences Considering Free Surface Changes Using the Volume of Fluid Method [PDF]

, 2022
Rawaa Shaheed, Abdolmajid Mohammadian, Xiaohui Yan   +2 more
openalex   +1 more source

CDK11 inhibition induces cytoplasmic p21WAF1 splice variant by p53 stabilisation and SF3B1 inactivation

Molecular Oncology, EarlyView.
CDK11 inhibition stabilises the tumour suppressor p53 and triggers the production of an alternative p21WAF1 splice variant p21L, through the inactivation of the spliceosomal protein SF3B1. Unlike the canonical p21WAF1 protein, p21L is localised in the cytoplasm and has reduced cell cycle‐blocking activity.
Radovan Krejcir, Lukasz Arcimowicz, Lucia Martinkova, Vaclav Hrabal, Filip Zavadil Kokas, Tomas Henek, Martina Kucerikova, Ondrej Bonczek, Pavlina Zatloukalova, Lenka Hernychova, Philip J. Coates, Borivoj Vojtesek, David P. Lane   +12 more
wiley   +1 more source

Hydrodynamic Response of Channel Flow Confluence to the Tributary Floodplain Topography

Water Resources Research
River confluences with a compound‐channel tributary are common in large river networks, for example, the Yangtze River basin and the Amazon basin. They affect the confluence hydrodynamics, nutrient depletion and fish migration in the network, due to the ...
Guanghui Yan, Saiyu Yuan, Hongwu Tang, Dong Xu, Mengyang Liu, Colin Whittaker, Carlo Gualtieri   +6 more
doaj   +1 more source

The Confluence of Interaction Design & Design: from Disciplinary to Transdisciplinary Perspectives [PDF]

, 2009
In keeping with the conference theme of rigour and the authors’ interest in sustainability and interaction design, we describe the confluence of design-oriented notions of interaction design and HCI-oriented notions of interaction design in terms of ...
Blevis, Eli, Stolterman, Erik
core