Results 111 to 120 of about 5,727 (317)
Emerging role of ARHGAP29 in melanoma cell phenotype switching
Molecular Oncology, EarlyView.This study gives first insights into the role of ARHGAP29 in malignant melanoma. ARHGAP29 was revealed to be connected to tumor cell plasticity, promoting a mesenchymal‐like, invasive phenotype and driving tumor progression. Further, it modulates cell spreading by influencing RhoA/ROCK signaling and affects SMAD2 activity. Rho GTPase‐activating protein
Beatrice Charlotte Tröster +3 more
wiley +1 more source
Streamlining Input/Output Logics with Sequent Calculi [PDF]
, 2023 Agata Ciabattoni, Dmitry Rozplokhas
openalex +3 more sources
Sequent calculi and decidability for intuitionistic hybrid logic
Information and Computation, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Galmiche, Didier, Salhi, Yakoub
openaire +3 more sources
Molecular Oncology, EarlyView.In this exploratory study, we investigated the relationship between the gut microbiota and outcome in patients with metastatic hormone receptor‐positive breast cancer, treated in a randomized clinical trial with chemotherapy alone or chemotherapy in combination with immune checkpoint blockade.
Andreas Ullern +7 more
wiley +1 more source
Equality reasoning in sequent-based calculi
, 1998 We overview methods of equality reasoning in sequent-based systems. We consider the history of handling equality in sequent systems, methods based on rigid E-unification, paramodulation-based methods, the equality elimination method and equality reasoning in nonclassical logics.
Degtyarev, A., Voronkov, A.
openaire +2 more sources
Sequent Calculi for Beginners and Professionals
Logic and Logical Philosophy, 2018 Book Reviews: Andrzej Indrzejczak, Rachunki sekwentowe w logice klasycznej (Sequent calculi for classical logic), Wydawnictwo Uniwersytetu Łódzkiego, Łódź, 2013, 299 pages, ISBN 978-83-7525-812 ...
openaire +5 more sources
Modeling hepatic fibrosis in TP53 knockout iPSC‐derived human liver organoids
Molecular Oncology, EarlyView.This study developed iPSC‐derived human liver organoids with TP53 gene knockout to model human liver fibrosis. These organoids showed elevated myofibroblast activation, early disease markers, and advanced fibrotic hallmarks. The use of profibrotic differentiation medium further amplified the fibrotic signature seen in the organoids.
Mustafa Karabicici +8 more
wiley +1 more source
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Bulletin of the Section of LogicDecidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj +1 more source
Etude polarisée du système L [PDF]
, 2009 Herbelin coined the name ``System L'' to refer to syntactical quotients of sequent calculi, in which two classes of terms interact in commands, in the manner of Curien's and Herbelin's lambda-bar-mu-mu-tilde calculus or Wadler's dual calculus. This paper
Munch-Maccagnoni, Guillaume
core +2 more sources
Inhibition of CDK9 enhances AML cell death induced by combined venetoclax and azacitidine
Molecular Oncology, EarlyView.The CDK9 inhibitor AZD4573 downregulates c‐MYC and MCL‐1 to induce death of cytarabine (AraC)‐resistant AML cells. This enhances VEN + AZA‐induced cell death significantly more than any combination of two of the three drugs in AraC‐resistant AML cells.
Shuangshuang Wu +18 more
wiley +1 more source