Results 151 to 160 of about 11,002,643 (373)
Automatic generation of functional logic test programs through simulation [PDF]
, 1970 Frank B. Cole
openalex +1 more source
On completeness of logic programs [PDF]
arXiv, 2014 Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the answers required by its specification. Little work has been devoted to reasoning about completeness. This paper presents a few sufficient conditions for completeness of definite
arxiv
Peripheral blood proteome biomarkers distinguish immunosuppressive features of cancer progression
Molecular Oncology, EarlyView.Immune status significantly influences cancer progression. This study used plasma proteomics to analyze benign 67NR and malignant 4T1 breast tumor models at early and late tumor stages. Immune‐related proteins–osteopontin (Spp1), lactotransferrin (Ltf), calreticulin (Calr) and peroxiredoxin 2 (Prdx2)–were associated with systemic myeloid‐derived ...
Yeon Ji Park +6 more
wiley +1 more source
Graal : A Functional Programming system with uncurryfied combinators and its reduction machine [PDF]
, 1986 Patrick Bellot
openalex +1 more source
Stochastic variation in the FOXM1 transcription program mediates replication stress tolerance
Molecular Oncology, EarlyView.Cellular heterogeneity is a major cause of drug resistance in cancer. Segeren et al. used single‐cell transcriptomics to investigate gene expression events that correlate with sensitivity to the DNA‐damaging drugs gemcitabine and prexasertib. They show that dampened expression of transcription factor FOXM1 and its target genes protected cells against ...
Hendrika A. Segeren +4 more
wiley +1 more source
Molecular Oncology, EarlyView.The study evaluated the function and therapeutic implications of PRAME in basal cell carcinoma (BCC) and squamous cell carcinoma (SCC). The findings demonstrate that PRAME impairs keratinocyte differentiation pathways. Furthermore, PRAME impairs anticancer response to retinoid compounds in BCC and SCC cells.
Brandon Ramchatesingh +6 more
wiley +1 more source
Theoretical and empirical studies on using program mutation to test the functional correctness of programs [PDF]
, 1980 Timothy A. Budd +3 more
openalex +1 more source
Classification of acute myeloid leukemia based on multi‐omics and prognosis prediction value
Molecular Oncology, EarlyView.The Unsupervised AML Multi‐Omics Classification System (UAMOCS) integrates genomic, methylation, and transcriptomic data to categorize AML patients into three subtypes (UAMOCS1‐3). This classification reveals clinical relevance, highlighting immune and chromosomal characteristics, prognosis, and therapeutic vulnerabilities.
Yang Song +13 more
wiley +1 more source
Multiple sclerosis clinical decision support system based on projection to reference datasets
Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 1863-1873, December 2022., 2022 Abstract Objective Multiple sclerosis (MS) is a multifactorial disease with increasingly complicated management. Our objective is to use on‐demand computational power to address the challenges of dynamically managing MS. Methods A phase 3 clinical trial data (NCT00906399) were used to contextualize the medication efficacy of peg‐interferon beta‐1a vs ...
Chadia Ed‐driouch +13 more
wiley +1 more source