Results 131 to 140 of about 2,868 (293)
Labeled sequent calculus for justification logics
Annals of Pure and Applied Logic, 2017 Justification logics, emerging from the Logic of Proofs (LP) introduced by \textit{S. N. Artemov} [Bull. Symb. Log. 7, No. 1, 1--36 (2001; Zbl 0980.03059)], are modal-like logics whose language includes formulas of the form $t:A$, meaning ``the term $t$ provides a justification for the truth of the formula $A$''. This paper develops calculi for several
openaire +1 more source
Molecular Oncology, EarlyView.Intratumour heterogeneity complicates precision management of advanced endometrial cancer. Circulating tumor DNA (ctDNA) offers a minimally invasive strategy to capture tumor evolution and therapeutic resistance. Here, we compare tumor‐agnostic NGS with tumor‐informed ddPCR, outlining their relative sensitivity, concordance, and clinical implications ...
Carlos Casas‐Arozamena +15 more
wiley +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
A Sequent Calculus for a Paraconsistent Nonmonotonic Logic
, 2007 . In spite of sequent calculus being an appealing tool for describing logical systems, its use along with nonmonotonic logics has been largely neglected.
Ana Teresa Martins, Tarcísio Pequeno
core
Molecular Oncology, EarlyView.Ixazomib inhibits proteasome‐mediated degradation of topoisomerase I induced by irinotecan, thereby restoring drug sensitivity and promoting tumor cell death in colorectal cancer. Irinotecan, a topoisomerase I (topoI) inhibitor, is widely used for colorectal cancer, but resistance remains a major clinical challenge.
Yuho Ebata +10 more
wiley +1 more source
Motivating the Rules of Sequent Calculus
, 2017 Parallelized elimination rules in natural deduction correspond to Left rules in the sequent calculus; and introduction rules correspond to Right rules. These rules may be construed as inductive clauses in the inductive definition of the notion of sequent
Neil Tennant
core +1 more source
Molecular Oncology, EarlyView.A urine‐based digital PCR assay targeting two hotspot TERT promoter variants detected bladder cancer with high sensitivity and no false positives in this case–control cohort. The streamlined AbsoluteQ workflow outperformed Sanger sequencing and supports non‐invasive molecular testing for bladder cancer detection.
Anna Nykel +12 more
wiley +1 more source
Molecular Oncology, EarlyView.This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska +13 more
wiley +1 more source
Acute coronary syndrome with severe coronary calcification in a patient with pseudo-pseudohypoparathyroidism. [PDF]
J Cardiol Cases, 2023 Endo K +10 more
europepmc +1 more source