Results 101 to 110 of about 1,069,887 (282)
The Role of Quantifier Alternations in Cut Elimination
Notre Dame Journal of Formal Logic, 2003 Extending previous results from the author's master's thesis, subsequently published in the proceedings of CSL 2003, on the complexity of cut elimination for the sequent calculus LK, we discuss the role of quantifier alternations and develop a measure to describe the complexity of cut elimination in terms of quantifier alternations in cut formulas and ...
openaire +6 more sources
Molecular Oncology, EarlyView.Extracellular vesicle (EV) lipidomic profiling of plasma and ascites from patients with high‐grade serous ovarian cancer and of ovarian cancer cell lines reveals enrichment of triglycerides (TGs), diacylglycerols (DGs), phosphatidylcholine (PCs), sphingomyelins (SMs), reflecting tumor metabolic reprogramming.
Shikha Rani +9 more
wiley +1 more source
Valentini's cut-elimination for provability logic resolved
, 2015 Valentini (1983) has presented a proof of cut-elimination for provability logic GL for a sequent calculus using sequents built from sets as opposed to multisets, thus avoiding an explicit contraction rule.
Ramanayake, Revantha, Gore, Rajeev
core +1 more source
Confluence as a cut elimination property [PDF]
, 2023 The goal of this note is to compare two notions, one coming from the theory of rewrite systems and the other from proof theory: confluence and cut elimination.
Dowek, Gilles
core
Molecular Oncology, EarlyView.High‐risk bladder cancer is typically treated with Bacillus Calmette‐Guérin (BCG), but 30–40% of patients relapse. No FDA‐ or CE‐approved biomarkers currently predict or prognosticate BCG failure. We systematically reviewed the literature and identified 72 eligible studies, revealing several promising biomarkers associated with BCG treatment response ...
Rui Ribeiro‐Pereira +7 more
wiley +1 more source
Algebraic proofs of cut elimination
, 2008 Algebraic proofs of the cut-elimination theorems for classical and intuitionistic logic are presented, and are used to show how one can sometimes extract a constructive proof and an algorithm from a proof that is nonconstructive.
Jeremy Avigad
core
Frontiers in Bioengineering and BiotechnologyA novel functionally zoned hybrid intracranial stent is proposed to resolve the multifaceted mechanical limitations of existing designs by heterogeneously integrating a laser-cut anchoring segment with a braided section via interwoven filaments ...
Lei Ma +15 more
doaj +1 more source
Molecular Oncology, EarlyView.This study identifies ARHGAP5, in addition to the frequently mutated ARHGAP35, as significantly mutated in endometrial cancer. Mutations in both genes co‐occur and are associated with their correlated downregulation. Functional CRISPR studies show that both paralogs regulate similar pathways, including actin cytoskeleton organization.
Mathilde Pinault +12 more
wiley +1 more source
Molecular Oncology, EarlyView.We established the avian chorioallantoic membrane (CAM) assay as a scalable in vivo model for studying circulating tumor cells (CTCs). Human gastrointestinal tumors spontaneously released genetically validated CTCs that were detected across multiple platforms, demonstrating that the CAM model provides an accessible tool for investigating early cancer ...
Dennis Roth +17 more
wiley +1 more source
Molecular Oncology, EarlyView.Circulating microRNA profiles distinguish nonmalignant Lynch syndrome from cancer‐associated Lynch syndrome, sporadic colorectal cancer, and healthy controls. Age‐stratified analysis reveals disease‐specific regulatory states, and a six‐miRNA panel shows concordant separation in an independent colorectal tissue cohort.
Ramadhani Salum Chambuso +5 more
wiley +1 more source