Results 71 to 80 of about 935 (253)

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability 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

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

Detecting homologous recombination deficiency for breast cancer through integrative analysis of genomic data

Molecular Oncology, EarlyView.
This study develops a semi‐supervised classifier integrating multi‐genomic data (1404 training/5893 validation samples) to improve homologous recombination deficiency (HRD) detection in breast cancer. Our method demonstrates prognostic value and predicts chemotherapy/PARP inhibitor sensitivity in HRD+ tumours.
Rong Zhu, Katherine Eason, Suet‐Feung Chin, Paul A. W. Edwards, Raquel Manzano Garcia, Richard Moulange, Jia Wern Pan, Soo Hwang Teo, Sach Mukherjee, Maurizio Callari, Carlos Caldas, Stephen‐John Sammut, Oscar M. Rueda   +12 more
wiley   +1 more source

Streamlining Input/Output Logics with Sequent Calculi [PDF]

, 2023
Agata Ciabattoni, Dmitry Rozplokhas
openalex   +3 more sources

Data‐driven discovery of gene expression markers distinguishing pediatric acute lymphoblastic leukemia subtypes

Molecular Oncology, EarlyView.
This study investigates gene expression differences between two major pediatric acute lymphoblastic leukemia (ALL) subtypes, B‐cell precursor ALL, and T‐cell ALL, using a data‐driven approach consisting of biostatistics and machine learning methods. Following analysis of a discovery dataset, we find a set of 14 expression markers differentiating the ...
Mona Nourbakhsh, Nikola Tom, Anna Schrøder Lassen, Helene Brasch Lind Petersen, Ulrik Kristoffer Stoltze, Karin Wadt, Kjeld Schmiegelow, Matteo Tiberti, Elena Papaleo   +8 more
wiley   +1 more source

Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics [PDF]

, 2022
George Metcalfe, Nicola Olivetti, Michael Gabbay   +2 more
openalex   +1 more source

MicroRNA 196a contributes to the aggressiveness of esophageal adenocarcinoma through the MYC/TERT/NFκB axis

Molecular Oncology, EarlyView.
mir‐196a promotes Esophagus Adenocarcinoma aggressiveness. On one hand, mir‐196a targets the valosin‐containing protein (VCP) mRNA, causing the accumulation of c‐MYC protein that leads to high amounts of TERT. On the other hand, mir‐196a targets the inhibitor of NFκB (NFKBIA).
Jesús García‐Castillo, Carlos M. Martínez‐Cáceres, Manuel Bernabé‐García, Vicente Munitiz, David Ruiz de Angulo, Pascual Parrilla, Ángeles Ortiz, Luisa F. Martínez de Haro, María L. Cayuela   +8 more
wiley   +1 more source

The anticancer effect of the HDAC inhibitor belinostat is enhanced by inhibitors of Bcl‐xL or Mcl‐1 in ovarian cancer

Molecular Oncology, EarlyView.
The pan‐HDAC inhibitor belinostat increases the expression of the pro‐apoptotic proteins Bim, Puma, and Noxa and induces apoptosis in ovarian cancer cell lines and patient‐derived tumor organoids when used at high concentrations. Moreover, inhibiting the anti‐apoptotic proteins Bcl‐xL or Mcl‐1 sensitizes these preclinical models to the cytotoxic effect
Cécilia Thomine, Sterenn Guillemot, Louis‐Bastien Weiswald, Romane Florent, Edwige Abeilard, Florence Giffard, Emilie Brotin, Mélanie Briand, Enora Dolivet, Laurent Poulain, Marie Villedieu   +10 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   +2 more sources