Results 131 to 140 of about 140,548 (311)
A Programming System for End-user Functional Programming
This research involves the construction of a programming system, HASKEU, to support end-user programming in a purely functional programming language.
Alam, Abu S
core
Fair constraint merging tableaux in lazy functional programming style
, 2003 Constraint merging tableaux maintain a system of all closing substitutions of all subtableau up to a certain depth, which is incrementally increased. This avoids backtracking as necessary in destructive first order free variable tableaux.
Sörensson, Niklas +3 more
core +2 more sources
E2A selectively regulates TGF‐β–induced apoptosis in KRAS‐mutant non‐small cell lung cancer
Molecular Oncology, EarlyView.Ability to induce apoptosis by TGF‐β is frequently lost in advanced lung adenocarcinoma despite intact TGF‐β signaling. We identify E2A as a mutant KRAS–dependent mediator of resistance to TGF‐β–induced apoptosis. TGF‐β induces E2A via SMAD3 in mutant KRAS cells, and E2A silencing restores apoptosis and enhances radiation response in cell lines ...
Sergei Chuikov +3 more
wiley +1 more source
Linear and Affine Typing of Continuation-Passing Style
, 2013 Submitted for the degree of Doctor of Philosophy, Queen Mary, University of ...
Berdine, Joshua James
core
Molecular Oncology, EarlyView.Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau +8 more
wiley +1 more source
Effects of language style and functional behavior on perceived leader effectiveness
, 1982 The effects of functional versus nonfunctional behavior and the use of powerful versus nonpowerful language style on the perceived effectiveness of leaders were investigated in a sample of 97 undergraduate students consisting of sixteen five- to seven ...
Cosby, Dorothy Ann
core
KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer
Molecular Oncology, EarlyView.Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan +16 more
wiley +1 more source
Interactive Functional Programs: a Method and a Formal Semantics [PDF]
, 1987 In this paper we present a model of interactive programs in a purely functional style. We exploit lazy evaluation in the modelling of streams as lazy lists.
Simon Thompson, Thompson, Simon
core
Molecular Oncology, EarlyView.EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain +10 more
wiley +1 more source
Formalizing On Chip Communications in a Functional Style.
, 2006 This paper presents a formal model for representing {it any} on-chip communication architecture. This model is described mathematically by a function, named $mathit{GeNoC}$. The correctness of $mathit{GeNoC}$ is expressed as a theorem, which states that messages emitted on the architecture reach their expected destination without modification of their ...
Schmaltz, Julien, Borrione, Dominique
openaire +3 more sources