Results 151 to 160 of about 26,719 (309)
Type-Inference Based Deforestation of Functional Programs [PDF]
In lazy functional programming modularity is often achieved by using intermediate data structures to combine separate parts of a program. Each intermediate data structure is produced by one part and consumed by another one.
Olaf Chitil, Chitil, Olaf
core
Loss of proton‐sensing TDAG8 increases tumor progression in mouse models of colon cancer
Loss of the pH‐sensing receptor TDAG8 accelerates colorectal cancer progression in mice. Animals lacking TDAG8 expression had increased tumor growth, DNA damage, and recruitment of tumor‐associated immune cells, including macrophages, neutrophils, and monocytes.
Ermanno Malagola +11 more
wiley +1 more source
Breast cancer remains a major cause of cancer death in women, frequently developing endocrine therapy resistance. This study demonstrates that upregulated p21‐activated kinase 1 (PAK1) activity drives resistance to tamoxifen and long‐term estrogen deprivation in ER+ breast cancer models.
Luisa Schwarzmüller +10 more
wiley +1 more source
Pseudo-differential operators, heat calculus and index theory of groupoids satisfying the Lauter-Nistor condition [PDF]
In this thesis, we study singular pseudo-differential operators defined by groupoids satisfying the Lauter-Nistor condition, by a method parallel to that of manifolds with boundary and edge differential operators.
So, Bing Kwan
core
Functional programming is a programming paradigm like object-oriented programming and logic programming. Functional programming comprises both a specific programming style and a class of programming languages that encourage and support this programming ...
Chitil, Olaf
core
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq +8 more
wiley +1 more source
In this dissertation a non-deterministic lambda-calculus with call-by-need evaluation is treated. Call-by-need means that subexpressions are evaluated at most once and only if their value must be known to compute the overall result. Also called "sharing",
Mann, Matthias
core
BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi +11 more
wiley +1 more source
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source
Functional features of a calculus for logic and concurrency
We propose a simple untyped calculus inspired by the proofs encoding of Linear Logic by Girard. The basic elements of our calculus are multisets of terms sharing a workspace and they dynamic behaviour is defined by a reduction semantics in the style of ...
PRIAMI, CORRADO, SOLITRO, Ugo
core

