Results 61 to 70 of about 1,044,682 (335)
Information and Computation, 2006 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
Exploring the role of cyclin D1 in the pathogenesis of multiple myeloma beyond cell cycle regulation
Molecular Oncology, EarlyView.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
Distance education with Moodle in engineering education: online programming assignments compilation
Tehnički Glasnik, 2018 The concept of distance education systems is a concept that applies to all levels of education, including universities. The use of distance education systems has increased considerably in universities today.
Mümine Kaya Keleş +1 more
doaj +1 more source
Molecular Oncology, EarlyView.This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker +16 more
wiley +1 more source
Imperial strategy of cancer cells through mitochondrial transfer
Molecular Oncology, EarlyView.Cangkrama et al. demonstrated that cancer cells donate their mitochondria to fibroblasts through mitochondrial transfer, reprogramming them into ‘MitoCAF’. Likewise, our group has identified mitochondrial transfer from cancer cells to tumor infiltrating lymphocytes, resulting in mitochondrial ‘hijack’ and impaired antitumor immunity.
Takamasa Ishino, Yosuke Togashi
wiley +1 more source
The Programming Language BPL [PDF]
The Computer Journal, 1982 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
, 1984 This document describes the Arcturus programming environment, a first realization of an advanced programming environment based on the programming language Ada.
Snider, Craig, Willson, Stephen Hunter
core +1 more source
, 2014 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
Identifying prognostic targets in metastatic prostate cancer beyond AR
FEBS Open Bio, EarlyView.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
Disjunctive Logic Programs with Inheritance
, 2001 The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco +2 more
core +1 more source