Results 181 to 190 of about 15,159 (278)
Proof Complexity of Modal Resolution. [PDF]
J Autom Reason, 2022 Sigley S, Beyersdorff O.
europepmc +1 more source
A Sequent Calculus For Trace Formula Implication [PDF]
Niklas Heidler, Reiner Hähnle
openalex +1 more source
Correlation of the differential expression of PIK3R1 and its spliced variant, p55α, in pan‐cancer
Molecular Oncology, EarlyView.PIK3R1 undergoes alternative splicing to generate the isoforms, p85α and p55α. By combining large patient datasets with laboratory experiments, we show that PIK3R1 spliced variants shape cancer behavior. While tumors lose the protective p85α isoform, p55α is overexpressed, changes linked to poorer survival and more pronounced in African American ...
Ishita Gupta +10 more
wiley +1 more source
Genetic Programming + Proof Search = Automatic Improvement. [PDF]
J Autom Reason, 2018 Kocsis ZA, Swan J.
europepmc +1 more source
Imaging crossing fibers in mouse, pig, monkey, and human brain using small-angle X-ray scattering. [PDF]
Acta Biomater, 2023 Georgiadis M +14 more
europepmc +1 more source
A Sequent Calculus Prover for First-Order Logic with Functions
, 2022 Asta Halkjær From +1 more
openalex +1 more source
Absorbing the structural rules in the sequent calculus with additional atomic rules
, 2021 Franco Parlamento, Flavio Previale
openalex +2 more sources
Molecular Oncology, EarlyView.To integrate multiple transcriptomics data with severe batch effects for identifying MB subtypes, we developed a novel and accurate computational method named RaMBat, which leveraged subtype‐specific gene expression ranking information instead of absolute gene expression levels to address batch effects of diverse data sources.
Mengtao Sun, Jieqiong Wang, Shibiao Wan
wiley +1 more source