Results 51 to 60 of about 495,288 (264)
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
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed [PDF]
Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is lambda-calculus a reasonable machine?
Accattoli, Beniamino, Lago, Ugo Dal
core +5 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
Compilation of extended recursion in call-by-value functional languages [PDF]
This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods.
A.K. Wright +29 more
core +5 more sources
According to the amyloid hypothesis, Alzheimer Disease results from the accumulation beyond normative levels of the peptide amyloid-β (Aβ). Perhaps because of its pathological potential, Aβ and the enzymes that produce it are heavily regulated by the ...
T. Anastasio
semanticscholar +1 more source
Report on the 2nd MObility for Vesicle research in Europe (MOVE) symposium—2024
The 2nd MObility for Vesicle research in Europe (MOVE) Symposium in Belgrade brought over 280 attendees from 28 countries to advance extracellular vesicle (EV) research. Featuring keynotes, presentations, and industry sessions, it covered EV biogenesis, biomarkers, therapies, and manufacturing.
Dorival Mendes Rodrigues‐Junior +5 more
wiley +1 more source
A Lambda Term Representation Inspired by Linear Ordered Logic [PDF]
We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable are stored, and application carries the additional information where to ...
Amal Ahmed +27 more
core +6 more sources
Closure-Free Functional Programming in a Two-Level Type Theory
Many abstraction tools in functional programming rely heavily on general-purpose compiler optimization to achieve adequate performance. For example, monadic binding is a higher-order function which yields runtime closures in the absence of sufficient ...
András Kovács
semanticscholar +1 more source
Exam‐level analysis of lecture capture viewing and student exam performance
This study asks how lecture capture relates to exam performance in biology courses with three noncumulative exams. Mixed‐effects modeling separated between‐students from within‐student effects on exam %. Students who watched more recordings earned higher grades, but viewing spikes above a student's own mean, consistent with cramming, predicted small ...
Kirk Hillsley
wiley +1 more source
Strategic Directions in Object-Oriented Programming [PDF]
This paper has provided an overview of the field of object-oriented programming. After presenting a historical perspective and some major achievements in the field, four research directions were introduced: technologies integration, software components ...
Aksit, Mehmet, Guerroui, Rachid
core +3 more sources

