Results 81 to 90 of about 1,142,282 (251)
Basroparib inhibits YAP‐driven cancers by stabilizing angiomotin
Molecular Oncology, EarlyView.Basroparib, a selective tankyrase inhibitor, suppresses Wnt signaling and attenuates YAP‐driven oncogenic programs by stabilizing angiomotin. It promotes AMOT–YAP complex formation, enforces cytoplasmic YAP sequestration, inhibits YAP/TEAD transcription, and sensitizes YAP‐active cancers, including KRAS‐mutant colorectal cancer, to MEK inhibition.
Young‐Ju Kwon +4 more
wiley +1 more source
EXPTIME Tableaux for the Coalgebraic mu-Calculus [PDF]
Logical Methods in Computer Science, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Corina Cirstea +2 more
doaj +1 more source
FEBS Open Bio, EarlyView.Aged human bmMSCs are seeded in the scaffold. Osteoblastic induction can slightly increase cell's bone‐forming activity to produce bone‐like tissues, shown as the sporadic xylenol orange‐stained spots (the lower left image). Notably, pioglitazone plus EGCG co‐treatment dramatically increases cell's bone‐forming activity and bone‐like tissue production (
Ching‐Yun Chen +6 more
wiley +1 more source
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies [PDF]
Logical Methods in Computer Science, 2010 We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising for orthogonal, fully-extended iCRSs.
Jeroen Ketema, Jakob Grue Simonsen
doaj +1 more source
Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham +7 more
wiley +1 more source
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties [PDF]
Logical Methods in Computer Science, 2016 The \emph{International Obfuscated C Code Contest} was a programming contest for the most creatively obfuscated yet succinct C code. By \emph{contrast}, an interest herein is in programs which are, \emph{in a sense}, \emph{easily} seen to be correct, but
John Case, Michael Ralston
doaj +1 more source
An Asymmetric B Factory at 10^(36) Luminosity [PDF]
, 2002 The physics opportunities at an asymmetric B Factory operating at the unprecedented luminosity of 10^(36) cm^(–2) s^(–1) are unique and attractive. The accelerator appears to be practical and the challenges of performing a sensitive experiment in this ...
Hitlin, David G.
core
How to Put a Heavier Higgs on the Lattice
, 1992 Lattice work, exploring the Higgs mass triviality bound, seems to indicate that a strongly interacting scalar sector in the minimal standard model cannot exist while low energy QCD phenomenology seems to indicate that it could.
Bardeen +15 more
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Poststroke fatigue (PSF) and frailty share substantial overlap in their manifestations, yet previous research has yielded conflicting results due to the use of heterogeneous frailty assessment tools. Objective To evaluate the independent impact of frailty on PSF using a unified measurement system (Tilburg Frailty Indicator, TFI ...
Chuan‐Bang Chen +6 more
wiley +1 more source
Logic Meets Algebra: the Case of Regular Languages [PDF]
Logical Methods in Computer Science, 2007 The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e.
Pascal Tesson, Denis Therien
doaj +1 more source