Results 171 to 180 of about 1,739 (283)

Sequent Calculi for the Modal µ-Calculus over S5

, 2017
We present two sequent calculi for the modal µ-calculus over S5 and prove their completeness by using classical methods. One sequent calculus has an analytical cut rule and could be used for a decision procedure the other uses a modified version of the ...
Alberucci, Luca
core  

Safety and Performance of the MOZEC Sirolimus-Eluting Coronary Balloon in the Treatment of Stenotic Coronary Artery Lesions: A Real-World, Multicenter, Post-Marketing Surveillance Study. [PDF]

Cardiol Res
Premchand Jain RK, Parikh K, Sethuraman S, Sharma K, Roy S, Vithala SR, Gollamandala KR, Packirisamy G, Mantravadi SS, Roleder T.   +9 more
europepmc   +1 more source

PAK1 activation drives divergent resistance mechanisms to aromatase inhibition and tamoxifen in a luminal: A breast cancer model

Molecular Oncology, EarlyView.
Breast cancer remains a major cause of cancer death in women, frequently developing endocrine therapy resistance. This study demonstrates that upregulated p21‐activated kinase 1 (PAK1) activity drives resistance to tamoxifen and long‐term estrogen deprivation in ER+ breast cancer models.
Luisa Schwarzmüller, Janina Müller, Efstathios‐Iason Vlachavas, Lukas Beumers, Lena Fleischhacker, Sara Burmester, Angelika Wörner, Sabine Karolus, Dominic Helm, Cindy Körner, Stefan Wiemann   +10 more
wiley   +1 more source

A full formal representation of Arrow's impossibility theorem. [PDF]

PLoS One
Yamamoto K.
europepmc   +1 more source

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Construction of sequent calculi of composition-nominative multimodal logics

In this paper first-order composition-nominative multimodal logics of quantifier-equational level are studied. For these logics sequent calculi are constructed. Soundness and completeness theorems are proved for the defined calculi.
Shkilniak, O.S.
core  

ZW4864‐mediated inhibition of the β‐catenin/BCL9/BCL9L complex reveals therapeutic potential in bladder cancer

Molecular Oncology, EarlyView.
BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi, Mandy Berndt‐Paetz, Eileen Lerner, Gregoire Najjar, Anca Azoitei, Krishna Pal Singh, Shailendra Kumar Gupta, Olaf Wolkenhauer, Cagatay Günes, Otmar Huber, Marc‐Oliver Grimm, Daniel Steinbach   +11 more
wiley   +1 more source

Automated FRAP microscopy for high‐throughput analysis of protein dynamics in chromatin organization and transcription

FEBS Open Bio, EarlyView.
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz, Bart Geverts, Johan A. Slotman, Andrea Sacchetti, Stefan Prekovic, Martin E. van Royen, Adriaan B. Houtsmuller   +6 more
wiley   +1 more source