Results 31 to 40 of about 1,022,127 (268)
Human cytomegalovirus infection is common in normal prostate epithelium, prostate tumor tissue, and prostate cancer cell lines. CMV promotes cell survival, proliferation, and androgen receptor signaling. Anti‐CMV pharmaceutical compounds in clinical use inhibited cell expansion in prostate cancer models in vitro and in vivo, motivating investigation ...
Johanna Classon+13 more
wiley +1 more source
A language of specified programs
We describe a language of specified programs devised to form a basis for a system for the development of provably-correct programs. A specified program, as introduced by Blikle and then developed in this paper, consists of statements and declarations (in our language these are standard sequential, conditional and loop statements, blocks with local ...
openaire +3 more sources
The Programming Language BPL [PDF]
BPL is a programming language which was developed from the two languages BASIC and Pascal. The chief aim in designing BPL was to create a language as simple to use as BASIC with the additional data types and control structures which make Pascal attractive to use. It is intended in the first instance as a language to teach programming but it can be used
openaire +2 more sources
Exploring the role of cyclin D1 in the pathogenesis of multiple myeloma beyond cell cycle regulation
Cyclin D1 overexpression altered the cell adhesion pathway, while cyclin D2 upregulation had less impact on pathway enrichment analysis. Multiple myeloma (MM) patients with cyclin D1 overexpression showed reduced CD56 expression and increased circulating tumor cells (CTC) levels, suggesting that cyclin D1 may contribute to MM cell dissemination ...
Ignacio J. Cardona‐Benavides+13 more
wiley +1 more source
Identifying prognostic targets in metastatic prostate cancer beyond AR
Genome‐wide functional screens combined with a large gene expression database and clinical outcomes can identify new therapeutic vulnerabilities in prostate cancer. Eight potentially druggable targets demonstrated strong dependency in cell lines, were associated with worse prognosis clinically, and showed evidence of protein expression in prostate ...
Emily Feng+13 more
wiley +1 more source
AbstractIt is well-known that stable models (as dI-domains, qualitative domains and coherence spaces) are not fully abstract for the language PCF. This fact is related to the existence of stable parallel functions and of stable functions that are not monotone with respect to the extensional order, which cannot be defined by programs of PCF.
openaire +4 more sources
This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell), including a "typed" style of ...
Selfridge, Benjamin, Smith, Eric
core +2 more sources
This study presents a novel approach to teaching Python and bioinformatics using team‐based learning and cloud‐hosted notebooks. By integrating interactive coding into biomedical education, the method improves accessibility, student engagement, and confidence—especially for those without a computing background.
Nuno S. Osório, Leonardo D. Garma
wiley +1 more source
Datalog as a parallel general purpose programming language [PDF]
The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone.
Clayton, Roger+2 more
core +1 more source
Naturalizing a Programming Language via Interactive Learning
Our goal is to create a convenient natural language interface for performing well-specified but complex actions such as analyzing data, manipulating text, and querying databases.
Ginn, Samuel+3 more
core +1 more source