Results 41 to 50 of about 51,667 (267)

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, Dong Young Kim, Yuna Kim, Uk‐Il Kim, Jae‐Sung Kim   +4 more
wiley   +1 more source

Symbolic analysis via semantic reinterpretation [PDF]

International Journal on Software Tools for Technology Transfer, 2009
The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation , weakest liberal precondition , and symbolic composition . We used the technique to create a system in which, for the cost of writing just one specification--an interpreter for the programming language ...
Junghee Lim, Akash Lal, Thomas Reps
openaire   +1 more source

Identification of serum protein biomarkers for pre‐cancerous lesions associated with pancreatic ductal adenocarcinoma

Molecular Oncology, EarlyView.
This work identified serum proteins associated with pancreatic epithelial neoplasms (PanINs) and early‐stage PDAC. Proteomics screens assessed genetically engineered mice with abundant PanINs, KPC mice (Lox‐STOP‐Lox‐KrasG12D/+ Lox‐STOP‐Lox‐Trp53R172H/+ Pdx1‐Cre) before PDAC development and also early‐stage PDAC patients (n = 31), compared to benign ...
Hannah Mearns, Jaclyn S. Long, Sergio Lilla, Kelly Hodge, Marcus J. G. W. Ladds, Colin Nixon, Paula Fernández‐Palanca, Sara Zanivan, Pilar Acedo, Stephen P. Pereira, Kevin M. Ryan   +10 more
wiley   +1 more source

Mathematical Circuit Root Simplification Using an Ensemble Heuristic–Metaheuristic Algorithm

Mathematics, 2023
Symbolic pole/zero analysis is a crucial step in designing an analog operational amplifier. Generally, a simplified symbolic analysis of analog circuits suffers from NP-hardness, i.e., an exponential growth of the number of symbolic terms of the transfer
Navid Behmanesh-Fard, Hossein Yazdanjouei, Mohammad Shokouhifar, Frank Werner   +3 more
doaj   +1 more source

Symbolic range analysis of pointers [PDF]

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016
Alias analysis is one of the most fundamental techniques thatcompilers use to optimize languages with pointers.However, in spite of all the attention that this topic has received, the currentstate-of-the-art approaches inside compilers still face challenges regardingprecision and speed.In particular, pointer arithmetic, a key feature in C and C++, is ...
Paisante, Vitor, Maalej, Maroua, Barbosa, Leonardo, Gonnord, Laure, Quintão Pereira, Fernando Magno   +4 more
openaire   +2 more sources

COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells

Molecular Oncology, EarlyView.
This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos, Gilar Gorji‐bahri, Lejla Gradjan, Julia Zajac, Kacper Gil, Yvonne Thokozile Nduku, Anna M. Blom   +6 more
wiley   +1 more source

Pathogenic Neurofibromatosis type 1 gene variants in tumors of non‐NF1 patients and role of R1276

FEBS Open Bio, EarlyView.
Somatic variants of the neurofibromatosis type 1 (NF1) gene occur across neoplasms without clinical manifestation of the disease NF1. We identified emerging somatic pathogenic NF1 variants and hotspots, for example, at the arginine finger 1276. Those missense variants provide fundamental information about neurofibromin's role in cancer.
Mareike Selig, Swanhild Lohse, Sara Elahi, Nils Hartmann, Stefanie Deckert, Shutian Si, Alexander Desuki, Anja Harder   +7 more
wiley   +1 more source

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems [PDF]

Logical Methods in Computer Science, 2008
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested "stack of stacks" structure.
Matthew Hague, C. -H. Luke Ong
doaj   +1 more source

A light‐triggered Time‐Resolved X‐ray Solution Scattering (TR‐XSS) workflow with application to protein conformational dynamics

FEBS Open Bio, EarlyView.
Time‐resolved X‐ray solution scattering captures how proteins change shape in real time under near‐native conditions. This article presents a practical workflow for light‐triggered TR‐XSS experiments, from data collection to structural refinement. Using a calcium‐transporting membrane protein as an example, the approach can be broadly applied to study ...
Fatemeh Sabzian‐Molaei, Fredrik Orädd, Konstantinos Magkakis, Magnus Andersson   +3 more
wiley   +1 more source

Use of Symptomatic Drug Treatment for Fatigue in Multiple Sclerosis and Patterns of Work Loss

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To describe the use of central stimulants and amantadine for fatigue in MS and evaluate a potential association with reduced work loss in people with MS. Methods We conducted a nationwide, matched, register‐based cohort study in Sweden (2006 to 2023) using national registers with prospective data collection.
Simon Englund, Johan Reutfors, Thomas Frisell, Fredrik Piehl   +3 more
wiley   +1 more source