Results 121 to 130 of about 5,727 (317)

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics [PDF]

, 2020
Tobias Geibinger, Hans Tompits
openalex   +2 more sources

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules [PDF]

, 2023
Tim S. Lyon, Piotr Ostropolski-Nalewaja
openalex   +1 more source

A synthetic benzoxazine dimer derivative targets c‐Myc to inhibit colorectal cancer progression

Molecular Oncology, EarlyView.
Benzoxazine dimer derivatives bind to the bHLH‐LZ region of c‐Myc, disrupting c‐Myc/MAX complexes, which are evaluated from SAR analysis. This increases ubiquitination and reduces cellular c‐Myc. Impairing DNA repair mechanisms is shown through proteomic analysis.
Nicharat Sriratanasak, Bodee Nutho, Worawat Wattanathana, Narumon Phaonakrop, Bunnatut Panasawatwong, Katharina Erlenbach‐Wuensch, Sittiruk Roytrakul, Regine Schneider‐Stock, Pithi Chanvorachote   +8 more
wiley   +1 more source

Adaptaquin is selectively toxic to glioma stem cells through disruption of iron and cholesterol metabolism

Molecular Oncology, EarlyView.
Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié, Davod R. Shah, Eliane E. S. Brechbühl, Michael McNicholas, Zhaoyang Xu, John H. Stockley, Laura Morcom, Diana Gold Diaz, Gemma C. Girdler, Rachel V. Seear, Gabriel Balmus, Rajiv R. Ratan, Harry Bulstrode, James A. Nathan, Manav Pathania, Kevin M. Brindle, David H. Rowitch   +16 more
wiley   +1 more source

A note on generalized generalization

Acta Universitatis Carolinae: Philosophica et Historica
The generalization rules of sequent calculi allow, under some restrictions, to derive a formula ∃χφ or ∀χφ from a formula φχ (γ), i.e. from the formula obtained by substituting a variable γ for all free occurrences of χ in φ.
Vítězslav Švejdar
doaj   +1 more source

Sequent Calculi for QBFs. Their Relation to Bounded Arithmetic, and the Complexity of the Witnessing Problem

, 2021
Dana Jomar
openalex   +1 more source

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Sequent calculi for a unity of logic [PDF]

, 2020
Norihiro Yamada
openalex   +1 more source

Predictors of response and rational combinations for the novel MCL‐1 inhibitor MIK665 in acute myeloid leukemia

Molecular Oncology, EarlyView.
This study characterizes the responses of primary acute myeloid leukemia (AML) patient samples to the MCL‐1 inhibitor MIK665. The results revealed that monocytic differentiation is associated with MIK665 sensitivity. Conversely, elevated ABCB1 expression is a potential biomarker of resistance to the treatment, which can be overcome by the combination ...
Joseph Saad, Rhiannon Newman, Elmira Khabusheva, Sofia Aakko, Eric Durand, Mahesh Tambe, Heikki Kuusanmäki, Alun Parsons, Juho J. Miettinen, Komal Kumar Javarappa, Ezgi June Olgac, Nemo Ikonen, Mika Kontro, Kimmo Porkka, Heiko Maacke, Janghee Woo, Ensar Halilovic, Caroline A. Heckman   +17 more
wiley   +1 more source

Aggressive prostate cancer is associated with pericyte dysfunction

Molecular Oncology, EarlyView.
Tumor‐produced TGF‐β drives pericyte dysfunction in prostate cancer. This dysfunction is characterized by downregulation of some canonical pericyte markers (i.e., DES, CSPG4, and ACTA2) while maintaining the expression of others (i.e., PDGFRB, NOTCH3, and RGS5).
Anabel Martinez‐Romero, Ane Martinez‐Larrinaga, Joaquim Grego‐Bessa, Saioa Garcia‐Longarte, Hielke van Splunder, Ianire Astobiza, Amaia Ercilla, Laura Bozal‐Basterra, Isabel Mendizabal, Pilar Villacampa, Arkaitz Carracedo, Mariona Graupera   +11 more
wiley   +1 more source