Results 191 to 200 of about 4,197,782 (360)
PRIMARY CARCINOMA OF THE DUODENUM REPORT OF FIFTEEN VERIFIED CASES
, 1925 George B. Eusterman +2 more
openalex +2 more sources
PRISM 4.0: Verification of Probabilistic Real-Time Systems
International Conference on Computer Aided Verification, 2011 M. Kwiatkowska, G. Norman, D. Parker
semanticscholar +1 more source
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 +12 more
wiley +1 more source
Landscape of BRAF transcript variants in human cancer
Molecular Oncology, EarlyView.We investigate the annotation of BRAF variants, focusing on protein‐coding BRAF‐220 (formerly BRAF‐reference) and BRAF‐204 (BRAF‐X1). The IsoWorm pipeline allows us to quantify these variants in human cancer, starting from RNA‐sequencing data. BRAF‐204 is more abundant than BRAF‐220 and impacts patient survival.
Maurizio S. Podda +5 more
wiley +1 more source
Experimental verification of theory of landing impact
, 1948 Walter Ramberg, Albert E Mcpherson
openalex +1 more source
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 +8 more
wiley +1 more source
Revisiting Differential Verification: Equivalence Verification with Confidence
Abstract When validated neural networks (NNs) are pruned (and retrained) before deployment, it is desirable to prove that the new NN behaves equivalently to the (original) reference NN. To this end, our paper revisits the idea of differential verification which performs reasoning on differences between NNs: On the one hand, our paper proposes
Samuel Teuber +3 more
openaire +2 more sources
TRPM8 levels determine tumor vulnerability to channel agonists
Molecular Oncology, EarlyView.TRPM8 is a Ca2+ permissive channel. Regardless of the amount of its transcript, high levels of TRPM8 protein mark different tumors, including prostate, breast, colorectal, and lung carcinomas. Targeting TRPM8 with channel agonists stimulates inward calcium currents followed by emptying of cytosolic Ca2+ stores in cancer cells.
Alessandro Alaimo +18 more
wiley +1 more source